BeanShell Commands

createSectManagercreateSectManager ( )
marshalmarshal ( term )
parseparse ( )
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 )
savesave ( String content )
save ( String content , String filename )
save ( String content , String filename , encoding )
showvoid show ( String text )
showTreevoid showTree ( Term term )
toLatextoLatex ( 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 )
toUnicodetoUnicode ( 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 )
typechecktypecheck ( )
typecheck ( SectionInfo manager )
typecheck ( Term term )
typecheck ( Term term , SectionInfo manager )
unmarshalunmarshal ( String filename )
validatevalidate ( 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.