equal
deleted
inserted
replaced
173 */ |
173 */ |
174 public boolean isEmpty() { |
174 public boolean isEmpty() { |
175 return map.isEmpty(); |
175 return map.isEmpty(); |
176 } |
176 } |
177 |
177 |
|
178 /* |
|
179 * Returns the names of the patched modules. |
|
180 */ |
|
181 Set<String> patchedModules() { |
|
182 return map.keySet(); |
|
183 } |
178 |
184 |
179 /** |
185 /** |
180 * A ModuleReader that reads resources from a patched module. |
186 * A ModuleReader that reads resources from a patched module. |
181 * |
187 * |
182 * This class is public so as to expose the findResource method to the |
188 * This class is public so as to expose the findResource method to the |