Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.kit.furia.fragment.soot.representation
Class Frimp

java.lang.Object
  extended by org.kit.furia.fragment.soot.representation.Frimp

public class Frimp
extends java.lang.Object

The Grimp class contains all the constructors for the components of the Grimp grammar for the Grimp body.

Immediate -> Local | Constant
RValue -> Local | Constant | ConcreteRef | Expr
Variable -> Local | ArrayRef | InstanceFieldRef | StaticFieldRef

Constructor Summary
Frimp()
           
Frimp(soot.Singletons.Global g)
           
 
Method Summary
static soot.Value cloneIfNecessary(soot.Value val)
           
static java.util.List convertUseBoxesListToValues(java.util.List useBoxes)
           
static java.lang.String formatNum(soot.jimple.DoubleConstant x)
           
static java.lang.String formatNum(soot.jimple.FloatConstant x)
           
static java.lang.String formatNum(soot.jimple.IntConstant x)
           
static java.lang.String formatNum(soot.jimple.LongConstant x)
           
 soot.jimple.AddExpr newAddExpr(soot.Value op1, soot.Value op2)
          Constructs a AddExpr(Expr, Expr) grammar chunk.
 soot.jimple.AndExpr newAndExpr(soot.Value op1, soot.Value op2)
          Constructs a AndExpr(Expr, Expr) grammar chunk.
 soot.ValueBox newArgBox(soot.Value value)
           
 soot.jimple.ArrayRef newArrayRef(soot.Value base, soot.Value index)
          Constructs a ArrayRef(Local, Expr) grammar chunk.
 soot.jimple.AssignStmt newAssignStmt(soot.jimple.AssignStmt s)
           
 soot.jimple.AssignStmt newAssignStmt(soot.Value variable, soot.Value rvalue)
          Constructs a AssignStmt(Variable, RValue) grammar chunk.
 FrimpBody newBody(soot.Body b, java.lang.String phase)
          Returns a GrimpBody constructed from b.
 FrimpBody newBody(soot.SootMethod m)
          Returns an empty GrimpBody associated with method m.
 soot.jimple.BreakpointStmt newBreakpointStmt()
          Constructs a BreakpointStmt() grammar chunk.
 soot.jimple.BreakpointStmt newBreakpointStmt(soot.jimple.BreakpointStmt s)
           
 soot.jimple.CastExpr newCastExpr(soot.Value op1, soot.Type t)
          Constructs a CastExpr(Expr, Type) grammar chunk.
 soot.jimple.CaughtExceptionRef newCaughtExceptionRef()
          Constructs a CaughtExceptionRef() grammar chunk.
 soot.jimple.CmpExpr newCmpExpr(soot.Value op1, soot.Value op2)
          Constructs a CmpExpr(Expr, Expr) grammar chunk.
 soot.jimple.CmpgExpr newCmpgExpr(soot.Value op1, soot.Value op2)
          Constructs a CmpgExpr(Expr, Expr) grammar chunk.
 soot.jimple.CmplExpr newCmplExpr(soot.Value op1, soot.Value op2)
          Constructs a CmplExpr(Expr, Expr) grammar chunk.
 soot.ValueBox newConditionExprBox(soot.Value value)
           
 soot.jimple.DivExpr newDivExpr(soot.Value op1, soot.Value op2)
          Constructs a DivExpr(Expr, Expr) grammar chunk.
 soot.jimple.EnterMonitorStmt newEnterMonitorStmt(soot.jimple.EnterMonitorStmt s)
           
 soot.jimple.EnterMonitorStmt newEnterMonitorStmt(soot.Value op)
          Constructs a EnterMonitorStmt(Expr) grammar chunk.
 soot.jimple.EqExpr newEqExpr(soot.Value op1, soot.Value op2)
          Constructs a EqExpr(Expr, Expr) grammar chunk.
 soot.jimple.ExitMonitorStmt newExitMonitorStmt(soot.jimple.ExitMonitorStmt s)
           
 soot.jimple.ExitMonitorStmt newExitMonitorStmt(soot.Value op)
          Constructs a ExitMonitorStmt(Expr) grammar chunk
 soot.Value newExpr(soot.Value value)
          Carries out the mapping from other Value's to Grimp Value's
 soot.ValueBox newExprBox(soot.Value value)
           
 soot.jimple.GeExpr newGeExpr(soot.Value op1, soot.Value op2)
          Constructs a GeExpr(Expr, Expr) grammar chunk.
 soot.jimple.GotoStmt newGotoStmt(soot.jimple.GotoStmt s)
           
 soot.jimple.GotoStmt newGotoStmt(soot.Unit target)
          Constructs a GotoStmt(Stmt) grammar chunk.
 soot.jimple.GtExpr newGtExpr(soot.Value op1, soot.Value op2)
          Constructs a GtExpr(Expr, Expr) grammar chunk.
 soot.ValueBox newIdentityRefBox(soot.Value value)
           
 soot.jimple.IdentityStmt newIdentityStmt(soot.jimple.IdentityStmt s)
           
 soot.jimple.IdentityStmt newIdentityStmt(soot.Value local, soot.Value identityRef)
          Constructs a IdentityStmt(Local, IdentityRef) grammar chunk.
 soot.jimple.IfStmt newIfStmt(soot.jimple.IfStmt s)
           
 soot.jimple.IfStmt newIfStmt(soot.Value condition, soot.Unit target)
          Constructs a IfStmt(Condition, Stmt) grammar chunk.
 soot.ValueBox newImmediateBox(soot.Value value)
           
 soot.jimple.InstanceFieldRef newInstanceFieldRef(soot.Value base, soot.SootFieldRef f)
          Constructs a InstanceFieldRef(Value, SootFieldRef) grammar chunk.
 soot.jimple.InstanceOfExpr newInstanceOfExpr(soot.Value op1, soot.Type t)
          Constructs a InstanceOfExpr(Expr, Type) grammar chunk.
 soot.jimple.InterfaceInvokeExpr newInterfaceInvokeExpr(soot.Local base, soot.SootMethodRef method, java.util.List args)
          Constructs a InterfaceInvokeExpr(Local base, SootMethodRef method, List of Expr) grammar chunk.
 soot.ValueBox newInvokeExprBox(soot.Value value)
           
 soot.jimple.InvokeStmt newInvokeStmt(soot.jimple.InvokeStmt s)
           
 soot.jimple.InvokeStmt newInvokeStmt(soot.Value op)
          Constructs a InvokeStmt(InvokeExpr) grammar chunk.
 soot.jimple.LeExpr newLeExpr(soot.Value op1, soot.Value op2)
          Constructs a LeExpr(Expr, Expr) grammar chunk.
 soot.jimple.LengthExpr newLengthExpr(soot.Value op)
          Constructs a LengthExpr(Expr) grammar chunk.
 soot.Local newLocal(java.lang.String name, soot.Type t)
          Constructs a Local with the given name and type.
 soot.ValueBox newLocalBox(soot.Value value)
           
 soot.jimple.LookupSwitchStmt newLookupSwitchStmt(soot.jimple.LookupSwitchStmt s)
           
 soot.jimple.LookupSwitchStmt newLookupSwitchStmt(soot.Value key, java.util.List lookupValues, java.util.List targets, soot.Unit defaultTarget)
          Constructs a LookupSwitchStmt(Expr, List of Expr, List of Unit, Stmt) grammar chunk.
 soot.jimple.LtExpr newLtExpr(soot.Value op1, soot.Value op2)
          Constructs a LtExpr(Expr, Expr) grammar chunk.
 soot.jimple.MulExpr newMulExpr(soot.Value op1, soot.Value op2)
          Constructs a MulExpr(Expr, Expr) grammar chunk.
 soot.jimple.NeExpr newNeExpr(soot.Value op1, soot.Value op2)
          Constructs a NeExpr(Expr, Expr) grammar chunk.
 soot.jimple.NegExpr newNegExpr(soot.Value op)
          Constructs a NegExpr(Expr, Expr) grammar chunk.
 soot.jimple.NewArrayExpr newNewArrayExpr(soot.Type type, soot.Value size)
          Constructs a NewArrayExpr(Type, Expr) grammar chunk.
 NewInvokeExpr newNewInvokeExpr(soot.RefType base, soot.SootMethodRef method, java.util.List args)
          Constructs a NewInvokeExpr(Local base, List of Expr) grammar chunk.
 soot.jimple.NewMultiArrayExpr newNewMultiArrayExpr(soot.ArrayType type, java.util.List sizes)
          Constructs a NewMultiArrayExpr(ArrayType, List of Expr) grammar chunk.
 soot.jimple.NopStmt newNopStmt()
          Constructs a NopStmt() grammar chunk.
 soot.jimple.NopStmt newNopStmt(soot.jimple.NopStmt s)
           
 soot.ValueBox newObjExprBox(soot.Value value)
           
 soot.jimple.OrExpr newOrExpr(soot.Value op1, soot.Value op2)
          Constructs a OrExpr(Expr, Expr) grammar chunk.
 soot.jimple.ParameterRef newParameterRef(soot.Type paramType, int number)
          Constructs a ParameterRef(SootMethod, int) grammar chunk.
 soot.shimple.PhiExpr newPhiExpr(java.util.List args, java.util.List preds)
          Create a PhiExpr with the provided list of Values (Locals or Constants) and the corresponding control flow predecessor Blocks.
 soot.jimple.RemExpr newRemExpr(soot.Value op1, soot.Value op2)
          Constructs a RemExpr(Expr, Expr) grammar chunk.
 soot.jimple.ReturnStmt newReturnStmt(soot.jimple.ReturnStmt s)
           
 soot.jimple.ReturnStmt newReturnStmt(soot.Value op)
          Constructs a ReturnStmt(Expr) grammar chunk.
 soot.jimple.ReturnVoidStmt newReturnVoidStmt()
          Constructs a ReturnVoidStmt() grammar chunk.
 soot.jimple.ReturnVoidStmt newReturnVoidStmt(soot.jimple.ReturnVoidStmt s)
           
 soot.ValueBox newRValueBox(soot.Value value)
           
 soot.jimple.ShlExpr newShlExpr(soot.Value op1, soot.Value op2)
          Constructs a ShlExpr(Expr, Expr) grammar chunk.
 soot.jimple.ShrExpr newShrExpr(soot.Value op1, soot.Value op2)
          Constructs a ShrExpr(Expr, Expr) grammar chunk.
 soot.jimple.SpecialInvokeExpr newSpecialInvokeExpr(soot.Local base, soot.SootMethodRef method, java.util.List args)
          Constructs a SpecialInvokeExpr(Local base, SootMethodRef method, List of Expr) grammar chunk.
 soot.jimple.StaticFieldRef newStaticFieldRef(soot.SootFieldRef f)
          Constructs a StaticFieldRef(SootFieldRef) grammar chunk.
 soot.jimple.StaticInvokeExpr newStaticInvokeExpr(soot.SootMethodRef method, java.util.List args)
          Constructs a StaticInvokeExpr(ArrayType, List of Expr) grammar chunk.
 soot.UnitBox newStmtBox(soot.Unit unit)
           
 soot.jimple.SubExpr newSubExpr(soot.Value op1, soot.Value op2)
          Constructs a SubExpr(Expr, Expr) grammar chunk.
 soot.jimple.TableSwitchStmt newTableSwitchStmt(soot.jimple.TableSwitchStmt s)
           
 soot.jimple.TableSwitchStmt newTableSwitchStmt(soot.Value key, int lowIndex, int highIndex, java.util.List targets, soot.Unit defaultTarget)
          Constructs a TableSwitchStmt(Expr, int, int, List of Unit, Stmt) grammar chunk.
 soot.jimple.ThisRef newThisRef(soot.RefType t)
          Constructs a ThisRef(RefType) grammar chunk.
 soot.jimple.ThrowStmt newThrowStmt(soot.jimple.ThrowStmt s)
           
 soot.jimple.ThrowStmt newThrowStmt(soot.Value op)
          Constructs a ThrowStmt(Expr) grammar chunk.
 soot.Trap newTrap(soot.SootClass exception, soot.Unit beginStmt, soot.Unit endStmt, soot.Unit handlerStmt)
          Constructs a new Trap for the given exception on the given Stmt range with the given Stmt handler.
 soot.Trap newTrap(soot.Trap trap)
           
 soot.jimple.UshrExpr newUshrExpr(soot.Value op1, soot.Value op2)
          Constructs a UshrExpr(Expr, Expr) grammar chunk.
 soot.ValueBox newVariableBox(soot.Value value)
           
 soot.jimple.VirtualInvokeExpr newVirtualInvokeExpr(soot.Local base, soot.SootMethodRef method, java.util.List args)
          Constructs a VirtualInvokeExpr(Local base, SootMethodRef method, List of Expr) grammar chunk.
 soot.jimple.XorExpr newXorExpr(soot.Value op1, soot.Value op2)
          Constructs a XorExpr(Expr, Expr) grammar chunk.
