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

15_templates/1501_declaring_message_templates/Syn_1501_DeclaringMessageTemplates_006.ttcn

+2 −2

Original line number	Diff line number	Diff line
		@@ -8,7 +8,7 @@
		module Syn_1501_DeclaringMessageTemplates_006 {

		type port MyMessagePortType message {
		inout integer
		inout MyMessageType
		}

		type component GeneralComp {
		@@ -27,7 +27,7 @@ template MyMessageType m_myTemplate := {
		field3 := true
		}

		testcase Syn_1501_DeclaringMessageTemplates_006() runs on GeneralComp {
		testcase TC_Syn_1501_DeclaringMessageTemplates_006() runs on GeneralComp {
		pt_myPort.send(m_myTemplate);
		pt_myPort.receive(m_myTemplate);
		pt_myPort.trigger(m_myTemplate);

0 → 100644

+22 −0

Original line number	Diff line number	Diff line
		/*****************************************************************
		** @author STF 409
		** @version $Rev: 150 $
		** @purpose 1:15.3, Ensure that a global parameterized template is accepted.
		** @verdict pass accept, noexecution
		*****************************************************************/

		module Syn_1503_GlobalAndLocalTemplates_001 {

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

		template MyMessageType m_MyTemplate(integer p_myFormalParam):= {
		field1 := p_myFormalParam,
		field2 := pattern "abc*xyz",
		field3 := true
		}

		}
		No newline at end of file

0 → 100644

+40 −0

Original line number	Diff line number	Diff line
		/*****************************************************************
		** @author STF 409
		** @version $Rev: 150 $
		** @purpose 1:15.3, Ensure that a send operation with actual parameters of a global parameterized template is accepted.
		** @verdict pass accept, noexecution
		*****************************************************************/

		module Syn_1503_GlobalAndLocalTemplates_002 {

		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_myTemplate(integer p_myFormalParam):= {
		field1 := p_myFormalParam,
		field2 := pattern "abc*xyz",
		field3 := true
		}

		testcase TC_Syn_1503_GlobalAndLocalTemplates_002() runs on GeneralComp {
		pt_myPort.send(m_myTemplate(2));
		setverdict(pass);
		}

		control{
		execute(TC_Syn_1503_GlobalAndLocalTemplates_002());
		}


		}
		No newline at end of file

0 → 100644

+41 −0

Original line number	Diff line number	Diff line
		/*****************************************************************
		** @author STF 409
		** @version $Rev: 150 $
		** @purpose 1:15.3, Ensure that a parameterized local template in a test case is accepted.
		** @verdict pass accept, noexecution
		*****************************************************************/

		module Syn_1503_GlobalAndLocalTemplates_003 {

		type port MyMessagePortType message {
		inout MyMessageType
		}

		type component GeneralComp {
		port MyMessagePortType pt_myPort;
		}

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


		testcase TC_Syn_1503_GlobalAndLocalTemplates_003() runs on GeneralComp {
		template MyMessageType m_myTemplate(integer p_myFormalParam):= {
		field1 := p_myFormalParam,
		field2 := pattern "abc*xyz",
		field3 := true
		}

		pt_myPort.send(m_myTemplate(2));
		setverdict(pass);
		}

		control{
		execute(TC_Syn_1503_GlobalAndLocalTemplates_003());
		}


		}
		No newline at end of file

0 → 100644

+33 −0

Original line number	Diff line number	Diff line
		/*****************************************************************
		** @author STF 409
		** @version $Rev: 150 $
		** @purpose 1:15.3, Ensure that a parameterized local template in the control part is accepted.
		** @verdict pass accept, noexecution
		*****************************************************************/

		module Syn_1503_GlobalAndLocalTemplates_004 {

		type port MyMessagePortType message {
		inout MyMessageType
		}

		type component GeneralComp {
		port MyMessagePortType pt_myPort;
		}

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

		control{
		template MyMessageType m_myTemplate(integer p_myFormalParam):= {
		field1 := p_myFormalParam,
		field2 := pattern "abc*xyz",
		field3 := true
		}
		}


		}
		No newline at end of file