de.mirkosertic.bytecoder.ssa

Class Value

java.lang.Object

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

de.mirkosertic.bytecoder.ssa.Value

Direct Known Subclasses:

Expression, PHIValue, PrimitiveValue, Variable

public abstract class Value
extends Node<Node,EdgeType>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Value()

Method Summary

Modifier and Type	Method and Description
<T extends Value> List<T>	incomingDataFlows()
protected void	receivesDataFrom(List<Value> aValues)
protected void	receivesDataFrom(Value... aValues)
protected void	receivesDataFrom(Value aOtherValue)
void	replaceIncomingDataEdge(Value aOldValue, Value aNewValue)
abstract TypeRef	resolveType()
void	routeIncomingDataFlowsTo(Value aNewExpression)
static TypeRef	widestTypeOf(Collection<Value> aValue, BytecodeLinkerContext aLinkerContext)

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

Value

protected Value()

Method Detail

receivesDataFrom

protected void receivesDataFrom(Value aOtherValue)

receivesDataFrom

protected void receivesDataFrom(List<Value> aValues)

receivesDataFrom

protected void receivesDataFrom(Value... aValues)

incomingDataFlows

public <T extends Value> List<T> incomingDataFlows()

replaceIncomingDataEdge

public void replaceIncomingDataEdge(Value aOldValue,
                                    Value aNewValue)

routeIncomingDataFlowsTo

public void routeIncomingDataFlowsTo(Value aNewExpression)

resolveType

public abstract TypeRef resolveType()

widestTypeOf

public static TypeRef widestTypeOf(Collection<Value> aValue,
                                   BytecodeLinkerContext aLinkerContext)