com.ibm.wala.classLoader

Class JavaLanguage.JavaInstructionFactory

java.lang.Object

com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory

All Implemented Interfaces:

SSAInstructionFactory

Enclosing class:

JavaLanguage

public static class JavaLanguage.JavaInstructionFactory
extends Object
implements SSAInstructionFactory

Constructor Summary

Constructors

Constructor and Description
JavaLanguage.JavaInstructionFactory()

Method Summary

Methods

Modifier and Type	Method and Description
SSAAddressOfInstruction	AddressOfInstruction(int iindex, int lval, int local, FieldReference field, TypeReference pointeeType)
SSAAddressOfInstruction	AddressOfInstruction(int iindex, int lval, int local, int indexVal, TypeReference pointeeType)
SSAAddressOfInstruction	AddressOfInstruction(int iindex, int lval, int local, TypeReference pointeeType)
SSAArrayLengthInstruction	ArrayLengthInstruction(int iindex, int result, int arrayref)
SSAArrayLoadInstruction	ArrayLoadInstruction(int iindex, int result, int arrayref, int index, TypeReference declaredType)
SSAArrayStoreInstruction	ArrayStoreInstruction(int iindex, int arrayref, int index, int value, TypeReference declaredType)
SSAAbstractBinaryInstruction	BinaryOpInstruction(int iindex, com.ibm.wala.shrikeBT.IBinaryOpInstruction.IOperator operator, boolean overflow, boolean unsigned, int result, int val1, int val2, boolean mayBeInteger)
SSACheckCastInstruction	CheckCastInstruction(int iindex, int result, int val, int[] typeValues, boolean isPEI)
SSACheckCastInstruction	CheckCastInstruction(int iindex, int result, int val, int typeValue, boolean isPEI)
SSACheckCastInstruction	CheckCastInstruction(int iindex, int result, int val, TypeReference[] types, boolean isPEI)
SSACheckCastInstruction	CheckCastInstruction(int iindex, int result, int val, TypeReference type, boolean isPEI)
SSAComparisonInstruction	ComparisonInstruction(int iindex, com.ibm.wala.shrikeBT.IComparisonInstruction.Operator operator, int result, int val1, int val2)
SSAConditionalBranchInstruction	ConditionalBranchInstruction(int iindex, com.ibm.wala.shrikeBT.IConditionalBranchInstruction.IOperator operator, TypeReference type, int val1, int val2, int target)
SSAConversionInstruction	ConversionInstruction(int iindex, int result, int val, TypeReference fromType, TypeReference toType, boolean overflow)
SSAGetCaughtExceptionInstruction	GetCaughtExceptionInstruction(int iindex, int bbNumber, int exceptionValueNumber)
SSAGetInstruction	GetInstruction(int iindex, int result, FieldReference field)
SSAGetInstruction	GetInstruction(int iindex, int result, int ref, FieldReference field)
SSAGotoInstruction	GotoInstruction(int iindex, int target)
SSAInstanceofInstruction	InstanceofInstruction(int iindex, int result, int ref, TypeReference checkedType)
SSAInvokeInstruction	InvokeInstruction(int iindex, int[] params, int exception, CallSiteReference site, com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod bootstrap)
SSAInvokeInstruction	InvokeInstruction(int iindex, int result, int[] params, int exception, CallSiteReference site, com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod bootstrap)
SSALoadIndirectInstruction	LoadIndirectInstruction(int iindex, int lval, TypeReference t, int addressVal)
SSALoadMetadataInstruction	LoadMetadataInstruction(int iindex, int lval, TypeReference entityType, Object token)
SSAMonitorInstruction	MonitorInstruction(int iindex, int ref, boolean isEnter)
SSANewInstruction	NewInstruction(int iindex, int result, NewSiteReference site)
SSANewInstruction	NewInstruction(int iindex, int result, NewSiteReference site, int[] params)
SSAPhiInstruction	PhiInstruction(int iindex, int result, int[] params)
SSAPiInstruction	PiInstruction(int iindex, int result, int val, int piBlock, int successorBlock, SSAInstruction cause)
SSAPutInstruction	PutInstruction(int iindex, int value, FieldReference field)
SSAPutInstruction	PutInstruction(int iindex, int ref, int value, FieldReference field)
SSAReturnInstruction	ReturnInstruction(int iindex)
SSAReturnInstruction	ReturnInstruction(int iindex, int result, boolean isPrimitive)
SSAStoreIndirectInstruction	StoreIndirectInstruction(int iindex, int addressVal, int rval, TypeReference pointeeType)
SSASwitchInstruction	SwitchInstruction(int iindex, int val, int defaultLabel, int[] casesAndLabels)
SSAThrowInstruction	ThrowInstruction(int iindex, int exception)
SSAUnaryOpInstruction	UnaryOpInstruction(int iindex, com.ibm.wala.shrikeBT.IUnaryOpInstruction.IOperator operator, int result, int val)

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaLanguage.JavaInstructionFactory

