de.mirkosertic.bytecoder.ssa

Class MethodTypeArgumentCheckExpression

java.lang.Object

de.mirkosertic.bytecoder.graph.Node<Node,EdgeType>

de.mirkosertic.bytecoder.ssa.Value

de.mirkosertic.bytecoder.ssa.Expression

de.mirkosertic.bytecoder.ssa.MethodTypeArgumentCheckExpression

public class MethodTypeArgumentCheckExpression
extends Expression

Constructor Summary

Constructors

Constructor and Description
MethodTypeArgumentCheckExpression(Program program, BytecodeOpcodeAddress address, Value aMethodType, Value aIndex, TypeRef.Native aExpectedType)

Method Summary

Modifier and Type	Method and Description
TypeRef.Native	getExpectedType()
TypeRef	resolveType()

Methods inherited from class de.mirkosertic.bytecoder.ssa.Expression

getAddress, getComment, getProgram, withComment

Methods inherited from class de.mirkosertic.bytecoder.ssa.Value

incomingDataFlows, receivesDataFrom, receivesDataFrom, receivesDataFrom, replaceIncomingDataEdge, routeIncomingDataFlowsTo, widestTypeOf

Methods inherited from class de.mirkosertic.bytecoder.graph.Node

addEdgeTo, addIncomingEdge, incomingEdges, incomingEdges, outgoingEdges, outgoingEdges, singleOutgoingNodeMatching

Methods inherited from class java.lang.Object

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

Constructor Detail

MethodTypeArgumentCheckExpression

public MethodTypeArgumentCheckExpression(Program program,
                                         BytecodeOpcodeAddress address,
                                         Value aMethodType,
                                         Value aIndex,
                                         TypeRef.Native aExpectedType)

Method Detail

getExpectedType

public TypeRef.Native getExpectedType()

resolveType

public TypeRef resolveType()

Overrides:

resolveType in class Expression