createSectManager | createSectManager ( ) |
marshal | marshal ( term ) |
parse | parse ( ) parse ( net .sourceforge .czt .session .SectionInfo manager ) parse ( String filename ) parse ( String filename , net .sourceforge .czt .session .SectionInfo manager ) parse ( File file , net .sourceforge .czt .session .SectionInfo manager ) |
save | save ( String content ) save ( String content , String filename ) save ( String content , String filename , encoding ) |
show | void show ( String text ) |
showTree | void showTree ( Term term ) |
toLatex | toLatex ( net .sourceforge .czt .base .ast .Term spec ) toLatex ( net .sourceforge .czt .base .ast .Term spec , net .sourceforge .czt .session .SectionManager manger ) toLatex ( net .sourceforge .czt .base .ast .Term spec , java .io .Writer writer , net .sourceforge .czt .session .SectionManager manger ) |
toUnicode | toUnicode ( net .sourceforge .czt .base .ast .Term spec ) toUnicode ( net .sourceforge .czt .base .ast .Term spec , net .sourceforge .czt .session .SectionManager manger ) toUnicode ( net .sourceforge .czt .base .ast .Term spec , java .io .Writer writer , net .sourceforge .czt .session .SectionManager manger ) |
typecheck | typecheck ( ) typecheck ( SectionInfo manager ) typecheck ( Term term ) typecheck ( Term term , SectionInfo manager ) |
unmarshal | unmarshal ( String filename ) |
validate | validate ( net .sourceforge .czt .base .ast .Term term ) |
createSectManager
createSectManager ( ) |
Creates a new section manager. |
marshal
marshal ( term ) |
Marshals (i.e. writes) a given Z term into XML and returns a String containing the resulting ZML. |
parse
parse ( ) parse ( net .sourceforge .czt .session .SectionInfo manager ) parse ( String filename ) parse ( String filename , net .sourceforge .czt .session .SectionInfo manager ) parse ( File file , net .sourceforge .czt .session .SectionInfo manager ) |
Parses a Z specification from a given filename or file. Depending on the file ending, different parsers are used, i.e. an LaTeX parser is used to parse files ending with .tex, a Unicode parser is used to parse files ending with .utf8 etc. If no file is given, a file chooser window will be opened to allow browsing for a specific file. The AST representation of the parsed file is returned. |
save
save ( String content ) save ( String content , String filename ) save ( String content , String filename , encoding ) |
Saves a given string to a file using the specified encoding. If no file is given, a file chooser is opened. If no encoding is given, the default encoding is used. |
show
void show ( String text ) |
Opens a window that shows the given string in a text area. |
showTree
void showTree ( Term term ) |
Opens a window that shows the given term as a tree. |
toLatex
toLatex ( net .sourceforge .czt .base .ast .Term spec ) toLatex ( net .sourceforge .czt .base .ast .Term spec , net .sourceforge .czt .session .SectionManager manger ) toLatex ( net .sourceforge .czt .base .ast .Term spec , java .io .Writer writer , net .sourceforge .czt .session .SectionManager manger ) |
Converts a given specification into LaTeX. If no writer is given, the resulting String is returned. |
toUnicode
toUnicode ( net .sourceforge .czt .base .ast .Term spec ) toUnicode ( net .sourceforge .czt .base .ast .Term spec , net .sourceforge .czt .session .SectionManager manger ) toUnicode ( net .sourceforge .czt .base .ast .Term spec , java .io .Writer writer , net .sourceforge .czt .session .SectionManager manger ) |
Converts a given specification into Unicode. If no writer is given, the resulting String is returned. |
typecheck
typecheck ( ) typecheck ( SectionInfo manager ) typecheck ( Term term ) typecheck ( Term term , SectionInfo manager ) |
Typechecks a given Z specification. |
unmarshal
unmarshal ( String filename ) |
Unmarshals (i.e. parses or reads) a given ZML file and returns the corresponding AST. |
validate
validate ( net .sourceforge .czt .base .ast .Term term ) |
Validates a given Z term, i.e., checks whether it is valid ZML. |