Documentation.java

Go to the documentation of this file.
00001 import java.io.*; 00002 00003 public interface Documentation { 00004 public String getDocumentation() throws IOException; 00005 public String getFullDocuName(); 00006 }

Generated on Sun Aug 15 11:56:53 2004 for International Input by doxygen 1.3.7