Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

Grimp Class Reference

Inheritance diagram for Grimp:
[legend]
Collaboration diagram for Grimp:
[legend]
List of all members.

Public Methods

Body buildBodyOfFrom (SootMethod m, Body b, int buildBodyOptions)
AddExpr newAddExpr (Value op1, Value op2)
AndExpr newAndExpr (Value op1, Value op2)
ValueBox newArgBox (Value value)
ArrayRef newArrayRef (Value base, Value index)
AssignStmt newAssignStmt (AssignStmt s)
AssignStmt newAssignStmt (Value variable, Value rvalue)
Body newBody (SootMethod m)
BreakpointStmt newBreakpointStmt ()
BreakpointStmt newBreakpointStmt (BreakpointStmt s)
CastExpr newCastExpr (Value op1, Type t)
CaughtExceptionRef newCaughtExceptionRef (JimpleBody b)
CmpExpr newCmpExpr (Value op1, Value op2)
CmpgExpr newCmpgExpr (Value op1, Value op2)
CmplExpr newCmplExpr (Value op1, Value op2)
ValueBox newConditionExprBox (Value value)
DivExpr newDivExpr (Value op1, Value op2)
EnterMonitorStmt newEnterMonitorStmt (EnterMonitorStmt s)
EnterMonitorStmt newEnterMonitorStmt (Value op)
EqExpr newEqExpr (Value op1, Value op2)
ExitMonitorStmt newExitMonitorStmt (ExitMonitorStmt s)
ExitMonitorStmt newExitMonitorStmt (Value op)
Value newExpr (Value value)
ValueBox newExprBox (Value value)
GeExpr newGeExpr (Value op1, Value op2)
GotoStmt newGotoStmt (GotoStmt s)
GotoStmt newGotoStmt (Unit target)
GtExpr newGtExpr (Value op1, Value op2)
ValueBox newIdentityRefBox (Value value)
IdentityStmt newIdentityStmt (IdentityStmt s)
IdentityStmt newIdentityStmt (Value local, Value identityRef)
IfStmt newIfStmt (IfStmt s)
IfStmt newIfStmt (Value condition, Unit target)
ValueBox newImmediateBox (Value value)
InstanceFieldRef newInstanceFieldRef (Value base, SootField f)
InstanceOfExpr newInstanceOfExpr (Value op1, Type t)
InterfaceInvokeExpr newInterfaceInvokeExpr (Local base, SootMethod method, List args)
ValueBox newInvokeExprBox (Value value)
InvokeStmt newInvokeStmt (InvokeStmt s)
InvokeStmt newInvokeStmt (Value op)
LeExpr newLeExpr (Value op1, Value op2)
LengthExpr newLengthExpr (Value op)
Local newLocal (String name, Type t)
ValueBox newLocalBox (Value value)
LookupSwitchStmt newLookupSwitchStmt (LookupSwitchStmt s)
LookupSwitchStmt newLookupSwitchStmt (Value key, List lookupValues, List targets, Unit defaultTarget)
LtExpr newLtExpr (Value op1, Value op2)
MulExpr newMulExpr (Value op1, Value op2)
NeExpr newNeExpr (Value op1, Value op2)
NegExpr newNegExpr (Value op)
NewArrayExpr newNewArrayExpr (Type type, Value size)
NewInvokeExpr newNewInvokeExpr (RefType base, SootMethod method, List args)
NewMultiArrayExpr newNewMultiArrayExpr (ArrayType type, List sizes)
NopStmt newNopStmt ()
NopStmt newNopStmt (NopStmt s)
ValueBox newObjExprBox (Value value)
OrExpr newOrExpr (Value op1, Value op2)
ParameterRef newParameterRef (SootMethod m, int number)
RemExpr newRemExpr (Value op1, Value op2)
RetStmt newRetStmt (RetStmt s)
RetStmt newRetStmt (Value stmtAddress)
ReturnStmt newReturnStmt (ReturnStmt s)
ReturnStmt newReturnStmt (Value op)
ReturnVoidStmt newReturnVoidStmt ()
ReturnVoidStmt newReturnVoidStmt (ReturnVoidStmt s)
ValueBox newRValueBox (Value value)
ShlExpr newShlExpr (Value op1, Value op2)
ShrExpr newShrExpr (Value op1, Value op2)
SpecialInvokeExpr newSpecialInvokeExpr (Local base, SootMethod method, List args)
StaticFieldRef newStaticFieldRef (SootField f)
StaticInvokeExpr newStaticInvokeExpr (SootMethod method, List args)
UnitBox newStmtBox (Unit unit)
SubExpr newSubExpr (Value op1, Value op2)
TableSwitchStmt newTableSwitchStmt (TableSwitchStmt s)
TableSwitchStmt newTableSwitchStmt (Value key, int lowIndex, int highIndex, List targets, Unit defaultTarget)
ThisRef newThisRef (SootClass c)
ThrowStmt newThrowStmt (ThrowStmt s)
ThrowStmt newThrowStmt (Value op)
Trap newTrap (Trap trap)
Trap newTrap (SootClass exception, Unit beginStmt, Unit endStmt, Unit handlerStmt)
UshrExpr newUshrExpr (Value op1, Value op2)
ValueBox newVariableBox (Value value)
VirtualInvokeExpr newVirtualInvokeExpr (Local base, SootMethod method, List args)
XorExpr newXorExpr (Value op1, Value op2)

