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

15_templates/1508_template_restrictions/NegSem_1508_TemplateRestrictions_025.ttcn

+1 −1

Original line number	Diff line number	Diff line
		@@ -2,7 +2,7 @@
		** @author STF 409
		** @version $Rev: 150 $
		** @purpose 1:15.8, Ensure that template(present) refuses omitvalue as a whole.
		** @verdict pass accept, noexecution
		** @verdict pass reject
		*****************************************************************/

		module NegSem_1508_TemplateRestrictions_025 {

+1 −1

Original line number	Diff line number	Diff line
		@@ -2,7 +2,7 @@
		** @author STF 409
		** @version $Rev: 150 $
		** @purpose 1:15.8, Ensure that template(value) refuses omit as a whole.
		** @verdict pass accept, noexecution
		** @verdict pass reject
		*****************************************************************/

		module NegSem_1508_TemplateRestrictions_026 {

0 → 100644

+26 −0

Original line number	Diff line number	Diff line
		/*****************************************************************
		** @author STF 409
		** @version $Rev: 150 $
		** @purpose 1:15.8, Ensure that template(present) base templates are not allowed to be modfied to template(omit).
		** @verdict pass reject
		*****************************************************************/

		module NegSem_1508_TemplateRestrictions_027 {

		type record ExampleType {
		integer a,
		boolean b optional
		}

		template(present) ExampleType m_baseTemplate := {
		a := 20,
		b := true
		}

		// shall be rejected as template(omit) is not an allowed restriction for template(present)
		// templates
		template(omit) ExampleType m_modifiedTemplate := {
		a := 21
		}

		}
		No newline at end of file

0 → 100644

+26 −0

Original line number	Diff line number	Diff line
		/*****************************************************************
		** @author STF 409
		** @version $Rev: 150 $
		** @purpose 1:15.8, Ensure that template(omit) base templates are not allowed to be modfied to template(present).
		** @verdict pass reject
		*****************************************************************/

		module NegSem_1508_TemplateRestrictions_028 {

		type record ExampleType {
		integer a,
		boolean b optional
		}

		template(omit) ExampleType m_baseTemplate := {
		a := 20,
		b := true
		}

		// shall be rejected as template(present) is not an allowed restriction for template(omit)
		// templates
		template(present) ExampleType m_modifiedTemplate := {
		a := 21
		}

		}
		No newline at end of file

0 → 100644

+26 −0

Original line number	Diff line number	Diff line
		/*****************************************************************
		** @author STF 409
		** @version $Rev: 150 $
		** @purpose 1:15.8, Ensure that template(value) base templates are not allowed to be modfied to template(present).
		** @verdict pass reject
		*****************************************************************/

		module NegSem_1508_TemplateRestrictions_029 {

		type record ExampleType {
		integer a,
		boolean b optional
		}

		template(value) ExampleType m_baseTemplate := {
		a := 20,
		b := true
		}

		// shall be rejected as template(present) is not an allowed restriction for template(value)
		// templates
		template(present) ExampleType m_modifiedTemplate := {
		a := 21
		}

		}
		No newline at end of file