That's the entry point when the transformation is to be applied outside from
the KeY-tool.
It contains only static methods and
main(String[])
is the one
entry-point.
The following parameters are supported:
- -cp or -classpath
- Set a location to look for .java or .class files
- -d
- Set the output directory. Files will be placed according to their
package
- -v
- be verbose with the output. lots of internal information will pop up.
- file name
- add a .java-file to examine
- directory name
- add a directory to examine. every .java within the named directory tree
will be considered
- @filename
- take every line of the file filename and add it as a file
to consider
- jar file name
- add a jar-file to examine. every .java file within the
jar-repository will be considered
All considered java source files are parsed in. If needed, source or class
files will be searched for in the specified -cp files, repositories and
directories.
Generics are removed and the result is written to the output directory ('.'
by default).