Package sootup.core.jimple

Class Jimple

java.lang.Object

sootup.core.jimple.Jimple

Direct Known Subclasses:

JavaJimple

public abstract class Jimple
extends Object

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

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

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ABSTRACT
static final String	ANNOTATION
static final String	BREAKPOINT
static final String	CASE
static final String	CATCH
static final String	CLASS
static final String	CMP
static final String	CMPG
static final String	CMPL
static final String	DEFAULT
static final String	DYNAMICINVOKE
static final String	ENTERMONITOR
static final String	ENUM
static final String	EXITMONITOR
static final String	EXTENDS
static final String	FALSE
static final String	FINAL
static final String	FROM
static final String	GOTO
static final String	IF
static final String	IMPLEMENTS
static final String	INSTANCEOF
static final String	INTERFACE
static final String	INTERFACEINVOKE
static final String	LENGTHOF
static final String	NATIVE
static final String	NEG
static final String	NEW
static final String	NEWARRAY
static final String	NEWMULTIARRAY
static final String	NOP
static final String	NULL
static final String	PHI
static final String	PRIVATE
static final String	PROTECTED
static final String	PUBLIC
static final String	RET
static final String	RETURN
static final String	SPECIALINVOKE
static final String	STATIC
static final String	STATICINVOKE
static final String	STRICTFP
static final String	SWITCH
static final String	SYNCHRONIZED
static final String	THROW
static final String	THROWS
static final String	TO
static final String	TRANSIENT
static final String	TRUE
static final String	VIRTUALINVOKE
static final String	VOLATILE
static final String	WITH

Constructor Summary

Constructors

Constructor	Description
Jimple()

Method Summary