public JavaLanguage.JavaInstructionFactory()

Method Detail

ArrayLengthInstruction

public SSAArrayLengthInstruction ArrayLengthInstruction(int iindex,
                                               int result,
                                               int arrayref)

Specified by:

ArrayLengthInstruction in interface SSAInstructionFactory

ArrayLoadInstruction

public SSAArrayLoadInstruction ArrayLoadInstruction(int iindex,
                                           int result,
                                           int arrayref,
                                           int index,
                                           TypeReference declaredType)

Specified by:

ArrayLoadInstruction in interface SSAInstructionFactory

ArrayStoreInstruction

public SSAArrayStoreInstruction ArrayStoreInstruction(int iindex,
                                             int arrayref,
                                             int index,
                                             int value,
                                             TypeReference declaredType)

Specified by:

ArrayStoreInstruction in interface SSAInstructionFactory

BinaryOpInstruction

public SSAAbstractBinaryInstruction BinaryOpInstruction(int iindex,
                                               com.ibm.wala.shrikeBT.IBinaryOpInstruction.IOperator operator,
                                               boolean overflow,
                                               boolean unsigned,
                                               int result,
                                               int val1,
                                               int val2,
                                               boolean mayBeInteger)

Specified by:

BinaryOpInstruction in interface SSAInstructionFactory

CheckCastInstruction

public SSACheckCastInstruction CheckCastInstruction(int iindex,
                                           int result,
                                           int val,
                                           int[] typeValues,
                                           boolean isPEI)

Specified by:

CheckCastInstruction in interface SSAInstructionFactory

CheckCastInstruction

public SSACheckCastInstruction CheckCastInstruction(int iindex,
                                           int result,
                                           int val,
                                           TypeReference[] types,
                                           boolean isPEI)

Specified by:

CheckCastInstruction in interface SSAInstructionFactory

CheckCastInstruction

public SSACheckCastInstruction CheckCastInstruction(int iindex,
                                           int result,
                                           int val,
                                           int typeValue,
                                           boolean isPEI)

Specified by:

CheckCastInstruction in interface SSAInstructionFactory

CheckCastInstruction

public SSACheckCastInstruction CheckCastInstruction(int iindex,
                                           int result,
                                           int val,
                                           TypeReference type,
                                           boolean isPEI)

Specified by:

CheckCastInstruction in interface SSAInstructionFactory

ComparisonInstruction

public SSAComparisonInstruction ComparisonInstruction(int iindex,
                                             com.ibm.wala.shrikeBT.IComparisonInstruction.Operator operator,
                                             int result,
                                             int val1,
                                             int val2)

Specified by:

ComparisonInstruction in interface SSAInstructionFactory

ConditionalBranchInstruction

public SSAConditionalBranchInstruction ConditionalBranchInstruction(int iindex,
                                                           com.ibm.wala.shrikeBT.IConditionalBranchInstruction.IOperator operator,
                                                           TypeReference type,
                                                           int val1,
                                                           int val2,
                                                           int target)

Specified by:

ConditionalBranchInstruction in interface SSAInstructionFactory

ConversionInstruction

public SSAConversionInstruction ConversionInstruction(int iindex,
                                             int result,
                                             int val,
                                             TypeReference fromType,
                                             TypeReference toType,
                                             boolean overflow)

Specified by:

ConversionInstruction in interface SSAInstructionFactory

GetCaughtExceptionInstruction

public SSAGetCaughtExceptionInstruction GetCaughtExceptionInstruction(int iindex,
                                                             int bbNumber,
                                                             int exceptionValueNumber)

Specified by:

GetCaughtExceptionInstruction in interface SSAInstructionFactory

GetInstruction

public SSAGetInstruction GetInstruction(int iindex,
                               int result,
                               FieldReference field)

Specified by:

GetInstruction in interface SSAInstructionFactory

GetInstruction

public SSAGetInstruction GetInstruction(int iindex,
                               int result,
                               int ref,
                               FieldReference field)

Specified by:

GetInstruction in interface SSAInstructionFactory

GotoInstruction

public SSAGotoInstruction GotoInstruction(int iindex,
                                 int target)

Specified by:

GotoInstruction in interface SSAInstructionFactory

InstanceofInstruction

public SSAInstanceofInstruction InstanceofInstruction(int iindex,
                                             int result,
                                             int ref,
                                             TypeReference checkedType)

Specified by:

InstanceofInstruction in interface SSAInstructionFactory

InvokeInstruction

public SSAInvokeInstruction InvokeInstruction(int iindex,
                                     int result,
                                     int[] params,
                                     int exception,
                                     CallSiteReference site,
                                     com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod bootstrap)

Specified by:

InvokeInstruction in interface SSAInstructionFactory

InvokeInstruction

public SSAInvokeInstruction InvokeInstruction(int iindex,
                                     int[] params,
                                     int exception,
                                     CallSiteReference site,
                                     com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod bootstrap)

Specified by:

InvokeInstruction in interface SSAInstructionFactory

MonitorInstruction

public SSAMonitorInstruction MonitorInstruction(int iindex,
                                       int ref,
                                       boolean isEnter)

Specified by:

MonitorInstruction in interface SSAInstructionFactory

NewInstruction

public SSANewInstruction NewInstruction(int iindex,
                               int result,
                               NewSiteReference site)

Specified by:

NewInstruction in interface SSAInstructionFactory

PhiInstruction

public SSAPhiInstruction PhiInstruction(int iindex,
                               int result,
                               int[] params)
                                 throws IllegalArgumentException

Specified by:

PhiInstruction in interface SSAInstructionFactory

Throws:

IllegalArgumentException

PutInstruction

public SSAPutInstruction PutInstruction(int iindex,
                               int ref,
                               int value,
                               FieldReference field)

Specified by:

PutInstruction in interface SSAInstructionFactory

PutInstruction

public SSAPutInstruction PutInstruction(int iindex,
                               int value,
                               FieldReference field)

Specified by:

PutInstruction in interface SSAInstructionFactory

ReturnInstruction

public SSAReturnInstruction ReturnInstruction(int iindex)

Specified by:

ReturnInstruction in interface SSAInstructionFactory

ReturnInstruction

public SSAReturnInstruction ReturnInstruction(int iindex,
                                     int result,
                                     boolean isPrimitive)

Specified by:

ReturnInstruction in interface SSAInstructionFactory

SwitchInstruction

public SSASwitchInstruction SwitchInstruction(int iindex,
                                     int val,
                                     int defaultLabel,
                                     int[] casesAndLabels)

Specified by:

SwitchInstruction in interface SSAInstructionFactory

ThrowInstruction

public SSAThrowInstruction ThrowInstruction(int iindex,
                                   int exception)

Specified by:

ThrowInstruction in interface SSAInstructionFactory

UnaryOpInstruction

public SSAUnaryOpInstruction UnaryOpInstruction(int iindex,
                                       com.ibm.wala.shrikeBT.IUnaryOpInstruction.IOperator operator,
                                       int result,
                                       int val)

Specified by:

UnaryOpInstruction in interface SSAInstructionFactory

LoadMetadataInstruction

public SSALoadMetadataInstruction LoadMetadataInstruction(int iindex,
                                                 int lval,
                                                 TypeReference entityType,
                                                 Object token)

Specified by:

LoadMetadataInstruction in interface SSAInstructionFactory

NewInstruction

public SSANewInstruction NewInstruction(int iindex,
                               int result,
                               NewSiteReference site,
                               int[] params)

Specified by:

NewInstruction in interface SSAInstructionFactory

PiInstruction

public SSAPiInstruction PiInstruction(int iindex,
                             int result,
                             int val,
                             int piBlock,
                             int successorBlock,
                             SSAInstruction cause)

Specified by:

PiInstruction in interface SSAInstructionFactory

AddressOfInstruction

public SSAAddressOfInstruction AddressOfInstruction(int iindex,
                                           int lval,
                                           int local,
                                           TypeReference pointeeType)

Specified by:

AddressOfInstruction in interface SSAInstructionFactory

AddressOfInstruction

public SSAAddressOfInstruction AddressOfInstruction(int iindex,
                                           int lval,
                                           int local,
                                           int indexVal,
                                           TypeReference pointeeType)

Specified by:

AddressOfInstruction in interface SSAInstructionFactory

AddressOfInstruction

public SSAAddressOfInstruction AddressOfInstruction(int iindex,
                                           int lval,
                                           int local,
                                           FieldReference field,
                                           TypeReference pointeeType)

Specified by:

AddressOfInstruction in interface SSAInstructionFactory

LoadIndirectInstruction

public SSALoadIndirectInstruction LoadIndirectInstruction(int iindex,
                                                 int lval,
                                                 TypeReference t,
                                                 int addressVal)

Specified by:

LoadIndirectInstruction in interface SSAInstructionFactory

StoreIndirectInstruction

public SSAStoreIndirectInstruction StoreIndirectInstruction(int iindex,
                                                   int addressVal,
                                                   int rval,
                                                   TypeReference pointeeType)

Specified by:

StoreIndirectInstruction in interface SSAInstructionFactory