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

15_templates/1505_modified_templates/Sem_1505_ModifiedTemplates_001.ttcn

0 → 100644

+46 −0

Original line number	Diff line number	Diff line
		/*****************************************************************
		** @author STF 409
		** @version $Rev: 150 $
		** @purpose 1:15.5, Ensure that the values of plain modified template definitions are as expected.
		** @verdict pass accept, noexecution
		*****************************************************************/

		module Sem_1505_ModifiedTemplates_001 {

		type port MyMessagePortType message {
		inout MyMessageType
		}

		type component GeneralComp {
		port MyMessagePortType pt_myPort;
		}

		type record MyMessageType {
		integer field1,
		charstring field2,
		boolean field3
		}

		template MyMessageType m_templateOne := {
		field1 := 2,
		field2 := "Hello World",
		field3 := true
		}

		template MyMessageType m_templateTwo modifies m_templateOne := {
		field1 := 4
		}

		testcase TC_Sem_1505_ModifiedTemplates_001() runs on GeneralComp {
		if ((valueof(m_templateTwo.field1) == 4) and (valueof(m_templateTwo.field2) == "Hello World") and (valueof(m_templateTwo.field3) == true)) {
		setverdict(pass);
		} else {
		setverdict(fail);
		}
		}

		control{
		execute(TC_Sem_1505_ModifiedTemplates_001());
		}

		}
		No newline at end of file

0 → 100644

+34 −0

Original line number	Diff line number	Diff line
		/*****************************************************************
		** @author STF 409
		** @version $Rev: 150 $
		** @purpose 1:15.5, Ensure that plain modified template definitions are accepted.
		** @verdict pass accept, noexecution
		*****************************************************************/

		module Syn_1505_ModifiedTemplates_001 {

		type port MyMessagePortType message {
		inout MyMessageType
		}

		type component GeneralComp {
		port MyMessagePortType pt_myPort;
		}

		type record MyMessageType {
		integer field1,
		charstring field2,
		boolean field3
		}

		template MyMessageType m_templateOne := {
		field1 := 2,
		field2 := "Hello World",
		field3 := true
		}

		template MyMessageType m_templateTwo modifies m_templateOne := {
		field1 := 4
		}

		}
		No newline at end of file