joeq.Compiler.Analysis.IPSSA
Class SSAValue.UseCollection

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.SSAValue
      joeq.Compiler.Analysis.IPSSA.SSAValue.Terminal
          joeq.Compiler.Analysis.IPSSA.SSAValue.Normal
              joeq.Compiler.Analysis.IPSSA.SSAValue.UseCollection

Enclosing class:

SSAValue

public static class SSAValue.UseCollection
extends SSAValue.Normal

Nested Class Summary

static class

SSAValue.UseCollection.FACTORY

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

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

_destination

Method Summary

void	addUsedDefinition(SSADefinition def)
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

Method Detail

getUsedDefinitionIterator

public SSAIterator.DefinitionIterator getUsedDefinitionIterator()

Specified by:

getUsedDefinitionIterator in class SSAValue.Normal

addUsedDefinition

public void addUsedDefinition(SSADefinition def)

toString

public String toString()

Specified by:

toString in class SSAValue