KickJava   Java API By Example, From Geeks To Geeks.

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


1 /* $Id: ProfileDef.java,v 1.2 2004/05/20 14:23:52 bures Exp $ */
2 package SOFA.SOFAnode.Made.TIR;
3 import java.rmi.RemoteException JavaDoc;
4
5 /** Interface for describing profile. Profile is given to the method
6     Repository::beginChanges() and it's used by clients (e.g. CDLcompiler)
7     for obtaining default settings. */

8 public interface ProfileDef extends TIRObject {
9   /** returns name of profile */
10   public String JavaDoc name() throws RemoteException JavaDoc;
11   /** returns all ids in profile */
12   public Identification[] contents() throws RemoteException JavaDoc, TIRExceptLock;
13   /** return id with given absolute name or null, absolute name must begin with language name */
14   public Identification lookup(String JavaDoc absoluteName) throws RemoteException JavaDoc, TIRExceptLock;
15   /** add id from given contained */
16   public boolean add(Identification a) throws RemoteException JavaDoc, TIRExceptLock, TIRExceptCreate;
17   /** remove id (if is it in) from profile, absolute name must begin with language name */
18   public void remove(String JavaDoc absoluteName) throws RemoteException JavaDoc, TIRExceptLock, TIRExceptCreate;
19 }
20
Popular Tags