Loading 15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_027.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ template(present) ExampleType m_baseTemplate := { // shall be rejected as template(omit) is not an allowed restriction for template(present) // templates template(omit) ExampleType m_modifiedTemplate := { template(omit) ExampleType m_modifiedTemplate modifies m_baseTemplate := { a := 21 } Loading 15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_028.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ template(omit) ExampleType m_baseTemplate := { // shall be rejected as template(present) is not an allowed restriction for template(omit) // templates template(present) ExampleType m_modifiedTemplate := { template(present) ExampleType m_modifiedTemplate modifies m_baseTemplate := { a := 21 } Loading 15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_029.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ template(value) ExampleType m_baseTemplate := { // shall be rejected as template(present) is not an allowed restriction for template(value) // templates template(present) ExampleType m_modifiedTemplate := { template(present) ExampleType m_modifiedTemplate modifies m_baseTemplate := { a := 21 } Loading 15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_030.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ template(value) ExampleType m_baseTemplate := { // shall be rejected as template(present) is not an allowed restriction for template(value) // templates template(omit) ExampleType m_modifiedTemplate := { template(omit) ExampleType m_modifiedTemplate modifies m_baseTemplate := { a := 21 } Loading 15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_031.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ template(value) ExampleType m_baseTemplate := { // shall be rejected as template is not an allowed restriction for template(value) // templates template ExampleType m_modifiedTemplate := { template ExampleType m_modifiedTemplate modifies m_baseTemplate := { a := 21 } Loading Loading
15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_027.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ template(present) ExampleType m_baseTemplate := { // shall be rejected as template(omit) is not an allowed restriction for template(present) // templates template(omit) ExampleType m_modifiedTemplate := { template(omit) ExampleType m_modifiedTemplate modifies m_baseTemplate := { a := 21 } Loading
15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_028.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ template(omit) ExampleType m_baseTemplate := { // shall be rejected as template(present) is not an allowed restriction for template(omit) // templates template(present) ExampleType m_modifiedTemplate := { template(present) ExampleType m_modifiedTemplate modifies m_baseTemplate := { a := 21 } Loading
15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_029.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ template(value) ExampleType m_baseTemplate := { // shall be rejected as template(present) is not an allowed restriction for template(value) // templates template(present) ExampleType m_modifiedTemplate := { template(present) ExampleType m_modifiedTemplate modifies m_baseTemplate := { a := 21 } Loading
15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_030.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ template(value) ExampleType m_baseTemplate := { // shall be rejected as template(present) is not an allowed restriction for template(value) // templates template(omit) ExampleType m_modifiedTemplate := { template(omit) ExampleType m_modifiedTemplate modifies m_baseTemplate := { a := 21 } Loading
15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_031.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ template(value) ExampleType m_baseTemplate := { // shall be rejected as template is not an allowed restriction for template(value) // templates template ExampleType m_modifiedTemplate := { template ExampleType m_modifiedTemplate modifies m_baseTemplate := { a := 21 } Loading