joeq.Compiler.Analysis.IPSSA
Class SSAValue.FormalIn

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

Enclosing class:

SSAValue

public static class SSAValue.FormalIn
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

Method Summary

java.lang.String	getLetter()
boolean	hasCallSite(Quad quad)
java.lang.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

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

Method Detail

getLetter

public java.lang.String getLetter()

Specified by:

getLetter in class SSAValue.Phi

toString

public java.lang.String toString()

Overrides:

toString in class SSAValue.Phi

hasCallSite

public boolean hasCallSite(Quad quad)