harpoon.Analysis
Class Reachable<HCE extends HCodeElement>

java.lang.Object
  harpoon.Analysis.Reachable<HCE>

public final class Reachable<HCE extends HCodeElement>
extends Object

Reachable

Version:

$Id: Reachable.java,v 1.4 2004/02/08 03:19:12 cananian Exp $

Author:

C. Scott Ananian <cananian@alumni.princeton.edu>

Field Summary

Set<HCE>

reachable

Constructor Summary

Reachable(HCode<HCE> hcode)

Reachable(HCode<HCE> hcode, CFGrapher<HCE> grapher)

Method Summary

boolean

isReachable(HCE hce)

Methods inherited from class java.lang.Object

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

Field Detail

reachable

public final Set<HCE extends HCodeElement> reachable

Constructor Detail

Reachable

public Reachable(HCode<HCE> hcode)

Reachable

public Reachable(HCode<HCE> hcode,
                 CFGrapher<HCE> grapher)

Method Detail

isReachable

public boolean isReachable(HCE hce)