001 package toolbus; 002 003 import java.io.IOException; 004 import java.net.InetAddress; 005 import java.net.UnknownHostException; 006 007 import aterm.ATerm; 008 import aterm.ATermList; 009 010 public interface Tool{ 011 public void init(String[] args) throws UnknownHostException; 012 013 public void setLockObject(Object obj); 014 015 public Object getLockObject(); 016 017 public void connect() throws IOException; 018 019 public void connect(String tool_name, InetAddress address, int p) throws IOException; 020 021 public void disconnect(); 022 023 public boolean isConnected(); 024 025 public void checkInputSignature(ATermList sig); 026 027 public ATerm handler(ATerm term); 028 029 public void sendTerm(ATerm term) throws IOException; 030 031 public void sendEvent(ATerm term); 032 033 public void postEvent(ATerm term); 034 035 public ATerm postRequest(ATerm term); 036 }