Package net.sf.graphiti.model

Examples of net.sf.graphiti.model.ObjectType

160
161
162
163
164
165
166
167
168
   */
  private void updateSelection(IGraphTypeSettable page) {
    int index = listGraphTypes.getSelectionIndex();
    String graphType = listGraphTypes.getItem(index);

    ObjectType type = graphTypeNames.get(graphType);
    Configuration configuration = graphTypeConfigurations.get(type);
    page.setGraphType(configuration, type);
  }
View Full Code Here
143
144
145
146
147
148
149
150
151
152
153
154
155
156
   *            A {@link Graph}.
   */
  public void setGraph(Graph graph) {
    this.graph = graph;
    Configuration configuration = graph.getConfiguration();
    ObjectType type = graph.getType();
    String fileExt = configuration.getFileFormat().getFileExtension();
    setFileExtension(fileExt);
    if (fileName == null) {
      setFileName("New " + type.getName() + "." + fileExt);
    } else {
      setFileName(fileName + "." + fileExt);
    }
  }
View Full Code Here
205
206
207
208
209
210
211
212
213
214
215
    while (child != null) {
      if (child.getNodeName().equals("edge")) {
        Element element = (Element) child;

        String typeName = element.getAttribute("type");
        ObjectType type = configuration.getEdgeType(typeName);

        String sourceId = element.getAttribute("source");
        Vertex source = graph.findVertex(sourceId);

        String targetId = element.getAttribute("target");
View Full Code Here
255
256
257
258
259
260
261
262
263
264
265
   *             If <code>element</code> cannot be parsed.
   */
  private Graph parseGraph(Configuration configuration, Element element)
      throws TransformedDocumentParseError {
    String typeName = element.getAttribute("type");
    ObjectType type = configuration.getGraphType(typeName);
    Graph graph = new Graph(configuration, type, true);

    // parse different sections
    Node node = element.getFirstChild();
    node = parseParameters(graph, type, node);
View Full Code Here
391
392
393
394
395
396
397
398
399
400
401
    node = DomHelper.getFirstSiblingNamed(node, "vertices");
    Node child = node.getFirstChild();
    while (child != null) {
      if (child.getNodeName().equals("vertex")) {
        String typeName = ((Element) child).getAttribute("type");
        ObjectType type = configuration.getVertexType(typeName);
        Vertex vertex = new Vertex(type);

        // set layout information if present
        String xAttr = ((Element) child).getAttribute("x");
        String yAttr = ((Element) child).getAttribute("y");
View Full Code Here
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
  private Map<String, ObjectType> parseTypes(IConfigurationElement[] children) {
    Map<String, ObjectType> types = new TreeMap<String, ObjectType>();

    for (IConfigurationElement element : children) {
      String typeName = element.getAttribute("name");
      ObjectType type = new ObjectType(typeName);

      String isDirected = element.getAttribute("directed");
      if (isDirected != null) {
        boolean value = Boolean.parseBoolean(isDirected);
        type.addAttribute(ObjectType.ATTRIBUTE_DIRECTED, value);
      }
      types.put(typeName, type);
      parseType(type, element.getChildren());
    }
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
  private void convertEdgeTypes(Graph graph,
      Map<ObjectType, ObjectType> edgeTypes) {
    Set<Edge> edges = originalGraph.edgeSet();
    for (Edge edge : edges) {
      ObjectType newType = edgeTypes.get(edge.getType());
      if (newType != null) {
        edge = new Edge(edge);
        String sourceId = (String) edge.getSource().getValue(
            ObjectType.PARAMETER_ID);
        String targetId = (String) edge.getTarget().getValue(
View Full Code Here
119
120
121
122
123
124
125
126
127
128
129
  private void convertVertexTypes(Graph graph,
      Map<ObjectType, ObjectType> vertexTypes) {
    Set<Vertex> vertices = originalGraph.vertexSet();
    for (Vertex vertex : vertices) {
      ObjectType newType = vertexTypes.get(vertex.getType());
      if (newType != null) {
        vertex = new Vertex(vertex);
        vertex.setType(newType);
        graph.addVertex(vertex);
      }
View Full Code Here
214
215
216
217
218
219
220
221
222
223
224
      Combo combo = edgeComboList.get(i);
      i++;
      int index = combo.getSelectionIndex();
      if (index != -1) {
        String name = combo.getItem(index);
        ObjectType newType = newConfiguration.getEdgeType(name);
        edgeTypes.put(type, newType);
      }
    }

    return edgeTypes;
View Full Code Here
239
240
241
242
243
244
245
246
247
248
249
      Combo combo = vertexComboList.get(i);
      i++;
      int index = combo.getSelectionIndex();
      if (index != -1) {
        String name = combo.getItem(index);
        ObjectType newType = newConfiguration.getVertexType(name);
        vertexTypes.put(type, newType);
      }
    }

    return vertexTypes;
View Full Code Here
TOP

Related Classes of net.sf.graphiti.model.ObjectType

  • net.sf.graphiti.io.ConfigurationParser
  • net.sf.graphiti.io.GenericGraphParser
  • net.sf.graphiti.ui.wizards.WizardConvertPage
  • net.sf.graphiti.ui.wizards.WizardGraphTypePage
  • net.sf.graphiti.ui.wizards.WizardSaveGraphPage
    • Copyright © 2018 www.massapicom. 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.