Package sootup.java.core.language

Class JavaJimple

java.lang.Object

sootup.core.jimple.Jimple

sootup.java.core.language.JavaJimple

public class JavaJimple
extends Jimple

JavaJimple implements the Java specific terms for Jimple

Author:

Markus Schmidt

Field Summary

Fields inherited from class sootup.core.jimple.Jimple

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

Constructor Summary

Constructors

Constructor	Description
JavaJimple()

Method Summary

Modifier and Type	Method	Description
static boolean	isJavaKeywordType(Type t)
static JCaughtExceptionRef	newCaughtExceptionRef(@NonNull IdentifierFactory identifierFactory)	Constructs a CaughtExceptionRef() grammar chunk.
static ClassConstant	newClassConstant(String value, @NonNull IdentifierFactory identifierFactory)
static EnumConstant	newEnumConstant(String value, String type, @NonNull IdentifierFactory identifierFactory)
static JavaLocal	newLocal(String name, Type t)	Constructs a Local with the given name and type.
static JavaLocal	newLocal(String name, Type t, int slotIndex)	Deprecated. Use newSlotLocal(String, Type, int) or newLocal(String, Type).
static JavaLocal	newLocal(String name, Type t, int slotIndex, Iterable<AnnotationUsage> annotations)	Deprecated. Use an explicit generic or slot local factory.
static JavaLocal	newLocal(String name, Type t, Iterable<AnnotationUsage> annotations)	Constructs a Local with the given name and type.
static MethodHandle	newMethodHandle(SootClassMemberSignature<? extends SootClassMemberSubSignature> ref, int tag, @NonNull IdentifierFactory identifierFactory)
static MethodHandle	newMethodHandle(SootClassMemberSignature<? extends SootClassMemberSubSignature> ref, MethodHandle.Kind kind, @NonNull IdentifierFactory identifierFactory)
static MethodType	newMethodType(List<Type> parameterTypes, Type returnType, @NonNull IdentifierFactory identifierFactory)
static JavaSlotLocal	newSlotLocal(String name, Type t, int slotIndex)	Constructs a local originating from the given nonnegative JVM local variable slot.
static JavaSlotLocal	newSlotLocal(String name, Type t, int slotIndex, Iterable<AnnotationUsage> annotations)
static JavaStackLocal	newStackLocal(String name, Type t)	Constructs a temporary originating from the JVM operand stack.
static JavaStackLocal	newStackLocal(String name, Type t, Iterable<AnnotationUsage> annotations)
static StringConstant	newStringConstant(String value, @NonNull IdentifierFactory identifierFactory)

Methods inherited from class sootup.core.jimple.Jimple

jimpleKeywordList, newAddExpr, newAndExpr, newArrayRef, newAssignStmt, newBreakpointStmt, newCastExpr, newCmpExpr, newCmpgExpr, newCmplExpr, newDivExpr, newDynamicInvokeExpr, newDynamicInvokeExpr, newEnterMonitorStmt, newEqExpr, newExitMonitorStmt, newGeExpr, newGotoStmt, newGtExpr, newIdentityStmt, newIfStmt, newInstanceFieldRef, newInstanceOfExpr, newInterfaceInvokeExpr, newInterfaceInvokeExpr, newInterfaceInvokeExpr, newInvokeStmt, newLeExpr, newLengthExpr, newLookupSwitchStmt, newLtExpr, newMulExpr, newNeExpr, newNegExpr, newNewArrayExpr, newNewExpr, newNewMultiArrayExpr, newNopStmt, newOrExpr, newParameterRef, newPhiExpr, newRemExpr, newRetStmt, newReturnStmt, newReturnVoidStmt, newShlExpr, newShrExpr, newSpecialInvokeExpr, newSpecialInvokeExpr, newSpecialInvokeExpr, newStaticFieldRef, newStaticInvokeExpr, newStaticInvokeExpr, newStaticInvokeExpr, newSubExpr, newTableSwitchStmt, newThisRef, newThrowStmt, newTrap, newUshrExpr, newVirtualInvokeExpr, newVirtualInvokeExpr, newVirtualInvokeExpr, newXorExpr

Methods inherited from class java.lang.Object

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

Constructor Details

JavaJimple

public JavaJimple()

Method Details

isJavaKeywordType

public static boolean isJavaKeywordType(Type t)

newLocal

public static JavaLocal newLocal(String name,
 Type t,
 Iterable<AnnotationUsage> annotations)

Constructs a Local with the given name and type.

newLocal

@Deprecated
public static JavaLocal newLocal(String name,
 Type t,
 int slotIndex)

Deprecated.

Use newSlotLocal(String, Type, int) or newLocal(String, Type).

newLocal

@Deprecated
public static JavaLocal newLocal(String name,
 Type t,
 int slotIndex,
 Iterable<AnnotationUsage> annotations)

Deprecated.

Use an explicit generic or slot local factory.

newStackLocal

public static JavaStackLocal newStackLocal(String name,
 Type t)

Constructs a temporary originating from the JVM operand stack.

newStackLocal

public static JavaStackLocal newStackLocal(String name,
 Type t,
 Iterable<AnnotationUsage> annotations)

newSlotLocal

public static JavaSlotLocal newSlotLocal(String name,
 Type t,
 int slotIndex)

Constructs a local originating from the given nonnegative JVM local variable slot.

newSlotLocal

public static JavaSlotLocal newSlotLocal(String name,
 Type t,
 int slotIndex,
 Iterable<AnnotationUsage> annotations)

newCaughtExceptionRef

public static JCaughtExceptionRef newCaughtExceptionRef(@NonNull IdentifierFactory identifierFactory)

Constructs a CaughtExceptionRef() grammar chunk.

Parameters:

identifierFactory - the factory that provides the java.lang.Throwable type

Returns:

the created caught exception reference

newClassConstant

public static ClassConstant newClassConstant(String value,
 @NonNull IdentifierFactory identifierFactory)

newEnumConstant

public static EnumConstant newEnumConstant(String value,
 String type,
 @NonNull IdentifierFactory identifierFactory)

newStringConstant

public static StringConstant newStringConstant(String value,
 @NonNull IdentifierFactory identifierFactory)

newMethodHandle

public static MethodHandle newMethodHandle(SootClassMemberSignature<? extends SootClassMemberSubSignature> ref,
 int tag,
 @NonNull IdentifierFactory identifierFactory)

newMethodHandle

public static MethodHandle newMethodHandle(SootClassMemberSignature<? extends SootClassMemberSubSignature> ref,
 MethodHandle.Kind kind,
 @NonNull IdentifierFactory identifierFactory)

newMethodType

public static MethodType newMethodType(List<Type> parameterTypes,
 Type returnType,
 @NonNull IdentifierFactory identifierFactory)

newLocal

public static JavaLocal newLocal(String name,
 Type t)

Constructs a Local with the given name and type.