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