Package ai.libs.jaicore.graphvisualizer.plugin.graphview

Class GraphViewPluginModel

java.lang.Object

ai.libs.jaicore.graphvisualizer.plugin.graphview.GraphViewPluginModel

All Implemented Interfaces:

IGUIPluginModel, org.api4.java.common.control.ILoggingCustomizable

public class GraphViewPluginModel
extends java.lang.Object
implements IGUIPluginModel, org.api4.java.common.control.ILoggingCustomizable

Constructor Summary

Constructors

Constructor	Description
GraphViewPluginModel(GraphViewPluginView view)
GraphViewPluginModel(GraphViewPluginView view, java.io.File searchGraphCSSPath)

Method Summary

Modifier and Type	Method	Description
void	addNode(java.lang.String node, java.util.List<java.lang.Object> predecessorNodes, java.lang.String typeOfNode)
org.graphstream.graph.Graph	getGraph()
java.lang.String	getLoggerName()
java.lang.String	getSearchGraphNodeMappedToViewGraphNode(java.lang.Object viewGraphNode)
void	removeNode(java.lang.Object node)
void	reset()
void	setLoggerName(java.lang.String name)
void	switchNodeType(java.lang.Object node, java.lang.String newType)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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)

getLoggerName

public java.lang.String getLoggerName()

Specified by:

getLoggerName in interface org.api4.java.common.control.ILoggingCustomizable

setLoggerName

public void setLoggerName(java.lang.String name)

Specified by:

setLoggerName in interface org.api4.java.common.control.ILoggingCustomizable