dk.brics.tajs.analysis

Class WorkListStrategy

java.lang.Object

dk.brics.tajs.analysis.WorkListStrategy

All Implemented Interfaces:

IWorkListStrategy<CallContext>

public class WorkListStrategy
extends Object
implements IWorkListStrategy<CallContext>

Work list strategy.

Nested Class Summary

Nested classes/interfaces inherited from interface dk.brics.tajs.solver.IWorkListStrategy

IWorkListStrategy.IEntry<CallContextType extends ICallContext<?>>

Constructor Summary

Constructors

Constructor and Description
WorkListStrategy() Constructs a new WorkListStrategy object.

Method Summary

Methods

Modifier and Type	Method and Description
int	compare(IWorkListStrategy.IEntry<CallContext> e1, IWorkListStrategy.IEntry<CallContext> e2) Compares two work list entries.
void	setCallGraph(CallGraph<State,CallContext,CallEdge<State>> call_graph) Sets the call graph.

Methods inherited from class java.lang.Object

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

Constructor Detail

WorkListStrategy

public WorkListStrategy()

Constructs a new WorkListStrategy object.

Method Detail

compare

public int compare(IWorkListStrategy.IEntry<CallContext> e1,
          IWorkListStrategy.IEntry<CallContext> e2)

Description copied from interface: IWorkListStrategy

Compares two work list entries. A negative value means that the first has higher priority than the second, a positive value means that the second has higher priority than the first. This must be a stable comparison.

Specified by:

compare in interface IWorkListStrategy<CallContext>

setCallGraph

public void setCallGraph(CallGraph<State,CallContext,CallEdge<State>> call_graph)

Sets the call graph.