Examples of kodkod.ast.IntExpression.cast()

kodkod.ast.IntExpression.cast()
Returns an expression that is the relational representation of this integer expression specified by the given operator. @return an expression that is the relational representation of thisinteger expression specified by the given operator.

  public Expression visit(IntToExprCast castExpr) {
    Expression ret = lookup(castExpr);
    if (ret!=null) return ret;


    final IntExpression intExpr = castExpr.intExpr().accept(this);
    ret = (intExpr==castExpr.intExpr()) ? castExpr : intExpr.cast(castExpr.op());
    return cache(castExpr, ret);
  }
  
    /** 
   * Calls lookup(intconst) and returns the cached value, if any.

View Full Code Here

TOP

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.