joeq.Compiler.Analysis.IPSSA
Class SSAValue.NullConstant

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

Enclosing class:

SSAValue

public static class SSAValue.NullConstant
extends SSAValue.Constant

Nested Class Summary

static class

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

String

toString()

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

getUsedDefinitionIterator

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

toString

public String toString()

Specified by:

toString in class SSAValue