joeq.Compiler.Analysis.IPSSA.Utils
Class ReachabilityTrace

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

All Implemented Interfaces:

java.lang.Cloneable

public class ReachabilityTrace
extends java.lang.Object
implements java.lang.Cloneable

Implements a trace of SSADefinitions.

Version:

$Id: ReachabilityTrace.java,v 1.7 2004/09/22 22:17:25 joewhaley Exp $

Author:

V.Benjamin Livshits

Nested Class Summary

static class

ReachabilityTrace.Algorithms

Method Summary

java.lang.Object	clone()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object