element <program> (global)
Namespace:
{no namespace}
Type:
anonymous complexType
Content:
mixed (allows character data), 21 attributes, 5 elements
Defined:
globally in pretext.xsd; see XML source
Includes:
definitions of 21 attributes, 5 elements
Used:
at 5 locations
XML Representation Summary
<program
   
component
 = 
xs:anySimpleType
label
 = 
xs:anySimpleType
xml:id
 = 
xs:anySimpleType
width
 = 
xs:anySimpleType
margins
 = 
xs:anySimpleType
autorun
 = 
("yes" | "no")
chatcodes
 = 
("yes" | "no")
codelens
 = 
("yes" | "no")
compiler-args
 = 
xs:anySimpleType
database
 = 
xs:anySimpleType
datafile
 = 
xs:anySimpleType
download
 = 
("yes" | "no")
hidecode
 = 
("yes" | "no")
highlight-lines
 = 
xs:anySimpleType
include
 = 
xs:anySimpleType
interactive
 = 
"codelens"
interpreter-args
 = 
xs:anySimpleType
language
 = 
xs:anySimpleType
line-numbers
 = 
("yes" | "no")
linker-args
 = 
xs:anySimpleType
timelimit
 = 
xs:anySimpleType
   
>
   
Content: 
{text} × (preamble?, code, postamble?, tests?, stdin?)?
</program>
Content model elements (5):
code, postamble, preamble, stdin, tests
Included in content model of elements (71):
abstract,
acknowledgement,
activity,
algorithm,
answer,
appendix (in backmatter in article),
appendix (in backmatter in book),
article,
aside,
assemblage,
biographical,
biography,
case,
chapter,
claim,
colophon (defined in ColophonBack group),
computation,
conclusion (defined in ConclusionDivision group),
conclusion (defined in ConclusionStatement group),
conclusion (defined in ConclusionText group),
conclusion (in exercisegroup),
convention,
corollary,
data,
example,
exercise,
exploration,
fact,
gi,
headnote,
hint (defined in Hint group),
historical,
identity,
insight,
interlude,
introduction (defined in IntroductionDivision group),
introduction (defined in IntroductionStatement group),
introduction (defined in IntroductionText group),
introduction (in exercisegroup),
investigation,
lemma,
li (defined in ListItem group),
li (in dl),
li (in ol defined in ExerciseOrderedList group),
listing,
note (type RemarkLike),
observation,
paragraphs (defined in Paragraphs group),
paragraphs (defined in ParagraphsNoNumber group),
postlude,
preface,
prelude,
problem,
project,
proof,
proposition,
question,
remark,
section,
sidebyside (defined in SideBySide group),
sidebyside (defined in SideBySideNoCaption group),
solution (defined in Solution group),
stack,
statement (defined in Statement group),
statement (in exercise),
subsection,
subsubsection,
task (defined in Task group),
technology,
theorem,
warning
Known Usage Locations
XML Source (see within schema source)
<xs:element name="program">
<xs:complexType mixed="true">
<xs:sequence minOccurs="0">
<xs:element minOccurs="0" ref="preamble"/>
<xs:element ref="code"/>
<xs:element minOccurs="0" ref="postamble"/>
<xs:element minOccurs="0" ref="tests"/>
<xs:element minOccurs="0" ref="stdin"/>
</xs:sequence>
<xs:attribute name="component"/>
<xs:attribute name="label"/>
<xs:attribute ref="xml:id"/>
<xs:attribute name="width"/>
<xs:attribute name="margins"/>
<xs:attribute name="autorun">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
<xs:attribute name="chatcodes">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
<xs:attribute name="codelens">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
<xs:attribute name="compiler-args"/>
<xs:attribute name="database"/>
<xs:attribute name="datafile"/>
<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="hidecode">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
<xs:attribute name="highlight-lines"/>
<xs:attribute name="include"/>
<xs:attribute name="interactive">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="codelens"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
<xs:attribute name="interpreter-args"/>
<xs:attribute name="language"/>
<xs:attribute name="line-numbers">
<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="timelimit"/>
</xs:complexType>
</xs:element>
Attribute Detail (all declarations; defined within this component only; 21/21)
autorun
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="autorun">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
chatcodes
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="chatcodes">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
codelens
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="codelens">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
compiler-args
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="compiler-args"/>
component
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="component"/>
database
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="database"/>
datafile
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="datafile"/>
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>
hidecode
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="hidecode">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="yes"/>
<xs:enumeration value="no"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
highlight-lines
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="highlight-lines"/>
include
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="include"/>
interactive
Type:
anonymous simpleType (restriction of xs:token)
Use:
optional
Attribute Value
enumeration of xs:token
Enumeration:
"codelens"
Anonymous simpleType
Type Derivation Tree
xs:token (restriction)
  simpleType
Derivation:
restriction of xs:token
Facets:
enumeration:
"codelens"
XML Source (see within schema source)
<xs:attribute name="interactive">
<xs:simpleType>
<xs:restriction base="xs:token">
<xs:enumeration value="codelens"/>
</xs:restriction>
</xs:simpleType>
</xs:attribute>
interpreter-args
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="interpreter-args"/>
label
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="label"/>
language
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="language"/>
line-numbers
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="line-numbers">
<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"/>
margins
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="margins"/>
timelimit
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="timelimit"/>
width
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute name="width"/>
xml:id
Type:
xs:anySimpleType
Use:
optional
XML Source (see within schema source)
<xs:attribute ref="xml:id"/>
Content Element Detail (all declarations; defined within this component only; 5/5)
code
Type:
xs:string, predefined, simple content
XML Source (see within schema source)
<xs:element ref="code"/>
postamble
Type:
anonymous complexType, mixed content
XML Source (see within schema source)
<xs:element minOccurs="0" ref="postamble"/>
preamble
Type:
anonymous complexType, mixed content
XML Source (see within schema source)
<xs:element minOccurs="0" ref="preamble"/>
stdin
Type:
xs:string, predefined, simple content
XML Source (see within schema source)
<xs:element minOccurs="0" ref="stdin"/>
tests
Type:
anonymous complexType, mixed content
XML Source (see within schema source)
<xs:element minOccurs="0" ref="tests"/>
XML schema documentation generated with FlexDoc/XML 1.12.5 using FlexDoc/XML XSDDoc 2.9.2 template set