static java.lang.String quote(java.lang.String x)
           
static java.lang.String toQ(soot.SootFieldRef x)
           
static java.lang.String toQ(soot.SootMethodRef x)
           
static java.lang.String toQ(soot.Type x)
          This method copies deeply a value
static java.lang.String toQ(soot.Value x)
           
static Frimp v()
           
static java.util.List valueBoxToValue(java.util.List valueBoxes)
          Receives a list of value boxes and returns a list of values
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Frimp

public Frimp(soot.Singletons.Global g)

Frimp

public Frimp()
Method Detail

v

public static Frimp v()

newXorExpr

public soot.jimple.XorExpr newXorExpr(soot.Value op1,
                                      soot.Value op2)
Constructs a XorExpr(Expr, Expr) grammar chunk.

newUshrExpr

public soot.jimple.UshrExpr newUshrExpr(soot.Value op1,
                                        soot.Value op2)
Constructs a UshrExpr(Expr, Expr) grammar chunk.

newSubExpr

public soot.jimple.SubExpr newSubExpr(soot.Value op1,
                                      soot.Value op2)
Constructs a SubExpr(Expr, Expr) grammar chunk.

newShrExpr

public soot.jimple.ShrExpr newShrExpr(soot.Value op1,
                                      soot.Value op2)
