joeq.Compiler.Analysis.IPSSA
Class SSAValue.Terminal

java.lang.Object
  extended by joeq.Compiler.Analysis.IPSSA.SSAValue
      extended by joeq.Compiler.Analysis.IPSSA.SSAValue.Terminal
Direct Known Subclasses:
SSAValue.Constant, SSAValue.Normal
Enclosing class:
SSAValue

public abstract static class SSAValue.Terminal
extends SSAValue


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
_destination
 
Constructor Summary
SSAValue.Terminal()
           
 
Method Summary
 
Methods inherited from class joeq.Compiler.Analysis.IPSSA.SSAValue
getDestination, getQuad, getUsedDefinitionIterator, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SSAValue.Terminal

public SSAValue.Terminal()


Copyright © 2001-2008 John Whaley. All Rights Reserved.