KickJava   Java API By Example, From Geeks To Geeks.

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


1 /* $Id: ExceptionDef.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 exceptions */
6 public interface ExceptionDef extends Contained, Container, CDLType {
7   /** members of this exception */
8   public StructMember[] members() throws RemoteException JavaDoc, TIRExceptLock;
9   /** Create new member in this exception */
10   public StructMember create_member(String JavaDoc name, CDLType type) throws RemoteException JavaDoc, TIRExceptCreate, TIRExceptLock;
11   /** Create new struct in this exception */
12   public StructDef create_struct(Identification id) throws RemoteException JavaDoc, TIRExceptCreate, TIRExceptLock;
13   /** Create new union in this exception */
14   public UnionDef create_union(Identification id, CDLType switch_type) throws RemoteException JavaDoc, TIRExceptCreate, TIRExceptLock;
15   /** Create new enum in this exception */
16   public EnumDef create_enum(Identification id) throws RemoteException JavaDoc, TIRExceptCreate, TIRExceptLock;
17 }
18
Popular Tags