Modifier and Type	Method	Description
static String	escape(String str)	Escapes reserved Jimple keywords e.g.
abstract IdentifierFactory	getIdentifierFactory()
static List<String>	jimpleKeywordList()	Returns a list of keywords for Jimple.
static JAddExpr	newAddExpr(Immediate op1, Immediate op2)	Constructs a AddExpr(Immediate, Immediate) grammar chunk.
static JAndExpr	newAndExpr(Immediate op1, Immediate op2)	Constructs a AndExpr(Immediate, Immediate) grammar chunk.
JArrayRef	newArrayRef(Local base, Immediate index)	Constructs a ArrayRef(Local, Immediate) grammar chunk.
static JAssignStmt	newAssignStmt(LValue variable, Value rvalue, StmtPositionInfo posInfo)	Constructs a AssignStmt(Variable, RValue) grammar chunk.
static JBreakpointStmt	newBreakpointStmt(StmtPositionInfo posInfo)	Constructs a BreakpointStmt() grammar chunk.
static JCastExpr	newCastExpr(Immediate op1, Type t)	Constructs a CastExpr(Immediate, Type) grammar chunk.
abstract JCaughtExceptionRef	newCaughtExceptionRef()	Constructs a CaughtExceptionRef() grammar chunk.
static JCmpExpr	newCmpExpr(Immediate op1, Immediate op2)	Constructs a CmpExpr(Immediate, Immediate) grammar chunk.
static JCmpgExpr	newCmpgExpr(Immediate op1, Immediate op2)	Constructs a CmpgExpr(Immediate, Immediate) grammar chunk.
static JCmplExpr	newCmplExpr(Immediate op1, Immediate op2)	Constructs a CmplExpr(Immediate, Immediate) grammar chunk.
static JDivExpr	newDivExpr(Immediate op1, Immediate op2)	Constructs a DivExpr(Immediate, Immediate) grammar chunk.
static JDynamicInvokeExpr	newDynamicInvokeExpr(MethodSignature bootstrapMethodSignature, List<Immediate> bootstrapArgs, MethodSignature methodSignature, int tag, List<Immediate> args)	Constructs a NewDynamicInvokeExpr(SootMethod bootstrapMethodSignature, List bootstrapArgs, SootMethod methodSignature, List args) grammar chunk.
static JDynamicInvokeExpr	newDynamicInvokeExpr(MethodSignature bootstrapMethodSignature, List<Immediate> bootstrapArgs, MethodSignature methodSignature, List<Immediate> args)	Constructs a NewDynamicInvokeExpr(SootMethod bootstrapMethodSignature, List bootstrapArgs, SootMethod methodSignature, List args) grammar chunk.
static JEnterMonitorStmt	newEnterMonitorStmt(Immediate op, StmtPositionInfo posInfo)	Constructs a EnterMonitorStmt(Immediate) grammar chunk.
static JEqExpr	newEqExpr(Immediate op1, Immediate op2)	Constructs a EqExpr(Immediate, Immediate) grammar chunk.
static JExitMonitorStmt	newExitMonitorStmt(Immediate op, StmtPositionInfo posInfo)	Constructs a ExitMonitorStmt(Immediate) grammar chunk.
static JGeExpr	newGeExpr(Immediate op1, Immediate op2)	Constructs a GeExpr(Immediate, Immediate) grammar chunk.
static JGotoStmt	newGotoStmt(StmtPositionInfo posInfo)	Constructs a GotoStmt(Stmt) grammar chunk.
static JGtExpr	newGtExpr(Immediate op1, Immediate op2)	Constructs a GtExpr(Immediate, Immediate) grammar chunk.
static <L extends IdentityRef> JIdentityStmt	newIdentityStmt(Local local, L identityRef, StmtPositionInfo posInfo)	Constructs a IdentityStmt(Local, IdentityRef) grammar chunk.
static JIfStmt	newIfStmt(AbstractConditionExpr condition, StmtPositionInfo posInfo)	Constructs a IfStmt(Condition, Stmt) grammar chunk.
static JInstanceFieldRef	newInstanceFieldRef(Local base, FieldSignature f)	Constructs a InstanceFieldRef(Local, FieldSignature) grammar chunk.
static JInstanceOfExpr	newInstanceOfExpr(Immediate op1, Type t)	Constructs a InstanceOfExpr(Immediate, Type) grammar chunk.
static JInterfaceInvokeExpr	newInterfaceInvokeExpr(Local base, MethodSignature method)
static JInterfaceInvokeExpr	newInterfaceInvokeExpr(Local base, MethodSignature method, List<Immediate> args)	Constructs a NewInterfaceInvokeExpr(Local base, SootMethod method, List of Immediate) grammar chunk.
static JInterfaceInvokeExpr	newInterfaceInvokeExpr(Local base, MethodSignature method, Immediate arg)
static JInvokeStmt	newInvokeStmt(AbstractInvokeExpr op, StmtPositionInfo posInfo)	Constructs a InvokeStmt(InvokeExpr) grammar chunk.
static JLeExpr	newLeExpr(Immediate op1, Immediate op2)	Constructs a LeExpr(Immediate, Immediate) grammar chunk.
static JLengthExpr	newLengthExpr(Immediate op)	Constructs a LengthExpr(Immediate) grammar chunk.
static Local	newLocal(String name, Type t)	Constructs a Local with the given name and type.
static JSwitchStmt	newLookupSwitchStmt(Immediate key, List<IntConstant> lookupValues, StmtPositionInfo posInfo)	Constructs a LookupSwitchStmt(Immediate, List of Immediate, List of Stmt, Stmt) grammar chunk.
static JLtExpr	newLtExpr(Immediate op1, Immediate op2)	Constructs a LtExpr(Immediate, Immediate) grammar chunk.
static JMulExpr	newMulExpr(Immediate op1, Immediate op2)	Constructs a MulExpr(Immediate, Immediate) grammar chunk.
static JNeExpr	newNeExpr(Immediate op1, Immediate op2)	Constructs a NeExpr(Immediate, Immediate) grammar chunk.
static JNegExpr	newNegExpr(Immediate op)	Constructs a NegExpr(Immediate, Immediate) grammar chunk.
JNewArrayExpr	newNewArrayExpr(Type type, Immediate size)	Constructs a NewArrayExpr(Type, Immediate) grammar chunk.
static JNewExpr	newNewExpr(ClassType type)	Constructs a NewExpr(RefType) grammar chunk.
static JNewMultiArrayExpr	newNewMultiArrayExpr(ArrayType type, List<Immediate> sizes)
static JNopStmt	newNopStmt(StmtPositionInfo posInfo)	Constructs a NopStmt() grammar chunk.
static JOrExpr	newOrExpr(Immediate op1, Immediate op2)	Constructs a OrExpr(Immediate, Immediate) grammar chunk.
static JParameterRef	newParameterRef(Type paramType, int number)	Constructs a ParameterRef(SootMethod, int) grammar chunk.
static JPhiExpr	newPhiExpr(List<Local> args, Map<Local,BasicBlock<?>> argToBlock)
static JRemExpr	newRemExpr(Immediate op1, Immediate op2)	Constructs a RemExpr(Immediate, Immediate) grammar chunk.
static JRetStmt	newRetStmt(Immediate stmtAddress, StmtPositionInfo posInfo)	Constructs a RetStmt(Local) grammar chunk.
static JReturnStmt	newReturnStmt(Immediate op, StmtPositionInfo posInfo)	Constructs a ReturnStmt(Immediate) grammar chunk.
static JReturnVoidStmt	newReturnVoidStmt(StmtPositionInfo posInfo)	Constructs a ReturnVoidStmt() grammar chunk.
static JShlExpr	newShlExpr(Immediate op1, Immediate op2)	Constructs a ShlExpr(Immediate, Immediate) grammar chunk.
static JShrExpr	newShrExpr(Immediate op1, Immediate op2)	Constructs a ShrExpr(Immediate, Immediate) grammar chunk.
static JSpecialInvokeExpr	newSpecialInvokeExpr(Local base, MethodSignature method)
static JSpecialInvokeExpr	newSpecialInvokeExpr(Local base, MethodSignature method, List<Immediate> args)	Constructs a NewSpecialInvokeExpr(Local base, SootMethod method, List of Immediate) grammar chunk.
static JSpecialInvokeExpr	newSpecialInvokeExpr(Local base, MethodSignature method, Immediate arg)
static JStaticFieldRef	newStaticFieldRef(FieldSignature f)	Constructs a JStaticFieldRef(FieldSignature) grammar chunk.
static JStaticInvokeExpr	newStaticInvokeExpr(MethodSignature method)
static JStaticInvokeExpr	newStaticInvokeExpr(MethodSignature method, List<Immediate> args)	Constructs a NewStaticInvokeExpr(ArrayType, List of Immediate) grammar chunk.
static JStaticInvokeExpr	newStaticInvokeExpr(MethodSignature method, Immediate arg)
static JSubExpr	newSubExpr(Immediate op1, Immediate op2)	Constructs a SubExpr(Immediate, Immediate) grammar chunk.
static JSwitchStmt	newTableSwitchStmt(Immediate key, int lowIndex, int highIndex, StmtPositionInfo posInfo)	Constructs a TableSwitchStmt(Immediate, int, int, List of Stmt, Stmt) grammar chunk.
static JThisRef	newThisRef(ClassType t)	Constructs a ThisRef(ClassType) grammar chunk.
static JThrowStmt	newThrowStmt(Immediate op, StmtPositionInfo posInfo)	Constructs a ThrowStmt(Immediate) grammar chunk.
static Trap	newTrap(ClassType exception, Stmt beginStmt, Stmt endStmt, Stmt handlerStmt)
static JUshrExpr	newUshrExpr(Immediate op1, Immediate op2)	Constructs a UshrExpr(Immediate, Immediate) grammar chunk.
static JVirtualInvokeExpr	newVirtualInvokeExpr(Local base, MethodSignature method)
static JVirtualInvokeExpr	newVirtualInvokeExpr(Local base, MethodSignature method, List<Immediate> args)	Constructs a NewVirtualInvokeExpr(Local base, SootMethod method, List of Immediate) grammar chunk.
static JVirtualInvokeExpr	newVirtualInvokeExpr(Local base, MethodSignature method, Immediate arg)
static JXorExpr	newXorExpr(Immediate op1, Immediate op2)	Constructs a XorExpr(Immediate, Immediate) grammar chunk.
static String	unescape(String str)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

NEWARRAY

public static final String NEWARRAY

See Also:

• Constant Field Values

NEWMULTIARRAY

public static final String NEWMULTIARRAY

See Also:

• Constant Field Values

NOP

public static final String NOP

See Also:

• Constant Field Values

RET

public static final String RET

See Also:

• Constant Field Values

SPECIALINVOKE

public static final String SPECIALINVOKE

See Also:

• Constant Field Values

DYNAMICINVOKE

public static final String DYNAMICINVOKE

See Also:

• Constant Field Values

STATICINVOKE

public static final String STATICINVOKE

See Also:

• Constant Field Values

VIRTUALINVOKE

public static final String VIRTUALINVOKE

See Also:

• Constant Field Values

CMP

public static final String CMP

See Also:

• Constant Field Values

CMPG

public static final String CMPG

See Also:

• Constant Field Values

CMPL

public static final String CMPL

See Also:

• Constant Field Values

ENTERMONITOR

public static final String ENTERMONITOR

See Also:

• Constant Field Values

EXITMONITOR

public static final String EXITMONITOR

See Also:

• Constant Field Values

INTERFACEINVOKE

public static final String INTERFACEINVOKE

See Also:

• Constant Field Values

LENGTHOF

public static final String LENGTHOF

See Also:

• Constant Field Values

