|
|
__init__(self,
output,
encoding,
name,
major,
minor)
This constructor writes the header of the XML automata file.
|
|
startAutomaton(self,
name,
type)
This method writes the header of an automaton in the current
file.
|
|
startGroup(self,
type)
This method writes the beginning of a generic group in the current
file.
|
|
addItem(self,
type,
attributes)
This method writes a generic XML item in the current file.
|
|
endGroup(self,
type)
This method writes the end of a generic group in the current
file.
|
|
endAutomaton(self)
This method writes the end of an automaton in the current
file.
|
|
endAutomata(self)
This method writes the end tag of the current automata.
|