KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > SOFA > SOFAnode > Made > TIR > ProtocolDef


1 /* $Id: ProtocolDef.java,v 1.1.1.1 2003/02/11 16:19:41 bures Exp $ */
2 package SOFA.SOFAnode.Made.TIR;
3 import java.rmi.RemoteException JavaDoc;
4
5 /** Interface for representing whole protocol. */
6 public interface ProtocolDef extends TIRObject {
7   
8   public ProtocolOperDef protocol() throws RemoteException JavaDoc;
9   
10   public void protocol(ProtocolOperDef pr) throws RemoteException JavaDoc, TIRExceptCreate;
11
12   public String JavaDoc to_text() throws RemoteException JavaDoc;
13
14   public ProtocolBinOperationDef create_binoperation(int pokind, ProtocolOperDef op1, ProtocolOperDef op2) throws RemoteException JavaDoc, TIRExceptCreate;
15   public ProtocolUnOperationDef create_unoperation(int pokind, ProtocolOperDef op) throws RemoteException JavaDoc, TIRExceptCreate;
16   public ProtocolOperandDef create_operand(int mode, String JavaDoc[] op) throws RemoteException JavaDoc, TIRExceptCreate;
17   public ProtocolNullOperandDef create_nulloperand() throws RemoteException JavaDoc, TIRExceptCreate;
18   public ProtocolMetaOperandDef create_metaoperand(String JavaDoc name) throws RemoteException JavaDoc, TIRExceptCreate;
19   public ProtocolNestedOperandDef create_nestedoperand(int mode, String JavaDoc[] op, ProtocolOperDef nestOper) throws RemoteException JavaDoc, TIRExceptCreate;
20 }
21
Popular Tags