private static void checkForDefaultInstances(Widget w) {
for (DefaultInstance di : w.getDefaultInstances()) {
if (!defaultExists(di)) {
WidgetInstance.createFromDefault(di);
}
}
}
public static VirtualFile findDefaultInstanceDefs(Widget widget) {
String path = widgetPath(widget.packageName()) + defaultInstanceDefs;
return VirtualFile.search(Play.javaPath, path);
}
public static VirtualFile findJS(Widget widget) {
return findJS(widget.packageName());
}
public static SortedSet<String> getAllWidgetNames() {
SortedSet<String> names = new TreeSet<String>();
for (Widget w : getAllWidgets()) names.add(w.fullName());
return names;
}
public void add(String widgetName) throws InvalidWidgetException {
Widget w = getWidget(widgetName);
widgets.put(w.fullName(), w);
}
public static String widgetPath(Widget w) {
return (basePath + w.packageName() + ".").replace(".", File.separator);
}