| hero.client.grapheditor.WFGraph
WFGraph | public class WFGraph extends JGraph (Code) | | |
Inner Class :public class WFListener implements Observer,GraphModelListener,GraphSelectionListener | |
Inner Class :public class WFMarqueeHandler extends BasicMarqueeHandler | |
Method Summary | |
public void | addNewEdge(DefaultGraphCell in, DefaultGraphCell out, String name) | public void | addNewNode(String name, int state, int type) | public static void | basicLayout(JGraph graph) | public void | changeNodeState(String node, int state) | protected VertexView | createVertexView(Object v, CellMapper cm) | public void | deleteEdge(String edge) | public void | deleteNode(String node) | public boolean | existEdge(String name) | public void | fitWindow(JScrollPane scrollPane) | public Object[] | getAll() | public Image | getBackgroundImage() | public Object[] | getEdge(Object[] cells, String name) | public Object[] | getEdges(Object[] cells) | public Object[] | getEdgesBetween(Object vertex1, Object vertex2) | public Object | getNeighbour(Object edge, Object vertex) | public Object[] | getSelectionEdges() | public Object[] | getSelectionNodes() | public Object | getSourceVertex(Object edge) | public CellView | getSourceView(Object edge) | public Object | getTargetVertex(Object edge) | public CellView | getTargetView(Object edge) | public String | getToolTipText(MouseEvent e) | public Object[] | getVertices(Object[] cells) | public boolean | isEdge(Object object) | public boolean | isGroup(Object cell) | public boolean | isSubProcess(String name) | public boolean | isVertex(Object object) | public void | newGraph() | public void | openGraph(String projectName) | public void | removeNodeEdges(Object[] cells, String name) | public void | restoreEdge(String nEdge, String nodeIn, String nodeOut) | public void | restoreEdges() | public void | selectAll() | public void | setAddEdgeState(boolean b) | public void | setAutomaticLayout(boolean value) | public void | setExpand() | public void | setLayout1() | public void | setZoom(int value) | public void | toBack(String nodeName) | public void | toFront(String nodeName) | public static java.awt.image.BufferedImage | toImage(JGraph graph) | public void | updateIterationNodes(String from, String to) | public static String | vrmlView(JGraph graph) | public void | zoomIn() | public void | zoomOut() |
addNewEdge | public void addNewEdge(DefaultGraphCell in, DefaultGraphCell out, String name)(Code) | | |
addNewNode | public void addNewNode(String name, int state, int type)(Code) | | |
basicLayout | public static void basicLayout(JGraph graph)(Code) | | |
changeNodeState | public void changeNodeState(String node, int state)(Code) | | |
createVertexView | protected VertexView createVertexView(Object v, CellMapper cm)(Code) | | |
getBackgroundImage | public Image getBackgroundImage()(Code) | | |
getSourceView | public CellView getSourceView(Object edge)(Code) | | |
getTargetView | public CellView getTargetView(Object edge)(Code) | | |
newGraph | public void newGraph()(Code) | | |
restoreEdges | public void restoreEdges()(Code) | | |
selectAll | public void selectAll()(Code) | | |
setAddEdgeState | public void setAddEdgeState(boolean b)(Code) | | |
setAutomaticLayout | public void setAutomaticLayout(boolean value)(Code) | | |
setExpand | public void setExpand()(Code) | | |
setLayout1 | public void setLayout1()(Code) | | |
setZoom | public void setZoom(int value)(Code) | | |
zoomIn | public void zoomIn()(Code) | | |
zoomOut | public void zoomOut()(Code) | | |
|
|