com.mxgraph.io.graphml.mxGraphMlConstants Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of jgraphx Show documentation
Show all versions of jgraphx Show documentation
JGraphX Swing Component - Java Graph Visualization Library
This is a binary & source redistribution of the original, unmodified JGraphX library originating from:
"https://github.com/jgraph/jgraphx/archive/v3.4.1.3.zip".
The purpose of this redistribution is to make the library available to other Maven projects.
/**
* $Id: mxGraphMlConstants.java,v 1.1 2011/09/19 15:10:46 gaudenz Exp $
* Copyright (c) 2010 David Benson, Gaudenz Alder
*/
package com.mxgraph.io.graphml;
/**
* This class contains constants used in the Import of gml documents.
*/
public class mxGraphMlConstants
{
public static String ID = "id";
public static String KEY_FOR = "for";
public static String KEY_NAME = "attr.name";
public static String KEY_TYPE = "attr.type";
public static String GRAPH = "graph";
public static String GRAPHML = "graphml";
public static String NODE = "node";
public static String EDGE = "edge";
public static String HYPEREDGE = "hyperedge";
public static String PORT = "port";
public static String ENDPOINT = "endpoint";
public static String KEY = "key";
public static String DATA = "data";
public static String ALL = "all";
public static String EDGE_SOURCE = "source";
public static String EDGE_SOURCE_PORT = "sourceport";
public static String EDGE_TARGET = "target";
public static String EDGE_TARGET_PORT = "targetport";
public static String EDGE_DIRECTED = "directed";
public static String EDGE_UNDIRECTED = "undirected";
public static String EDGE_DEFAULT = "edgedefault";
public static String PORT_NAME = "name";
public static String HEIGHT = "height";
public static String WIDTH = "width";
public static String X = "x";
public static String Y = "y";
public static String JGRAPH = "jGraph:";
public static String GEOMETRY = "Geometry";
public static String FILL = "Fill";
public static String SHAPENODE = "ShapeNode";
public static String SHAPEEDGE = "ShapeEdge";
public static String JGRAPH_URL = "http://www.jgraph.com/";
public static String KEY_NODE_ID = "d0";
public static String KEY_NODE_NAME = "nodeData";
public static String KEY_EDGE_ID = "d1";
public static String KEY_EDGE_NAME = "edgeData";
public static String STYLE = "Style";
public static String SHAPE = "Shape";
public static String TYPE = "type";
public static String LABEL = "label";
public static String TEXT = "text";
public static String PROPERTIES = "properties";
public static String SOURCETARGET = "SourceTarget";
}