Loading 15_templates/1504_inline_templates/NegSem_1504_InlineTemplates_001.ttcndeleted 100644 → 0 +0 −35 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:15.4, Ensure that an inline template can be accessed as exepcted by the dot notation. ** @verdict pass accept, ttcn3verdict:pass *****************************************************************/ module NegSem_1504_InlineTemplates_001 { type port MyMessagePortType message { inout MyMessageType } type component GeneralComp { port MyMessagePortType pt_myPort; } type record MyMessageType { integer field1, charstring field2, boolean field3 } testcase TC_NegSem_1504_InlineTemplates_001() runs on GeneralComp { if ((MyMessageType:{2,"foobar",true}).field1 == 2) { setverdict(fail); } else { setverdict(pass); } } control{ execute(TC_NegSem_1504_InlineTemplates_001()); } } No newline at end of file Loading
15_templates/1504_inline_templates/NegSem_1504_InlineTemplates_001.ttcndeleted 100644 → 0 +0 −35 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:15.4, Ensure that an inline template can be accessed as exepcted by the dot notation. ** @verdict pass accept, ttcn3verdict:pass *****************************************************************/ module NegSem_1504_InlineTemplates_001 { type port MyMessagePortType message { inout MyMessageType } type component GeneralComp { port MyMessagePortType pt_myPort; } type record MyMessageType { integer field1, charstring field2, boolean field3 } testcase TC_NegSem_1504_InlineTemplates_001() runs on GeneralComp { if ((MyMessageType:{2,"foobar",true}).field1 == 2) { setverdict(fail); } else { setverdict(pass); } } control{ execute(TC_NegSem_1504_InlineTemplates_001()); } } No newline at end of file