Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
TST
ATS
Commits
2e7bb2ec
Commit
2e7bb2ec
authored
Feb 21, 2018
by
Miguel Angel Reina Ortega
Browse files
Fixing f_CSE_DMR_DEL_004. Closing
#28
Signed-off-by:
reinaortega
<
miguelangel.reinaortega@etsi.org
>
parent
e295ce16
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
43 additions
and
0 deletions
+43
-0
LibOneM2M/OneM2M_Functions.ttcn
LibOneM2M/OneM2M_Functions.ttcn
+35
-0
OneM2M_PermutationFunctions.ttcn
OneM2M_PermutationFunctions.ttcn
+8
-0
No files found.
LibOneM2M/OneM2M_Functions.ttcn
View file @
2e7bb2ec
...
...
@@ -1393,6 +1393,41 @@ module OneM2M_Functions {
//mcaPort.send(m_response(v_responsePrimitive)); // TODO have to be deleted
}
//end f_subscriptionVerificationHandler
/**
* @desc Default handling message exchange for the notification procedure
* @verdict
*/
function
f_cse_notifyProcedure_defaultHandler
()
runs
on
AeSimu
{
// Local variables
var
ResponsePrimitive
v_responsePrimitive
;
//Activate defaults when running on a PTC
f_cse_activateDefaults_ae
();
tc_ac
.
start
;
alt
{
[]
mcaPortIn
.
receive
(
mw_request
(
mw_notifyNotification
(
mw_contentNotification
(
?
))))
->
value
vc_request
{
tc_ac
.
stop
;
setverdict
(
pass
,
__SCOPE__
&
":INFO: Notification received"
);
//Send response in any case
v_responsePrimitive
:=
valueof
(
m_responseNotification
(
int2001
,
omit
));
v_responsePrimitive
.
requestIdentifier
:=
vc_request
.
primitive
.
requestPrimitive
.
requestIdentifier
;
mcaPortIn
.
send
(
m_response
(
v_responsePrimitive
));
tc_ac
.
start
;
repeat
;
}
[]
mcaPortIn
.
receive
{
tc_ac
.
stop
;
setverdict
(
inconc
,
__SCOPE__
&
":ERROR: unexpected message received"
);
tc_ac
.
start
;
repeat
;
}
}
}
//end f_cse_notifyProcedure_defaultHandler
/**
* @desc Handling message exchange for the notification procedure
...
...
OneM2M_PermutationFunctions.ttcn
View file @
2e7bb2ec
...
...
@@ -4982,9 +4982,17 @@ module OneM2M_PermutationFunctions {
v_resourceIndex
:=
f_cse_createResource
(
p_resourceType
,
p_createRequestPrimitive
,
v_aeIndex
);
f_cse_preamble_subscriptionVerification
(
v_ae2Index
,
p_createRequestPrimitiveChildResource
,
p_childResourceType
);
v_childResourceIndex
:=
f_cse_createResource
(
p_childResourceType
,
p_createRequestPrimitiveChildResource
,
v_resourceIndex
);
if
((
p_resourceType
==
int23
)
or
(
p_childResourceType
==
int23
))
{
vc_ae2
.
start
(
f_cse_notifyProcedure_defaultHandler
());
}
f_cse_deleteResource
(
v_resourceIndex
);
f_checkAeSimuStatus
();
// Test Body
mcaPort
.
send
(
m_request
(
m_delete
(
f_getResourceAddress
(
v_childResourceIndex
),
f_getOriginator
(
v_childResourceIndex
))));
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment