joeq.Compiler.Analysis.IPSSA
Class SSAValue.Gamma

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.SSAValue
      joeq.Compiler.Analysis.IPSSA.SSAValue.Phi
          joeq.Compiler.Analysis.IPSSA.SSAValue.Predicated
              joeq.Compiler.Analysis.IPSSA.SSAValue.Gamma

Enclosing class:

SSAValue

public static class SSAValue.Gamma
extends SSAValue.Predicated

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

_predicates

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

_definitions, _usedDefinitions

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

_destination

Constructor Summary

SSAValue.Gamma()

Method Summary

String

getLetter()

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

add, getPredicate, toString

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

getDefinition, getDefinitionCount, getDefinitionIterator, 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

Constructor Detail

SSAValue.Gamma

public SSAValue.Gamma()

Method Detail

getLetter

public String getLetter()

Specified by:

getLetter in class SSAValue.Phi