Examples with DLengthExpr soot.dava.internal.javaRep.DLengthExpr used on opensource projects

Example 1 with DLengthExpr

use of soot.dava.internal.javaRep.DLengthExpr in project soot by Sable.

the class DavaBody method javafy_unop_expr.

private void javafy_unop_expr(ValueBox vb) {
    UnopExpr uoe = (UnopExpr) vb.getValue();
    javafy(uoe.getOpBox());
    if (uoe instanceof LengthExpr)
        vb.setValue(new DLengthExpr(((LengthExpr) uoe).getOp()));
    else if (uoe instanceof NegExpr)
        vb.setValue(new DNegExpr(((NegExpr) uoe).getOp()));
}