KickJava   Java API By Example, From Geeks To Geeks.

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


1 /* $Id: CDLRepository.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 /** Repository interface for the CDL. */
6 public interface CDLRepository extends CDLContainer, Contained {
7   /** Returns PrimitiveDef object with specified kind. */
8   public PrimitiveDef get_primitive(int kind) throws RemoteException JavaDoc, TIRExceptCreate;
9
10   /** Create new string type. */
11   public StringDef create_string(ExprOperDef bound) throws RemoteException JavaDoc, TIRExceptCreate;
12   /** Create new wstring type. */
13   public WstringDef create_wstring(ExprOperDef bound) throws RemoteException JavaDoc, TIRExceptCreate;
14   /** Create new sequence type. */
15   public SequenceDef create_sequence(ExprOperDef bound, CDLType element) throws RemoteException JavaDoc, TIRExceptCreate;
16   /** Create new array type. */
17   public ArrayDef create_array(ExprOperDef length, CDLType element) throws RemoteException JavaDoc, TIRExceptCreate;
18   /** Create new fixed type. */
19   public FixedDef create_fixed(ExprOperDef digits, ExprOperDef scale) throws RemoteException JavaDoc, TIRExceptCreate;
20
21   /** Create new Provider object in the Repository. */
22   public ProviderDef create_provider(Identification id) throws RemoteException JavaDoc, TIRExceptCreate, TIRExceptLock;
23
24
25 }
26
Popular Tags