List of cast2int() Examples

Examples of cast2int()

edu.mit.csail.sdg.alloy4compiler.ast.Expr.cast2int()
Returns the integer expression "int[this]"
this must be a unary set

Examples of edu.mit.csail.sdg.alloy4compiler.ast.Expr.cast2int()

            {
              Expr RESULT =null;
        Expr a = (Expr)((java_cup_11a.runtime.Symbol) CUP$CompParser$stack.elementAt(CUP$CompParser$top-2)).value;
        Pos o = (Pos)((java_cup_11a.runtime.Symbol) CUP$CompParser$stack.elementAt(CUP$CompParser$top-1)).value;
        Expr b = (Expr)((java_cup_11a.runtime.Symbol) CUP$CompParser$stack.peek()).value;
         RESULT=ExprBinary.Op.MINUS.make(o, null, a.cast2int(), b.cast2int());
              CUP$CompParser$result = parser.getSymbolFactory().newSymbol("UnionDiffExprB",78, RESULT);
            }
          return CUP$CompParser$result;


          /*. . . . . . . . . . . . . . . . . . . .*/

View Full Code Here

Examples of edu.mit.csail.sdg.alloy4compiler.ast.Expr.cast2int()

            {
              Expr RESULT =null;
        Expr a = (Expr)((java_cup_11a.runtime.Symbol) CUP$CompParser$stack.elementAt(CUP$CompParser$top-2)).value;
        Pos o = (Pos)((java_cup_11a.runtime.Symbol) CUP$CompParser$stack.elementAt(CUP$CompParser$top-1)).value;
        Expr b = (Expr)((java_cup_11a.runtime.Symbol) CUP$CompParser$stack.peek()).value;
         RESULT=ExprBinary.Op.PLUS .make(o, null, a.cast2int(), b.cast2int());
              CUP$CompParser$result = parser.getSymbolFactory().newSymbol("UnionDiffExprB",78, RESULT);
            }
          return CUP$CompParser$result;


          /*. . . . . . . . . . . . . . . . . . . .*/

View Full Code Here

Examples of edu.mit.csail.sdg.alloy4compiler.ast.Expr.cast2int()

            {
              Expr RESULT =null;
        Expr a = (Expr)((java_cup_11a.runtime.Symbol) CUP$CompParser$stack.elementAt(CUP$CompParser$top-2)).value;
        Pos o = (Pos)((java_cup_11a.runtime.Symbol) CUP$CompParser$stack.elementAt(CUP$CompParser$top-1)).value;
        Expr b = (Expr)((java_cup_11a.runtime.Symbol) CUP$CompParser$stack.peek()).value;
         RESULT=ExprBinary.Op.MINUS.make(o, null, a.cast2int(), b.cast2int());
              CUP$CompParser$result = parser.getSymbolFactory().newSymbol("UnionDiffExprA",77, RESULT);
            }
          return CUP$CompParser$result;


          /*. . . . . . . . . . . . . . . . . . . .*/

View Full Code Here

Examples of edu.mit.csail.sdg.alloy4compiler.ast.Expr.cast2int()

            {
              Expr RESULT =null;
        Expr a = (Expr)((java_cup_11a.runtime.Symbol) CUP$CompParser$stack.elementAt(CUP$CompParser$top-2)).value;
        Pos o = (Pos)((java_cup_11a.runtime.Symbol) CUP$CompParser$stack.elementAt(CUP$CompParser$top-1)).value;
        Expr b = (Expr)((java_cup_11a.runtime.Symbol) CUP$CompParser$stack.peek()).value;
         RESULT=ExprBinary.Op.PLUS .make(o, null, a.cast2int(), b.cast2int());
              CUP$CompParser$result = parser.getSymbolFactory().newSymbol("UnionDiffExprA",77, RESULT);
            }
          return CUP$CompParser$result;


          /*. . . . . . . . . . . . . . . . . . . .*/

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.