joeq.Compiler.Analysis.IPSSA
Class SSAValue.Normal

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

Direct Known Subclasses:

SSAValue.UseCollection

Enclosing class:

SSAValue

public abstract static class SSAValue.Normal
extends SSAValue.Terminal

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

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

_destination

Constructor Summary

SSAValue.Normal()

Method Summary

abstract SSAIterator.DefinitionIterator

getUsedDefinitionIterator()

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

getDestination, getQuad, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

SSAValue.Normal

public SSAValue.Normal()

Method Detail

getUsedDefinitionIterator

public abstract SSAIterator.DefinitionIterator getUsedDefinitionIterator()

Specified by:

getUsedDefinitionIterator in class SSAValue