Examples of GraphicElement

org.graphstream.ui.graphicGraph.GraphicElement
Super class of all graphic node, edge, and sprite elements.
Each graphic element references a style, a graphic graph and has a label.

The element also defines the basic behaviour to reload the style when needed, defines abstract methods to set and get the position and bounds in spaces of the element, and to do appropriate actions when specific predefined attributes change (most of them starting with the prefix "ui.").

The graphic element has the ability to store attributes like any other graph element, however the attributes stored by the graphic element are restricted. There is a filter on the attribute adding methods that let pass only :
- All attributes starting with "ui.".
- The "x", "y", "z", "xy" and "xyz" attributes.
- The "stylesheet" attribute.
- The "label" attribute.
All other attributes are filtered and not stored. The result is that if the graphic graph is used as an input (a source of graph events) some attributes will not pass through the filter.
org.jboss.dashboard.ui.resources.GraphicElement
This class represents a graphic element, that is a Skin, an Envelope, a Layout or a Resource Gallery
window.graphic.GraphicElement

Examples of org.jboss.dashboard.ui.resources.GraphicElement

        for (int j = 0; j < managers.length; j++) {
            GraphicElementManager manager = managers[j];
            GraphicElement[] elements = manager.getElements(section.getWorkspace().getId(), section.getId(), null);
            if (elements != null)
                for (int i = 0; i < elements.length; i++) {
                    GraphicElement element = elements[i];
                    GraphicElement elementClone = (GraphicElement) element.clone();
                    elementClone.setWorkspaceId(sectionClone.getWorkspace().getId());
                    elementClone.setSectionId(sectionClone.getId());
                    manager.createOrUpdate(elementClone);
                }
        }
    }

View Full Code Here

Examples of org.jboss.dashboard.ui.resources.GraphicElement

            if (!manager.getElementScopeDescriptor().isAllowedPanel())
                continue;//Ignore manager, as it does not define elements for panels
            GraphicElement[] elements = manager.getElements(panel.getWorkspace().getId(), panel.getSection().getId(), panel.getPanelId());
            if (elements != null)
                for (int i = 0; i < elements.length; i++) {
                    GraphicElement element = elements[i];
                    GraphicElement elementClone = (GraphicElement) element.clone();
                    elementClone.setWorkspaceId(panelClone.getWorkspace().getId());
                    elementClone.setSectionId(panelClone.getSection().getId());
                    elementClone.setPanelId(panel.getPanelId());
                    manager.createOrUpdate(elementClone);
                }
        }
    }

View Full Code Here

Examples of org.jboss.dashboard.ui.resources.GraphicElement

        GraphicElement[] layouts = UIServices.lookup().getLayoutsManager().getElements(getWorkspace().getId(), null, getInstanceId());
        GraphicElement[][] elements = {skins, envelopes, layouts};
        for (int i = 0; i < elements.length; i++) {
            GraphicElement[] elementsArray = elements[i];
            for (int j = 0; j < elementsArray.length; j++) {
                GraphicElement element = elementsArray[j];
                element.acceptVisit(visitor);
            }
        }


        return visitor.endVisit();
    }

View Full Code Here

Examples of org.jboss.dashboard.ui.resources.GraphicElement

            String className = paramName.substring(0, index);
            String id = paramName.substring(index + 1);
            GraphicElementManager[] resourcesManagers = UIServices.lookup().getGraphicElementManagers();
            for (int j = 0; j < resourcesManagers.length; j++) {
                GraphicElementManager resourcesManager = resourcesManagers[j];
                GraphicElement element = resourcesManager.getElement(id, null, null, null);
                if (element != null && element.getClass().getName().equals(className)) {
                    resourcesToExport[i] = element;
                    break;
                }
            }
        }

View Full Code Here

Examples of org.jboss.dashboard.ui.resources.GraphicElement

                } else {
                    renderFragment("workspaceSuccess");
                }


            } else if (objectCreated instanceof GraphicElement) {
                GraphicElement element = (GraphicElement) objectCreated;
                setAttribute("name", LocalizeTag.getLocalizedValue(element.getDescription(), SessionManager.getLang(), true));
                setAttribute("category", element.getCategoryName());
                //renderFragment(anyErrors ? "abortedSuccessMessage" : "resourceSuccess");
                if (anyErrors) {
                    renderFragment("abortedSuccessMessageStart");
                    renderWarnings(warnings, warningArguments, i);
                    renderFragment("abortedSuccessMessageEnd");

View Full Code Here

Examples of org.jboss.dashboard.ui.resources.GraphicElement

                GraphicElementManager[] managers = UIServices.lookup().getGraphicElementManagers();
                for (int i = 0; i < managers.length; i++) {
                    GraphicElementManager manager = managers[i];
                    GraphicElement[] elements = manager.getElements(section.getWorkspace().getId(), section.getId());
                    for (int j = 0; j < elements.length; j++) {
                        GraphicElement element = elements[j];
                        manager.delete(element);
                    }
                }


                // Remove attached section permissions

View Full Code Here

Examples of org.jboss.dashboard.ui.resources.GraphicElement

        GraphicElement[] layouts = UIServices.lookup().getLayoutsManager().getElements(getId(), null, null);
        GraphicElement[][] elements = {galleries, skins, envelopes, layouts};
        for (int i = 0; i < elements.length; i++) {
            GraphicElement[] elementsArray = elements[i];
            for (int j = 0; j < elementsArray.length; j++) {
                GraphicElement element = elementsArray[j];
                element.acceptVisit(visitor);
            }
        }


        //Add panelInstances
        PanelInstance[] panelInstances = getPanelInstances();

View Full Code Here

Examples of org.jboss.dashboard.ui.resources.GraphicElement

        GraphicElement[] layouts = UIServices.lookup().getLayoutsManager().getElements(getWorkspace().getId(), getId());
        GraphicElement[][] elements = {galleries, skins, envelopes, layouts};
        for (int i = 0; i < elements.length; i++) {
            GraphicElement[] elementsArray = elements[i];
            for (int j = 0; j < elementsArray.length; j++) {
                GraphicElement element = elementsArray[j];
                element.acceptVisit(visitor);
            }
        }


        // Visit panels

View Full Code Here

Examples of org.jboss.dashboard.ui.resources.GraphicElement

        for (int j = 0; j < managers.length; j++) {
            GraphicElementManager manager = managers[j];
            GraphicElement[] elements = manager.getElements(workspace.getId(), null, null);
            if (elements != null)
                for (int i = 0; i < elements.length; i++) {
                    GraphicElement element = elements[i];
                    GraphicElement elementClone = (GraphicElement) element.clone();
                    elementClone.setWorkspaceId(workspaceClone.getId());
                    manager.createOrUpdate(elementClone);
                }
        }
    }

View Full Code Here

Examples of org.jboss.dashboard.ui.resources.GraphicElement

        for (int j = 0; j < managers.length; j++) {
            GraphicElementManager manager = managers[j];
            GraphicElement[] elements = manager.getElements(section.getWorkspace().getId(), section.getId(), null);
            if (elements != null)
                for (int i = 0; i < elements.length; i++) {
                    GraphicElement element = elements[i];
                    GraphicElement elementClone = (GraphicElement) element.clone();
                    elementClone.setWorkspaceId(sectionClone.getWorkspace().getId());
                    elementClone.setSectionId(sectionClone.getId());
                    manager.createOrUpdate(elementClone);
                }
        }
    }

View Full Code Here

0 1 2 3 4 5

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.