update based on Bogdan comments (be165e83) · Commits · MTS - Methods for Testing and Specification / TTCN-3_Compiler_Tests / TTCN3_PART1

ATS/06_types_and_values/0601_basic_types_and_values/060101_basic_string_types_and_values/060101_toplevel/Sem_060101_TopLevel_007.ttcn

+12 −8

Original line number	Diff line number	Diff line
		@@ -22,14 +22,18 @@ module Sem_060101_TopLevel_007 {
		var universal charstring v_a := char(U0041); //USI notation for character "A"
		var universal charstring v_b := char(U0171); //USI notation for character "ű"
		var universal charstring v_c := char(U41); //USI notation for character "A" without leading zeroes
		var universal charstring v_b := char(U+171); //USI notation for character "ű" without leading zeroes and + sign notation
		var universal charstring v_d := char(U171,U41); //USI notation for character "ű" and "A" without leading zeroes and + sign notation
		var universal charstring v_d := char(U+171,U41); //USI notation for character "ű" and "A" without leading zeroes and + sign notation

		if ((v_a == "A") and (v_b == "ű") and (v_c == "A") and (v_d == "űA") ){
		setverdict(pass);


		if (match(v_a,"A") and
		match(v_b,"ű") and
		match(v_c,"A") and
		match(v_d,"űA") ){
		setverdict(pass,"v_a:",v_a,", v_b:",v_b,", v_c:",v_c,", v_d:",v_d);
		}
		else {
		setverdict(fail);
		setverdict(fail,"v_a:",v_a,", v_b:",v_b,", v_c:",v_c,", v_d:",v_d);
		}
		}

ATS/06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010205_pattern_subtyping_of_character_string_types/NegSyn_06010205_StringPattern_002.ttcn

+2 −2

Original line number	Diff line number	Diff line
		@@ -6,13 +6,13 @@
		***************************************************/

		module NegSyn_06010205_StringPattern_002 {
		type charstring MyString (pattern "\q{0,0,1,116}abc"); //error: is not a legal character of the TTCN 3 charstring type
		type charstring MyString (pattern "\q{0,0,1,116}abc"); //error: not a legal character for the TTCN 3 charstring type


		type component GeneralComp {}

		testcase TC_NegSyn_06010205_StringPattern_002() runs on GeneralComp {
		var MyString v_c := "Ŵabc"; //error: is not a legal character of the TTCN 3 charstring type
		var MyString v_c := "Ŵabc"; //error: not a legal character of the TTCN 3 charstring type
		}

		control{

ATS/06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010205_pattern_subtyping_of_character_string_types/Sem_06010205_StringPattern_003.ttcn

+1 −1

Original line number	Diff line number	Diff line
		@@ -24,7 +24,7 @@ module Sem_06010205_StringPattern_003 {
		v_c := "AbC.xyZ";
		v_c := "ABc*xYZ";
		v_c := "ABC?XYZ";
		setverdict(pass);
		setverdict(pass,"The resuls is: ",v_c);
		}

		control{

ATS/06_types_and_values/0601_basic_types_and_values/060102_subtyping_of_basic_types/06010206_mixing_subtyping_mechanisms/0601020602_using_length_restriction_with_other_constraints/Sem_0601020602_StringMixing_007.ttcn

+1 −1

Original line number	Diff line number	Diff line
		@@ -22,7 +22,7 @@ module Sem_0601020602_StringMixing_007 {
		v_b :=v_a; //v_b :="abxyz";
		v_b :="AbXyZ";

		setverdict(pass);
		setverdict(pass,"The result is: ",v_b);
		}

		control{

ATS/06_types_and_values/0602_structured_types_and_values/060209_comm_port_types/Sem_060209_CommunicationPortTypes_005.ttcn

+172 −21

Original line number	Diff line number	Diff line
		@@ -62,25 +62,176 @@ module Sem_060209_CommunicationPortTypes_005 {
		var MyUnionType uni :={number:=1};
		v_a.integer :=1;

		pt_myPort.send(j); //send integer via port
		pt_myPort.send(int2float(j)); //send float via port
		pt_myPort.send(int2char(j)); //send character via port
		pt_myPort.send(int2bit(j,4)); //send bitstring via port
		pt_myPort.send(int2oct(j,4)); //send octetstring via port
		pt_myPort.send(int2hex(j,4)); //send hexstring via port
		pt_myPort.send(int2str(j)); //send charstring via port
		pt_myPort.send(v_2); //send boolean via port
		pt_myPort.send(v_3); //send verdicttype via port
		pt_myPort.send(v_4); //send universal charstring via port
		pt_myPort.send(v_a.integer); //send anytype via port
		pt_myPort.send(MyR); //send record via port
		pt_myPort.send(MyS); //send set via port
		pt_myPort.send(RoI); //send record of integers via port
		pt_myPort.send(SoI); //send set of integers via port
		pt_myPort.send(enu); //send enum via port
		pt_myPort.send(uni); //send union via port

		setverdict(pass);
		//send integer via port
		pt_myPort.send(j);
		alt {
		[] pt_myPort.receive(j) {
		setverdict(pass,"Send success, received:", j);
		}
		[] pt_myPort.receive {
		setverdict(fail,"integer sent failed",j);
		}
		}
		//send float via port
		pt_myPort.send(int2float(j));
		alt {
		[] pt_myPort.receive(int2float(j)) {
		setverdict(pass,"Send success,received:", int2float(j));
		}
		[] pt_myPort.receive {
		setverdict(fail,"float sent failed", int2float(j));
		}
		}
		//send character via port
		pt_myPort.send(int2char(j));
		alt {
		[] pt_myPort.receive(int2char(j)) {
		setverdict(pass,"Send success,received:", int2char(j));
		}
		[] pt_myPort.receive {
		setverdict(fail,"character sent failed", int2char(j));
		}
		}
		//send bitstring via port
		pt_myPort.send(int2bit(j,4));
		alt {
		[] pt_myPort.receive(int2bit(j,4)) {
		setverdict(pass,"Send success,received:", int2bit(j,4));
		}
		[] pt_myPort.receive {
		setverdict(fail,"bitstring sent failed", int2bit(j,4));
		}
		}
		//send octetstring via port
		pt_myPort.send(int2oct(j,4));
		alt {
		[] pt_myPort.receive(int2oct(j,4)) {
		setverdict(pass,"Send success,received:", int2oct(j,4));
		}
		[] pt_myPort.receive {
		setverdict(fail,"octetstring sent failed", int2oct(j,4));
		}
		}
		//send hexstring via port
		pt_myPort.send(int2hex(j,4));
		alt {
		[] pt_myPort.receive(int2hex(j,4)) {
		setverdict(pass,"Send success,received:",int2hex(j,4));
		}
		[] pt_myPort.receive {
		setverdict(fail,"octetstring sent failed",int2hex(j,4));
		}
		}
		//send charstring via port
		pt_myPort.send(int2str(j));
		alt {
		[] pt_myPort.receive(int2str(j)) {
		setverdict(pass,"Send success,received:",int2str(j));
		}
		[] pt_myPort.receive {
		setverdict(fail,"charstring sent failed",int2str(j));
		}
		}
		//send boolean via port
		pt_myPort.send(v_2);
		alt {
		[] pt_myPort.receive(v_2) {
		setverdict(pass,"Send success,received:",v_2);
		}
		[] pt_myPort.receive {
		setverdict(fail,"charstring sent failed", v_2);
		}
		}
		//send verdicttype via port
		pt_myPort.send(v_3);
		alt {
		[] pt_myPort.receive(v_3) {
		setverdict(pass,"Send success,received:",v_3);
		}
		[] pt_myPort.receive {
		setverdict(fail,"verdict type sent failed", v_3);
		}
		}
		//send universal charstring via port
		pt_myPort.send(v_4);
		alt {
		[] pt_myPort.receive(v_4) {
		setverdict(pass,"Send success,received:",v_4);
		}
		[] pt_myPort.receive {
		setverdict(fail,"universal charstring sent failed", v_4);
		}
		}
		//send anytype via port
		pt_myPort.send(v_a.integer);
		alt {
		[] pt_myPort.receive(v_a.integer) {
		setverdict(pass,"Send success,received:",v_a.integer);
		}
		[] pt_myPort.receive {
		setverdict(fail,"anytype sent failed", v_a.integer);
		}
		}
		//send record via port
		pt_myPort.send(MyR);
		alt {
		[] pt_myPort.receive(MyR) {
		setverdict(pass,"Send success,received:",MyR);
		}
		[] pt_myPort.receive {
		setverdict(fail,"Record sent failed", MyR);
		}
		}
		//send set via port
		pt_myPort.send(MyS);
		alt {
		[] pt_myPort.receive(MyS) {
		setverdict(pass,"Send success,received:",MyS);
		}
		[] pt_myPort.receive {
		setverdict(fail,"Set sent failed", MyS);
		}
		}
		//send record of integers via port
		pt_myPort.send(RoI);
		alt {
		[] pt_myPort.receive(RoI) {
		setverdict(pass,"Send success,received:",RoI);
		}
		[] pt_myPort.receive {
		setverdict(fail,"Record of integers sent failed", RoI);
		}
		}
		//send set of integers via port
		pt_myPort.send(SoI);
		alt {
		[] pt_myPort.receive(SoI) {
		setverdict(pass,"Send success,received:",SoI);
		}
		[] pt_myPort.receive {
		setverdict(fail,"Record of integers sent failed", SoI);
		}
		}
		//send enum via port
		pt_myPort.send(enu);
		alt {
		[] pt_myPort.receive(enu) {
		setverdict(pass,"Send success,received:",enu);
		}
		[] pt_myPort.receive {
		setverdict(fail,"Enum sent failed", enu);
		}
		}
		//send union via port
		pt_myPort.send(uni);
		alt {
		[] pt_myPort.receive(uni) {
		setverdict(pass,"Send success,received:",uni);
		}
		[] pt_myPort.receive {
		setverdict(fail,"Union sent failed", uni);
		}
		}

		}