joeq.Compiler.Analysis.IPSSA.Utils
Class ReachabilityTrace

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.Utils.ReachabilityTrace

All Implemented Interfaces:

Cloneable

public class ReachabilityTrace
extends Object
implements Cloneable

Implements a trace of SSADefinitions.

Version:

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

Author:

V.Benjamin Livshits

Nested Class Summary

static class

ReachabilityTrace.Algorithms

Method Summary

Object	clone()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

clone

public Object clone()

Overrides:

clone in class Object

toString

public String toString()

Overrides:

toString in class Object