joeq.Compiler.Analysis.IPSSA
Class SSAValue.Copy

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.SSAValue
      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