org.kahina.core.visual.graph

Class KahinaGraphView

java.lang.Object

org.kahina.core.visual.KahinaView<KahinaGraph>

org.kahina.core.visual.graph.KahinaGraphView

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

KahinaSatInstanceGraphView

public class KahinaGraphView
extends KahinaView<KahinaGraph>

Field Summary

Fields

Modifier and Type	Field and Description
protected KahinaGraphViewConfiguration	config
protected KahinaGraphLayouter	layout
static java.awt.Color	MARKING_COLOR
protected java.util.Collection<java.lang.Integer>	specialVertices
protected java.util.HashMap<java.lang.Integer,java.awt.Color>	vertexBorderColor
protected java.util.Collection<java.lang.Integer>	visibleVertices

Fields inherited from class org.kahina.core.visual.KahinaView

kahina, model, needsRedraw

Constructor Summary

Constructors

Constructor and Description
KahinaGraphView(KahinaInstance<?,?,?,?> kahina, KahinaGraphLayouter layout)

Method Summary

Methods

Modifier and Type	Method and Description
void	display(KahinaGraph graphModel)
void	exportVisibleSubgraphTGF(java.lang.String fileName)
void	flushRedrawAgenda() Tell the view to redraw the entire structure during the next update.
KahinaGraphViewConfiguration	getConfig()
int	getDisplayHeight()
int	getDisplayWidth()
java.awt.Color	getEdgeColor(int v1, int v2)
KahinaGraphLayouter	getLayouter()
int	getMarkedVertex()
java.util.List<java.lang.Integer>	getRedrawAgenda()
java.awt.Color	getVertexBorderColor(int nodeID)
java.awt.Color	getVertexColor(int vertex)
java.awt.Font	getVertexFont(int vertex)
int	getVertexHeight(int vertex)
java.lang.Integer	getVertexX(int vertex)
java.lang.Integer	getVertexY(int vertex)
java.util.List<java.lang.Integer>	getVisibleNeighbors(int vertex)
java.util.Collection<java.lang.Integer>	getVisibleVertices()
java.util.Map<java.lang.Integer,java.lang.Integer>	getXCoordinates()
java.util.Map<java.lang.Integer,java.lang.Integer>	getYCoordinates()
boolean	isEdgeVisible(int vertex1, int vertex2)
boolean	isVertexSpecial(int vertex)
boolean	isVertexVisible(int vertex)
javax.swing.JComponent	makePanel() Returns the panel that represents this view in the GUI.
protected void	resetLayoutStructures()
void	setAllVisible()
void	setConfig(KahinaGraphViewConfiguration config)
void	setLayouter(KahinaGraphLayouter layouter)
void	setMarkedVertex(int vertex)
void	setSpecialVertices(java.util.Collection<java.lang.Integer> specVertices)
void	setVertexBorderColor(int nodeID, java.awt.Color color)
void	setVertexStatusEdgeColorEncoding(int v1state, int v2state, java.awt.Color color)
void	setVertexStatusVertexColorEncoding(int state, java.awt.Color color)
void	setVisibleVertices(java.util.Collection<java.lang.Integer> visVertices)
void	turnSpecialVerticesBackToNormal()

Methods inherited from class org.kahina.core.visual.KahinaView

display, doDisplay, getModel, getTitle, isVisible, makeEditorPanel, needsRedraw, processEvent, processEvent, recalculate, requireRedraw, setConfig, setTitle, setVisible

Methods inherited from class java.lang.Object

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

Field Detail

config

protected KahinaGraphViewConfiguration config

layout

protected KahinaGraphLayouter layout

vertexBorderColor

protected java.util.HashMap<java.lang.Integer,java.awt.Color> vertexBorderColor

visibleVertices

protected java.util.Collection<java.lang.Integer> visibleVertices

specialVertices

protected java.util.Collection<java.lang.Integer> specialVertices

MARKING_COLOR

public static final java.awt.Color MARKING_COLOR

Constructor Detail

KahinaGraphView

public KahinaGraphView(KahinaInstance<?,?,?,?> kahina,
               KahinaGraphLayouter layout)

Method Detail

display

public void display(KahinaGraph graphModel)

getConfig

public KahinaGraphViewConfiguration getConfig()

Overrides:

getConfig in class KahinaView<KahinaGraph>

setConfig

public void setConfig(KahinaGraphViewConfiguration config)

setLayouter

public void setLayouter(KahinaGraphLayouter layouter)

getLayouter

public KahinaGraphLayouter getLayouter()

setVisibleVertices

public void setVisibleVertices(java.util.Collection<java.lang.Integer> visVertices)

setAllVisible

public void setAllVisible()

setSpecialVertices

public void setSpecialVertices(java.util.Collection<java.lang.Integer> specVertices)

turnSpecialVerticesBackToNormal

public void turnSpecialVerticesBackToNormal()

getXCoordinates

public java.util.Map<java.lang.Integer,java.lang.Integer> getXCoordinates()

getYCoordinates

public java.util.Map<java.lang.Integer,java.lang.Integer> getYCoordinates()

getDisplayHeight

public int getDisplayHeight()

getDisplayWidth

public int getDisplayWidth()

getRedrawAgenda

public java.util.List<java.lang.Integer> getRedrawAgenda()

flushRedrawAgenda

public void flushRedrawAgenda()

Tell the view to redraw the entire structure during the next update.

isVertexSpecial

public boolean isVertexSpecial(int vertex)

isVertexVisible

public boolean isVertexVisible(int vertex)

getVisibleVertices

public java.util.Collection<java.lang.Integer> getVisibleVertices()

getVisibleNeighbors

public java.util.List<java.lang.Integer> getVisibleNeighbors(int vertex)

isEdgeVisible

public boolean isEdgeVisible(int vertex1,
                    int vertex2)

getVertexFont

public java.awt.Font getVertexFont(int vertex)

getVertexColor

public java.awt.Color getVertexColor(int vertex)

setVertexStatusVertexColorEncoding

public void setVertexStatusVertexColorEncoding(int state,
                                      java.awt.Color color)

setVertexStatusEdgeColorEncoding

public void setVertexStatusEdgeColorEncoding(int v1state,
                                    int v2state,
                                    java.awt.Color color)

setVertexBorderColor

public void setVertexBorderColor(int nodeID,
                        java.awt.Color color)

getVertexBorderColor

public java.awt.Color getVertexBorderColor(int nodeID)

setMarkedVertex

public void setMarkedVertex(int vertex)

getMarkedVertex

public int getMarkedVertex()

getEdgeColor

public java.awt.Color getEdgeColor(int v1,
                          int v2)

getVertexX

public java.lang.Integer getVertexX(int vertex)

getVertexY

public java.lang.Integer getVertexY(int vertex)

getVertexHeight

public int getVertexHeight(int vertex)

resetLayoutStructures

protected void resetLayoutStructures()

exportVisibleSubgraphTGF

public void exportVisibleSubgraphTGF(java.lang.String fileName)
                              throws java.io.IOException

Throws:

java.io.IOException

makePanel

public javax.swing.JComponent makePanel()

Description copied from class: KahinaView

Returns the panel that represents this view in the GUI. This method must be invoked from the event dispatch thread.

Specified by:

makePanel in class KahinaView<KahinaGraph>

Returns: