Uses of Class
de.mirkosertic.bytecoder.ssa.Value

Packages that use Value

Package	Description
de.mirkosertic.bytecoder.intrinsics
de.mirkosertic.bytecoder.relooper
de.mirkosertic.bytecoder.ssa

Uses of Value in de.mirkosertic.bytecoder.intrinsics

Methods in de.mirkosertic.bytecoder.intrinsics with parameters of type Value

Modifier and Type	Method and Description
boolean	Intrinsics.intrinsify(Program aProgram, BytecodeInstructionINVOKEVIRTUAL aInstruction, List<Value> aArguments, Value aTarget, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaLangClassIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKEVIRTUAL aInstruction, String aMethodName, List<Value> aArguments, Value aTarget, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaLangEnumIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKEVIRTUAL aInstruction, String aMethodName, List<Value> aArguments, Value aTarget, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	Intrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKEVIRTUAL aInstruction, String aMethodName, List<Value> aArguments, Value aTarget, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaLangClassIntrinsic.intrinsify(Program aProgram, BytecodeInstructionPUTSTATIC aInstruction, String aFieldName, BytecodeObjectTypeRef aTtargetType, Value aValue, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaLangEnumIntrinsic.intrinsify(Program aProgram, BytecodeInstructionPUTSTATIC aInstruction, String aFieldName, BytecodeObjectTypeRef aTtargetType, Value aValue, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	Intrinsic.intrinsify(Program aProgram, BytecodeInstructionPUTSTATIC aInstruction, String aFieldName, BytecodeObjectTypeRef aTtargetType, Value aValue, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	Intrinsics.intrinsify(Program aProgram, BytecodeInstructionPUTSTATIC aInstruction, Value aValue, RegionNode aTargetBlock, ParsingHelper aHelper)

Method parameters in de.mirkosertic.bytecoder.intrinsics with type arguments of type Value

Modifier and Type	Method and Description
boolean	Intrinsics.intrinsify(Program aProgram, BytecodeInstructionINVOKESPECIAL aInstruction, BytecodeObjectTypeRef aType, List<Value> aArguments, Variable aTarget, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaLangClassIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKESPECIAL aInstruction, String aMethodName, BytecodeObjectTypeRef aType, List<Value> aArguments, Variable aTarget, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	ObjectConstructorCallIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKESPECIAL aInstruction, String aMethodName, BytecodeObjectTypeRef aType, List<Value> aArguments, Variable aTarget, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	Intrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKESPECIAL aInstruction, String aMethodName, BytecodeObjectTypeRef aType, List<Value> aArguments, Variable aTarget, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	Intrinsics.intrinsify(Program aProgram, BytecodeInstructionINVOKESTATIC aInstruction, List<Value> aArguments, BytecodeObjectTypeRef aObjectType, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaUtilArrayIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKESTATIC aInstruction, String aMethodName, List<Value> aArguments, BytecodeObjectTypeRef aTargetClass, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaLangClassIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKESTATIC aInstruction, String aMethodName, List<Value> aArguments, BytecodeObjectTypeRef aTargetClass, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaLangStrictMathIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKESTATIC aInstruction, String aMethodName, List<Value> aArguments, BytecodeObjectTypeRef aTargetClass, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	Intrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKESTATIC aInstruction, String aMethodName, List<Value> aArguments, BytecodeObjectTypeRef aTargetClass, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	MemoryManagerIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKESTATIC aInstruction, String aMethodName, List<Value> aArguments, BytecodeObjectTypeRef aTargetClass, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaLangDoubleIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKESTATIC aInstruction, String aMethodName, List<Value> aArguments, BytecodeObjectTypeRef aTargetClass, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	VMIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKESTATIC aInstruction, String aMethodName, List<Value> aArguments, BytecodeObjectTypeRef aTargetClass, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaLangMathIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKESTATIC aInstruction, String aMethodName, List<Value> aArguments, BytecodeObjectTypeRef aTargetClass, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaLangFloatIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKESTATIC aInstruction, String aMethodName, List<Value> aArguments, BytecodeObjectTypeRef aTargetClass, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	Intrinsics.intrinsify(Program aProgram, BytecodeInstructionINVOKEVIRTUAL aInstruction, List<Value> aArguments, Value aTarget, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaLangClassIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKEVIRTUAL aInstruction, String aMethodName, List<Value> aArguments, Value aTarget, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	JavaLangEnumIntrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKEVIRTUAL aInstruction, String aMethodName, List<Value> aArguments, Value aTarget, RegionNode aTargetBlock, ParsingHelper aHelper)
boolean	Intrinsic.intrinsify(Program aProgram, BytecodeInstructionINVOKEVIRTUAL aInstruction, String aMethodName, List<Value> aArguments, Value aTarget, RegionNode aTargetBlock, ParsingHelper aHelper)

Uses of Value in de.mirkosertic.bytecoder.relooper

Methods in de.mirkosertic.bytecoder.relooper that return Value

Modifier and Type	Method and Description
Value	Relooper.IFThenElseBlock.getCondition()

Constructors in de.mirkosertic.bytecoder.relooper with parameters of type Value

Constructor and Description
IFThenElseBlock(ExpressionList aPrelude, Set<RegionNode> aEntries, Value condition, Relooper.Block trueBlock, Relooper.Block falseBlock, Relooper.Block nextBlock)

Uses of Value in de.mirkosertic.bytecoder.ssa

Subclasses of Value in de.mirkosertic.bytecoder.ssa

Modifier and Type	Class and Description
class	ArrayEntryExpression
class	ArrayLengthExpression
class	ArrayStoreExpression
class	BinaryExpression
class	BreakExpression
class	ByteValue
class	CheckCastExpression
class	ClassReferenceValue
class	CompareExpression
class	ComputedMemoryLocationReadExpression
class	ComputedMemoryLocationWriteExpression
class	ContinueExpression
class	CurrentExceptionExpression
class	DataEndExpression
class	DirectInvokeMethodExpression
class	DoubleValue
class	EnumConstantsExpression
class	Expression
class	FixedBinaryExpression
class	FloatingPointCeilExpression
class	FloatingPointFloorExpression
class	FloatValue
class	FloorExpression
class	GetFieldExpression
class	GetStaticExpression
class	GotoExpression
class	HeapBaseExpression
class	IFElseExpression
class	IFExpression
class	InstanceOfExpression
class	IntegerValue
class	InvocationExpression
class	InvokeStaticMethodExpression
class	InvokeVirtualMethodExpression
class	IsNaNExpression
class	LambdaConstructorReferenceExpression
class	LambdaInterfaceReferenceExpression
class	LambdaSpecialReferenceExpression
class	LambdaVirtualReferenceExpression
class	LambdaWithStaticImplExpression
class	LongValue
class	LookupSwitchExpression
class	MaxExpression
class	MemorySizeExpression
class	MethodHandleExpression
class	MethodHandlesGeneratedLookupExpression
class	MethodParameterValue
class	MethodTypeArgumentCheckExpression
class	MethodTypeExpression
class	MinExpression
class	NegatedExpression
class	NewArrayExpression
class	NewInstanceFromDefaultConstructorExpression
class	NewMultiArrayExpression
class	NewObjectAndConstructExpression
class	NewObjectExpression
class	NullValue
class	PHIValue
class	PrimitiveValue
class	PtrOfExpression
class	PutFieldExpression
class	PutStaticExpression
class	ResolveCallsiteObjectExpression
class	ReturnExpression
class	ReturnValueExpression
class	SelfReferenceParameterValue
class	SetEnumConstantsExpression
class	SetMemoryLocationExpression
class	ShortValue
class	SqrtExpression
class	StackTopExpression
class	StringValue
class	SuperTypeOfExpression
class	SystemHasStackExpression
class	TableSwitchExpression
class	ThrowExpression
class	TypeConversionExpression
class	TypeOfExpression
class	UnreachableExpression
class	Variable
class	VariableAssignmentExpression

Methods in de.mirkosertic.bytecoder.ssa with type parameters of type Value

Modifier and Type	Method and Description
<T extends Value> List<T>	Value.incomingDataFlows()

Methods in de.mirkosertic.bytecoder.ssa that return Value

Modifier and Type	Method and Description
Value	LambdaConstructorReferenceExpression.getConstructorRef()
Value	LambdaInterfaceReferenceExpression.getInterfaceRef()
Value	ParsingHelper.getLocalVariable(int aIndex, TypeRef aExpectedType)
Value	LambdaWithStaticImplExpression.getName()
Value	LambdaSpecialReferenceExpression.getSpecialRef()
Value	LambdaInterfaceReferenceExpression.getStaticArguments()
Value	LambdaConstructorReferenceExpression.getStaticArguments()
Value	LambdaWithStaticImplExpression.getStaticArguments()
Value	LambdaVirtualReferenceExpression.getStaticArguments()
Value	LambdaSpecialReferenceExpression.getStaticArguments()
Value	LambdaWithStaticImplExpression.getStaticRef()
Value	LambdaInterfaceReferenceExpression.getType()
Value	LambdaConstructorReferenceExpression.getType()
Value	LambdaWithStaticImplExpression.getType()
Value	LambdaVirtualReferenceExpression.getType()
Value	LambdaSpecialReferenceExpression.getType()
Value	LambdaVirtualReferenceExpression.getVirtualRef()
Value	ParsingHelper.peek()
Value	ParsingHelper.pop()
Value	ParsingHelper.requestValue(VariableDescription aDescription)

Methods in de.mirkosertic.bytecoder.ssa that return types with arguments of type Value

Modifier and Type	Method and Description
Map<VariableDescription,Value>	BlockState.getPorts()
Stack<Value>	ParsingHelper.getStack()

Methods in de.mirkosertic.bytecoder.ssa with parameters of type Value

Modifier and Type	Method and Description
void	RegionNode.addToLiveIn(Value aValue, VariableDescription aDescription)
void	RegionNode.addToLiveOut(Value aValue, VariableDescription aDescription)
void	BlockState.assignToPort(VariableDescription aDescription, Value aValue)
Optional<BytecodeLinkedClass>	ClassHierarchyAnalysis.classProvidingInvokableMethod(String aMethodName, BytecodeMethodSignature aSignature, BytecodeTypeRef aInvocationTarget, Value aReceiver, Predicate<BytecodeLinkedClass> aClassFilter, Predicate<BytecodeMethod> aMethodFilter)
boolean	BlockState.contains(Value value)
void	Variable.initializeWith(Value aValue, long analysisTime)
Variable	RegionNode.newVariable(BytecodeOpcodeAddress aAddress, TypeRef aType, Value aValue)
void	ParsingHelper.push(BytecodeOpcodeAddress aAddress, Value aValue)
protected void	Value.receivesDataFrom(Value... aValues)
protected void	Value.receivesDataFrom(Value aOtherValue)
void	Value.replaceIncomingDataEdge(Value aOldValue, Value aNewValue)
void	Value.routeIncomingDataFlowsTo(Value aNewExpression)
void	ParsingHelper.setLocalVariable(BytecodeOpcodeAddress aInstruction, int aIndex, TypeRef aType, Value aValue)
void	ParsingHelper.setStackValue(int aStackPos, Value aValue)

Method parameters in de.mirkosertic.bytecoder.ssa with type arguments of type Value

Modifier and Type	Method and Description
protected void	Value.receivesDataFrom(List<Value> aValues)
static TypeRef	Value.widestTypeOf(Collection<Value> aValue, BytecodeLinkerContext aLinkerContext)

Constructors in de.mirkosertic.bytecoder.ssa with parameters of type Value

Constructor and Description
ArrayEntryExpression(Program aProgram, BytecodeOpcodeAddress aAddress, TypeRef aArrayType, Value aArray, Value aIndex)
ArrayLengthExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aArray)
ArrayStoreExpression(Program aProgram, BytecodeOpcodeAddress aAddress, TypeRef aArrayType, Value aArray, Value aIndex, Value aValue)
BinaryExpression(Program aProgram, BytecodeOpcodeAddress aAddress, TypeRef aTargetType, Value aValue1, BinaryExpression.Operator aOperator, Value aValue2)
CheckCastExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aValue, BytecodeClassinfoConstant aType)
CompareExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aValue1, Value aValue2)
ComputedMemoryLocationReadExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aOrigin, Value aOffset)
ComputedMemoryLocationWriteExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aOrigin, Value aOffset)
DirectInvokeMethodExpression(Program aProgram, BytecodeOpcodeAddress aAddress, BytecodeObjectTypeRef aClazz, String aMethodName, BytecodeMethodSignature aMethodSignature, Value aTarget, List<Value> aArguments)
EnumConstantsExpression(Program program, BytecodeOpcodeAddress address, Value aSource)
FixedBinaryExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aValue, FixedBinaryExpression.Operator aOperator)
FloatingPointCeilExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aValue, TypeRef aTargetType)
FloatingPointFloorExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aValue, TypeRef aTargetType)
FloorExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aValue, TypeRef aTargetType)
GetFieldExpression(Program aProgram, BytecodeOpcodeAddress aAddress, BytecodeFieldRefConstant aField, Value aTarget)
IFExpression(Program aProgram, BytecodeOpcodeAddress aAddress, BytecodeOpcodeAddress aGotoAddress, Value aBooleanValue, ExpressionList aExpressions)
InstanceOfExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aVariable, BytecodeClassinfoConstant aType)
InvokeVirtualMethodExpression(Program aProgram, BytecodeOpcodeAddress aAddress, BytecodeNameAndTypeConstant aMethod, Value aTarget, List<Value> aArguments, boolean aInterfaceInvocation, BytecodeTypeRef aInvokedClass)
InvokeVirtualMethodExpression(Program aProgram, BytecodeOpcodeAddress aAddress, String aMethodName, BytecodeMethodSignature aSignature, Value aTarget, List<Value> aArguments, boolean aInterfaceInvocation, BytecodeTypeRef aInvokedClass)
IsNaNExpression(Program aProgram, BytecodeOpcodeAddress aAddress, TypeRef aSourceType, Value aValue)
LambdaConstructorReferenceExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value type, Value constructorRef, Value staticArguments)
LambdaInterfaceReferenceExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value type, Value interfaceRef, Value staticArguments)
LambdaSpecialReferenceExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value type, Value specialRef, Value staticArguments)
LambdaVirtualReferenceExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value type, Value virtualRef, Value staticArguments)
LambdaWithStaticImplExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value type, Value staticRef, Value staticArguments, Value name)
LookupSwitchExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aValue, ExpressionList aDefaultExpressions, BytecodeOpcodeAddress aDefaultJumpTarget, Map<Long,ExpressionList> aPairs)
MaxExpression(Program aProgram, BytecodeOpcodeAddress aAddress, TypeRef aTargetType, Value aLeftValue, Value aRightValue)
MethodTypeArgumentCheckExpression(Program program, BytecodeOpcodeAddress address, Value aMethodType, Value aIndex, TypeRef.Native aExpectedType)
MinExpression(Program aProgram, BytecodeOpcodeAddress aAddress, TypeRef aTargetType, Value aLeftValue, Value aRightValue)
NegatedExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aValue)
NewArrayExpression(Program aProgram, BytecodeOpcodeAddress aAddress, BytecodeTypeRef aType, Value aLength)
NewInstanceFromDefaultConstructorExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aClass)
PtrOfExpression(Program aProgram, BytecodeOpcodeAddress address, Value aValue)
PutFieldExpression(Program aProgram, BytecodeOpcodeAddress aAddress, BytecodeFieldRefConstant aField, Value aTarget, Value aValue)
PutStaticExpression(Program aProgram, BytecodeOpcodeAddress aAddress, BytecodeFieldRefConstant aField, Value aValue)
ReturnValueExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aValue)
SetEnumConstantsExpression(Program program, BytecodeOpcodeAddress address, Value aTarget, Value aValue)
SetMemoryLocationExpression(Program aProgram, BytecodeOpcodeAddress aOpCodeAddress, Value aAddress, Value aValue)
SqrtExpression(Program aProgram, BytecodeOpcodeAddress aAddress, TypeRef aTargetType, Value aValue)
SuperTypeOfExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aTarget)
TableSwitchExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aValue, long aLowValue, long aHighValue, ExpressionList aDefaultPath, BytecodeOpcodeAddress aDefaultJumpTarget, Map<Long,ExpressionList> aPathPerOffset)
ThrowExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aValue)
TypeConversionExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aValue, TypeRef aTargetType)
TypeOfExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Value aTarget)
VariableAssignmentExpression(Program aProgram, BytecodeOpcodeAddress aAddress, Variable aVariable, Value aValue)

Constructor parameters in de.mirkosertic.bytecoder.ssa with type arguments of type Value

Constructor and Description
DirectInvokeMethodExpression(Program aProgram, BytecodeOpcodeAddress aAddress, BytecodeObjectTypeRef aClazz, String aMethodName, BytecodeMethodSignature aMethodSignature, Value aTarget, List<Value> aArguments)
InvokeStaticMethodExpression(Program aProgram, BytecodeOpcodeAddress aAddress, BytecodeObjectTypeRef aClassName, String aMethodName, BytecodeMethodSignature aSignature, List<Value> aArguments)
InvokeVirtualMethodExpression(Program aProgram, BytecodeOpcodeAddress aAddress, BytecodeNameAndTypeConstant aMethod, Value aTarget, List<Value> aArguments, boolean aInterfaceInvocation, BytecodeTypeRef aInvokedClass)
InvokeVirtualMethodExpression(Program aProgram, BytecodeOpcodeAddress aAddress, String aMethodName, BytecodeMethodSignature aSignature, Value aTarget, List<Value> aArguments, boolean aInterfaceInvocation, BytecodeTypeRef aInvokedClass)
NewMultiArrayExpression(Program aProgram, BytecodeOpcodeAddress aAddress, BytecodeTypeRef aType, List<Value> aDimensions)
NewObjectAndConstructExpression(Program aProgram, BytecodeOpcodeAddress aAddress, BytecodeObjectTypeRef aClazz, BytecodeMethodSignature aMethodSignature, List<Value> aArguments)