A B C D E F G H I L M N O P R S T U V

A

addControlListener(Control) - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

B

bridge - Variable in class nl.cwi.sen1.gui.plugin.GraphPainter

C

cancel() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

checkInputSignature(ATermList) - Method in class nl.cwi.sen1.gui.plugin.GraphPainterTool

closable - Variable in class nl.cwi.sen1.gui.plugin.GraphPanel

COLOR - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

configFactory - Variable in class nl.cwi.sen1.gui.plugin.GraphPainter

contains(double, double) - Method in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

contains(double, double, double, double) - Method in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

contains(Point2D) - Method in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

contains(Rectangle2D) - Method in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

createEventId(String, ATerm, String) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

createGraphMenu(GraphPanel, String, String, String) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

createLayoutMenu(JMenu, GraphPanel, String) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

createLayouts() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

createPanel(String, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

create a panel for displaying a graph.

createPanel(String, ATerm, boolean, boolean) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

createPanel(String, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainterBridge

createPanel(String, ATerm, ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.GraphPainterTif

createSlider(Force, int, float, float, float) - Method in class nl.cwi.sen1.gui.plugin.GraphForcePanel

createTogglesMenu(JMenu, GraphPanel, String, String) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

currentAnimation - Variable in class nl.cwi.sen1.gui.plugin.GraphPanel

currentLayout - Variable in class nl.cwi.sen1.gui.plugin.GraphPanel

CURVE_POINTS - Static variable in class nl.cwi.sen1.gui.plugin.GraphDotLayout

D

display - Variable in class nl.cwi.sen1.gui.plugin.GraphPanel

displayGraph(String, ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

displayGraph(String, ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainterBridge

displayGraph(String, ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.GraphPainterTif

DOT_HEIGHT - Static variable in class nl.cwi.sen1.gui.plugin.GraphDotLayout

DOT_WIDTH - Static variable in class nl.cwi.sen1.gui.plugin.GraphDotLayout

DOT_X - Static variable in class nl.cwi.sen1.gui.plugin.GraphDotLayout

DOT_Y - Static variable in class nl.cwi.sen1.gui.plugin.GraphDotLayout

E

edgeRenderer - Variable in class nl.cwi.sen1.gui.plugin.GraphPanel

EDGES - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

end - Static variable in class nl.cwi.sen1.gui.plugin.GraphEdgeRenderer

F

FILLCOLOR - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

findNode(String) - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

fireNodeSelected(String) - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

forcePanels - Variable in class nl.cwi.sen1.gui.plugin.GraphPainter

forceSimulator - Variable in class nl.cwi.sen1.gui.plugin.GraphPanel

fsim - Variable in class nl.cwi.sen1.gui.plugin.GraphForcePanel

G

getArrowShape(Point2D, Point2D, VisualItem) - Method in class nl.cwi.sen1.gui.plugin.GraphEdgeRenderer

getBounds() - Method in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

getBounds2D() - Method in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

getBoxShape(double, double, double, double) - Method in class nl.cwi.sen1.gui.plugin.GraphNodeRenderer

getCircleShape(double, double, double, double) - Method in class nl.cwi.sen1.gui.plugin.GraphNodeRenderer

getColor(VisualItem) - Method in class nl.cwi.sen1.gui.plugin.GraphColorAction

getColorAttribute(Node) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

getControlPoints(Edge) - Method in class nl.cwi.sen1.gui.plugin.GraphAdapter

getDiamondShape(double, double, double, double) - Method in class nl.cwi.sen1.gui.plugin.GraphNodeRenderer

getEllipseShape(double, double, double, double) - Method in class nl.cwi.sen1.gui.plugin.GraphNodeRenderer

getFillColorAttribute(Node) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

getForcePanel(String, String) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

getForceSimulator() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

getHeight(Node) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

getId() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

getInnerShape() - Method in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

getLabel(Node) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

getLayouts() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

getLocationAttribute(Node) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

getName() - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

getOuterShape() - Method in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

getPanel(String, String) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

getPathIterator(AffineTransform) - Method in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

getPathIterator(AffineTransform, double) - Method in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

getPolygon(Edge) - Method in class nl.cwi.sen1.gui.plugin.GraphAdapter

getRawShape(VisualItem) - Method in class nl.cwi.sen1.gui.plugin.GraphEdgeRenderer

getRawShape(VisualItem) - Method in class nl.cwi.sen1.gui.plugin.GraphNodeRenderer

getSaveImageAction() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

getShape(Node) - Method in class nl.cwi.sen1.gui.plugin.GraphAdapter

getSizeAttribute(Node) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

getTooltip(Node) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

getType() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

getWidth(Node) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

getX(Node) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

getY(Node) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

GRAPH - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

GraphAdapter - Class in nl.cwi.sen1.gui.plugin

GraphAdapter(Graph) - Constructor for class nl.cwi.sen1.gui.plugin.GraphAdapter

GraphColorAction - Class in nl.cwi.sen1.gui.plugin

GraphColorAction(String, String, String) - Constructor for class nl.cwi.sen1.gui.plugin.GraphColorAction

GraphCompositeShape - Class in nl.cwi.sen1.gui.plugin

GraphCompositeShape(Shape, Shape) - Constructor for class nl.cwi.sen1.gui.plugin.GraphCompositeShape

GraphConstants - Class in nl.cwi.sen1.gui.plugin

GraphConstants() - Constructor for class nl.cwi.sen1.gui.plugin.GraphConstants

GraphDotLayout - Class in nl.cwi.sen1.gui.plugin

GraphDotLayout(String) - Constructor for class nl.cwi.sen1.gui.plugin.GraphDotLayout

GraphEdgeRenderer - Class in nl.cwi.sen1.gui.plugin

GraphEdgeRenderer(int, int) - Constructor for class nl.cwi.sen1.gui.plugin.GraphEdgeRenderer

graphFactory - Variable in class nl.cwi.sen1.gui.plugin.GraphPainter

GraphForcePanel - Class in nl.cwi.sen1.gui.plugin

GraphForcePanel(ForceSimulator, Preferences) - Constructor for class nl.cwi.sen1.gui.plugin.GraphForcePanel

GraphNodeRenderer - Class in nl.cwi.sen1.gui.plugin

GraphNodeRenderer(String) - Constructor for class nl.cwi.sen1.gui.plugin.GraphNodeRenderer

GraphPainter - Class in nl.cwi.sen1.gui.plugin

GraphPainter() - Constructor for class nl.cwi.sen1.gui.plugin.GraphPainter

GraphPainterBridge - Class in nl.cwi.sen1.gui.plugin

GraphPainterBridge(ATermFactory, GraphPainterTif) - Constructor for class nl.cwi.sen1.gui.plugin.GraphPainterBridge

GraphPainterTif - Interface in nl.cwi.sen1.gui.plugin

GraphPainterTool - Class in nl.cwi.sen1.gui.plugin

GraphPainterTool(ATermFactory) - Constructor for class nl.cwi.sen1.gui.plugin.GraphPainterTool

GraphPanel - Class in nl.cwi.sen1.gui.plugin

GraphPanel(String, String, Preferences, boolean) - Constructor for class nl.cwi.sen1.gui.plugin.GraphPanel

GraphPanelListener - Interface in nl.cwi.sen1.gui.plugin

graphs - Variable in class nl.cwi.sen1.gui.plugin.GraphPainter

H

handler(ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainterTool

I

ID - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

id - Variable in class nl.cwi.sen1.gui.plugin.GraphPanel

initPatterns() - Method in class nl.cwi.sen1.gui.plugin.GraphPainterTool

initSigTable() - Method in class nl.cwi.sen1.gui.plugin.GraphPainterTool

initStudioPlugin(Studio) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

initUI(Preferences) - Method in class nl.cwi.sen1.gui.plugin.GraphForcePanel

inner - Variable in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

intersects(double, double, double, double) - Method in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

intersects(Rectangle2D) - Method in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

isClosable() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

isTrue(ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

L

LABEL - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

layouts - Variable in class nl.cwi.sen1.gui.plugin.GraphPanel

listener - Variable in class nl.cwi.sen1.gui.plugin.GraphPanel

M

m_dataField - Variable in class nl.cwi.sen1.gui.plugin.GraphColorAction

makeCurvedEdge(Point2D, Point2D, Point2D[]) - Method in class nl.cwi.sen1.gui.plugin.GraphEdgeRenderer

N

nl.cwi.sen1.gui.plugin - package nl.cwi.sen1.gui.plugin

NODE_BACKGROUND - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

NODE_BORDER_HEIGHT - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

NODE_BORDER_WIDTH - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

NODE_FONT - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

NODE_FOREGROUND - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

NODE_HOVERED_BACKGROUND - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

NODE_HOVERED_FOREGROUND - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

NODE_SELECTED_BACKGROUND - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

NODE_SELECTED_FOREGROUND - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

NODES - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

nodeSelected(String) - Method in interface nl.cwi.sen1.gui.plugin.GraphPanelListener

notInInputSignature(ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainterTool

O

onDotLocation(VisualItem) - Method in class nl.cwi.sen1.gui.plugin.GraphEdgeRenderer

outer - Variable in class nl.cwi.sen1.gui.plugin.GraphCompositeShape

P

panelKey(String, String) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

PcreatePanel0 - Variable in class nl.cwi.sen1.gui.plugin.GraphPainterTool

PdisplayGraph0 - Variable in class nl.cwi.sen1.gui.plugin.GraphPainterTool

percentage(float, float, float) - Static method in class nl.cwi.sen1.gui.plugin.GraphForcePanel

PrecAckEvent0 - Variable in class nl.cwi.sen1.gui.plugin.GraphPainterTool

PrecTerminate0 - Variable in class nl.cwi.sen1.gui.plugin.GraphPainterTool

preferences - Variable in class nl.cwi.sen1.gui.plugin.GraphPainter

PselectNode0 - Variable in class nl.cwi.sen1.gui.plugin.GraphPainterTool

PshowPopup0 - Variable in class nl.cwi.sen1.gui.plugin.GraphPainterTool

PsizeGraph0 - Variable in class nl.cwi.sen1.gui.plugin.GraphPainterTool

PupdateGraph0 - Variable in class nl.cwi.sen1.gui.plugin.GraphPainterTool

R

recAckEvent(ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

recAckEvent(ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainterBridge

recAckEvent(ATerm) - Method in interface nl.cwi.sen1.gui.plugin.GraphPainterTif

recTerminate(ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

recTerminate(ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainterBridge

recTerminate(ATerm) - Method in interface nl.cwi.sen1.gui.plugin.GraphPainterTif

removePanel(String, String) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

render(Graphics2D, VisualItem) - Method in class nl.cwi.sen1.gui.plugin.GraphNodeRenderer

renderText(Graphics2D, VisualItem, Shape) - Method in class nl.cwi.sen1.gui.plugin.GraphNodeRenderer

resize() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

RESOURCE_DIR - Static variable in class nl.cwi.sen1.gui.plugin.GraphPainter

restoreZoomAndPan() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

run(double) - Method in class nl.cwi.sen1.gui.plugin.GraphDotLayout

runNow() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

S

selectNode(String, ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

selectNode(String, ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainterBridge

selectNode(String, ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.GraphPainterTif

setClosable(Boolean) - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

setCurvedEdges() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

setDataField(String) - Method in class nl.cwi.sen1.gui.plugin.GraphColorAction

setForcePanel(String, String, StudioComponent) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

setGraph(Graph) - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

setGraphPanelListener(GraphPanelListener) - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

setLayout(String) - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

setLinearAnimation() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

setNoAnimation() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

setNodeSize(FontMetrics, Preferences, Node) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

setPanel(String, String, GraphPanel) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

setPolarAnimation() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

setSelectedNode(String) - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

setSizeAttribute(Node, Size) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

setStraightEdges() - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

SHAPE - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

showForcePanel(String, String, boolean) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

showPopup(String, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

showPopup(String, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainterBridge

showPopup(String, ATerm, ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.GraphPainterTif

sigTable - Variable in class nl.cwi.sen1.gui.plugin.GraphPainterTool

sizeGraph(FontMetrics, Preferences, Graph) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

sizeGraph(String, ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

sizeGraph(String, ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainterBridge

sizeGraph(String, ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.GraphPainterTif

start - Static variable in class nl.cwi.sen1.gui.plugin.GraphEdgeRenderer

studio - Variable in class nl.cwi.sen1.gui.plugin.GraphPainter

T

tool - Variable in class nl.cwi.sen1.gui.plugin.GraphPainterBridge

TOOL_NAME - Static variable in class nl.cwi.sen1.gui.plugin.GraphPainter

TOOLTIP - Static variable in class nl.cwi.sen1.gui.plugin.GraphConstants

type - Variable in class nl.cwi.sen1.gui.plugin.GraphPanel

U

updateGraph(String, ATerm, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainter

updateGraph(String, ATerm, ATerm, ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.GraphPainterBridge

updateGraph(String, ATerm, ATerm, ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.GraphPainterTif

updateNode(VisualItem, Attribute) - Static method in class nl.cwi.sen1.gui.plugin.GraphAdapter

updateNode(String, Attribute) - Method in class nl.cwi.sen1.gui.plugin.GraphPanel

V

value(int, float, float) - Static method in class nl.cwi.sen1.gui.plugin.GraphForcePanel

vis - Variable in class nl.cwi.sen1.gui.plugin.GraphPanel

A B C D E F G H I L M N O P R S T U V