joeq.Compiler.Analysis.IPSSA
Class SSAValue

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

Direct Known Subclasses:

SSAValue.Alloc, SSAValue.Copy, SSAValue.Phi, SSAValue.Terminal

public abstract class SSAValue
extends Object

The RHS of a binding. Has multiple subclasses.

Version:

$Id: SSAValue.java 1931 2004-09-22 22:17:47Z joewhaley $

See Also:

SSADefinition

Nested Class Summary

static class	SSAValue.ActualOut
static class	SSAValue.Alloc
static class	SSAValue.Constant
static class	SSAValue.Copy This value is just a reference to a definition.
static class	SSAValue.FormalIn
static class	SSAValue.Gamma
static class	SSAValue.IPPhi
static class	SSAValue.Normal
static class	SSAValue.NullConstant
static class	SSAValue.OmegaPhi This represents a merge of definitions but without any further information such as predicates.
static class	SSAValue.Phi
static class	SSAValue.Predicate The representation of predicates is yet to be determined.
static class	SSAValue.Predicated
static class	SSAValue.SigmaPhi
static class	SSAValue.Terminal
static class	SSAValue.UnknownConstant
static class	SSAValue.UseCollection

Field Summary

protected SSADefinition

_destination

Constructor Summary

SSAValue()

Method Summary

SSADefinition	getDestination()
Quad	getQuad()
abstract SSAIterator.DefinitionIterator	getUsedDefinitionIterator()
abstract String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_destination

protected SSADefinition _destination

Constructor Detail

SSAValue

public SSAValue()

Method Detail

getDestination

public SSADefinition getDestination()

getQuad

public Quad getQuad()

getUsedDefinitionIterator

public abstract SSAIterator.DefinitionIterator getUsedDefinitionIterator()

toString

public abstract String toString()

Overrides:

toString in class Object