Examples of Expr

Examples of easysm.datatypes.Expr

101
102
103
104
105
106
107
108
109
110
111
  }

  @Test
  public void doAddStateObserver_OneValidInvariant()
  {
    Expr e = new Expr("Pine");
    StateObserverInfo soInfo = new StateObserverInfo(soPine, Type.INTEGER, e);
    StateObserver so = new StateObserver(soInfo);
    main.doAddStateObserver(soInfo);
    assertTrue(so.invariant().equals(e));
  }
View Full Code Here

Examples of edu.mit.csail.sdg.alloy4compiler.ast.Expr

38
39
40
41
42
43
44
45
46
47
48
final class ConvToConjunction extends VisitReturn<Expr> {

    /** {@inheritDoc} */
    @Override public Expr visit(ExprBinary x) throws Err {
        if (x.op == ExprBinary.Op.AND) {
            Expr a = visitThis(x.left);
            Expr b = visitThis(x.right);
            return a.and(b);
        }
        return x;
    }
View Full Code Here

Examples of edu.nyu.acsys.CVC4.Expr

48
49
50
51
52
53
54
55
56
57
58
59
60
      ExprManager em = new ExprManager();
      SmtEngine smt = new SmtEngine(em);

      Type t = em.booleanType();
      Expr a = em.mkVar("a", em.booleanType());
      Expr b = em.mkVar("b", em.booleanType());
      Expr e = new Expr(em.mkExpr(Kind.AND, a, b, new Expr(a).notExpr()));
      System.out.println("==> " + e);

      Result r = smt.checkSat(e);
      boolean correct = r.isSat() == Result.Sat.UNSAT;
View Full Code Here

Examples of javassist.compiler.ast.Expr

333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
/* 480 */     String m = method;
/*     */
/* 482 */     ProceedHandler h = new ProceedHandler(c, m) { private final String val$c;
/*     */       private final String val$m;
/*     */
/* 486 */       public void doit(JvstCodeGen gen, Bytecode b, ASTList args) throws CompileError { Expr expr = Expr.make(35, new Symbol(this.val$c), new Member(this.val$m));
/*     */
/* 488 */         expr = CallExpr.makeCall(expr, args);
/* 489 */         gen.compileExpr(expr);
/* 490 */         gen.addNullIfVoid();
/*     */       }
/*     */
/*     */       public void setReturnType(JvstTypeChecker check, ASTList args)
/*     */         throws CompileError
/*     */       {
/* 496 */         Expr expr = Expr.make(35, new Symbol(this.val$c), new Member(this.val$m));
/*     */
/* 498 */         expr = CallExpr.makeCall(expr, args);
/* 499 */         expr.accept(check);
/* 500 */         check.addNullIfVoid();
/*     */       }
/*     */     };
/* 504 */     this.gen.setProceedHandler(h, "$proceed");
/*     */   }
View Full Code Here

Examples of org.allspice.structured.expr.Expr

721
722
723
724
725
726
727
728
729
730
731
    }
    Iterator<StubResolver> i = types.iterator();
    Iterator<Expr> j = args.iterator();
    while(i.hasNext()) {
      StubResolver param = i.next();
      Expr arg = j.next();
      if (!context.isInstanceOf(param.getTypeName(),arg)) {
        return false ;
      }
    }
    return true;
View Full Code Here

Examples of org.apache.tajo.algebra.Expr

128
129
130
131
132
133
134
135
136
137
138
      if (hiveQueryMode) {
        queryContext.setHiveQueryMode();
      }

      Expr planningContext = hiveQueryMode ? converter.parse(sql) : analyzer.parse(sql);
     
      LogicalPlan plan = createLogicalPlan(planningContext);
      LogicalRootNode rootNode = plan.getRootBlock().getRoot();

      GetQueryStatusResponse.Builder responseBuilder = GetQueryStatusResponse.newBuilder();
View Full Code Here

Examples of org.aspectj.weaver.ast.Expr

213
214
215
216
217
218
219
220
221
222
223
    // System.out.println("args: " + Arrays.asList(args));
    InstructionList callIl = new InstructionList();
    for (int i = 0, len = args.length; i < len; i++) {
      // XXX only correct for static method calls
      Type desiredType = BcelWorld.makeBcelType(method.getParameterTypes()[i]);
      Expr arg = args[i];
      // if arg is null it is because we couldn't bind it properly, for example see 162135
      if (arg == null) {
        InstructionList iList = new InstructionList();
        iList.append(InstructionFactory.createNull(desiredType));
        callIl.append(iList);
View Full Code Here

Examples of org.boris.expr.Expr

98
99
100
101
102
103
104
105
106
107
108
        }
    }

    private void parseFunction(ExprToken token, ExprLexer lexer,
            IEvaluationCallback callback) throws ExprException, IOException {
        Expr c = current;
        current = null;
        ExprToken e = null;
        ArrayList args = new ArrayList();
        while ((e = lexer.next()) != null) {
            if (e.type.equals(ExprTokenType.Comma)) {
View Full Code Here

Examples of org.boris.expr.Expr

130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
        setValue(f);
    }

    private void parseExpression(ExprLexer lexer, IEvaluationCallback callback)
            throws IOException, ExprException {
        Expr c = current;
        current = null;
        ExprToken e = null;
        while ((e = lexer.next()) != null) {
            if (e.type.equals(ExprTokenType.CloseBracket)) {
                Expr t = current;
                current = c;
                setValue(new ExprExpression(t));
                break;
            } else {
                parseToken(lexer, callback, e);
View Full Code Here

Examples of org.boris.expr.Expr

147
148
149
150
151
152
153
154
155
156
157
        }
    }

    private void parseArray(ExprLexer lexer, IEvaluationCallback callback)
            throws ExprException, IOException {
        Expr c = current;
        current = null;
        ExprToken e = null;
        int cols = -1;
        int count = 0;
        ArrayList args = new ArrayList();
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.