KickJava   Java API By Example, From Geeks To Geeks.

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


1 /* $Id: WstringDef.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 /** Bounded wstring type */
6 public interface WstringDef extends CDLType {
7   /** Bound of this wstring */
8   public ExprOperDef bound() throws RemoteException JavaDoc;
9 }
10
Popular Tags