joeq.Compiler.Analysis.IPSSA
Class SSABinding

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.SSABinding

public class SSABinding
extends Object

An SSABinding is an assignment of an SSAValue to to an SSADefinition.

Version:

$Id: SSABinding.java 1709 2004-04-28 08:46:37Z joewhaley $

See Also:

SSADefinition, SSAValue, SSADefinition

Field Summary

protected SSADefinition	_destination
protected Quad	_quad
protected SSAValue	_value

Constructor Summary

SSABinding(Quad quad, SSADefinition def, SSAValue value)

SSABinding(Quad quad, SSALocation loc, SSAValue value, jq_Method method)

Method Summary

void	accept(SSABindingVisitor vis)
SSADefinition	getDestination()
Quad	getQuad()
SSAValue	getValue()
boolean	isComplete() Tests whether the binding has been completed by filling out it RHS
boolean	isValid()
void	setValue(SSAValue value)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_quad

protected Quad _quad

_destination

protected SSADefinition _destination

_value

protected SSAValue _value

Constructor Detail

SSABinding

public SSABinding(Quad quad,
                  SSADefinition def,
                  SSAValue value)

SSABinding

public SSABinding(Quad quad,
                  SSALocation loc,
                  SSAValue value,
                  jq_Method method)

Method Detail

setValue

public void setValue(SSAValue value)

isComplete

public boolean isComplete()

Tests whether the binding has been completed by filling out it RHS

isValid

public boolean isValid()

getDestination

public SSADefinition getDestination()

getValue

public SSAValue getValue()

getQuad

public Quad getQuad()

accept

public void accept(SSABindingVisitor vis)

toString

public String toString()

Overrides:

toString in class Object