From 41ac339c9bec9e12ff77a4942f586136dd8631fe Mon Sep 17 00:00:00 2001
From: Philip Makedonski <makedonski@informatik.uni-goettingen.de>
Date: Tue, 30 Jun 2020 11:49:49 +0200
Subject: [PATCH] + updated examples
---
standard-tests/3gpp/IMS.tdlan2 | 10 +++++-----
standard-tests/onem2m/cse_dmr.tplan2 | 4 ++--
2 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/standard-tests/3gpp/IMS.tdlan2 b/standard-tests/3gpp/IMS.tdlan2
index 37e2b6c..26d40b0 100644
--- a/standard-tests/3gpp/IMS.tdlan2
+++ b/standard-tests/3gpp/IMS.tdlan2
@@ -15,7 +15,7 @@ file and shall not imply any sub-license right.
*/
//Translated from [i.6], Section 4.5.1.
-TDLan Specification IMS_NNI_General_Capabilities {
+Package IMS_NNI_General_Capabilities {
//Procedures carried out by a component of a test configuration
//or an actor during test execution
Action preConditions : "Pre-test conditions:
@@ -64,10 +64,10 @@ TDLan Specification IMS_NNI_General_Capabilities {
//Relevant data definitions
Type MSG (optional TCP of type CONTENT);
- MSG MESSAGE ;
- MSG DING ;
- MSG DELIVERY_REPORT ;
- MSG M_200_OK ;
+ MSG MESSAGE() ;
+ MSG DING() ;
+ MSG DELIVERY_REPORT() ;
+ MSG M_200_OK() ;
Type CONTENT ;
CONTENT tcp;
diff --git a/standard-tests/onem2m/cse_dmr.tplan2 b/standard-tests/onem2m/cse_dmr.tplan2
index d1f46be..60552b8 100644
--- a/standard-tests/onem2m/cse_dmr.tplan2
+++ b/standard-tests/onem2m/cse_dmr.tplan2
@@ -21,6 +21,7 @@ Package onem2m_cse_dmr {
entities:
- AE
- IUT
+ - container_resource
;
events:
- being_in
@@ -33,7 +34,6 @@ Package onem2m_cse_dmr {
- perform_DELETE_operation_on
- increments
- sends
- - container_resource
;
}
@@ -63,7 +63,7 @@ Package onem2m_cse_dmr {
From indicating value AE_ID;
}
then {
- the IUT entity increments the stateTag attribute in the container_resource
+ the IUT entity increments the stateTag ^attribute in the container_resource entity
and the IUT entity sends a valid Response containing
Response Status Code set to 2002; /* (DELETED) */
}
--
GitLab