Constructs a ShrExpr(Expr, Expr) grammar chunk.

newShlExpr

public soot.jimple.ShlExpr newShlExpr(soot.Value op1,
                                      soot.Value op2)
Constructs a ShlExpr(Expr, Expr) grammar chunk.

newRemExpr

public soot.jimple.RemExpr newRemExpr(soot.Value op1,
                                      soot.Value op2)
Constructs a RemExpr(Expr, Expr) grammar chunk.

newOrExpr

public soot.jimple.OrExpr newOrExpr(soot.Value op1,
                                    soot.Value op2)
Constructs a OrExpr(Expr, Expr) grammar chunk.

newNeExpr

public soot.jimple.NeExpr newNeExpr(soot.Value op1,
                                    soot.Value op2)
Constructs a NeExpr(Expr, Expr) grammar chunk.

newMulExpr

public soot.jimple.MulExpr newMulExpr(soot.Value op1,
                                      soot.Value op2)
Constructs a MulExpr(Expr, Expr) grammar chunk.

newLeExpr

public soot.jimple.LeExpr newLeExpr(soot.Value op1,
                                    soot.Value op2)
Constructs a LeExpr(Expr, Expr) grammar chunk.

newGeExpr

public soot.jimple.GeExpr newGeExpr(soot.Value op1,
                                    soot.Value op2)