NEG

public static final String NEG

See Also:

• Constant Field Values

IF

public static final String IF

See Also:

• Constant Field Values

ABSTRACT

public static final String ABSTRACT

See Also:

• Constant Field Values

CASE

public static final String CASE

See Also:

• Constant Field Values

CATCH

public static final String CATCH

See Also:

• Constant Field Values

CLASS

public static final String CLASS

See Also:

• Constant Field Values

FINAL

public static final String FINAL

See Also:

• Constant Field Values

NATIVE

public static final String NATIVE

See Also:

• Constant Field Values

PUBLIC

public static final String PUBLIC

See Also:

• Constant Field Values

PROTECTED

public static final String PROTECTED

See Also:

• Constant Field Values

PRIVATE

public static final String PRIVATE

See Also:

• Constant Field Values

STATIC

public static final String STATIC

See Also:

• Constant Field Values

SYNCHRONIZED

public static final String SYNCHRONIZED

See Also:

• Constant Field Values

TRANSIENT

public static final String TRANSIENT

See Also:

• Constant Field Values

VOLATILE

public static final String VOLATILE

See Also:

• Constant Field Values

STRICTFP

public static final String STRICTFP

See Also:

• Constant Field Values

ENUM

public static final String ENUM

See Also:

• Constant Field Values

ANNOTATION

public static final String ANNOTATION

See Also:

• Constant Field Values

INTERFACE

public static final String INTERFACE

See Also:

• Constant Field Values

EXTENDS

public static final String EXTENDS

See Also:

• Constant Field Values

IMPLEMENTS

public static final String IMPLEMENTS

See Also:

• Constant Field Values

BREAKPOINT

public static final String BREAKPOINT

See Also:

• Constant Field Values

DEFAULT

public static final String DEFAULT

See Also:

• Constant Field Values

GOTO

public static final String GOTO

See Also:

• Constant Field Values

INSTANCEOF

public static final String INSTANCEOF

See Also:

• Constant Field Values

NEW

public static final String NEW

See Also:

• Constant Field Values

RETURN

public static final String RETURN

See Also:

• Constant Field Values

SWITCH

public static final String SWITCH

See Also:

• Constant Field Values

THROW

public static final String THROW

See Also:

• Constant Field Values

THROWS

public static final String THROWS

See Also:

• Constant Field Values

NULL

public static final String NULL

See Also:

• Constant Field Values

FROM

public static final String FROM

See Also:

• Constant Field Values

TO

public static final String TO

See Also:

• Constant Field Values

WITH

public static final String WITH

See Also:

• Constant Field Values

TRUE

public static final String TRUE

See Also:

• Constant Field Values

FALSE

public static final String FALSE

See Also:

• Constant Field Values

PHI

public static final String PHI

See Also:

• Constant Field Values

Constructor Details

Jimple

public Jimple()

Method Details

jimpleKeywordList

public static List<String> jimpleKeywordList()

