nonterminal XMLDocument

In file: XMLSpec.sv

nonterminal XMLDocumentType

In file: XMLSpec.sv

nonterminal XMLNodeList

In file: XMLSpec.sv

nonterminal XMLNode

In file: XMLSpec.sv

nonterminal XMLAttribute

In file: XMLSpec.sv

abstract production xmlDocument

top::XMLDocument ::= xmlDTD::XMLDocumentType elements::XMLNodeList

In file: XMLSpec.sv

abstract production xmlDocumentType

top::XMLDocumentType ::= xmlDTDName::String entities::XMLNodeList

In file: XMLSpec.sv

abstract production xmlNoDocumentType

top::XMLDocumentType ::=

In file: XMLSpec.sv

abstract production xmlNodeListCons

top::XMLNodeList ::= h::XMLNode t::XMLNodeList

In file: XMLSpec.sv

abstract production xmlNodeListNil

top::XMLNodeList ::=

In file: XMLSpec.sv

abstract production xmlNodeElement

top::XMLNode ::= name::String attributes::[XMLAttribute] elements::XMLNodeList

In file: XMLSpec.sv

abstract production xmlNodeText

top::XMLNode ::= t::String

In file: XMLSpec.sv

abstract production xmlAttribute

top::XMLAttribute ::= name::String value::String

In file: XMLSpec.sv

function xmlUnparseAttr

String ::= xa::XMLAttribute

In file: XMLSpec.sv