public static interface Decorations {
/** */
ImageDescriptor ADD = Activator.imageDescriptor("addOverlay.gif");
/** */
ImageDescriptor COLLECTION = Activator.imageDescriptor("collectionOverlay.gif");
/** */
ImageDescriptor MAPPED = Activator.imageDescriptor("mappedOverlay.gif");
}
/** @param model */
public JavaPage(String pageName, final Model model, boolean isSource) {
super(pageName, model);
setTitle("Java Page");
setImageDescriptor(Activator.imageDescriptor("transform.png"));
this.isSource = isSource;
observablesManager.addObservablesFromContext(context, true, true);
_builder = new ModelBuilder();
}
public static interface Images {
/** */
Image ADD_FUNCTION = Activator.imageDescriptor("addFunction16.gif").createImage();
/** */
Image ADD = PlatformUI.getWorkbench().getSharedImages().getImage(ISharedImages.IMG_OBJ_ADD);
/** */
Image ATTRIBUTE = Activator.imageDescriptor("attribute16.gif").createImage();
/** */
Image CHANGE = Activator.imageDescriptor("change16.gif").createImage();
/** */
Image CLEAR = Activator.imageDescriptor("clear16.gif").createImage();
/** */
Image COLLAPSE_ALL = Activator.imageDescriptor("collapseAll16.gif").createImage();
/** */
Image DELETE =
PlatformUI.getWorkbench().getSharedImages().getImage(ISharedImages.IMG_ETOOL_DELETE);
/** */
Image ELEMENT = Activator.imageDescriptor("element16.gif").createImage();
/** */
Image FILTER = Activator.imageDescriptor("filter16.gif").createImage();
/** */
Image HIDE_MAPPED = Activator.imageDescriptor("hideMapped16.gif").createImage();
/** */
Image MAPPED = Activator.imageDescriptor("mapped16.gif").createImage();
/** */
Image MENU = Activator.imageDescriptor("menu10x5.gif").createImage();
/** */
Image SEARCH = Activator.imageDescriptor("search16.gif").createImage();
/** */
Image TREE = Activator.imageDescriptor("tree16.gif").createImage();
/** */
Image VARIABLE = Activator.imageDescriptor("variable16.gif").createImage();
}