Returns a list of keywords for Jimple. This list has to be in sync with the tokens for the jimple parser. This way StmtPrinter can escape reserved words while serializing if needed.

escape

public static String escape(String str)

Escapes reserved Jimple keywords e.g. used in (Stmt)Printer, necessary in the JimpleParser

unescape

public static String unescape(String str)

getIdentifierFactory

public abstract IdentifierFactory getIdentifierFactory()

newXorExpr

public static JXorExpr newXorExpr(Immediate op1,
 Immediate op2)

Constructs a XorExpr(Immediate, Immediate) grammar chunk.

newUshrExpr

public static JUshrExpr newUshrExpr(Immediate op1,
 Immediate op2)

Constructs a UshrExpr(Immediate, Immediate) grammar chunk.

newSubExpr

public static JSubExpr newSubExpr(Immediate op1,
 Immediate op2)

Constructs a SubExpr(Immediate, Immediate) grammar chunk.

newShrExpr

public static JShrExpr newShrExpr(Immediate op1,
 Immediate op2)

Constructs a ShrExpr(Immediate, Immediate) grammar chunk.

newShlExpr

public static JShlExpr newShlExpr(Immediate op1,
 Immediate op2)

Constructs a ShlExpr(Immediate, Immediate) grammar chunk.

newRemExpr

public static JRemExpr newRemExpr(Immediate op1,
 Immediate op2)

Constructs a RemExpr(Immediate, Immediate) grammar chunk.

newOrExpr

public static JOrExpr newOrExpr(Immediate op1,
 Immediate op2)

Constructs a OrExpr(Immediate, Immediate) grammar chunk.

newNeExpr

public static JNeExpr newNeExpr(Immediate op1,
 Immediate op2)

Constructs a NeExpr(Immediate, Immediate) grammar chunk.

newMulExpr

public static JMulExpr newMulExpr(Immediate op1,
 Immediate op2)

Constructs a MulExpr(Immediate, Immediate) grammar chunk.

newLeExpr

public static JLeExpr newLeExpr(Immediate op1,
 Immediate op2)

Constructs a LeExpr(Immediate, Immediate) grammar chunk.

newGeExpr

public static JGeExpr newGeExpr(Immediate op1,
 Immediate op2)

Constructs a GeExpr(Immediate, Immediate) grammar chunk.

newEqExpr

public static JEqExpr newEqExpr(Immediate op1,
 Immediate op2)

Constructs a EqExpr(Immediate, Immediate) grammar chunk.

newDivExpr

public static JDivExpr newDivExpr(Immediate op1,
 Immediate op2)

Constructs a DivExpr(Immediate, Immediate) grammar chunk.

newCmplExpr

public static JCmplExpr newCmplExpr(Immediate op1,
 Immediate op2)

Constructs a CmplExpr(Immediate, Immediate) grammar chunk.

newCmpgExpr

public static JCmpgExpr newCmpgExpr(Immediate op1,
 Immediate op2)

Constructs a CmpgExpr(Immediate, Immediate) grammar chunk.

newCmpExpr

public static JCmpExpr newCmpExpr(Immediate op1,
 Immediate op2)

Constructs a CmpExpr(Immediate, Immediate) grammar chunk.

newGtExpr

public static JGtExpr newGtExpr(Immediate op1,
 Immediate op2)

Constructs a GtExpr(Immediate, Immediate) grammar chunk.

newLtExpr

public static JLtExpr newLtExpr(Immediate op1,
 Immediate op2)

Constructs a LtExpr(Immediate, Immediate) grammar chunk.

newAddExpr

public static JAddExpr newAddExpr(Immediate op1,
 Immediate op2)

Constructs a AddExpr(Immediate, Immediate) grammar chunk.

newAndExpr

public static JAndExpr newAndExpr(Immediate op1,
 Immediate op2)

Constructs a AndExpr(Immediate, Immediate) grammar chunk.

newNegExpr

public static JNegExpr newNegExpr(Immediate op)

Constructs a NegExpr(Immediate, Immediate) grammar chunk.

newLengthExpr

public static JLengthExpr newLengthExpr(Immediate op)

Constructs a LengthExpr(Immediate) grammar chunk.

