66 |
66 |
67 /** The name of the directory for the split index files. */ |
67 /** The name of the directory for the split index files. */ |
68 public static final DocPath INDEX_FILES = DocPath.create("index-files"); |
68 public static final DocPath INDEX_FILES = DocPath.create("index-files"); |
69 |
69 |
70 /** Generate the name of one of the files in the split index. */ |
70 /** Generate the name of one of the files in the split index. */ |
71 public static final DocPath indexN(int n) { |
71 public static DocPath indexN(int n) { |
72 return DocPath.create("index-" + n + ".html"); |
72 return DocPath.create("index-" + n + ".html"); |
73 } |
73 } |
74 |
74 |
75 /** The name of the default javascript file. */ |
75 /** The name of the default javascript file. */ |
76 public static final DocPath JAVASCRIPT = DocPath.create("script.js"); |
76 public static final DocPath JAVASCRIPT = DocPath.create("script.js"); |
86 |
86 |
87 /** The name of the file for the package frame. */ |
87 /** The name of the file for the package frame. */ |
88 public static final DocPath PACKAGE_FRAME = DocPath.create("package-frame.html"); |
88 public static final DocPath PACKAGE_FRAME = DocPath.create("package-frame.html"); |
89 |
89 |
90 /** The name of the file for the profile frame. */ |
90 /** The name of the file for the profile frame. */ |
91 public static final DocPath profileFrame(String profileName) { |
91 public static DocPath profileFrame(String profileName) { |
92 return DocPath.create(profileName + "-frame.html"); |
92 return DocPath.create(profileName + "-frame.html"); |
93 } |
93 } |
94 |
94 |
95 /** The name of the file for the profile package frame. */ |
95 /** The name of the file for the profile package frame. */ |
96 public static final DocPath profilePackageFrame(String profileName) { |
96 public static DocPath profilePackageFrame(String profileName) { |
97 return DocPath.create(profileName + "-package-frame.html"); |
97 return DocPath.create(profileName + "-package-frame.html"); |
98 } |
98 } |
99 |
99 |
100 /** The name of the file for the profile package summary. */ |
100 /** The name of the file for the profile package summary. */ |
101 public static final DocPath profilePackageSummary(String profileName) { |
101 public static DocPath profilePackageSummary(String profileName) { |
102 return DocPath.create(profileName + "-package-summary.html"); |
102 return DocPath.create(profileName + "-package-summary.html"); |
103 } |
103 } |
104 |
104 |
105 /** The name of the file for the profile summary. */ |
105 /** The name of the file for the profile summary. */ |
106 public static final DocPath profileSummary(String profileName) { |
106 public static DocPath profileSummary(String profileName) { |
107 return DocPath.create(profileName + "-summary.html"); |
107 return DocPath.create(profileName + "-summary.html"); |
108 } |
108 } |
109 |
109 |
110 /** The name of the file for the package list. */ |
110 /** The name of the file for the package list. */ |
111 public static final DocPath PACKAGE_LIST = DocPath.create("package-list"); |
111 public static final DocPath PACKAGE_LIST = DocPath.create("package-list"); |