Constructs a GeExpr(Expr, Expr) grammar chunk.

newEqExpr

public soot.jimple.EqExpr newEqExpr(soot.Value op1,
                                    soot.Value op2)
Constructs a EqExpr(Expr, Expr) grammar chunk.

newDivExpr

public soot.jimple.DivExpr newDivExpr(soot.Value op1,
                                      soot.Value op2)
Constructs a DivExpr(Expr, Expr) grammar chunk.

newCmplExpr

public soot.jimple.CmplExpr newCmplExpr(soot.Value op1,
                                        soot.Value op2)
Constructs a CmplExpr(Expr, Expr) grammar chunk.

newCmpgExpr

public soot.jimple.CmpgExpr newCmpgExpr(soot.Value op1,
                                        soot.Value op2)
Constructs a CmpgExpr(Expr, Expr) grammar chunk.

newCmpExpr

public soot.jimple.CmpExpr newCmpExpr(soot.Value op1,
                                      soot.Value op2)
Constructs a CmpExpr(Expr, Expr) grammar chunk.

newGtExpr

public soot.jimple.GtExpr newGtExpr(soot.Value op1,
                                    soot.Value op2)
Constructs a GtExpr(Expr, Expr) grammar chunk.

newLtExpr

public soot.jimple.LtExpr newLtExpr(soot.Value op1,
                                    soot.Value op2)
