No commit message (aeb39fba) · Commits · MTS - Methods for Testing and Specification / TTCN-3_Compiler_Tests / TTCN3_PART1

07_expressions/0702_field_references_and_list_elements/Sem_0702_FieldReferencesAndListElements_001.ttcn

0 → 100644

+32 −0

Original line number	Diff line number	Diff line
		/*****************************************************************
		** @author STF 409
		** @version $Rev: 12 $
		** @purpose 1:7.2, Ensure that the rotate left operator works as expected on bitstrings.
		** @verdict pass accept, ttcn3verdict:pass
		*****************************************************************/

		module Sem_0702_FieldReferencesAndListElements_001 {

		type component GeneralComp {
		}

		type record MyRecord1 {
		integer field1,
		charstring field2
		}

		testcase TC_Sem_0702_FieldReferencesAndListElements_001() runs on GeneralComp {
		var MyRecord1 v_test := {1, "Hello World!"};

		if ((v_test.field1 == 1) and (v_test.field2 == "Hello World!")) {
		setverdict(pass);
		} else {
		setverdict(fail);
		}
		}

		control{
		execute(TC_Sem_0702_FieldReferencesAndListElements_001());
		}

		}

0 → 100644

+29 −0

Original line number	Diff line number	Diff line
		/*****************************************************************
		** @author STF 409
		** @version $Rev: 12 $
		** @purpose 1:7.2, Ensure that the rotate left operator works as expected on bitstrings.
		** @verdict pass accept, ttcn3verdict:pass
		*****************************************************************/

		module Sem_0702_FieldReferencesAndListElements_002 {

		type component GeneralComp {
		}

		type record of integer IntegerArray;

		testcase TC_Sem_0702_FieldReferencesAndListElements_002() runs on GeneralComp {
		var IntegerArray v_test := {20, 41, 12};

		if ((v_test[0] == 20) and (v_test[1] == 41) and (v_test[3] == 12)) {
		setverdict(pass);
		} else {
		setverdict(fail);
		}
		}

		control{
		execute(TC_Sem_0702_FieldReferencesAndListElements_002());
		}

		}