joeq.Compiler.Analysis.IPSSA
Class SSAValue.Constant

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

Direct Known Subclasses:

SSAValue.NullConstant, SSAValue.UnknownConstant

Enclosing class:

SSAValue

public abstract static class SSAValue.Constant
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.Constant()

Method Summary

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.Constant

public SSAValue.Constant()

Method Detail

getUsedDefinitionIterator

public SSAIterator.DefinitionIterator getUsedDefinitionIterator()

Specified by:

getUsedDefinitionIterator in class SSAValue