XML Schema Documentation

Target Namespace	None
Version	SNAPSHOT
Element and Attribute Namespaces	Global element and attribute declarations belong to this schema's target namespace. By default, local element declarations belong to this schema's target namespace. By default, local attribute declarations have no namespace.
Documentation	Every XMIR document is essentially an XML document that contains objects found in a EOLANG program together with supplementary information, such as metas, license, and so on.
Application Data	XML schema for XMIR documents

Prefix	Namespace
xml	http://www.w3.org/XML/1998/namespace
xs	http://www.w3.org/2001/XMLSchema

Schema Component Representation

<xs:schema version="SNAPSHOT" elementFormDefault="qualified">

...

</xs:schema>

Name	program
Type	program
Nillable	no
Abstract	no

XML Instance Representation

<listing> xs:string </listing> [1]

<errors> [1]

<error
check="anySimpleType [0..1]"
line="anySimpleType [1]"
severity="xs:string (value comes from list: {'critical'|'error'|'warning'}) [1]"
sheet="anySimpleType [0..1]"
step="anySimpleType [0..1]"> [0..*]
xs:string
</error>

</errors>

<sheets> [1]

<sheet> xs:string </sheet> [0..*]

</sheets>

<license> xs:string </license> [0..1]

<metas> [1]

<head> xs:string </head> [1]

<tail> xs:string </tail> [1]

<part> xs:string </part> [0..*]

</meta>

</metas>

<objects> [1]

<o> o </o> [0..*]

</objects>

</program>

Schema Component Representation

<xs:element name="program" type="program"/>

Super-types:	None
Sub-types:	None

Name	o
Abstract	no

XML Instance Representation

<...
line="xs:decimal [0..1]"
pos="xs:decimal [0..1]"
scope="xs:string [0..1]"
name="anySimpleType [0..1]"
base="anySimpleType [0..1]"
data="xs:string (value comes from list: {'bytes'|'string'|'int'|'float'|'bool'}) [0..1]"
star="anySimpleType [0..1]"
as="anySimpleType [0..1]"
atom="anySimpleType [0..1]"
flags="anySimpleType [0..1]"
loc="anySimpleType [0..1]"
abstract="empty [0..1]"
method="empty [0..1]"
const="empty [0..1]">

<o> ... </o> [0..*]

</...>

Schema Component Representation

<xs:complexType name="o" mixed="true">

<xs:sequence>

<xs:element name="o" minOccurs="0" maxOccurs="unbounded"/>

</xs:sequence>

<xs:attribute name="line" type="xs:decimal"/>

<xs:attribute name="pos" type="xs:decimal"/>

<xs:attribute name="scope" type="xs:string"/>

<xs:attribute name="name"/>

<xs:attribute name="base"/>

<xs:attribute name="data">

<xs:simpleType>

<xs:restriction base="xs:string">

<xs:enumeration value="bytes"/>

<xs:enumeration value="string"/>

<xs:enumeration value="int"/>

<xs:enumeration value="float"/>

<xs:enumeration value="bool"/>

</xs:restriction>

</xs:simpleType>

</xs:attribute>

<xs:attribute name="star"/>

<xs:attribute name="as"/>

<xs:attribute name="atom"/>

<xs:attribute name="flags"/>

<xs:attribute name="loc"/>

<xs:attribute name="abstract" type="empty"/>

<xs:attribute name="method" type="empty"/>

<xs:attribute name="const" type="empty"/>

</xs:complexType>

Super-types:	None
Sub-types:	None

Name	program
Abstract	no

XML Instance Representation

<...
ms="xs:decimal [1]"
name="xs:string [1]"
time="xs:dateTime [1]"
version="xs:string [1]"
revision="xs:string [1]"
dob="xs:dateTime [1]"
source="xs:string [0..1]">

<listing> xs:string </listing> [1]

<errors> [1]

</errors>

<sheets> [1]

<sheet> xs:string </sheet> [0..*]

</sheets>

<license> xs:string </license> [0..1]

<metas> [1]

<head> xs:string </head> [1]

<tail> xs:string </tail> [1]

<part> xs:string </part> [0..*]

</meta>

</metas>

<objects> [1]

<o> o </o> [0..*]

</objects>

</...>

