Harmonising use of __SCOPE__ in log statements

Signed-off-by: Miguel Angel Reina Ortega's avatarreinaortega <miguelangel.reinaortega@etsi.org>
parent 68f0d148
......@@ -3311,7 +3311,7 @@ module OneM2M_Functions {
else if (ischosen(p_requestPrimitive.primitiveContent.statsConfig)){
p_requestPrimitive.primitiveContent.statsConfig.accessControlPolicyIDs := p_accessControlPolicyIDs;
} else {
log( __SCOPE__, ":INFO: Resource not having acpi attribute. Not possible to set acpi")
log( __SCOPE__ & ":INFO: Resource not having acpi attribute. Not possible to set acpi")
}
return valueof(p_requestPrimitive);
}
......@@ -3636,14 +3636,14 @@ module OneM2M_Functions {
alt{
[] utPort.receive(mw_utResponseOK) {
tc_wait.stop;
setverdict(pass, __SCOPE__, " : Triggering message is successfully received!");
setverdict(pass, __SCOPE__ & " : Triggering message is successfully received!");
}
[] utPort.receive(mw_utResponseKO) {
tc_wait.stop;
setverdict(inconc, __SCOPE__, " : Error while receiving Triggering message!");
setverdict(inconc, __SCOPE__ & " : Error while receiving Triggering message!");
}
[] tc_wait.timeout{
setverdict(inconc, __SCOPE__, " : Timeout due to no response received from requested SUT!");
setverdict(inconc, __SCOPE__ & " : Timeout due to no response received from requested SUT!");
}
}
......
......@@ -41,7 +41,7 @@ module OneM2M_PermutationFunctions {
var universal charstring v_action := __SCOPE__ & ": Please, send a valid CREATE Request for container to ";
if(not(PICS_UNSTRUCTURED_CSE_RELATIVE_RESOURCE_ID_FORMAT)) {
setverdict(inconc, __SCOPE__, ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -55,7 +55,7 @@ module OneM2M_PermutationFunctions {
alt {
[] mcaPortIn.receive(mw_request(mw_createContainer(-,v_utRequest.requestPrimitive.to_))) -> value v_request {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container creation request received successfuly");
setverdict(pass, __SCOPE__ & " : Container creation request received successfuly");
v_parentIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
v_resource := f_generateLocalResource(v_request.primitive.requestPrimitive.primitiveContent, v_parentIndex, v_request.primitive.requestPrimitive.resourceType);
v_resourceIndex := f_setLocalResource(v_resource, v_request.primitive.requestPrimitive.resourceType, v_parentIndex);
......@@ -64,12 +64,12 @@ module OneM2M_PermutationFunctions {
}
[] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while creating container");
setverdict(fail, __SCOPE__ & " : Error while creating container");
mcaPortIn.send(f_getMsgOutPrimitive(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit))))));
stop;
}
[] tc_ac.timeout {
setverdict(fail, __SCOPE__, " : No answer while creating resource");
setverdict(fail, __SCOPE__ & " : No answer while creating resource");
stop;
}
}
......@@ -89,7 +89,7 @@ module OneM2M_PermutationFunctions {
//Test Control
if(not(PICS_STRUCTURED_CSE_RELATIVE_RESOURCE_ID_FORMAT)) {
setverdict(inconc, __SCOPE__, ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -104,7 +104,7 @@ module OneM2M_PermutationFunctions {
alt {
[] mcaPortIn.receive(mw_request(mw_createContainer(-,v_utRequest.requestPrimitive.to_))) -> value (v_request) {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container creation request received successfuly");
setverdict(pass, __SCOPE__ & " : Container creation request received successfuly");
v_parentIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
v_resource := f_generateLocalResource(v_request.primitive.requestPrimitive.primitiveContent, v_parentIndex, v_request.primitive.requestPrimitive.resourceType);
v_resourceIndex := f_setLocalResource(v_resource, v_request.primitive.requestPrimitive.resourceType, v_parentIndex);
......@@ -113,12 +113,12 @@ module OneM2M_PermutationFunctions {
}
[] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while creating container");
setverdict(fail, __SCOPE__ & " : Error while creating container");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
stop;
}
[] tc_ac.timeout {
setverdict(fail, __SCOPE__, " : No answer while creating resource");
setverdict(fail, __SCOPE__ & " : No answer while creating resource");
stop;
}
}
......@@ -142,7 +142,7 @@ module OneM2M_PermutationFunctions {
if(not(PICS_UNSTRUCTURED_CSE_RELATIVE_RESOURCE_ID_FORMAT)) {
setverdict(inconc, __SCOPE__, ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -158,7 +158,7 @@ module OneM2M_PermutationFunctions {
alt {
[] mcaPortIn.receive(mw_request(mw_updateContainer(-,v_utRequest.requestPrimitive.to_))) -> value v_request {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container update request received successfuly");
setverdict(pass, __SCOPE__ & " : Container update request received successfuly");
v_resourceIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
f_updateLocalResource(v_resourceIndex, v_request.primitive.requestPrimitive.primitiveContent);
v_responsePrimitive := valueof(m_responsePrimitive(int2004, v_request.primitive.requestPrimitive.requestIdentifier, vc_localResourcesList[v_resourceIndex].resource));
......@@ -166,12 +166,12 @@ module OneM2M_PermutationFunctions {
}
[] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while updating container");
setverdict(fail, __SCOPE__ & " : Error while updating container");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
stop;
}
[] tc_ac.timeout {
setverdict(fail, __SCOPE__, " : No answer while updating resource");
setverdict(fail, __SCOPE__ & " : No answer while updating resource");
stop;
}
}
......@@ -189,7 +189,7 @@ module OneM2M_PermutationFunctions {
var universal charstring v_action := __SCOPE__ & ": Please, send a valid UPDATE Request for container to ";
if(not(PICS_STRUCTURED_CSE_RELATIVE_RESOURCE_ID_FORMAT)) {
setverdict(inconc, __SCOPE__, ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -205,7 +205,7 @@ module OneM2M_PermutationFunctions {
alt {
[] mcaPortIn.receive(mw_request(mw_updateContainer(-,v_utRequest.requestPrimitive.to_))) -> value (v_request) {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container update request received successfuly");
setverdict(pass, __SCOPE__ & " : Container update request received successfuly");
v_resourceIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
f_updateLocalResource(v_resourceIndex, v_request.primitive.requestPrimitive.primitiveContent);
v_responsePrimitive := valueof(m_responsePrimitive(int2004, v_request.primitive.requestPrimitive.requestIdentifier, vc_localResourcesList[v_resourceIndex].resource));
......@@ -213,12 +213,12 @@ module OneM2M_PermutationFunctions {
}
[] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while updating container");
setverdict(fail, __SCOPE__ & " : Error while updating container");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
stop;
}
[] tc_ac.timeout {
setverdict(fail, __SCOPE__, " : No answer while updating resource");
setverdict(fail, __SCOPE__ & " : No answer while updating resource");
stop;
}
}
......@@ -242,7 +242,7 @@ module OneM2M_PermutationFunctions {
var universal charstring v_action := __SCOPE__ & ": Please, send a valid RETRIEVE Request for container to ";
if(not(PICS_UNSTRUCTURED_CSE_RELATIVE_RESOURCE_ID_FORMAT)) {
setverdict(inconc, __SCOPE__, ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -259,19 +259,19 @@ module OneM2M_PermutationFunctions {
alt {
[] mcaPortIn.receive(mw_request(mw_retrieve(v_utRequest.requestPrimitive.to_))) -> value (v_request) {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container retrieve request received successfuly");
setverdict(pass, __SCOPE__ & " : Container retrieve request received successfuly");
v_resourceIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
v_responsePrimitive := valueof(m_responsePrimitive(int2000, v_request.primitive.requestPrimitive.requestIdentifier, vc_localResourcesList[v_resourceIndex].resource));
mcaPortIn.send(f_getMsgOutPrimitive(m_response(v_responsePrimitive)));
}
[] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while retrieving container");
setverdict(fail, __SCOPE__ & " : Error while retrieving container");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
stop;
}
[] tc_ac.timeout {
setverdict(fail, __SCOPE__, " : No answer while retrieving resource");
setverdict(fail, __SCOPE__ & " : No answer while retrieving resource");
stop;
}
}
......@@ -290,7 +290,7 @@ module OneM2M_PermutationFunctions {
var universal charstring v_action := __SCOPE__ & ": Please, send a valid RETRIEVE Request for container to ";
if(not(PICS_STRUCTURED_CSE_RELATIVE_RESOURCE_ID_FORMAT)) {
setverdict(inconc, __SCOPE__, ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -307,19 +307,19 @@ module OneM2M_PermutationFunctions {
alt {
[] mcaPortIn.receive(mw_request(mw_retrieve(v_utRequest.requestPrimitive.to_))) -> value (v_request) {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container retrieve request received successfuly");
setverdict(pass, __SCOPE__ & " : Container retrieve request received successfuly");
v_resourceIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
v_responsePrimitive := valueof(m_responsePrimitive(int2000, v_request.primitive.requestPrimitive.requestIdentifier, vc_localResourcesList[v_resourceIndex].resource));
mcaPortIn.send(f_getMsgOutPrimitive(m_response(v_responsePrimitive)));
}
[] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while retrieving container");
setverdict(fail, __SCOPE__ & " : Error while retrieving container");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
stop;
}
[] tc_ac.timeout {
setverdict(fail, __SCOPE__, " : No answer while retrieving resource");
setverdict(fail, __SCOPE__ & " : No answer while retrieving resource");
stop;
}
}
......@@ -342,7 +342,7 @@ module OneM2M_PermutationFunctions {
var universal charstring v_action := __SCOPE__ & ": Please, send a valid DELETE Request for container to ";
if(not(PICS_UNSTRUCTURED_CSE_RELATIVE_RESOURCE_ID_FORMAT)) {
setverdict(inconc, __SCOPE__, ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -358,18 +358,18 @@ module OneM2M_PermutationFunctions {
alt {
[] mcaPortIn.receive(mw_request(mw_delete(v_utRequest.requestPrimitive.to_))) -> value (v_request) {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container update request received successfuly");
setverdict(pass, __SCOPE__ & " : Container update request received successfuly");
v_responsePrimitive := valueof(m_responsePrimitive(int2004, v_request.primitive.requestPrimitive.requestIdentifier, omit));
mcaPortIn.send(f_getMsgOutPrimitive(m_response(v_responsePrimitive)));
}
[] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while updating container");
setverdict(fail, __SCOPE__ & " : Error while updating container");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
stop;
}
[] tc_ac.timeout {
setverdict(fail, __SCOPE__, " : No answer while updating resource");
setverdict(fail, __SCOPE__ & " : No answer while updating resource");
stop;
}
}
......@@ -387,7 +387,7 @@ module OneM2M_PermutationFunctions {
var universal charstring v_action := __SCOPE__ & ": Please, send a valid DELETE Request for container to ";
if(not(PICS_STRUCTURED_CSE_RELATIVE_RESOURCE_ID_FORMAT)) {
setverdict(inconc, __SCOPE__, ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -404,18 +404,18 @@ module OneM2M_PermutationFunctions {
alt {
[] mcaPortIn.receive(mw_request(mw_delete(v_utRequest.requestPrimitive.to_))) -> value (v_request) {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container update request received successfuly");
setverdict(pass, __SCOPE__ & " : Container update request received successfuly");
v_responsePrimitive := valueof(m_responsePrimitive(int2004, v_request.primitive.requestPrimitive.requestIdentifier, omit));
mcaPortIn.send(f_getMsgOutPrimitive(m_response(v_responsePrimitive)));
}
[] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : Error while updating container");
setverdict(fail, __SCOPE__ & " : Error while updating container");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
stop;
}
[] tc_ac.timeout {
setverdict(fail, __SCOPE__, " : No answer while updating resource");
setverdict(fail, __SCOPE__ & " : No answer while updating resource");
stop;
}
}
......@@ -453,7 +453,7 @@ module OneM2M_PermutationFunctions {
alt{
[] mcaPortIn.receive(mw_request(p_request)) -> value v_request {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : AE registration request is accepted!!");
setverdict(pass, __SCOPE__ & " : AE registration request is accepted!!");
v_parentIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
v_resource := f_generateLocalResource(v_request.primitive.requestPrimitive.primitiveContent, v_parentIndex, v_request.primitive.requestPrimitive.resourceType);
v_resourceIndex := f_setLocalResource(v_resource, v_request.primitive.requestPrimitive.resourceType, v_parentIndex);
......@@ -464,11 +464,11 @@ module OneM2M_PermutationFunctions {
}
[] mcaPortIn.receive(mw_request(mw_createAe(*,?,m_contentCreateAe_Invalid))) -> value v_request {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : AE registration request is rejected due to not including the optional attribute!");
setverdict(fail, __SCOPE__ & " : AE registration request is rejected due to not including the optional attribute!");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
}
[] tc_ac.timeout{
setverdict(fail, __SCOPE__, " : Timeout due to no response received from requested SUT!");
setverdict(fail, __SCOPE__ & " : Timeout due to no response received from requested SUT!");
}
}
......@@ -515,7 +515,7 @@ module OneM2M_PermutationFunctions {
//receive MsgIn requestPrimitive
[] mcaPortIn.receive(mw_request(p_request)) -> value (v_request) {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : ContentInstance creation request is accepted!!");
setverdict(pass, __SCOPE__ & " : ContentInstance creation request is accepted!!");
v_parentIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
v_resource := f_generateLocalResource(v_request.primitive.requestPrimitive.primitiveContent, v_parentIndex, v_request.primitive.requestPrimitive.resourceType);
v_resourceIndex := f_setLocalResource(v_resource, v_request.primitive.requestPrimitive.resourceType, v_parentIndex);
......@@ -527,12 +527,12 @@ module OneM2M_PermutationFunctions {
[] mcaPortIn.receive {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : ContentInstance creation request is rejected due to not including the attribute!");
setverdict(fail, __SCOPE__ & " : ContentInstance creation request is rejected due to not including the attribute!");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
}
[] tc_ac.timeout{
setverdict(fail, __SCOPE__, " : Timeout due to no response received from requested SUT!");
setverdict(fail, __SCOPE__ & " : Timeout due to no response received from requested SUT!");
}
}
......@@ -561,7 +561,7 @@ module OneM2M_PermutationFunctions {
//receive MsgIn requestPrimitive
[] mcaPortIn.receive(mw_request(p_request)) -> value (v_request) {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container creation request is accepted!!");
setverdict(pass, __SCOPE__ & " : Container creation request is accepted!!");
v_parentIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
v_resource := f_generateLocalResource(v_request.primitive.requestPrimitive.primitiveContent, v_parentIndex, v_request.primitive.requestPrimitive.resourceType);
v_resourceIndex := f_setLocalResource(v_resource, v_request.primitive.requestPrimitive.resourceType, v_parentIndex);
......@@ -572,11 +572,11 @@ module OneM2M_PermutationFunctions {
}
[] mcaPortIn.receive {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : Container creation request is rejected due to not including the attribute!");
setverdict(fail, __SCOPE__ & " : Container creation request is rejected due to not including the attribute!");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
}
[] tc_ac.timeout{
setverdict(fail, __SCOPE__, " : Timeout due to no response received from requested SUT!");
setverdict(fail, __SCOPE__ & " : Timeout due to no response received from requested SUT!");
}
}
......@@ -612,7 +612,7 @@ module OneM2M_PermutationFunctions {
alt{
[] mcaPortIn.receive(mw_request(p_expectedUpdateRequest)) -> value v_request {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : AE update request is accepted!");
setverdict(pass, __SCOPE__ & " : AE update request is accepted!");
v_resourceIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
f_updateLocalResource(v_resourceIndex, v_request.primitive.requestPrimitive.primitiveContent);
v_responsePrimitive := valueof(m_responsePrimitive(int2004, v_request.primitive.requestPrimitive.requestIdentifier, vc_localResourcesList[v_resourceIndex].resource));
......@@ -620,11 +620,11 @@ module OneM2M_PermutationFunctions {
}
[] mcaPortIn.receive(mw_request(?)) -> value v_request {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : AE update request is rejected due to not including the optional attribute!");
setverdict(fail, __SCOPE__ & " : AE update request is rejected due to not including the optional attribute!");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
}
[] tc_ac.timeout{
setverdict(fail, __SCOPE__, " : Timeout due to no response received from requested SUT!");
setverdict(fail, __SCOPE__ & " : Timeout due to no response received from requested SUT!");
}
}
......@@ -655,7 +655,7 @@ module OneM2M_PermutationFunctions {
//receive MsgIn requestPrimitive
[] mcaPortIn.receive(mw_request(p_request)) -> value (v_request) {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : Container update request is accepted!!");
setverdict(pass, __SCOPE__ & " : Container update request is accepted!!");
v_resourceIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
f_updateLocalResource(v_resourceIndex, v_request.primitive.requestPrimitive.primitiveContent);
v_responsePrimitive := valueof(m_responsePrimitive(int2004, v_request.primitive.requestPrimitive.requestIdentifier, vc_localResourcesList[v_resourceIndex].resource));
......@@ -664,12 +664,12 @@ module OneM2M_PermutationFunctions {
[] mcaPortIn.receive(mw_request(?)) {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : Container update request is rejected due to not including the attribute!");
setverdict(fail, __SCOPE__ & " : Container update request is rejected due to not including the attribute!");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
}
[] tc_ac.timeout{
setverdict(fail, __SCOPE__, " : Timeout due to no response received from requested SUT!");
setverdict(fail, __SCOPE__ & " : Timeout due to no response received from requested SUT!");
}
}
......@@ -708,17 +708,17 @@ module OneM2M_PermutationFunctions {
alt{
[] mcaPortIn.receive(mw_request(mw_retrieve(f_getLocalResourceAddress(v_resourceIndex)))) -> value v_request {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : retrieve resource type request is accepted!!");
setverdict(pass, __SCOPE__ & " : retrieve resource type request is accepted!!");
v_responsePrimitive := valueof(m_responsePrimitive(int2000, v_request.primitive.requestPrimitive.requestIdentifier, vc_localResourcesList[v_resourceIndex].resource));
mcaPortIn.send(f_getMsgOutPrimitive(m_response(v_responsePrimitive)));
}
[] mcaPortIn.receive (mw_request(mw_retrieve(?))){
tc_ac.stop;
setverdict(fail, __SCOPE__, " : Retrieve request for unexpected target");
setverdict(fail, __SCOPE__ & " : Retrieve request for unexpected target");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
}
[] tc_ac.timeout{
setverdict(fail, __SCOPE__, " : Timeout due to no response received from requested SUT!");
setverdict(fail, __SCOPE__ & " : Timeout due to no response received from requested SUT!");
}
}
......@@ -758,7 +758,7 @@ module OneM2M_PermutationFunctions {
alt{
[] mcaPortIn.receive(mw_request(p_request)) -> value v_request {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : Subscription creation request is accepted!");
setverdict(pass, __SCOPE__ & " : Subscription creation request is accepted!");
v_parentIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
v_resource := f_generateLocalResource(v_request.primitive.requestPrimitive.primitiveContent, v_parentIndex, v_request.primitive.requestPrimitive.resourceType);
v_resourceIndex := f_setLocalResource(v_resource, v_request.primitive.requestPrimitive.resourceType, v_parentIndex);
......@@ -768,11 +768,11 @@ module OneM2M_PermutationFunctions {
}
[] mcaPortIn.receive {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : Subscription creation request is rejected due to not including the optional attribute!");
setverdict(fail, __SCOPE__ & " : Subscription creation request is rejected due to not including the optional attribute!");
mcaPortIn.send(f_getMsgOutPrimitive(m_response(valueof(m_responsePrimitive(int4004, v_request.primitive.requestPrimitive.requestIdentifier, omit)))));
}
[] tc_ac.timeout{
setverdict(fail, __SCOPE__, " : Timeout due to no response received from requested SUT!");
setverdict(fail, __SCOPE__ & " : Timeout due to no response received from requested SUT!");
}
}
......@@ -4715,18 +4715,18 @@ module OneM2M_PermutationFunctions {
alt {
[] mcaPort.receive(mw_response(mw_responsePrimitive(int2004))) -> value vc_response {
tc_ac.stop;
setverdict(pass, __SCOPE__, ": Attribute of resource type " & int2str(enum2int(p_resourceType)) & " updated successfully");
setverdict(pass, __SCOPE__ & ": Attribute of resource type " & int2str(enum2int(p_resourceType)) & " updated successfully");
}
[] mcaPort.receive(mw_response(mw_responsePrimitiveOK)) -> value vc_response {
tc_ac.stop;
setverdict(fail, __SCOPE__, ": Wrong response status code");
setverdict(fail, __SCOPE__ & ": Wrong response status code");
}
[] mcaPort.receive(mw_response(mw_responsePrimitiveKO)) -> value vc_response {
tc_ac.stop;
setverdict(fail, __SCOPE__, ": Error while updating optional attribute");
setverdict(fail, __SCOPE__ & ": Error while updating optional attribute");
}
[] tc_ac.timeout {
setverdict(fail, __SCOPE__, ": No answer while updating resource type " & int2str(enum2int(p_resourceType)));
setverdict(fail, __SCOPE__ & ": No answer while updating resource type " & int2str(enum2int(p_resourceType)));
}
}
......@@ -4805,15 +4805,15 @@ module OneM2M_PermutationFunctions {
alt {
[] mcaPort.receive(mw_response(mw_responsePrimitive(int2004))) -> value vc_response {
tc_ac.stop;
setverdict(pass, __SCOPE__, ": Attribute of resource type " & int2str(enum2int(p_resourceType)) & " updated successfully");
setverdict(pass, __SCOPE__ & ": Attribute of resource type " & int2str(enum2int(p_resourceType)) & " updated successfully");
}
[] mcaPort.receive(mw_response(mw_responsePrimitiveOK)) -> value vc_response {
tc_ac.stop;
setverdict(fail, __SCOPE__, ": Wrong response status code");
setverdict(fail, __SCOPE__ & ": Wrong response status code");
}
[] mcaPort.receive(mw_response(mw_responsePrimitiveKO)) -> value vc_response {
tc_ac.stop;
setverdict(fail, __SCOPE__, ": Error while updating mandatory attribute");
setverdict(fail, __SCOPE__ & ": Error while updating mandatory attribute");
}
[] mcaPortIn.receive(mw_request(mw_notifyNotification(mw_contentNotificationVerification))) -> value vc_request {
tc_ac.stop;
......@@ -4825,7 +4825,7 @@ module OneM2M_PermutationFunctions {
repeat;
}
[] tc_ac.timeout {
setverdict(fail, __SCOPE__, ": No answer while updating resource type " & int2str(enum2int(p_resourceType)));
setverdict(fail, __SCOPE__ & ": No answer while updating resource type " & int2str(enum2int(p_resourceType)));
}
}
......@@ -5147,12 +5147,12 @@ module OneM2M_PermutationFunctions {
setverdict(pass, __SCOPE__ & ": creation successfull by using fanOutPoint in group resource");
if(not ispresent(v_response.primitive.responsePrimitive.primitiveContent.aggregatedResponse.responsePrimitive_list)){
setverdict(fail, __SCOPE__, ": Error, aggregatedResponse attribute not provided");
setverdict(fail, __SCOPE__ & ": Error, aggregatedResponse attribute not provided");
}
else {
for(i:=0; i<lengthof(v_response.primitive.responsePrimitive.primitiveContent.aggregatedResponse.responsePrimitive_list); i := i+1){
if(not match(v_response.primitive.responsePrimitive.primitiveContent.aggregatedResponse.responsePrimitive_list[i], mw_responsePrimitiveOK)){
setverdict(fail, __SCOPE__, ": Error, one responsePrimitve of aggregatedResponse_list is not successful");
setverdict(fail, __SCOPE__ & ": Error, one responsePrimitve of aggregatedResponse_list is not successful");
}
}
}
......@@ -5291,12 +5291,12 @@ module OneM2M_PermutationFunctions {
setverdict(pass, __SCOPE__ & ": creation successfull by using fanOutPoint in group resource");
if(not ispresent(v_response.primitive.responsePrimitive.primitiveContent.aggregatedResponse.responsePrimitive_list)){
setverdict(fail, __SCOPE__, ": Error, aggregatedResponse attribute not provided");
setverdict(fail, __SCOPE__ & ": Error, aggregatedResponse attribute not provided");
}
else {
for(i:=0; i<lengthof(v_response.primitive.responsePrimitive.primitiveContent.aggregatedResponse.responsePrimitive_list); i := i+1){
if(not match(v_response.primitive.responsePrimitive.primitiveContent.aggregatedResponse.responsePrimitive_list[i], mw_responsePrimitiveOK)){
setverdict(fail, __SCOPE__, ": Error, one responsePrimitve of aggregatedResponse_list is not successful");
setverdict(fail, __SCOPE__ & ": Error, one responsePrimitve of aggregatedResponse_list is not successful");
}
}
}
......@@ -5431,16 +5431,16 @@ module OneM2M_PermutationFunctions {
setverdict(pass, __SCOPE__ & ": creation successfull by using fanOutPoint in group resource");
if(not ispresent(v_response.primitive.responsePrimitive.primitiveContent.aggregatedResponse.responsePrimitive_list)){
setverdict(fail, __SCOPE__, ": Error, aggregatedResponse attribute not provided");
setverdict(fail, __SCOPE__ & ": Error, aggregatedResponse attribute not provided");
}
else{
if(lengthof(v_response.primitive.responsePrimitive.primitiveContent.aggregatedResponse.responsePrimitive_list) != c_numberOfResponsePrimitive){
setverdict(fail, __SCOPE__, ": Error, length of aggregatedResponse is not valid");
setverdict(fail, __SCOPE__ & ": Error, length of aggregatedResponse is not valid");
}
else{
for(i:=0; i<c_numberOfResponsePrimitive; i:=i+1){
if(not match(v_response.primitive.responsePrimitive.primitiveContent.aggregatedResponse.responsePrimitive_list[i].primitiveContent, p_contentResponse)){
setverdict(fail, __SCOPE__, ": Error, aggregatedResponse doesn't match with template expected");
setverdict(fail, __SCOPE__ & ": Error, aggregatedResponse doesn't match with template expected");
}
}
}
......@@ -5518,16 +5518,16 @@ module OneM2M_PermutationFunctions {
setverdict(pass, __SCOPE__ & ": creation successfull by using fanOutPoint in group resource");
if(not ispresent(v_response.primitive.responsePrimitive.primitiveContent.aggregatedResponse.responsePrimitive_list)){
setverdict(fail, __SCOPE__, ": Error, aggregatedResponse attribute not provided");
setverdict(fail, __SCOPE__ & ": Error, aggregatedResponse attribute not provided");
}
else{
if(lengthof(v_response.primitive.responsePrimitive.primitiveContent.aggregatedResponse.responsePrimitive_list) != c_numberOfResponsePrimitive){
setverdict(fail, __SCOPE__, ": Error, length of aggregatedResponse is not valid");
setverdict(fail, __SCOPE__ & ": Error, length of aggregatedResponse is not valid");
}
else{
for(i:=0; i<c_numberOfResponsePrimitive; i:=i+1){
if(not match(v_response.primitive.responsePrimitive.primitiveContent.aggregatedResponse.responsePrimitive_list[i].primitiveContent, v_contentResponse)){
setverdict(fail, __SCOPE__, ": Error, aggregatedResponse doesn't match with template expected");
setverdict(fail, __SCOPE__ & ": Error, aggregatedResponse doesn't match with template expected");
}
}
}
......@@ -6460,14 +6460,14 @@ module OneM2M_PermutationFunctions {
alt {
[] mcaPort.receive(mw_response(mw_responsePrimitive(v_responsePrimitive.responseStatusCode))) -> value v_response {
tc_ac.stop;
setverdict(pass, __SCOPE__, ": Operation for resource " & int2str(enum2int(p_resourceType)) & " performed successfully");
setverdict(pass, __SCOPE__ & ": Operation for resource " & int2str(enum2int(p_resourceType)) & " performed successfully");
}
[] mcaPort.receive(mw_response(mw_responsePrimitiveOK)) -> value vc_response {
tc_ac.stop;
setverdict(fail, __SCOPE__, ": Wrong response status code");
setverdict(fail, __SCOPE__ & ": Wrong response status code");
}
[] tc_ac.timeout {
setverdict(fail, __SCOPE__, ": No answer while updating resource type " & int2str(enum2int(p_resourceType)));
setverdict(fail, __SCOPE__ & ": No answer while updating resource type " & int2str(enum2int(p_resourceType)));
}
}
......
......@@ -44,7 +44,7 @@ module OneM2M_Testcases_AE_Release_1 {
// Test control
if(not(PICS_PRIMITIVE_SCOPE_CSE_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -60,7 +60,7 @@ module OneM2M_Testcases_AE_Release_1 {
// Test control
if(not(PICS_PRIMITIVE_SCOPE_SP_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Unstructured-SP-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-SP-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -76,7 +76,7 @@ module OneM2M_Testcases_AE_Release_1 {
// Test control
if(not(PICS_PRIMITIVE_SCOPE_ABSOLUTE)) {
setverdict(inconc, __SCOPE__, ": Unstructured-Absolute-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-Absolute-Resource-ID format support is required to run this test case");
stop;
}
v_cse1.start(f_AE_GEN_CRE_001(e_absolute));
......@@ -98,7 +98,7 @@ module OneM2M_Testcases_AE_Release_1 {
v_cse1.done;
if(not(PICS_PRIMITIVE_SCOPE_CSE_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -113,7 +113,7 @@ module OneM2M_Testcases_AE_Release_1 {
v_cse1.done;
if(not(PICS_PRIMITIVE_SCOPE_SP_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Structured-SP-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-SP-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -128,7 +128,7 @@ module OneM2M_Testcases_AE_Release_1 {
v_cse1.done;
if(not(PICS_PRIMITIVE_SCOPE_ABSOLUTE)) {
setverdict(inconc, __SCOPE__, ": Structured-Absolute-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-Absolute-Resource-ID format support is required to run this test case");
stop;
}
......@@ -156,7 +156,7 @@ module OneM2M_Testcases_AE_Release_1 {
// Test control
if(not(PICS_PRIMITIVE_SCOPE_CSE_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -172,7 +172,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_SP_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Unstructured-SP-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-SP-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -188,7 +188,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_ABSOLUTE)) {
setverdict(inconc, __SCOPE__, ": Unstructured-Absolute-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-Absolute-Resource-ID format support is required to run this test case");
stop;
}
......@@ -212,7 +212,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_CSE_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -228,7 +228,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_SP_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Structured-SP-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-SP-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -244,7 +244,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_ABSOLUTE)) {
setverdict(inconc, __SCOPE__, ": Structured-Absolute-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-Absolute-Resource-ID format support is required to run this test case");
stop;
}
......@@ -272,7 +272,7 @@ module OneM2M_Testcases_AE_Release_1 {
// Test control
if(not(PICS_PRIMITIVE_SCOPE_CSE_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -288,7 +288,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_SP_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Unstructured-SP-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-SP-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -304,7 +304,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_ABSOLUTE)) {
setverdict(inconc, __SCOPE__, ": Unstructured-Absolute-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-Absolute-Resource-ID format support is required to run this test case");
stop;
}
......@@ -328,7 +328,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_CSE_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -344,7 +344,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_SP_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Structured-SP-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-SP-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -360,7 +360,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_ABSOLUTE)) {
setverdict(inconc, __SCOPE__, ": Structured-Absolute-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-Absolute-Resource-ID format support is required to run this test case");
stop;
}
......@@ -388,7 +388,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_CSE_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -404,7 +404,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_SP_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Unstructured-SP-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-SP-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -420,7 +420,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_ABSOLUTE)) {
setverdict(inconc, __SCOPE__, ": Unstructured-Absolute-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Unstructured-Absolute-Resource-ID format support is required to run this test case");
stop;
}
......@@ -444,7 +444,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_CSE_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-CSE-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -460,7 +460,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_SP_RELATIVE)) {
setverdict(inconc, __SCOPE__, ": Structured-SP-Relative-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-SP-Relative-Resource-ID format support is required to run this test case");
stop;
}
......@@ -476,7 +476,7 @@ module OneM2M_Testcases_AE_Release_1 {
//Test control
if(not(PICS_PRIMITIVE_SCOPE_ABSOLUTE)) {
setverdict(inconc, __SCOPE__, ": Structured-Absolute-Resource-ID format support is required to run this test case");
setverdict(inconc, __SCOPE__ & ": Structured-Absolute-Resource-ID format support is required to run this test case");
stop;
}
......@@ -535,7 +535,7 @@ module OneM2M_Testcases_AE_Release_1 {
alt{
[] mcaPortIn.receive(mw_request(v_requestPrimitive)) -> value v_request {
tc_ac.stop;
setverdict(pass, __SCOPE__, " : AE registration request is accepted!!");
setverdict(pass, __SCOPE__ & " : AE registration request is accepted!!");
v_parentIndex := f_getResourceIndex(v_request.primitive.requestPrimitive.to_);
v_resource := f_generateLocalResource(v_request.primitive.requestPrimitive.primitiveContent, v_parentIndex, v_request.primitive.requestPrimitive.resourceType);
v_resourceIndex := f_setLocalResource(v_resource, v_request.primitive.requestPrimitive.resourceType, v_parentIndex);
......@@ -546,11 +546,11 @@ module OneM2M_Testcases_AE_Release_1 {
}
[] mcaPortIn.receive(mw_request(mw_createAe(*,?,m_contentCreateAe_Invalid))) -> value v_request {
tc_ac.stop;
setverdict(fail, __SCOPE__, " : AE registration request is rejected due to not including mandatory attributes!!");