dk.brics.tajs.solver

Interface IWorkListStrategy.IEntry<CallContextType extends ICallContext<?>>

All Known Implementing Classes:

WorkList.Entry

Enclosing interface:

IWorkListStrategy<CallContextType extends ICallContext<?>>

public static interface IWorkListStrategy.IEntry<CallContextType extends ICallContext<?>>

Interface for work list entries.

Method Summary

Methods

Modifier and Type	Method and Description
BasicBlock	getBlock() Returns the block.
CallContextType	getContext() Returns the context.
int	getSerial() Returns the entry serial number.

Method Detail

getBlock

BasicBlock getBlock()

Returns the block.

getContext

CallContextType getContext()

Returns the context.

getSerial

int getSerial()

Returns the entry serial number.