KickJava   Java API By Example, From Geeks To Geeks.

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


1 /* $Id: SequenceDef.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 /** Sequence type */
6 public interface SequenceDef extends CDLType {
7   /** Bound of this sequence */
8   public ExprOperDef bound() throws RemoteException JavaDoc;
9   /** Type of the elements of this sequence */
10   public CDLType element_type() throws RemoteException JavaDoc;
11 }
12
Popular Tags