Schema Component Representation

<xs:complexType name="program">

<xs:sequence>

<xs:element name="listing" type="xs:string"/>

<xs:element name="errors">

<xs:complexType>

<xs:sequence>

<xs:element name="error" minOccurs="0" maxOccurs="unbounded">

<xs:complexType>

<xs:simpleContent>

<xs:extension base="xs:string">

<xs:attribute name="check"/>

<xs:attribute name="line" use="required"/>

<xs:attribute name="severity" use="required">

<xs:simpleType>

<xs:restriction base="xs:string">

<xs:enumeration value="critical"/>

<xs:enumeration value="error"/>

<xs:enumeration value="warning"/>

</xs:restriction>

</xs:simpleType>

</xs:attribute>

<xs:attribute name="sheet"/>

<xs:attribute name="step"/>

</xs:extension>

</xs:simpleContent>

</xs:complexType>

</xs:element>

</xs:sequence>

</xs:complexType>

</xs:element>

<xs:element name="sheets">

<xs:complexType>

<xs:sequence>

<xs:element name="sheet" type="xs:string" minOccurs="0" maxOccurs="unbounded"/>

</xs:sequence>

</xs:complexType>

</xs:element>

<xs:element name="license" type="xs:string" minOccurs="0"/>

<xs:element name="metas">

<xs:complexType>

<xs:sequence>

<xs:element name="meta" minOccurs="0" maxOccurs="unbounded">

<xs:complexType>

<xs:sequence>

<xs:element name="head" type="xs:string"/>

<xs:element name="tail" type="xs:string"/>

<xs:element name="part" type="xs:string" minOccurs="0" maxOccurs="unbounded"/>

</xs:sequence>

<xs:attribute name="line"/>

<xs:attribute name="expanded"/>

</xs:complexType>

</xs:element>

</xs:sequence>

</xs:complexType>

</xs:element>

<xs:element name="objects">

<xs:complexType>

<xs:sequence>

<xs:element name="o" type="o" minOccurs="0" maxOccurs="unbounded"/>

</xs:sequence>

</xs:complexType>

</xs:element>

</xs:sequence>

<xs:attribute name="ms" type="xs:decimal" use="required"/>

<xs:attribute name="name" type="xs:string" use="required"/>

<xs:attribute name="time" type="xs:dateTime" use="required"/>

<xs:attribute name="version" type="xs:string" use="required"/>

<xs:attribute name="revision" type="xs:string" use="required"/>

<xs:attribute name="dob" type="xs:dateTime" use="required"/>

<xs:attribute name="source" type="xs:string"/>

</xs:complexType>

Super-types:	xs:string < empty (by restriction)
Sub-types:	None

Name	empty
Content	Base XSD Type: string length = 0

Schema Component Representation

<xs:simpleType name="empty">

<xs:restriction base="xs:string">

<xs:length value="0"/>

</xs:restriction>

</xs:simpleType>

Legend

Complex Type:

Schema Component Type

AusAddress

Schema Component Name

Super-types:	Address < AusAddress (by extension)
Sub-types:	QLDAddress (by restriction)

If this schema component is a type definition, its type hierarchy is shown in a gray-bordered box.

Name	AusAddress
Abstract	no

The table above displays the properties of this schema component.

XML Instance Representation

<... country="Australia">
<unitNo> string </unitNo> [0..1]
<houseNo> string </houseNo> [1]
<street> string </street> [1]
Start Choice[1]
<city> string </city> [1]
<town> string </town> [1]
End Choice
<state> AusStates </state> [1]
<postcode> string <<pattern = [1-9][0-9]{3}>> </postcode> [1]?
</...>

The XML Instance Representation table above shows the schema component's content as an XML instance.

The minimum and maximum occurrence of elements and attributes are provided in square brackets, e.g. [0..1].
Model group information are shown in gray, e.g. Start Choice ... End Choice.
For type derivations, the elements and attributes that have been added to or changed from the base type's content are shown in bold.
If an element/attribute has a fixed value, the fixed value is shown in green, e.g. country="Australia".
Otherwise, the type of the element/attribute is displayed.
- If the element/attribute's type is in the schema, a link is provided to it.
- For local simple type definitions, the constraints are displayed in angle brackets, e.g. <<pattern = [1-9][0-9]{3}>>.
If a local element/attribute has documentation, it will be displayed in a window that pops up when the question mark inside the attribute or next to the element is clicked, e.g. <postcode>.

