joeq.Compiler.Analysis.IPSSA
Class SSAValue.Copy

java.lang.Object
  extended by joeq.Compiler.Analysis.IPSSA.SSAValue
      extended by joeq.Compiler.Analysis.IPSSA.SSAValue.Copy
Enclosing class:
SSAValue

public static class SSAValue.Copy
extends SSAValue

This value is just a reference to a definition. TODO: do we still have copies in the reduced representation?..


Nested Class Summary
static class SSAValue.Copy.FACTORY
           
 
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
 
Method Summary
 SSADefinition getDefinition()
           
 SSAIterator.DefinitionIterator getUsedDefinitionIterator()
           
 String toString()
           
 
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
 

Method Detail

getUsedDefinitionIterator

public SSAIterator.DefinitionIterator getUsedDefinitionIterator()
Specified by:
getUsedDefinitionIterator in class SSAValue

getDefinition

public SSADefinition getDefinition()

toString

public String toString()
Specified by:
toString in class SSAValue


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