List of shr() Examples

Examples of shr()

com.sun.codemodel.JVar.shr()
kodkod.ast.IntExpression.shr()
Returns an IntExpression that represents the right shift of this and the given int node, with zero extension. The effect of this method is the same as calling this.compose(SHR, intExpr). @return this.compose(SHR, intExpr)
zz.jinterp.JPrimitive.JBitNumber.shr()

Examples of com.sun.codemodel.JVar.shr()

      case VARBINARY:
      case VARCHAR:
         eval.assign(out.getHolder().ref("buffer"), vector.invoke("getData"));
         JVar se = eval.decl(model.LONG, "startEnd", getValueAccessor.invoke("getStartEnd").arg(indexVariable));
         eval.assign(out.getHolder().ref("start"), JExpr.cast(model._ref(int.class), se));
         eval.assign(out.getHolder().ref("end"), JExpr.cast(model._ref(int.class), se.shr(JExpr.lit(32))));
        return;


      }
    }

View Full Code Here

Examples of kodkod.ast.IntExpression.shr()

            case PLUSPLUS: s=cset(a); return s.override(cset(b));
            case MUL: i=cint(a); return i.multiply(cint(b));
            case DIV: i=cint(a); return i.divide(cint(b));
            case REM: i=cint(a); return i.modulo(cint(b));
            case SHL: i=cint(a); return i.shl(cint(b));
            case SHR: i=cint(a); return i.shr(cint(b));
            case SHA: i=cint(a); return i.sha(cint(b));
            case PLUS:
                obj = visitThis(a);
                if (obj instanceof IntExpression) { i=(IntExpression)obj; return i.plus(cint(b)); }
                s = (Expression)obj; return s.union(cset(b));

View Full Code Here

Examples of zz.jinterp.JPrimitive.JBitNumber.shr()

        
      case ISHR:
      case LSHR: {
        JInt n2 = (JInt) pop();
        JBitNumber n1 = (JBitNumber) pop();
        push(n1.shr(n2.v));
      } break;
        
      case IUSHR:
      case LUSHR: {
        JInt n2 = (JInt) pop();

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.