newCastExpr

public static JCastExpr newCastExpr(Immediate op1,
 Type t)

Constructs a CastExpr(Immediate, Type) grammar chunk.

newInstanceOfExpr

public static JInstanceOfExpr newInstanceOfExpr(Immediate op1,
 Type t)

Constructs a InstanceOfExpr(Immediate, Type) grammar chunk.

newNewArrayExpr

public JNewArrayExpr newNewArrayExpr(Type type,
 Immediate size)

Constructs a NewArrayExpr(Type, Immediate) grammar chunk.

newPhiExpr

public static JPhiExpr newPhiExpr(List<Local> args,
 Map<Local,BasicBlock<?>> argToBlock)

newStaticInvokeExpr

public static JStaticInvokeExpr newStaticInvokeExpr(MethodSignature method,
 List<Immediate> args)

Constructs a NewStaticInvokeExpr(ArrayType, List of Immediate) grammar chunk.

newStaticInvokeExpr

public static JStaticInvokeExpr newStaticInvokeExpr(MethodSignature method,
 Immediate arg)

newStaticInvokeExpr

public static JStaticInvokeExpr newStaticInvokeExpr(MethodSignature method)

newSpecialInvokeExpr

public static JSpecialInvokeExpr newSpecialInvokeExpr(Local base,
 MethodSignature method,
 List<Immediate> args)

Constructs a NewSpecialInvokeExpr(Local base, SootMethod method, List of Immediate) grammar chunk.

newSpecialInvokeExpr

public static JSpecialInvokeExpr newSpecialInvokeExpr(Local base,
 MethodSignature method,
 Immediate arg)

newSpecialInvokeExpr

public static JSpecialInvokeExpr newSpecialInvokeExpr(Local base,
 MethodSignature method)

newDynamicInvokeExpr

public static JDynamicInvokeExpr newDynamicInvokeExpr(MethodSignature bootstrapMethodSignature,
 List<Immediate> bootstrapArgs,
 MethodSignature methodSignature,
 List<Immediate> args)

Constructs a NewDynamicInvokeExpr(SootMethod bootstrapMethodSignature, List bootstrapArgs, SootMethod methodSignature, List args) grammar chunk.

newDynamicInvokeExpr

public static JDynamicInvokeExpr newDynamicInvokeExpr(MethodSignature bootstrapMethodSignature,
 List<Immediate> bootstrapArgs,
 MethodSignature methodSignature,
 int tag,
 List<Immediate> args)

Constructs a NewDynamicInvokeExpr(SootMethod bootstrapMethodSignature, List bootstrapArgs, SootMethod methodSignature, List args) grammar chunk.

newVirtualInvokeExpr

public static JVirtualInvokeExpr newVirtualInvokeExpr(Local base,
 MethodSignature method,
 List<Immediate> args)

Constructs a NewVirtualInvokeExpr(Local base, SootMethod method, List of Immediate) grammar chunk.

newVirtualInvokeExpr

public static JVirtualInvokeExpr newVirtualInvokeExpr(Local base,
 MethodSignature method,
 Immediate arg)

newVirtualInvokeExpr

public static JVirtualInvokeExpr newVirtualInvokeExpr(Local base,
 MethodSignature method)

newInterfaceInvokeExpr

public static JInterfaceInvokeExpr newInterfaceInvokeExpr(Local base,
 MethodSignature method,
 List<Immediate> args)

Constructs a NewInterfaceInvokeExpr(Local base, SootMethod method, List of Immediate) grammar chunk.

newInterfaceInvokeExpr

public static JInterfaceInvokeExpr newInterfaceInvokeExpr(Local base,
 MethodSignature method,
 Immediate arg)

newInterfaceInvokeExpr

public static JInterfaceInvokeExpr newInterfaceInvokeExpr(Local base,
 MethodSignature method)

newThrowStmt

public static JThrowStmt newThrowStmt(Immediate op,
 StmtPositionInfo posInfo)

Constructs a ThrowStmt(Immediate) grammar chunk.

newExitMonitorStmt

public static JExitMonitorStmt newExitMonitorStmt(Immediate op,
 StmtPositionInfo posInfo)

