KickJava   Java API By Example, From Geeks To Geeks.

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


1 /* $Id: FrameDef.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 the frame */
6 public interface FrameDef extends Contained, Container, CDLType {
7   /** Returns <b>true</b> if architecture was declared <i>system</i> */
8   public boolean is_system() throws RemoteException JavaDoc;
9
10   /** protocol of this frame */
11   public ProtocolDef protocol() throws RemoteException JavaDoc;
12
13   /** Create requirement object in this frame */
14   public RequireDef create_require(String JavaDoc name, CDLType type) throws RemoteException JavaDoc, TIRExceptCreate, TIRExceptLock;
15   /** Create provision object in this frame */
16   public ProvideDef create_provide(String JavaDoc name, CDLType type) throws RemoteException JavaDoc, TIRExceptCreate, TIRExceptLock;
17   /** Create property object in this frame */
18   public PropertyDef create_property(String JavaDoc name, CDLType type) throws RemoteException JavaDoc, TIRExceptCreate, TIRExceptLock;
19   /** Create protocol */
20   public ProtocolDef create_protocol() throws RemoteException JavaDoc, TIRExceptCreate, TIRExceptLock;
21 }
22
Popular Tags