public JmlParser parser;
public Jml2opSem(File file) throws ExceptionJava2opSem {
super();
this.file = file;
Main compiler = new Main( new CModifier( Constants.ACCESS_FLAG_ARRAY,Constants.ACCESS_FLAG_NAMES ) );
Reader r = null;
try {
r = new FileReader(file);
} catch (FileNotFoundException e) {
throw new ExceptionJava2opSem("Cannot read " + file + ".");