LineCount.reset();
FileInputStream infile = new FileInputStream(state.infile + ".struct");
TDLParser parser = new TDLParser(new Lexer(infile));
+ parser.filename = state.infile + ".struct";
CUP$TDLParser$actions.debug = state.verbose > 1 ;
state.ptStructures = (ParseNode) parser.parse().value;
} catch (FileNotFoundException fnfe) {
LineCount.reset();
FileInputStream infile = new FileInputStream(state.infile + ".model");
MDLParser parser = new MDLParser(new Lexer(infile));
+ parser.filename = state.infile + ".model";
CUP$MDLParser$actions.debug = state.verbose > 1 ;
state.ptModel = (ParseNode) parser.parse().value;
} catch (FileNotFoundException fnfe) {
LineCount.reset();
FileInputStream infile = new FileInputStream(state.infile + ".space");
SDLParser parser = new SDLParser(new Lexer(infile));
+ parser.filename = state.infile + ".space";
CUP$SDLParser$actions.debug = state.verbose > 1 ;
state.ptSpace = (ParseNode) parser.parse().value;
} catch (FileNotFoundException fnfe) {
System.err.println("Unable to open file: " + state.infile + ".space");
System.exit(-1);
} catch (Exception e) {
- // System.out.println(e);
- // e.printStackTrace();
+ System.out.println(e);
+ e.printStackTrace();
return false;
}
LineCount.reset();
FileInputStream infile = new FileInputStream(state.infile + ".constraints");
CDLParser parser = new CDLParser(new Lexer(infile));
+ parser.filename = state.infile + ".constraints";
CUP$CDLParser$actions.debug = state.verbose > 1 ;
state.ptConstraints = (ParseNode) parser.parse().value;
} catch (FileNotFoundException fnfe) {