joeq.Compiler.Analysis.IPSSA
Class SSADefinition

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.SSADefinition

public class SSADefinition
extends Object

This is a definition in the SSA sense, meaning it's unique. The meaning of the definition is affected by the underlying location.

Version:

$Id: SSADefinition.java 1931 2004-09-22 22:17:47Z joewhaley $

See Also:

SSALocation

Nested Class Summary

static class

SSADefinition.Helper

Field Summary

protected SSALocation

_location

Method Summary

void	appendUse(SSAValue value)
long	getID()
SSALocation	getLocation()
jq_Method	getMethod()
Quad	getQuad()
SSAIterator.ValueIterator	getUseIterator()
int	getVersion()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

_location

protected SSALocation _location

Method Detail

getLocation

public SSALocation getLocation()

getVersion

public int getVersion()

getMethod

public jq_Method getMethod()

getQuad

public Quad getQuad()

toString

public String toString()

Overrides:

toString in class Object

getID

public long getID()

getUseIterator

public SSAIterator.ValueIterator getUseIterator()

appendUse

public void appendUse(SSAValue value)