toolbus.adapter
Class ToolBridge.Job

java.lang.Object
  toolbus.adapter.ToolBridge.Job

Enclosing class:

ToolBridge

private static class ToolBridge.Job
extends java.lang.Object

A job.

Author:

Arnold Lankamp

Field Summary

byte	operation
aterm.ATermAppl	response
aterm.ATerm	term
long	threadId

Constructor Summary

ToolBridge.Job(byte operation, aterm.ATerm term, long threadId)
Constructor.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

operation

public final byte operation

term

public final aterm.ATerm term

threadId

public final long threadId

response

public aterm.ATermAppl response

Constructor Detail

ToolBridge.Job

public ToolBridge.Job(byte operation,
                      aterm.ATerm term,
                      long threadId)

Constructor.

Parameters:

operation - The op-code.

term - The message associated with this event.

threadId - The id of the thread associated with this event.