Ejemplo n.º 1
0
 public boolean runTest(IEnv env) {
   try {
     TermSystem general = TermWare.getInstance().getRoot().resolveSystem("general");
     Term t = TermWare.getInstance().getTermFactory().createParsedTerm("neq(p(x),p(x))");
     Term r = general.reduce(t);
     if (!(r.isBoolean() && r.getBoolean() == false)) {
       System.out.println("r1=" + TermHelper.termToString(r));
       return false;
     }
     t = TermWare.getInstance().getTermFactory().createParsedTerm("neq(p(\"x\"),p(\"x\"))");
     r = general.reduce(t);
     if (r.isBoolean()) {
       if (r.getBoolean() == false) {
         return true;
       } else {
         return false;
       }
     } else {
       System.out.println("r2=" + TermHelper.termToString(r));
       return false;
     }
   } catch (TermWareException ex) {
     ex.printStackTrace();
     return false;
   }
 }
Ejemplo n.º 2
0
 Term createDoubleOrFloat(String x) {
   Term retval = null;
   if (x.endsWith("F") || x.endsWith("f")) {
     retval =
         TermWare.getInstance()
             .getTermFactory()
             .createFloat(Float.valueOf(x.substring(0, x.length() - 1)));
   } else {
     retval = TermWare.getInstance().getTermFactory().createDouble(Double.valueOf(x));
   }
   return retval;
 }
Ejemplo n.º 3
0
 Term createIntegerOrLong(String x) throws ParseException {
   try {
     Term retval = null;
     if (x.endsWith("L") || x.endsWith("l")) {
       try {
         retval =
             TermWare.getInstance()
                 .getTermFactory()
                 .createLong(Long.decode(x.substring(0, x.length() - 1)));
       } catch (NumberFormatException ex) {
         // it can be just too big, becouse literals can be unsigned, while decode does not handle
         // unsogned,
         //  bigger then MAX
         // Here we will handle one case, which exists in JDK sources. (java/lang/Long.java)
         if (x.length() > 2) {
           char last = x.charAt(x.length() - 2);
           long l = Long.decode(x.substring(0, x.length() - 2));
           char x0 = x.charAt(0);
           char x1 = x.charAt(1);
           if (x0 == '0') {
             if (x1 == 'x' || x1 == 'X') {
               // hex
               int l1 = Character.digit(last, 16);
               l = ((l << 8) + l1);
             } else {
               // oct
               int l1 = Character.digit(last, 8);
               l = ((l << 4) + l1);
             }
           }
           retval = TermWare.getInstance().getTermFactory().createLong(l);
         } else {
           throw ex;
         }
       }
     } else {
       long l = Long.decode(x);
       retval = TermWare.getInstance().getTermFactory().createInt((int) l);
     }
     return retval;
   } catch (NumberFormatException ex) {
     throw new ParseException(
         "Can't read IntegerLiteral "
             + ex.getMessage()
             + "(s="
             + x
             + ") "
             + " in file "
             + inFname);
   }
 }
Ejemplo n.º 4
0
 private void generateSystemsPage() throws IOException, TermWareException {
   PrintStream out = openPrintStream("", "systems.html");
   printHeader(out, "TermWare systems");
   out.println("<BODY BGCOLOR=\"white\">");
   out.println("<TABLE BORDER=\"0\" WIDTH=\"100%\">");
   out.println("<TR>");
   out.println("<TD NOWRAP><FONT size=\"+1\">");
   out.println("Systems");
   out.println("</FONT></TD>");
   out.println("</TR></TABLE>");
   out.println("<TABLE BORDER=\"0\" WIDTH=\"100%\">");
   out.println("<TR><TD NOWRAP><P>");
   out.println("<FONT>");
   printListOfSystems(out, TermWare.getInstance().getRoot(), "");
   out.println("<BR>");
   out.println("<FONT +1>");
   out.println("<A href=\"all-patterns.html\" target=\"patternFrame\" >");
   out.println("all patterns");
   out.println("</A></FONT>");
   out.println("</TD>");
   out.println("</TR>");
   out.println("</TABLE>");
   out.println("<P>&nbsp;</BODY></HTML>");
   out.close();
 }
Ejemplo n.º 5
0
  private void init(String[] args) throws TermWareException {
    for (int i = 0; i < args.length; ++i) {
      if (args[i].equals("-o")) {
        if (i == args.length - 1) {
          throw new AssertException("Option -o require argument");
        }
        outDir_ = args[++i];
      }
    }
    if (outDir_ == null) {
      throw new AssertException("option -o is not set");
    }
    IEnv env = new SystemEnv();

    TermWare.getInstance().init();
    File outDirFile = new File(outDir_);
    if (outDirFile.exists()) {
      if (!outDirFile.isDirectory()) {
        throw new AssertException("argument of option -o must be directory");
      }
    } else {
      System.out.println("created drectory :" + outDir_);
      outDirFile.mkdir();
    }
  }
Ejemplo n.º 6
0
 Term cons(Term x1, Term x2) {
   try {
     return TermWare.getInstance().getTermFactory().createTerm("cons", x1, x2);
   } catch (TermWareException ex) {
     throw new TermWareRuntimeException(ex);
   }
 }
Ejemplo n.º 7
0
 private void generateAllPatternsPage() throws IOException {
   PrintStream out = openPrintStream("", "all-patterns.html");
   printHeader(out, "TermWare patterns list");
   out.println("<BODY BGCOLOR=\"white\">");
   out.println("<TABLE BORDER=\"0\" WIDTH=\"100%\">");
   out.println("<TR>");
   out.println("<TD NOWRAP><FONT size=\"+1\">");
   out.println("Patterns");
   out.println("</FONT></TD>");
   out.println("</TR></TABLE>");
   out.println("<TABLE BORDER=\"0\" WIDTH=\"100%\">");
   out.println("<TR><TD NOWRAP><P>");
   out.println("<FONT>");
   printListOfAllPatterns(out, TermWare.getInstance().getRoot(), "", 0);
   out.println("</FONT>");
   out.println("</TD>");
   out.println("</TR>");
   out.println("</TABLE>");
   out.println("<P>&nbsp;</BODY></HTML>");
   out.close();
 }
Ejemplo n.º 8
0
 private void generateSystemPages() throws IOException, TermWareException {
   generateSystemPages(TermWare.getInstance().getRoot(), "", 0);
 }
Ejemplo n.º 9
0
 private void buildListOfAllPatterns() throws TermWareException {
   buildListOfAllPatterns(TermWare.getInstance().getRoot(), "", 0);
 }
Ejemplo n.º 10
0
 Term createInt(int x) {
   return TermWare.getInstance().getTermFactory().createInt(x);
 }
Ejemplo n.º 11
0
 Term createNil() {
   return TermWare.getInstance().getTermFactory().createNil();
 }
Ejemplo n.º 12
0
 Term createAtom(String name) {
   return TermWare.getInstance().getTermFactory().createAtom(name);
 }
Ejemplo n.º 13
0
 Term createTerm(String name, Term x1, Term x2) throws TermWareException {
   return TermWare.getInstance().getTermFactory().createTerm(name, x1, x2);
 }
Ejemplo n.º 14
0
 Term createBoolean(boolean x) {
   return TermWare.getInstance().getTermFactory().createBoolean(x);
 }
Ejemplo n.º 15
0
 Term createString(String x) {
   return TermWare.getInstance().getTermFactory().createString(x);
 }
Ejemplo n.º 16
0
 Term createChar(char x) {
   return TermWare.getInstance().getTermFactory().createChar(x);
 }