toolbus
Class AbstractTool.Job

java.lang.Object
  toolbus.AbstractTool.Job

Enclosing class:

AbstractTool

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

A job.

Author:

Arnold Lankamp

Field Summary

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

Constructor Summary

AbstractTool.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.ATerm response

Constructor Detail

AbstractTool.Job

public AbstractTool.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.