1 19 20 package soot.dava.internal.javaRep; 21 22 import soot.*; 23 import soot.grimp.*; 24 import soot.jimple.*; 25 import soot.jimple.internal.*; 26 27 public class DNegExpr extends AbstractNegExpr 28 { 29 public DNegExpr(Value op) 30 { 31 super(Grimp.v().newExprBox(op)); 32 } 33 34 public Object clone() 35 { 36 return new DNegExpr(Grimp.cloneIfNecessary(getOp())); 37 } 38 39 public void toString( UnitPrinter up ) { 40 up.literal( "(" ); 41 up.literal( "-" ); 42 up.literal( " " ); 43 up.literal( "(" ); 44 getOpBox().toString(up); 45 up.literal( ")" ); 46 up.literal( ")" ); 47 } 48 49 public String toString() 50 { 51 return "(- (" + ( getOpBox().getValue()).toString() + "))"; 52 } 53 } 54 | Popular Tags |