element <programs> (global)
Namespace:
{no namespace}
Type:
anonymous complexType
Content:
empty, 7 attributes
Defined:
globally in pretext.xsd; see XML source
Includes:
definitions of 7 attributes
Used:
at 1 location
XML Representation Summary
<programs
   
language
 = 
xs:anySimpleType
compiler-args
 = 
xs:anySimpleType
download
 = 
("yes" | "no")
linenumbers
 = 
("yes" | "no")
linker-args
 = 
xs:anySimpleType
interpreter-args
 = 
xs:anySimpleType
timeout
 = 
xs:anySimpleType
/>
Included in content model of elements (1):
docinfo
Known Usage Locations
XML Source (see within schema source)
<xs:element name="programs">
<xs:complexType>
<xs:attribute name="language"/>
<xs:attribute name="compiler-args"/>
<xs:attribute name="download">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
<xs:attribute name="linenumbers">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
<xs:attribute name="linker-args"/>
<xs:attribute name="interpreter-args"/>
<xs:attribute name="timeout"/>
</xs:complexType>
</xs:element>
Attribute Detail (all declarations; defined within this component only; 7/7)
compiler-args
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="compiler-args"/>
download
Type:
anonymous simpleType (restriction of xs:token)
Use:
optional
Attribute Value
enumeration of xs:token
Enumeration:
"yes", "no"
Anonymous simpleType
Type Derivation Tree
xs:token (restriction)
  simpleType
Derivation:
restriction of xs:token
Facets:
enumeration:
"yes", "no"
XML Source (see within schema source)
<xs:attribute name="download">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
interpreter-args
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="interpreter-args"/>
language
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="language"/>
linenumbers
Type:
anonymous simpleType (restriction of xs:token)
Use:
optional
Attribute Value
enumeration of xs:token
Enumeration:
"yes", "no"
Anonymous simpleType
Type Derivation Tree
xs:token (restriction)
  simpleType
Derivation:
restriction of xs:token
Facets:
enumeration:
"yes", "no"
XML Source (see within schema source)
<xs:attribute name="linenumbers">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
linker-args
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="linker-args"/>
timeout
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="timeout"/>
XML schema documentation generated with FlexDoc/XML 1.12.5 using FlexDoc/XML XSDDoc 2.9.2 template set