Schema Component Representation

<complexTypename="AusAddress">
<complexContent>
<extensionbase="Address">
<sequence>
<elementname="state" type="AusStates"/>
<elementname="postcode">
<simpleType>
<restrictionbase="string">
<patternvalue="[1-9][0-9]{3}"/>
</restriction>
</simpleType>
</element>
</sequence>
<attributename="country" type="string" fixed="Australia"/>
</extension>
</complexContent>
</complexType>

The Schema Component Representation table above displays the underlying XML representation of the schema component. (Annotations are not shown.)

top

Glossary

Abstract (Applies to complex type definitions and element declarations). An abstract element or complex type cannot used to validate an element instance. If there is a reference to an abstract element, only element declarations that can substitute the abstract element can be used to validate the instance. For references to abstract type definitions, only derived types can be used.

All Model Group Child elements can be provided in any order in instances. See: http://www.w3.org/TR/xmlschema-1/#element-all.

Choice Model Group Only one from the list of child elements and model groups can be provided in instances. See: http://www.w3.org/TR/xmlschema-1/#element-choice.

Collapse Whitespace Policy Replace tab, line feed, and carriage return characters with space character (Unicode character 32). Then, collapse contiguous sequences of space characters into single space character, and remove leading and trailing space characters.

Disallowed Substitutions (Applies to element declarations). If substitution is specified, then substitution group members cannot be used in place of the given element declaration to validate element instances. If derivation methods, e.g. extension, restriction, are specified, then the given element declaration will not validate element instances that have types derived from the element declaration's type using the specified derivation methods. Normally, element instances can override their declaration's type by specifying an xsi:type attribute.

Key Constraint Like Uniqueness Constraint, but additionally requires that the specified value(s) must be provided. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions.

Key Reference Constraint Ensures that the specified value(s) must match value(s) from a Key Constraint or Uniqueness Constraint. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions.

Model Group Groups together element content, specifying the order in which the element content can occur and the number of times the group of element content may be repeated. See: http://www.w3.org/TR/xmlschema-1/#Model_Groups.

Nillable (Applies to element declarations). If an element declaration is nillable, instances can use the xsi:nil attribute. The xsi:nil attribute is the boolean attribute, nil, from the http://www.w3.org/2001/XMLSchema-instance namespace. If an element instance has an xsi:nil attribute set to true, it can be left empty, even though its element declaration may have required content.

Notation A notation is used to identify the format of a piece of data. Values of elements and attributes that are of type, NOTATION, must come from the names of declared notations. See: http://www.w3.org/TR/xmlschema-1/#cNotation_Declarations.

Preserve Whitespace Policy Preserve whitespaces exactly as they appear in instances.

Prohibited Derivations (Applies to type definitions). Derivation methods that cannot be used to create sub-types from a given type definition.

Prohibited Substitutions (Applies to complex type definitions). Prevents sub-types that have been derived using the specified derivation methods from validating element instances in place of the given type definition.

Replace Whitespace Policy Replace tab, line feed, and carriage return characters with space character (Unicode character 32).

Sequence Model Group Child elements and model groups must be provided in the specified order in instances. See: http://www.w3.org/TR/xmlschema-1/#element-sequence.

Substitution Group Elements that are members of a substitution group can be used wherever the head element of the substitution group is referenced.

Substitution Group Exclusions (Applies to element declarations). Prohibits element declarations from nominating themselves as being able to substitute a given element declaration, if they have types that are derived from the original element's type using the specified derivation methods.

Target Namespace The target namespace identifies the namespace that components in this schema belongs to. If no target namespace is provided, then the schema components do not belong to any namespace.

Uniqueness Constraint Ensures uniqueness of an element/attribute value, or a combination of values, within a specified scope. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions.

top

XML Schema Documentation

Table of Contents

Schema Document Properties

Declared Namespaces

Global Declarations

Element: program

Global Definitions

Complex Type: o

Complex Type: program

Simple Type: empty

Legend

Complex Type:

AusAddress

Glossary