01: package tide.project;
02:
03: import java.io.File;
04:
05: /** Partial content of a javadoc file.
06: * Used in the completion to follow the links.
07: */
08: public final class JDocRes {
09: final public File f;
10: final public String part;
11:
12: public JDocRes(File f, String part) {
13: this .f = f;
14: this .part = part;
15: }
16:
17: public static final JDocRes notFound = new JDocRes(null,
18: "<html>no javadoc");
19:
20: }
|