Examples of GraphEditor

Examples of net.sf.graphiti.ui.editors.GraphEditor

79
80
81
82
83
84
85
86
87
88
89
90
    // To improve user experience, the selection is the editor's input file.
    IStructuredSelection selection = this.selection;
    Object obj = selection.getFirstElement();
    if (obj instanceof GraphEditor) {
      GraphEditor editor = (GraphEditor) obj;
      IEditorInput input = editor.getEditorInput();
      if (input instanceof IFileEditorInput) {
        IFile file = ((IFileEditorInput) input).getFile();
        selection = new StructuredSelection(file);
      }
    }
View Full Code Here

Examples of net.sf.graphiti.ui.editors.GraphEditor

81
82
83
84
85
86
87
88
89
90
91
92
    setTitle("Convert types");

    Object obj = selection.getFirstElement();
    if (obj instanceof GraphEditor) {
      GraphEditor editor = (GraphEditor) obj;
      originalGraph = editor.getContents();

      // fills the original graph, vertex and edge types
      Configuration configuration = originalGraph.getConfiguration();
      originalEdgeTypes = configuration.getEdgeTypes();
      originalVertexTypes = configuration.getVertexTypes();
View Full Code Here

Examples of salvo.jesus.graph.visual.GraphEditor

57
58
59
60
61
62
63
64
65
66
67
    private GraphLayoutManager layout;

    public CallGraphMonitor(Properties props) throws Exception {
        PropertyConfigurator.configure(props);

        editor = new GraphEditor();
        //        graph = new GraphImpl();
        tree = new TreeImpl();
        visual = editor.getVisualGraph();
        callStack = new Stack();
        createdClasses = new HashMap();
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.