Class GWTGraph


  • public final class GWTGraph
    extends com.google.gwt.core.client.JavaScriptObject
    • Constructor Detail

      • GWTGraph

        protected GWTGraph()
    • Method Detail

      • create

        public static final GWTGraph create()
      • getVertices

        public final com.google.gwt.core.client.JsArray<GWTVertex> getVertices()
      • getEdges

        public final com.google.gwt.core.client.JsArray<GWTEdge> getEdges()
      • addVertex

        public void addVertex​(GWTVertex vertex)
      • removeVertex

        public void removeVertex​(GWTVertex vertex)
      • findVertexById

        public GWTVertex findVertexById​(java.lang.String id)
      • addEdge

        public void addEdge​(GWTEdge edge)
      • getVertex

        public GWTVertex getVertex​(java.lang.String vertexKey)
      • setClientX

        public void setClientX​(int clientX)
      • setClientY

        public void setClientY​(int clientY)
      • setViewportTransform

        public void setViewportTransform​(SVGMatrix viewportTransform)
      • setOldScale

        public void setOldScale​(double oldScale)
      • setBoundingBox

        public void setBoundingBox​(GWTBoundingBox bounds)