joeq.Compiler.Analysis.IPSSA
Class SSAValue.Alloc

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

Enclosing class:

SSAValue

public static class SSAValue.Alloc
extends SSAValue

Nested Class Summary

static class

SSAValue.Alloc.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

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

toString

public String toString()

Specified by:

toString in class SSAValue