joeq.Compiler.Analysis.IPSSA
Class SSAValue.Predicated

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

Direct Known Subclasses:

SSAValue.Gamma

Enclosing class:

SSAValue

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

Field Summary

protected Vector

_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.Predicated()

Method Summary

void	add(SSADefinition def, String predicate)
SSAValue.Predicate	getPredicate(int pos)
String	toString()

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

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

_predicates

protected Vector _predicates

Constructor Detail

SSAValue.Predicated

public SSAValue.Predicated()

Method Detail

getPredicate

public SSAValue.Predicate getPredicate(int pos)

add

public void add(SSADefinition def,
                String predicate)

toString

public String toString()

Overrides:

toString in class SSAValue.Phi