joeq.Compiler.Analysis.IPSSA
Class SSAValue.SigmaPhi

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.SSAValue
      joeq.Compiler.Analysis.IPSSA.SSAValue.Phi
          joeq.Compiler.Analysis.IPSSA.SSAValue.SigmaPhi

Enclosing class:

SSAValue

public static class SSAValue.SigmaPhi
extends SSAValue.Phi

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

Constructor Summary

SSAValue.SigmaPhi(ContextSet context, SSADefinition newDef, SSADefinition oldDef)

Method Summary

java.lang.String

getLetter()

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

getDefinition, getDefinitionCount, getDefinitionIterator, getUsedDefinitionIterator, toString

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

getDestination, getQuad

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SSAValue.SigmaPhi

public SSAValue.SigmaPhi(ContextSet context,
                         SSADefinition newDef,
                         SSADefinition oldDef)

Method Detail

getLetter

public java.lang.String getLetter()

Specified by:

getLetter in class SSAValue.Phi