dk.brics.tajs.solver

Class WorkList.Entry

java.lang.Object

dk.brics.tajs.solver.WorkList.Entry

All Implemented Interfaces:

IWorkListStrategy.IEntry<CallContextType>, Comparable<WorkList.Entry>

Enclosing class:

WorkList<CallContextType extends ICallContext<?>>

public class WorkList.Entry
extends Object
implements IWorkListStrategy.IEntry<CallContextType>, Comparable<WorkList.Entry>

Work list entry. Consists of a block and a call context.

Constructor Summary

Constructors

Constructor and Description
WorkList.Entry(BasicBlock b, CallContextType c) Constructs a new entry.

Method Summary

Methods

Modifier and Type	Method and Description
int	compareTo(WorkList.Entry p) Compares this and the given entry.
boolean	equals(Object obj) Checks whether this entry is equal to the given one.
BasicBlock	getBlock() Returns the block.
CallContextType	getContext() Returns the context.
int	getSerial() Returns the entry serial number.
int	hashCode() Computes a hash code for this entry.
String	toString() Returns a string description of this entry.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

WorkList.Entry

public WorkList.Entry(BasicBlock b,
              CallContextType c)

Constructs a new entry.

Method Detail

compareTo

public int compareTo(WorkList.Entry p)

Compares this and the given entry. This method defines the work list priority using the work list strategy.

Specified by:

compareTo in interface Comparable<WorkList.Entry>

equals

public boolean equals(Object obj)

Checks whether this entry is equal to the given one.

Overrides:

equals in class Object

getBlock

public BasicBlock getBlock()

Description copied from interface: IWorkListStrategy.IEntry

Returns the block.

Specified by:

getBlock in interface IWorkListStrategy.IEntry<CallContextType extends ICallContext<?>>

getContext

public CallContextType getContext()

Description copied from interface: IWorkListStrategy.IEntry

Returns the context.

Specified by:

getContext in interface IWorkListStrategy.IEntry<CallContextType extends ICallContext<?>>

getSerial

public int getSerial()

Description copied from interface: IWorkListStrategy.IEntry

Returns the entry serial number.

Specified by:

getSerial in interface IWorkListStrategy.IEntry<CallContextType extends ICallContext<?>>

hashCode

public int hashCode()

Computes a hash code for this entry.

Overrides:

hashCode in class Object

toString

public String toString()

Returns a string description of this entry.

Overrides:

toString in class Object