Constructs a LtExpr(Expr, Expr) grammar chunk.

newAddExpr

public soot.jimple.AddExpr newAddExpr(soot.Value op1,
                                      soot.Value op2)
Constructs a AddExpr(Expr, Expr) grammar chunk.

newAndExpr

public soot.jimple.AndExpr newAndExpr(soot.Value op1,
                                      soot.Value op2)
Constructs a AndExpr(Expr, Expr) grammar chunk.

newNegExpr

public soot.jimple.NegExpr newNegExpr(soot.Value op)
Constructs a NegExpr(Expr, Expr) grammar chunk.

newLengthExpr

public soot.jimple.LengthExpr newLengthExpr(soot.Value op)
Constructs a LengthExpr(Expr) grammar chunk.

newCastExpr

public soot.jimple.CastExpr newCastExpr(soot.Value op1,
                                        soot.Type t)
Constructs a CastExpr(Expr, Type) grammar chunk.

newInstanceOfExpr

public soot.jimple.InstanceOfExpr newInstanceOfExpr(soot.Value op1,
                                                    soot.Type t)
Constructs a InstanceOfExpr(Expr, Type) grammar chunk.

newNewArrayExpr

public soot.jimple.NewArrayExpr newNewArrayExpr(soot.Type type,
                                                soot.Value size)
Constructs a NewArrayExpr(Type, Expr) grammar chunk.

newNewMultiArrayExpr

public soot.jimple.NewMultiArrayExpr newNewMultiArrayExpr(soot.ArrayType type,
                                                          java.util.List sizes)
Constructs a NewMultiArrayExpr(ArrayType, List of Expr) grammar chunk.

newNewInvokeExpr

public NewInvokeExpr newNewInvokeExpr(soot.RefType base,
                                      soot.SootMethodRef method,
                                      java.util.List args)
Constructs a NewInvokeExpr(Local base, List of Expr) grammar chunk.

newStaticInvokeExpr

public soot.jimple.StaticInvokeExpr newStaticInvokeExpr(soot.SootMethodRef method,
                                                        java.util.List args)
Constructs a StaticInvokeExpr(ArrayType, List of Expr) grammar chunk.

newSpecialInvokeExpr

public soot.jimple.SpecialInvokeExpr newSpecialInvokeExpr(soot.Local base,
                                                          soot.SootMethodRef method,
                                                          java.util.List args)
Constructs a SpecialInvokeExpr(Local base, SootMethodRef method, List of Expr) grammar chunk.

newVirtualInvokeExpr

public soot.jimple.VirtualInvokeExpr newVirtualInvokeExpr(soot.Local base,
                                                          soot.SootMethodRef method,
                                                          java.util.List args)
Constructs a VirtualInvokeExpr(Local base, SootMethodRef method, List of Expr) grammar chunk.

newInterfaceInvokeExpr

public soot.jimple.InterfaceInvokeExpr newInterfaceInvokeExpr(soot.Local base,
                                                              soot.SootMethodRef method,
                                                              java.util.List args)
Constructs a InterfaceInvokeExpr(Local base, SootMethodRef method, List of Expr) grammar chunk.

newThrowStmt

public soot.jimple.ThrowStmt newThrowStmt(soot.Value op)
Constructs a ThrowStmt(Expr) grammar chunk.

newThrowStmt

public soot.jimple.ThrowStmt newThrowStmt(soot.jimple.ThrowStmt s)

newExitMonitorStmt

public soot.jimple.ExitMonitorStmt newExitMonitorStmt(soot.Value op)
Constructs a ExitMonitorStmt(Expr) grammar chunk

newExitMonitorStmt

public soot.jimple.ExitMonitorStmt newExitMonitorStmt(soot.jimple.ExitMonitorStmt s)

newEnterMonitorStmt

