joeq.Compiler.Analysis.IPSSA
Class SSAValue.ActualOut

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.SSAValue
      joeq.Compiler.Analysis.IPSSA.SSAValue.Phi
          joeq.Compiler.Analysis.IPSSA.SSAValue.IPPhi
              joeq.Compiler.Analysis.IPSSA.SSAValue.ActualOut

Enclosing class:

SSAValue

public static class SSAValue.ActualOut
extends SSAValue.IPPhi

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

protected Vector

_callees

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

_definitions, _usedDefinitions

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

_destination

Method Summary

String	getLetter()
String	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

Field Detail

_callees

protected Vector _callees

Method Detail

getLetter

public String getLetter()

Specified by:

getLetter in class SSAValue.Phi

toString

public String toString()

Overrides:

toString in class SSAValue.Phi