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    }