public soot.jimple.EnterMonitorStmt newEnterMonitorStmt(soot.Value op)
Constructs a EnterMonitorStmt(Expr) grammar chunk.

newEnterMonitorStmt

public soot.jimple.EnterMonitorStmt newEnterMonitorStmt(soot.jimple.EnterMonitorStmt s)

newBreakpointStmt

public soot.jimple.BreakpointStmt newBreakpointStmt()
Constructs a BreakpointStmt() grammar chunk.

newBreakpointStmt

public soot.jimple.BreakpointStmt newBreakpointStmt(soot.jimple.BreakpointStmt s)

newGotoStmt

public soot.jimple.GotoStmt newGotoStmt(soot.Unit target)
Constructs a GotoStmt(Stmt) grammar chunk.

newGotoStmt

public soot.jimple.GotoStmt newGotoStmt(soot.jimple.GotoStmt s)

newNopStmt

public soot.jimple.NopStmt newNopStmt()
Constructs a NopStmt() grammar chunk.

newNopStmt

public soot.jimple.NopStmt newNopStmt(soot.jimple.NopStmt s)

newReturnVoidStmt

public soot.jimple.ReturnVoidStmt newReturnVoidStmt()
Constructs a ReturnVoidStmt() grammar chunk.

newReturnVoidStmt

public soot.jimple.ReturnVoidStmt newReturnVoidStmt(soot.jimple.ReturnVoidStmt s)

newReturnStmt

public soot.jimple.ReturnStmt newReturnStmt(soot.Value op)
Constructs a ReturnStmt(Expr) grammar chunk.

newReturnStmt

public soot.jimple.ReturnStmt newReturnStmt(soot.jimple.ReturnStmt s)

newIfStmt

public soot.jimple.IfStmt newIfStmt(soot.Value condition,
                                    soot.Unit target)
Constructs a IfStmt(Condition, Stmt) grammar chunk.

newIfStmt

public soot.jimple.IfStmt newIfStmt(soot.jimple.IfStmt s)

newIdentityStmt

public soot.jimple.IdentityStmt newIdentityStmt(soot.Value local,
                                                soot.Value identityRef)
Constructs a IdentityStmt(Local, IdentityRef) grammar chunk.

newIdentityStmt

public soot.jimple.IdentityStmt newIdentityStmt(soot.jimple.IdentityStmt s)

newAssignStmt

public soot.jimple.AssignStmt newAssignStmt(soot.Value variable,
                                            soot.Value rvalue)
Constructs a AssignStmt(Variable, RValue) grammar chunk.

newAssignStmt

public soot.jimple.AssignStmt newAssignStmt(soot.jimple.AssignStmt s)

newInvokeStmt

public soot.jimple.InvokeStmt newInvokeStmt(soot.Value op)
Constructs a InvokeStmt(InvokeExpr) grammar chunk.

newInvokeStmt

public soot.jimple.InvokeStmt newInvokeStmt(soot.jimple.InvokeStmt s)

newTableSwitchStmt

public soot.jimple.TableSwitchStmt newTableSwitchStmt(soot.Value key,
                                                      int lowIndex,
                                                      int highIndex,
                                                      java.util.List targets,
                                                      soot.Unit defaultTarget)
Constructs a TableSwitchStmt(Expr, int, int, List of Unit, Stmt) grammar chunk.

newTableSwitchStmt

public soot.jimple.TableSwitchStmt newTableSwitchStmt(soot.jimple.TableSwitchStmt s)

newLookupSwitchStmt

public soot.jimple.LookupSwitchStmt newLookupSwitchStmt(soot.Value key,
                                                        java.util.List lookupValues,
                                                        java.util.List targets,
                                                        soot.Unit defaultTarget)
Constructs a LookupSwitchStmt(Expr, List of Expr, List of Unit, Stmt) grammar chunk.

newLookupSwitchStmt

public soot.jimple.LookupSwitchStmt newLookupSwitchStmt(soot.jimple.LookupSwitchStmt s)

newLocal

public soot.Local newLocal(java.lang.String name,
                           soot.Type t)
Constructs a Local with the given name and type.

newTrap

public soot.Trap newTrap(soot.SootClass exception,
                         soot.Unit beginStmt,
                         soot.Unit endStmt,
                         soot.Unit handlerStmt)
