joeq.Compiler.Analysis.IPSSA
Class SSAValue.Phi

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

Direct Known Subclasses:

SSAValue.IPPhi, SSAValue.OmegaPhi, SSAValue.Predicated, SSAValue.SigmaPhi

Enclosing class:

SSAValue

public abstract static class SSAValue.Phi
extends SSAValue

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Analysis.IPSSA.SSAValue

SSAValue.ActualOut, SSAValue.Alloc, SSAValue.Constant, SSAValue.Copy, SSAValue.FormalIn, SSAValue.Gamma, SSAValue.IPPhi, SSAValue.Normal, SSAValue.NullConstant, SSAValue.OmegaPhi, SSAValue.Phi, SSAValue.Predicate, SSAValue.Predicated, SSAValue.SigmaPhi, SSAValue.Terminal, SSAValue.UnknownConstant, SSAValue.UseCollection

Field Summary

protected Vector	_definitions
protected LinkedHashSet	_usedDefinitions

Fields inherited from class joeq.Compiler.Analysis.IPSSA.SSAValue

_destination

Constructor Summary

SSAValue.Phi()

Method Summary

SSADefinition	getDefinition(int pos)
int	getDefinitionCount()
Iterator	getDefinitionIterator()
abstract String	getLetter()
SSAIterator.DefinitionIterator	getUsedDefinitionIterator()
String	toString()

Methods inherited from class joeq.Compiler.Analysis.IPSSA.SSAValue

getDestination, getQuad

Methods inherited from class java.lang.Object

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

Field Detail

_definitions

protected Vector _definitions

_usedDefinitions

protected LinkedHashSet _usedDefinitions

Constructor Detail

SSAValue.Phi

public SSAValue.Phi()

Method Detail

getDefinitionCount

public int getDefinitionCount()

getDefinition

public SSADefinition getDefinition(int pos)

getDefinitionIterator

public Iterator getDefinitionIterator()

getUsedDefinitionIterator

public SSAIterator.DefinitionIterator getUsedDefinitionIterator()

Specified by:

getUsedDefinitionIterator in class SSAValue

getLetter

public abstract String getLetter()

toString

public String toString()

Specified by:

toString in class SSAValue