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

Modifier and Type	Field	Description
static JavaIdentifierFactory	javaIdentifierFactory

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()	Constructs a CaughtExceptionRef() grammar chunk.
static ClassConstant	newClassConstant(String value)
static EnumConstant	newEnumConstant(String value, String type)
static JavaLocal	newLocal(String name, Type t)	Constructs a Local with the given name and type.
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)
static MethodHandle	newMethodHandle(SootClassMemberSignature<? extends SootClassMemberSubSignature> ref, MethodHandle.Kind kind)
static MethodType	newMethodType(List<Type> parameterTypes, Type returnType)
static StringConstant	newStringConstant(String value)

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

Field Details

javaIdentifierFactory

public static JavaIdentifierFactory javaIdentifierFactory

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.

newCaughtExceptionRef

public static JCaughtExceptionRef newCaughtExceptionRef()

Constructs a CaughtExceptionRef() grammar chunk.

newClassConstant

public static ClassConstant newClassConstant(String value)

newEnumConstant

public static EnumConstant newEnumConstant(String value,
 String type)

newStringConstant

public static StringConstant newStringConstant(String value)

newMethodHandle

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

newMethodHandle

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

newMethodType

public static MethodType newMethodType(List<Type> parameterTypes,
 Type returnType)

newLocal

public static JavaLocal newLocal(String name,
 Type t)

Constructs a Local with the given name and type.