Class GraphViewPluginModel
- java.lang.Object
-
- ai.libs.jaicore.graphvisualizer.plugin.graphview.GraphViewPluginModel
-
- All Implemented Interfaces:
IGUIPluginModel
public class GraphViewPluginModel extends java.lang.Object implements IGUIPluginModel
-
-
Constructor Summary
Constructors Constructor Description GraphViewPluginModel(GraphViewPluginView view)GraphViewPluginModel(GraphViewPluginView view, java.io.File searchGraphCSSPath)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddNode(java.lang.String node, java.util.List<java.lang.Object> predecessorNodes, java.lang.String typeOfNode)org.graphstream.graph.GraphgetGraph()java.lang.StringgetSearchGraphNodeMappedToViewGraphNode(java.lang.Object viewGraphNode)voidremoveNode(java.lang.Object node)voidreset()voidswitchNodeType(java.lang.Object node, java.lang.String newType)
-
-
-
Constructor Detail
-
GraphViewPluginModel
public GraphViewPluginModel(GraphViewPluginView view)
-
GraphViewPluginModel
public GraphViewPluginModel(GraphViewPluginView view, java.io.File searchGraphCSSPath)
-
-
Method Detail
-
addNode
public void addNode(java.lang.String node, java.util.List<java.lang.Object> predecessorNodes, java.lang.String typeOfNode) throws ViewGraphManipulationException- Throws:
ViewGraphManipulationException
-
switchNodeType
public void switchNodeType(java.lang.Object node, java.lang.String newType) throws ViewGraphManipulationException- Throws:
ViewGraphManipulationException
-
removeNode
public void removeNode(java.lang.Object node) throws ViewGraphManipulationException- Throws:
ViewGraphManipulationException
-
reset
public void reset()
-
getGraph
public org.graphstream.graph.Graph getGraph()
-
getSearchGraphNodeMappedToViewGraphNode
public java.lang.String getSearchGraphNodeMappedToViewGraphNode(java.lang.Object viewGraphNode)
-
-