Minnesota Extensible Language Tools Group

[silver:xml:ast]

Contents of [silver:xml:ast]:

Defined in this grammar:

nonterminal XMLDocument

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 1.

(Undocumented.)

nonterminal XMLDocumentType

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 6.

(Undocumented.)

nonterminal XMLNodeList

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 7.

(Undocumented.)

nonterminal XMLNode

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 8.

(Undocumented.)

nonterminal XMLAttribute

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 9.

(Undocumented.)

synthesized attribute xmlSubNodes :: XMLNodeList

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 12.

(Undocumented.)

synthesized attribute xmlDTD :: XMLDocumentType

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 13.

(Undocumented.)

synthesized attribute xmlName :: String

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 15.

(Undocumented.)

synthesized attribute xmlText :: String

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 16.

(Undocumented.)

synthesized attribute xmlAttributes :: [XMLAttribute]

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 17.

(Undocumented.)

synthesized attribute xmlAttributeValue :: String

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 19.

(Undocumented.)

synthesized attribute xmlSubNodeList :: [XMLNode]

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 21.

(Undocumented.)

synthesized attribute xmlUnparse :: String

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 24.

(Undocumented.)

abstract production xmlDocument   (top::XMLDocument ::= xmlDTD::XMLDocumentType elements::XMLNodeList )

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 28.

(Undocumented.)

abstract production xmlDocumentType   (top::XMLDocumentType ::= xmlDTDName::String entities::XMLNodeList )

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 39.

(Undocumented.)

abstract production xmlNoDocumentType   (top::XMLDocumentType ::= )

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 48.

(Undocumented.)

abstract production xmlNodeListCons   (top::XMLNodeList ::= h::XMLNode t::XMLNodeList )

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 59.

(Undocumented.)

abstract production xmlNodeListNil   (top::XMLNodeList ::= )

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 67.

(Undocumented.)

abstract production xmlNodeElement   (top::XMLNode ::= name::String attributes::[XMLAttribute] elements::XMLNodeList )

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 77.

(Undocumented.)

abstract production xmlNodeText   (top::XMLNode ::= t::String )

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 87.

(Undocumented.)

abstract production xmlAttribute   (top::XMLAttribute ::= name::String value::String )

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 99.

(Undocumented.)

function xmlUnparseAttr   (String ::= xa::XMLAttribute )

Contained in grammar [silver:xml:ast]. Defined at silver/xml/ast/XMLSpec.sv line 107.

(Undocumented.)