Abstract Syntax Tree
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