Package de.uka.ilkd.key.util.removegenerics

Class Main

java.lang.Object
de.uka.ilkd.key.util.removegenerics.Main
public class Main extends Object
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).

  • Method Details

    • main

      public static void main(String[] args) throws Exception
      Parameters:
      args -
      Throws:
      Exception - if something goes wrong like opening a file etc.