Static Public Methods

Grimp v ()

Protected Methods

 Grimp ()

Private Methods

NewExpr newNewExpr (RefType type)

Static Private Attributes

Grimp grimpRepresentation = new Grimp()

Detailed Description

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

Definition at line 92 of file Grimp.java.

Member Function Documentation

AddExpr Grimp::newAddExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a AddExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 107 of file Grimp.java.

AndExpr Grimp::newAndExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a AndExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 115 of file Grimp.java.

ValueBox Grimp::newArgBox (  Value   value )  [inline]
 

Constructs an empty ArgBox for a grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 119 of file Grimp.java.

ArrayRef Grimp::newArrayRef (  Value   base,
Value   index
)  [inline]
 

Constructs a ArrayRef(Local, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 127 of file Grimp.java.

AssignStmt Grimp::newAssignStmt (  Value   variable,
Value   rvalue
)  [inline]
 

Constructs a AssignStmt(Variable, RValue) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 139 of file Grimp.java.

Body Grimp::newBody (  SootMethod   m )  [inline]
 

Constructs an empty GrimpBody for the given method.

Reimplemented from JimpleRepresentation.

Definition at line 147 of file Grimp.java.

BreakpointStmt Grimp::newBreakpointStmt (    )  [inline]
 

Constructs a BreakpointStmt() grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 155 of file Grimp.java.

CastExpr Grimp::newCastExpr (  Value   op1,
Type   t
)  [inline]
 

Constructs a CastExpr(Expr, Type) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 167 of file Grimp.java.

CaughtExceptionRef Grimp::newCaughtExceptionRef (  JimpleBody   b )  [inline]
 

Constructs a CaughtExceptionRef() grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 175 of file Grimp.java.

CmpExpr Grimp::newCmpExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a CmpExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 183 of file Grimp.java.

CmpgExpr Grimp::newCmpgExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a CmpgExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 191 of file Grimp.java.

CmplExpr Grimp::newCmplExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a CmplExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 199 of file Grimp.java.

DivExpr Grimp::newDivExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a DivExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 211 of file Grimp.java.

EnterMonitorStmt Grimp::newEnterMonitorStmt (  Value   op )  [inline]
 

Constructs a EnterMonitorStmt(Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 223 of file Grimp.java.

EqExpr Grimp::newEqExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a EqExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 231 of file Grimp.java.

ExitMonitorStmt Grimp::newExitMonitorStmt (  Value   op )  [inline]
 

Constructs a ExitMonitorStmt(Expr) grammar chunk

Reimplemented from JimpleRepresentation.

Definition at line 243 of file Grimp.java.

Value Grimp::newExpr (  Value   value )  [inline]
 

Carries out the mapping from other Value's to Grimp Value's

Definition at line 248 of file Grimp.java.

GeExpr Grimp::newGeExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a GeExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 508 of file Grimp.java.

GotoStmt Grimp::newGotoStmt (  Unit   target )  [inline]
 

Constructs a GotoStmt(Stmt) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 520 of file Grimp.java.

GtExpr Grimp::newGtExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a GtExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 528 of file Grimp.java.

IdentityStmt Grimp::newIdentityStmt (  Value   local,
Value   identityRef
)  [inline]
 

Constructs a IdentityStmt(Local, IdentityRef) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 544 of file Grimp.java.

IfStmt Grimp::newIfStmt (  Value   condition,
Unit   target
)  [inline]
 

Constructs a IfStmt(Condition, Stmt) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 556 of file Grimp.java.

InstanceFieldRef Grimp::newInstanceFieldRef (  Value   base,
SootField   f
)  [inline]
 

Constructs a InstanceFieldRef(Value, SootField) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 580 of file Grimp.java.

InstanceOfExpr Grimp::newInstanceOfExpr (  Value   op1,
Type   t
)  [inline]
 

Constructs a InstanceOfExpr(Expr, Type) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 589 of file Grimp.java.

InterfaceInvokeExpr Grimp::newInterfaceInvokeExpr (  Local   base,
SootMethod   method,
List   args
)  [inline]
 

Constructs a InterfaceInvokeExpr(Local base, SootMethod method, List of Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 597 of file Grimp.java.

InvokeStmt Grimp::newInvokeStmt (  Value   op )  [inline]
 

Constructs a InvokeStmt(InvokeExpr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 613 of file Grimp.java.

LeExpr Grimp::newLeExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a LeExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 621 of file Grimp.java.

LengthExpr Grimp::newLengthExpr (  Value   op )  [inline]
 

Constructs a LengthExpr(Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 629 of file Grimp.java.

Local Grimp::newLocal (  String   name,
Type   t
)  [inline]
 

Constructs a Local with the given name and type.

Reimplemented from JimpleRepresentation.

Definition at line 637 of file Grimp.java.

LookupSwitchStmt Grimp::newLookupSwitchStmt (  Value   key,
List   lookupValues,
List   targets,
Unit   defaultTarget
)  [inline]
 

Constructs a LookupSwitchStmt(Expr, List of Expr, List of Unit, Stmt) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 654 of file Grimp.java.

LtExpr Grimp::newLtExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a LtExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 662 of file Grimp.java.

MulExpr Grimp::newMulExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a MulExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 670 of file Grimp.java.

NeExpr Grimp::newNeExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a NeExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 678 of file Grimp.java.

NegExpr Grimp::newNegExpr (  Value   op )  [inline]
 

Constructs a NegExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 686 of file Grimp.java.

NewArrayExpr Grimp::newNewArrayExpr (  Type   type,
Value   size
)  [inline]
 

Constructs a NewArrayExpr(Type, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 694 of file Grimp.java.

NewExpr Grimp::newNewExpr (  RefType   type )  [inline, private]
 

Constructs a NewExpr(RefType) grammar chunk.

Definition at line 702 of file Grimp.java.

NewInvokeExpr Grimp::newNewInvokeExpr (  RefType   base,
SootMethod   method,
List   args
)  [inline]
 

Constructs a NewInvokeExpr(Local base, List of Expr) grammar chunk.

Definition at line 710 of file Grimp.java.

NewMultiArrayExpr Grimp::newNewMultiArrayExpr (  ArrayType   type,
List   sizes
)  [inline]
 

Constructs a NewMultiArrayExpr(ArrayType, List of Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 718 of file Grimp.java.

NopStmt Grimp::newNopStmt (    )  [inline]
 

Constructs a NopStmt() grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 726 of file Grimp.java.

OrExpr Grimp::newOrExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a OrExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 742 of file Grimp.java.

ParameterRef Grimp::newParameterRef (  SootMethod   m,
int   number
)  [inline]
 

Constructs a ParameterRef(SootMethod, int) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 750 of file Grimp.java.

RemExpr Grimp::newRemExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a RemExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 758 of file Grimp.java.

RetStmt Grimp::newRetStmt (  Value   stmtAddress )  [inline]
 

Constructs a RetStmt(Local) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 770 of file Grimp.java.

ReturnStmt Grimp::newReturnStmt (  Value   op )  [inline]
 

Constructs a ReturnStmt(Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 782 of file Grimp.java.

ReturnVoidStmt Grimp::newReturnVoidStmt (    )  [inline]
 

Constructs a ReturnVoidStmt() grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 790 of file Grimp.java.

ShlExpr Grimp::newShlExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a ShlExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 806 of file Grimp.java.

ShrExpr Grimp::newShrExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a ShrExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 814 of file Grimp.java.

SpecialInvokeExpr Grimp::newSpecialInvokeExpr (  Local   base,
SootMethod   method,
List   args
)  [inline]
 

Constructs a SpecialInvokeExpr(Local base, SootMethod method, List of Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 822 of file Grimp.java.

StaticFieldRef Grimp::newStaticFieldRef (  SootField   f )  [inline]
 

Constructs a StaticFieldRef(SootField) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 830 of file Grimp.java.

StaticInvokeExpr Grimp::newStaticInvokeExpr (  SootMethod   method,
List   args
)  [inline]
 

Constructs a StaticInvokeExpr(ArrayType, List of Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 838 of file Grimp.java.

SubExpr Grimp::newSubExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a SubExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 850 of file Grimp.java.

TableSwitchStmt Grimp::newTableSwitchStmt (  Value   key,
int   lowIndex,
int   highIndex,
List   targets,
Unit   defaultTarget
)  [inline]
 

Constructs a TableSwitchStmt(Expr, int, int, List of Unit, Stmt) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 864 of file Grimp.java.

ThisRef Grimp::newThisRef (  SootClass   c )  [inline]
 

Constructs a ThisRef(SootClass) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 872 of file Grimp.java.

ThrowStmt Grimp::newThrowStmt (  Value   op )  [inline]
 

Constructs a ThrowStmt(Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 884 of file Grimp.java.

Trap Grimp::newTrap (  SootClass   exception,
Unit   beginStmt,
Unit   endStmt,
Unit   handlerStmt
)  [inline]
 

Constructs a new Trap for the given exception on the given Stmt range with the given Stmt handler.

Reimplemented from JimpleRepresentation.

Definition at line 897 of file Grimp.java.

UshrExpr Grimp::newUshrExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a UshrExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 905 of file Grimp.java.

VirtualInvokeExpr Grimp::newVirtualInvokeExpr (  Local   base,
SootMethod   method,
List   args
)  [inline]
 

Constructs a VirtualInvokeExpr(Local base, SootMethod method, List of Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 917 of file Grimp.java.

XorExpr Grimp::newXorExpr (  Value   op1,
Value   op2
)  [inline]
 

Constructs a XorExpr(Expr, Expr) grammar chunk.

Reimplemented from JimpleRepresentation.

Definition at line 925 of file Grimp.java.

The documentation for this class was generated from the following file:
Generated at Thu Feb 7 07:12:15 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001