protected void compileGoal(boolean andRun) { String sgoal = gl.getText(); if (!(sgoal.length() == 0)) { try { ProParser p = new ProParser(sgoal, intmsg); goal = p.getClause(); intmsg.append("compiled goal: " + goal + "\n"); if (andRun) run(); } catch (Exception e) { outp.append("errore" + e + " \n"); } } else outp.append("inserire il goal" + " \n"); }
protected void compile() { Sexp curClause; goal = new NilSexp(); prog = new NilSexp(); prog2 = new NilSexp(); String codice = code.getText(); try { ProParser p = new ProParser(codice, intmsg); for (; ; ) { curClause = p.getClause(); // seleziono una singola clausola intmsg.append("compiled: " + curClause + "\n"); if (!(curClause instanceof eofToken)) { prog = Sexp.append(prog, Sexp.list1(curClause)); } if (p.atEOF()) { break; } } String codice2 = code.getText(); ProParser p2 = new ProParser(codice2, intmsg); for (; ; ) { curClause = p2.getClause(); // seleziono una singola clausola // intmsg.append( "compiled: " + curClause + "\n" ); if (!(curClause instanceof eofToken)) { prog2 = Sexp.append(prog2, Sexp.list1(curClause)); } if (p2.atEOF()) { break; } } showProg(prog, outp); // showProg( prog2, outp ); } catch (Exception e) { outp.append("error" + e + " \n"); } }