A B C D E F G H I J L M N O P Q R S T U V W

A

AbstractTool - Class in toolbus

AbstractTool(ATermFactory) - Constructor for class toolbus.AbstractTool

AbstractTool.Job - Class in toolbus

A job.

AbstractTool.Job(byte, ATerm, long) - Constructor for class toolbus.AbstractTool.Job

Constructor.

AbstractTool.JobQueue - Class in toolbus

This job queue holds all the jobs that are send from a single source.

AbstractTool.JobQueue() - Constructor for class toolbus.AbstractTool.JobQueue

Default constructor.

AbstractTool.OperationTermPair - Class in toolbus

AbstractTool.OperationTermPair() - Constructor for class toolbus.AbstractTool.OperationTermPair

AbstractTool.ThreadLocalJobQueue - Class in toolbus

This job queue holds all the jobs that are posted by a certain thread.

AbstractTool.ThreadLocalJobQueue() - Constructor for class toolbus.AbstractTool.ThreadLocalJobQueue

Default constructor.

AbstractTool.WorkerQueue - Class in toolbus

The queue that is meant to take care of the asynchroneous execution and queueing of anything that invokes stuff on a tool.

AbstractTool.WorkerQueue() - Constructor for class toolbus.AbstractTool.WorkerQueue

Default constructor.

AbstractTool.WorkerQueue.Worker - Class in toolbus

The worker thread of this queue.

AbstractTool.WorkerQueue.Worker() - Constructor for class toolbus.AbstractTool.WorkerQueue.Worker

Default constructor.

ACKDO - Static variable in interface toolbus.IOperations

ackEvent(ATermList) - Method in class toolbus.AbstractTool

ackEvent() - Method in class toolbus.AbstractTool.JobQueue

Acknowledges the last event that was send from the source this queue is associated with.

ACKEVENT - Static variable in interface toolbus.IOperations

acknowledge() - Method in class toolbus.AbstractTool.JobQueue

Notifies the thread local queue of the acknowledgement and executes the next queued job (if present).

acknowledge() - Method in class toolbus.AbstractTool.ThreadLocalJobQueue

Acknowledges the last job that was send from the source the current thread is associated with.

aTerm - Variable in class toolbus.AbstractTool.OperationTermPair

awaitingAck - Variable in class toolbus.AbstractTool.ThreadLocalJobQueue

B

buildFormals(ATermList) - Static method in class toolbus.SpecOrderVector

C

capitalize(String, boolean) - Static method in class toolbus.JavaTif

checkInputSignature(ATermList) - Method in interface toolbus.Tool

closeConnection() - Method in class toolbus.AbstractTool

connect() - Method in class toolbus.AbstractTool

connect(String, InetAddress, int) - Method in class toolbus.AbstractTool

CONNECT - Static variable in interface toolbus.IOperations

connect() - Method in interface toolbus.Tool

connect(String, InetAddress, int) - Method in interface toolbus.Tool

connected - Variable in class toolbus.AbstractTool

current - Variable in class toolbus.AbstractTool.JobQueue

D

DEBUGPERFORMANCESTATS - Static variable in interface toolbus.IOperations

disconnect() - Method in class toolbus.AbstractTool

DISCONNECT - Static variable in interface toolbus.IOperations

disconnect() - Method in interface toolbus.Tool

DO - Static variable in interface toolbus.IOperations

doEvents - Variable in class toolbus.JavaTif

E

empty - Variable in class toolbus.AbstractTool

END - Static variable in interface toolbus.IOperations

EVAL - Static variable in interface toolbus.IOperations

evalEvents - Variable in class toolbus.JavaTif

EVENT - Static variable in interface toolbus.IOperations

execute(Runnable) - Method in class toolbus.AbstractTool.WorkerQueue

Executes or queues the given runnable for execution.

expectingDisconnect - Variable in class toolbus.AbstractTool

F

factory - Variable in class toolbus.AbstractTool

factory - Variable in class toolbus.JavaTif

G

genActuals(PrintWriter, ATermList) - Static method in class toolbus.SpecOrderVector

genArgs(PrintWriter, ATermList) - Static method in class toolbus.SpecOrderVector

genBridge() - Method in class toolbus.JavaTif

genBridgeHeader(PrintWriter) - Method in class toolbus.JavaTif

genCalls(PrintWriter, String, boolean) - Method in class toolbus.SpecOrderVector

genCheckInputSignature(PrintWriter) - Method in class toolbus.JavaTif

genConstructor(PrintWriter) - Method in class toolbus.JavaTif

genHandler(PrintWriter) - Method in class toolbus.JavaTif

genHeader(PrintWriter) - Method in class toolbus.JavaTif

genInitPatterns(PrintWriter) - Method in class toolbus.JavaTif

genInitSigTable(PrintWriter) - Method in class toolbus.JavaTif

genMethods(PrintWriter, boolean) - Method in class toolbus.JavaTif

genMethods(PrintWriter, String, boolean, boolean) - Method in class toolbus.SpecOrderVector

genNotInInputSignature(PrintWriter) - Method in class toolbus.JavaTif

genPatternAttribs(PrintWriter) - Method in class toolbus.JavaTif

genPatternAttribs(PrintWriter, String) - Method in class toolbus.SpecOrderVector

genPatterns(PrintWriter, String, String) - Method in class toolbus.SpecOrderVector

genSigTable(PrintWriter) - Method in class toolbus.JavaTif

genTif() - Method in class toolbus.JavaTif

genTifHeader(PrintWriter) - Method in class toolbus.JavaTif

genTool() - Method in class toolbus.JavaTif

getAddress() - Method in class toolbus.AbstractTool

getLockObject() - Method in class toolbus.AbstractTool

getLockObject() - Method in interface toolbus.Tool

getNext() - Method in class toolbus.AbstractTool.JobQueue

Returns the next job in the queue.

getNext() - Method in class toolbus.AbstractTool.ThreadLocalJobQueue

Returns the next job in the queue.

getPerformanceStats() - Method in class toolbus.AbstractTool

Gathers performance statistics about this tool, like memory usage and the user-/system-time spend per thread.

getPort() - Method in class toolbus.AbstractTool

H

handleIncomingTerm() - Method in class toolbus.AbstractTool

handleIncomingTerm(byte, ATerm) - Method in class toolbus.AbstractTool

handleIncomingTerm(byte, ATerm) - Method in class toolbus.SwingTool

handler(ATerm) - Method in interface toolbus.Tool

handleTerm(byte, ATerm) - Method in class toolbus.AbstractTool

HANDSHAKEBUFFERSIZE - Static variable in class toolbus.AbstractTool

hasRecAckEvent - Variable in class toolbus.JavaTif

host - Variable in class toolbus.AbstractTool

I

init(String[]) - Method in class toolbus.AbstractTool

init(String[]) - Method in interface toolbus.Tool

insert(ATermAppl) - Method in class toolbus.SpecOrderVector

IOperations - Interface in toolbus

This interface holds all the operation codes that are used to identify the request / response types.

isConnected() - Method in class toolbus.AbstractTool

isConnected() - Method in interface toolbus.Tool

J

JavaTif - Class in toolbus

JavaTif(String, String, String, String, boolean) - Constructor for class toolbus.JavaTif

jobs - Variable in class toolbus.AbstractTool.JobQueue

L

lock - Variable in class toolbus.AbstractTool.WorkerQueue

lockObject - Variable in class toolbus.AbstractTool

M

main(String[]) - Static method in class toolbus.JavaTif

moreSpecific(ATerm, ATerm) - Method in class toolbus.SpecOrderVector

moreSpecific(String, String) - Method in class toolbus.SpecOrderVector

N

normalize(ATermAppl) - Method in class toolbus.JavaTif

O

operation - Variable in class toolbus.AbstractTool.Job

operation - Variable in class toolbus.AbstractTool.OperationTermPair

otherEvents - Variable in class toolbus.JavaTif

P

package_name - Variable in class toolbus.JavaTif

PERFORMANCESTATS - Static variable in interface toolbus.IOperations

populateMap(ATermList) - Method in class toolbus.JavaTif

populateMaps(ATermList, ATermList, ATermList, String) - Method in class toolbus.JavaTif

port - Variable in class toolbus.AbstractTool

post(AbstractTool.Job) - Method in class toolbus.AbstractTool.JobQueue

Schedules the given job for transmission to the ToolBus.

postEvent(ATerm) - Method in class toolbus.AbstractTool

postEvent(ATerm, long) - Method in class toolbus.AbstractTool.ThreadLocalJobQueue

Schedules the given event for transmission to the ToolBus.

postEvent(ATerm) - Method in interface toolbus.Tool

postRequest(ATerm) - Method in class toolbus.AbstractTool

postRequest(ATerm, long) - Method in class toolbus.AbstractTool.ThreadLocalJobQueue

Schedules the given request for transmission to the ToolBus.

postRequest(ATerm) - Method in interface toolbus.Tool

print(PrintWriter) - Method in class toolbus.SpecOrderVector

Q

queue - Variable in class toolbus.AbstractTool.WorkerQueue

queues - Variable in class toolbus.AbstractTool

R

readBuffer - Variable in class toolbus.AbstractTool

readTerm() - Method in class toolbus.AbstractTool

readTermFromChannel(ByteBuffer) - Method in class toolbus.AbstractTool

readTifs(String, String) - Method in class toolbus.JavaTif

recResponse(ATermAppl) - Method in class toolbus.AbstractTool.JobQueue

Acknowledges the last request that was send from the source this queue is associated with.

REQUEST - Static variable in interface toolbus.IOperations

requests - Variable in class toolbus.AbstractTool.ThreadLocalJobQueue

response - Variable in class toolbus.AbstractTool.Job

RESPONSE - Static variable in interface toolbus.IOperations

run() - Method in class toolbus.AbstractTool

run() - Method in class toolbus.AbstractTool.WorkerQueue.Worker

The main execution loop.

running - Variable in class toolbus.AbstractTool

running - Variable in class toolbus.AbstractTool.WorkerQueue.Worker

S

sendEvent(ATerm) - Method in class toolbus.AbstractTool

sendEvent(ATerm) - Method in interface toolbus.Tool

sendTerm(byte, ATerm) - Method in class toolbus.AbstractTool

sendTerm(ATerm) - Method in class toolbus.AbstractTool

sendTerm(ATerm) - Method in interface toolbus.Tool

serialVersionUID - Static variable in class toolbus.SpecOrderVector

setLockObject(Object) - Method in class toolbus.AbstractTool

setLockObject(Object) - Method in interface toolbus.Tool

setRunning(boolean) - Method in class toolbus.AbstractTool

shakeHands() - Method in class toolbus.AbstractTool

socketChannel - Variable in class toolbus.AbstractTool

SpecOrderVector - Class in toolbus

SpecOrderVector() - Constructor for class toolbus.SpecOrderVector

start() - Method in class toolbus.AbstractTool.WorkerQueue

Starts the worker thread.

stopRunning() - Method in class toolbus.AbstractTool

swingTool - Variable in class toolbus.JavaTif

SwingTool - Class in toolbus

SwingTool(ATermFactory) - Constructor for class toolbus.SwingTool

T

term - Variable in class toolbus.AbstractTool.Job

terminate() - Method in class toolbus.AbstractTool.WorkerQueue

Terminates the worker thread as soon as is gracefully possible.

terminate() - Method in class toolbus.AbstractTool.WorkerQueue.Worker

Terminates this worker thread after the current iteration.

TERMINATE - Static variable in interface toolbus.IOperations

threadId - Variable in class toolbus.AbstractTool.Job

threadLocalQueues - Variable in class toolbus.AbstractTool

tifs - Variable in class toolbus.JavaTif

Tool - Interface in toolbus

tool_bridge - Variable in class toolbus.JavaTif

tool_class - Variable in class toolbus.JavaTif

tool_interface - Variable in class toolbus.JavaTif

toolbus - package toolbus

toolid - Variable in class toolbus.AbstractTool

toolname - Variable in class toolbus.AbstractTool

U

UNDEFINED - Static variable in interface toolbus.IOperations

usage() - Static method in class toolbus.JavaTif

V

VALUE - Static variable in interface toolbus.IOperations

W

waitForResponse(AbstractTool.Job) - Method in class toolbus.AbstractTool.ThreadLocalJobQueue

worker - Variable in class toolbus.AbstractTool.WorkerQueue

workerQueue - Variable in class toolbus.AbstractTool

writeBuffer - Variable in class toolbus.AbstractTool

writeTermToChannel(ATerm, ByteBuffer) - Method in class toolbus.AbstractTool

A B C D E F G H I J L M N O P Q R S T U V W