joeq.Compiler.Analysis.IPSSA
Class SSABinding

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

public class SSABinding
extends java.lang.Object

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

Version:

$Id: SSABinding.java,v 1.9 2004/04/28 08:46:37 joewhaley Exp $

See Also:

SSADefinition, SSAValue, SSADefinition

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)
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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 java.lang.String toString()

Overrides:

toString in class java.lang.Object