Constructs a new Trap for the given exception on the given Stmt range with the given Stmt handler.

newTrap

public soot.Trap newTrap(soot.Trap trap)

newStaticFieldRef

public soot.jimple.StaticFieldRef newStaticFieldRef(soot.SootFieldRef f)
Constructs a StaticFieldRef(SootFieldRef) grammar chunk.

newThisRef

public soot.jimple.ThisRef newThisRef(soot.RefType t)
Constructs a ThisRef(RefType) grammar chunk.

newParameterRef

public soot.jimple.ParameterRef newParameterRef(soot.Type paramType,
                                                int number)
Constructs a ParameterRef(SootMethod, int) grammar chunk.

newInstanceFieldRef

public soot.jimple.InstanceFieldRef newInstanceFieldRef(soot.Value base,
                                                        soot.SootFieldRef f)
Constructs a InstanceFieldRef(Value, SootFieldRef) grammar chunk.

newCaughtExceptionRef

public soot.jimple.CaughtExceptionRef newCaughtExceptionRef()
Constructs a CaughtExceptionRef() grammar chunk.

newArrayRef

public soot.jimple.ArrayRef newArrayRef(soot.Value base,
                                        soot.Value index)
Constructs a ArrayRef(Local, Expr) grammar chunk.

newVariableBox

public soot.ValueBox newVariableBox(soot.Value value)

newLocalBox

public soot.ValueBox newLocalBox(soot.Value value)

newRValueBox

public soot.ValueBox newRValueBox(soot.Value value)

newImmediateBox

public soot.ValueBox newImmediateBox(soot.Value value)

newExprBox

public soot.ValueBox newExprBox(soot.Value value)

newArgBox

public soot.ValueBox newArgBox(soot.Value value)

newObjExprBox

public soot.ValueBox newObjExprBox(soot.Value value)

newIdentityRefBox

public soot.ValueBox newIdentityRefBox(soot.Value value)

newConditionExprBox

public soot.ValueBox newConditionExprBox(soot.Value value)

newInvokeExprBox

public soot.ValueBox newInvokeExprBox(soot.Value value)

newStmtBox

public soot.UnitBox newStmtBox(soot.Unit unit)

newPhiExpr

public soot.shimple.PhiExpr newPhiExpr(java.util.List args,
                                       java.util.List preds)
Create a PhiExpr with the provided list of Values (Locals or Constants) and the corresponding control flow predecessor Blocks. Instead of a list of predecessor blocks, you may provide a list of the tail Units from the corresponding blocks. an FPhiExpr has conditions related to each

valueBoxToValue

public static java.util.List valueBoxToValue(java.util.List valueBoxes)
Receives a list of value boxes and returns a list of values

Parameters:
valueBoxes -
Returns:

newExpr

public soot.Value newExpr(soot.Value value)
Carries out the mapping from other Value's to Grimp Value's

newBody

public FrimpBody newBody(soot.SootMethod m)
Returns an empty GrimpBody associated with method m.

newBody

public FrimpBody newBody(soot.Body b,
                         java.lang.String phase)
Returns a GrimpBody constructed from b.

cloneIfNecessary

public static soot.Value cloneIfNecessary(soot.Value val)

toQ

public static java.lang.String toQ(soot.Type x)
This method copies deeply a value

Parameters:
x -
Returns:

toQ

public static java.lang.String toQ(soot.SootFieldRef x)

toQ

public static java.lang.String toQ(soot.SootMethodRef x)

quote

public static java.lang.String quote(java.lang.String x)

toQ

public static java.lang.String toQ(soot.Value x)
                            throws java.lang.Exception
Throws:
java.lang.Exception

formatNum

public static java.lang.String formatNum(soot.jimple.LongConstant x)

formatNum

public static java.lang.String formatNum(soot.jimple.FloatConstant x)

formatNum

public static java.lang.String formatNum(soot.jimple.IntConstant x)

formatNum

public static java.lang.String formatNum(soot.jimple.DoubleConstant x)

convertUseBoxesListToValues

public static java.util.List convertUseBoxesListToValues(java.util.List useBoxes)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2008 Arnoldo Jose Muller Molina. All Rights Reserved.