Constructs a ExitMonitorStmt(Immediate) grammar chunk.

newEnterMonitorStmt

public static JEnterMonitorStmt newEnterMonitorStmt(Immediate op,
 StmtPositionInfo posInfo)

Constructs a EnterMonitorStmt(Immediate) grammar chunk.

newBreakpointStmt

public static JBreakpointStmt newBreakpointStmt(StmtPositionInfo posInfo)

Constructs a BreakpointStmt() grammar chunk.

newGotoStmt

public static JGotoStmt newGotoStmt(StmtPositionInfo posInfo)

Constructs a GotoStmt(Stmt) grammar chunk.

newNopStmt

public static JNopStmt newNopStmt(StmtPositionInfo posInfo)

Constructs a NopStmt() grammar chunk.

newReturnVoidStmt

public static JReturnVoidStmt newReturnVoidStmt(StmtPositionInfo posInfo)

Constructs a ReturnVoidStmt() grammar chunk.

newReturnStmt

public static JReturnStmt newReturnStmt(Immediate op,
 StmtPositionInfo posInfo)

Constructs a ReturnStmt(Immediate) grammar chunk.

newRetStmt

public static JRetStmt newRetStmt(Immediate stmtAddress,
 StmtPositionInfo posInfo)

Constructs a RetStmt(Local) grammar chunk.

newIfStmt

public static JIfStmt newIfStmt(AbstractConditionExpr condition,
 StmtPositionInfo posInfo)

Constructs a IfStmt(Condition, Stmt) grammar chunk.

newIdentityStmt

public static <L extends IdentityRef> JIdentityStmt newIdentityStmt(Local local,
 L identityRef,
 StmtPositionInfo posInfo)

Constructs a IdentityStmt(Local, IdentityRef) grammar chunk.

newAssignStmt

public static JAssignStmt newAssignStmt(LValue variable,
 Value rvalue,
 StmtPositionInfo posInfo)

Constructs a AssignStmt(Variable, RValue) grammar chunk.

newInvokeStmt

public static JInvokeStmt newInvokeStmt(AbstractInvokeExpr op,
 StmtPositionInfo posInfo)

Constructs a InvokeStmt(InvokeExpr) grammar chunk.

newTableSwitchStmt

public static JSwitchStmt newTableSwitchStmt(Immediate key,
 int lowIndex,
 int highIndex,
 StmtPositionInfo posInfo)

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

newLookupSwitchStmt

public static JSwitchStmt newLookupSwitchStmt(Immediate key,
 List<IntConstant> lookupValues,
 StmtPositionInfo posInfo)

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

newLocal

public static Local newLocal(String name,
 Type t)

Constructs a Local with the given name and type.

newStaticFieldRef

public static JStaticFieldRef newStaticFieldRef(FieldSignature f)

Constructs a JStaticFieldRef(FieldSignature) grammar chunk.

newThisRef

public static JThisRef newThisRef(ClassType t)

Constructs a ThisRef(ClassType) grammar chunk.

newParameterRef

public static JParameterRef newParameterRef(Type paramType,
 int number)

Constructs a ParameterRef(SootMethod, int) grammar chunk.

newInstanceFieldRef

public static JInstanceFieldRef newInstanceFieldRef(Local base,
 FieldSignature f)

Constructs a InstanceFieldRef(Local, FieldSignature) grammar chunk.

newArrayRef

public JArrayRef newArrayRef(Local base,
 Immediate index)

Constructs a ArrayRef(Local, Immediate) grammar chunk.

newCaughtExceptionRef

public abstract JCaughtExceptionRef newCaughtExceptionRef()

Constructs a CaughtExceptionRef() grammar chunk.

newNewExpr

public static JNewExpr newNewExpr(ClassType type)

Constructs a NewExpr(RefType) grammar chunk.

newNewMultiArrayExpr

public static JNewMultiArrayExpr newNewMultiArrayExpr(ArrayType type,
 List<Immediate> sizes)

newTrap

public static Trap newTrap(ClassType exception,
 Stmt beginStmt,
 Stmt endStmt,
 Stmt handlerStmt)