joeq.Compiler.Quad.IPA
Class Solver

java.lang.Object
  joeq.Compiler.Quad.IPA.Solver

public abstract class Solver
extends Object

Solver

Version:

$Id: Solver.java 2459 2006-05-16 00:47:32Z cunkel $

Author:

John Whaley

Field Summary

protected boolean	bottomUp
protected CallGraph	cg
protected Map	dependents
protected Collection	roots
static boolean	TIMINGS
static boolean	TRACE
static boolean	TRACE_WORKLIST

Constructor Summary

Solver()

Method Summary

abstract void	dispose(jq_Method m)
protected void	go()
abstract boolean	visit(jq_Method m, boolean loop)

Methods inherited from class java.lang.Object

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

Field Detail

cg

protected CallGraph cg

dependents

protected Map dependents

roots

protected Collection roots

TIMINGS

public static final boolean TIMINGS

See Also:

Constant Field Values

TRACE

public static final boolean TRACE

See Also:

Constant Field Values

TRACE_WORKLIST

public static final boolean TRACE_WORKLIST

See Also:

Constant Field Values

bottomUp

protected boolean bottomUp

Constructor Detail

Solver

public Solver()

Method Detail

visit

public abstract boolean visit(jq_Method m,
                              boolean loop)

dispose

public abstract void dispose(jq_Method m)

go

protected void go()