-- TTCN3 module extracted from ITU-T Z.169 (11/2008)

module Example3 { import from XSD language "XML" all; type record C1 { XSD.Integer base, XSD.Integer a1 optional, XSD.Integer a2 optional } with { variant(a1) "attribute"; variant(a2) "attribute"; variant "untagged 'base'" }; type record C2 { XSD.Integer (23 .. 26) base, XSD.Byte a1, XSD.NegativeInteger a2 optional } with { variant(a1) "attribute"; variant(a2) "attribute"; variant "untagged 'base'" }; type record C3 { XSD.Integer (25 .. 26) base, XSD.Byte a1, XSD.NegativeInteger a2 optional } with { variant(a1) "attribute"; variant(a2) "attribute"; variant "untagged 'base'" }; } with { encode "XML"; variant "name all as capitalized, name all in all as capitalized"; variant "namespace all as 'nsA'" }