Hi Thilo,
actually, it is not sufficient if an XSD spec. is syntactically correct, it shall also be valid to translate it to TTCN-3.
But what about
<xs:element name="dummy1">
</xs:element>
the default type of XSD elements is anyType, see the XSD spec. Part-1 $3.3.2:
{type definition}<www.w3.org/TR/2004/REC-xmlschema-1-20041...html#type_definition> The type definition corresponding to the <www.w3.org/TR/2004/REC-xmlschema-1-20041...l#element-simpleType> or <www.w3.org/TR/2004/REC-xmlschema-1-20041...#element-complexType> element information item in the [children]<www.w3.org/TR/xml-infoset/#infoitem.element>, if either is present, otherwise the type definition ·resolved·<www.w3.org/TR/2004/REC-xmlschema-1-20041...res.html#src-resolve> to by the ·actual value·<www.w3.org/TR/2004/REC-xmlschema-1-20041...ructures.html#key-vv> of the type [attribute]<www.w3.org/TR/xml-infoset/#infoitem.element>, otherwise the {type definition}<www.w3.org/TR/2004/REC-xmlschema-1-20041...html#type_definition> of the element declaration ·resolved·<www.w3.org/TR/2004/REC-xmlschema-1-20041...res.html#src-resolve> to by the ·actual value·<www.w3.org/TR/2004/REC-xmlschema-1-20041...ructures.html#key-vv> of the substitutionGroup [attribute]<www.w3.org/TR/xml-infoset/#infoitem.element>, if present, otherwise the ·ur-type definition·<www.w3.org/TR/2004/REC-xmlschema-1-20041....html#ur-type-itself>
.
"
Hence it shall be translated to XSD.AnyType. Currently this case is not handled in Part-9 $7.3, could you submit a CR for this case pls.?
or
<xs:element name="dummy2" />
This is the same as element dummy1 just using the short syntax.
or
is invalid, the name or the ref attribute (but not both) shall be present in elements, see XSD spec Part-1 $ 3.3.3 item 2.1.
or
<xs:attribute name="attrWithoutType"/>
the default type of XSD attributes is anySimpleType, see the XSD spec. Part-1 $3.2.2: "
{type definition}<www.w3.org/TR/2004/REC-xmlschema-1-20041...mple_type_definition> The simple type definition corresponding to the <www.w3.org/TR/2004/REC-xmlschema-1-20041...l#element-simpleType> element information item in the [children]<www.w3.org/TR/xml-infoset/#infoitem.element>, if present, otherwise the simple type definition ·resolved·<www.w3.org/TR/2004/REC-xmlschema-1-20041...res.html#src-resolve> to by the ·actual value·<www.w3.org/TR/2004/REC-xmlschema-1-20041...ructures.html#key-vv> of the type [attribute]<www.w3.org/TR/xml-infoset/#infoitem.element>, if present, otherwise the ·simple ur-type definition·<www.w3.org/TR/2004/REC-xmlschema-1-20041...imple-ur-type-itself>.
"
Hence it shall be translated to XSD.AnySimpleType. Currently this case is not handled in Part-9 $7.4.1, could you submit a CR for this case pls.?
or
<xs:attribute name="attrEmptySimpleType">
<xs:simpleType/>
</xs:attribute>
is invalid, a <simpleType> shall have one of the childrens <restriction>, <union> or <list>.
BR, Gyorgy