示例#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;
   }
 }
 public JavaWildcardBoundsTypeModel(
     Term t, JavaTypeModel where, List<JavaTypeVariableAbstractModel> typeParameters)
     throws TermWareException {
   super(where.getPackageModel());
   if (t.getName().equals("WildcardBounds")) {
     String stype = t.getSubtermAt(0).getName();
     if (stype.equals("extends")) {
       kind_ = JavaWildcardBoundsKind.EXTENDS;
     } else if (stype.equals("super")) {
       kind_ = JavaWildcardBoundsKind.SUPER;
     } else {
       throw new AssertException(
           "'extends' or 'super' is expected as the 0 subterm of " + TermHelper.termToString(t));
     }
     try {
       boundTypeModel_ = JavaResolver.resolveTypeToModel(t.getSubtermAt(1), where, typeParameters);
     } catch (EntityNotFoundException ex) {
       boundTypeModel_ = JavaUnknownTypeModel.INSTANCE;
     }
   } else {
     throw new AssertException(
         "WildcardBounds term is expected, instead " + TermHelper.termToString(t));
   }
 }