Skip to content
Snippets Groups Projects
Commit 573a2dec authored by Botond Baranyi's avatar Botond Baranyi
Browse files

Updated 'setstate' function tests


Change-Id: Ib6358ca470530aa19d1611ac8bae9866cbb675d0
Signed-off-by: default avatarBotond Baranyi <botond.baranyi@ericsson.com>
parent cb2befc7
No related branches found
No related tags found
No related merge requests found
...@@ -14,14 +14,14 @@ ...@@ -14,14 +14,14 @@
module Setstate_SE { //^In TTCN-3 module// module Setstate_SE { //^In TTCN-3 module//
const integer i1 := 4; const integer i1 := 5;
const integer i2 := 9999999999999999999999999999999999999999999999999999; const integer i2 := 9999999999999999999999999999999999999999999999999999;
function f() { //^In function definition \`f\'\:// function f() { //^In function definition \`f\'\://
port.setstate(-1); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2 or 3\.// port.setstate(-1); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2\, 3 or 4\.//
port.setstate(9999999999999999999999999999999999999999999999999999); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2 or 3\.// port.setstate(9999999999999999999999999999999999999999999999999999); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2\, 3 or 4\.//
port.setstate(i1); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2 or 3\.// port.setstate(i1); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2\, 3 or 4\.//
port.setstate(i2); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2 or 3\.// port.setstate(i2); //^In setstate statement\:// //^In first parameter\:// //^error\: The value of the first parameter must be 0\, 1\, 2\, 3 or 4\.//
} }
} }
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment