The Meta-Environment API

toolbus
Interface Tool

All Known Implementing Classes:
AbstractTool, SwingTool

public interface Tool


Method Summary
 void checkInputSignature(aterm.ATermList sig)
           
 void connect()
           
 void connect(java.lang.String tool_name, java.net.InetAddress address, int p)
           
 void disconnect()
           
 java.lang.Object getLockObject()
           
 aterm.ATerm handler(aterm.ATerm term)
           
 void init(java.lang.String[] args)
           
 boolean isConnected()
           
 void postEvent(aterm.ATerm term)
           
 aterm.ATerm postRequest(aterm.ATerm term)
           
 void sendEvent(aterm.ATerm term)
           
 void sendTerm(aterm.ATerm term)
           
 void setLockObject(java.lang.Object obj)
           
 

Method Detail

init

void init(java.lang.String[] args)
          throws java.net.UnknownHostException
Throws:
java.net.UnknownHostException

setLockObject

void setLockObject(java.lang.Object obj)

getLockObject

java.lang.Object getLockObject()

connect

void connect()
             throws java.io.IOException
Throws:
java.io.IOException

connect

void connect(java.lang.String tool_name,
             java.net.InetAddress address,
             int p)
             throws java.io.IOException
Throws:
java.io.IOException

disconnect

void disconnect()

isConnected

boolean isConnected()

checkInputSignature

void checkInputSignature(aterm.ATermList sig)

handler

aterm.ATerm handler(aterm.ATerm term)

sendTerm

void sendTerm(aterm.ATerm term)
              throws java.io.IOException
Throws:
java.io.IOException

sendEvent

void sendEvent(aterm.ATerm term)

postEvent

void postEvent(aterm.ATerm term)

postRequest

aterm.ATerm postRequest(aterm.ATerm term)

The Meta-Environment API