Examples of java2opSem.Convert2opSem

java2opSem.Convert2opSem
main class to convert a Java file with a JML specification as a RSPEC (pre,prog,post) precond and postcond are requires and ensures statements of the JML specification in HOL syntax, and prog is the program written in opSem syntax @version August 2008 @author Hélène Collavizzafrom an original student work by Eric Le Duff and Sébastien Derrien Polytech'Nice Sophia Antipolis

    try {
      if (args.length==0)
        System.err.println("Give a file name to convert");
      else {
        System.out.println("Starting conversion of file " + args[0]);
        Convert2opSem c = new Convert2opSem(args[0]);
        c.convert();
      }
    } catch (ExceptionJava2opSem e) {
      System.err.println(e.getMessage());
    }

View Full Code Here

TOP

Related Classes of java2opSem.Convert2opSem

java2opSem.ExceptionJava2opSem

java2opSem.Export2opSem

java2opSem.Java2opSemVisitor

org.eclipse.jdt.core.dom.ASTParser

java.io.File

java.io.FileReader

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.