Loading 15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_001.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -2,7 +2,7 @@ ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:15.8, Ensure that template(omit) is accepted with value omitvalue. ** @verdict pass accept, ttcn3verdict:pass ** @verdict pass accept, noexecution *****************************************************************/ module Syn_1508_TemplateRestrictions_001 { Loading 15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_002.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -2,7 +2,7 @@ ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:15.8, Ensure that template(omit) is accepted with a concrete value. ** @verdict pass accept, ttcn3verdict:pass ** @verdict pass accept, noexecution *****************************************************************/ module Syn_1508_TemplateRestrictions_002 { Loading 15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_003.ttcn 0 → 100644 +17 −0 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:15.8, Ensure that template(value) is accepted with value omitvalue. ** @verdict pass accept, noexecution *****************************************************************/ module Syn_1508_TemplateRestrictions_003 { type record ExampleType { integer a, boolean b optional } template(value) ExampleType exampleOmit := omit; } No newline at end of file 15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_004.ttcn 0 → 100644 +17 −0 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:15.8, Ensure that template(value) is accepted with a concrete value. ** @verdict pass accept, noexecution *****************************************************************/ module Syn_1508_TemplateRestrictions_004 { type record ExampleType { integer a, boolean b optional } template(value) ExampleType exampleOmit := {1, true}; } No newline at end of file 15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_005.ttcn 0 → 100644 +17 −0 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:15.8, Ensure that template(present) is accepted with value omitvalue. ** @verdict pass accept, noexecution *****************************************************************/ module Syn_1508_TemplateRestrictions_003 { type record ExampleType { integer a, boolean b optional } template(present) ExampleType exampleOmit := omit; } No newline at end of file Loading
15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_001.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -2,7 +2,7 @@ ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:15.8, Ensure that template(omit) is accepted with value omitvalue. ** @verdict pass accept, ttcn3verdict:pass ** @verdict pass accept, noexecution *****************************************************************/ module Syn_1508_TemplateRestrictions_001 { Loading
15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_002.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -2,7 +2,7 @@ ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:15.8, Ensure that template(omit) is accepted with a concrete value. ** @verdict pass accept, ttcn3verdict:pass ** @verdict pass accept, noexecution *****************************************************************/ module Syn_1508_TemplateRestrictions_002 { Loading
15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_003.ttcn 0 → 100644 +17 −0 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:15.8, Ensure that template(value) is accepted with value omitvalue. ** @verdict pass accept, noexecution *****************************************************************/ module Syn_1508_TemplateRestrictions_003 { type record ExampleType { integer a, boolean b optional } template(value) ExampleType exampleOmit := omit; } No newline at end of file
15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_004.ttcn 0 → 100644 +17 −0 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:15.8, Ensure that template(value) is accepted with a concrete value. ** @verdict pass accept, noexecution *****************************************************************/ module Syn_1508_TemplateRestrictions_004 { type record ExampleType { integer a, boolean b optional } template(value) ExampleType exampleOmit := {1, true}; } No newline at end of file
15_templates/1508_template_restrictions/Syn_1508_TemplateRestrictions_005.ttcn 0 → 100644 +17 −0 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:15.8, Ensure that template(present) is accepted with value omitvalue. ** @verdict pass accept, noexecution *****************************************************************/ module Syn_1508_TemplateRestrictions_003 { type record ExampleType { integer a, boolean b optional } template(present) ExampleType exampleOmit := omit; } No newline at end of file