org.argkit.dung.swing
Class DungModalGraphMouse<C>

java.lang.Object
  edu.uci.ics.jung.visualization.control.PluggableGraphMouse
      edu.uci.ics.jung.visualization.control.AbstractModalGraphMouse
          org.argkit.dung.swing.DungModalGraphMouse<C>

Type Parameters:

C - Argument's claim class

All Implemented Interfaces:

edu.uci.ics.jung.visualization.control.ModalGraphMouse, edu.uci.ics.jung.visualization.VisualizationViewer.GraphMouse, java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.event.MouseWheelListener, java.awt.ItemSelectable, java.util.EventListener

public class DungModalGraphMouse<C>
extends edu.uci.ics.jung.visualization.control.AbstractModalGraphMouse
implements edu.uci.ics.jung.visualization.control.ModalGraphMouse, java.awt.ItemSelectable

A modal mouse that includes a picking plugin that shows proof graph when you right click a vertex (argument).

Author:

Matt South

Nested Class Summary

Nested classes/interfaces inherited from interface edu.uci.ics.jung.visualization.control.ModalGraphMouse

edu.uci.ics.jung.visualization.control.ModalGraphMouse.Mode

Field Summary

Fields inherited from class edu.uci.ics.jung.visualization.control.AbstractModalGraphMouse

animatedPickingPlugin, in, listenerList, mode, modeBox, modeListener, modeMenu, out, pickingPlugin, rotatingPlugin, scalingPlugin, shearingPlugin, translatingPlugin

Constructor Summary

DungModalGraphMouse()
create an instance with default values

DungModalGraphMouse(float in, float out)
create an instance with passed values

Method Summary

Dungine<C>	getDungine()
protected void	loadPlugins() create the plugins, and load the plugins for TRANSFORMING mode
void	setDungine(Dungine<C> dungine)

Methods inherited from class edu.uci.ics.jung.visualization.control.AbstractModalGraphMouse

addItemListener, fireItemStateChanged, getItemListeners, getModeComboBox, getModeListener, getModeMenu, getSelectedObjects, removeItemListener, setMode, setPickingMode, setTransformingMode, setZoomAtMouse

Methods inherited from class edu.uci.ics.jung.visualization.control.PluggableGraphMouse

add, mouseClicked, mouseDragged, mouseEntered, mouseExited, mouseMoved, mousePressed, mouseReleased, mouseWheelMoved, remove

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.uci.ics.jung.visualization.control.ModalGraphMouse

getModeListener, setMode

Methods inherited from interface java.awt.event.MouseListener

mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased

Methods inherited from interface java.awt.event.MouseMotionListener

mouseDragged, mouseMoved

Methods inherited from interface java.awt.event.MouseWheelListener

mouseWheelMoved

Methods inherited from interface java.awt.ItemSelectable

addItemListener, getSelectedObjects, removeItemListener

Constructor Detail

DungModalGraphMouse

public DungModalGraphMouse()

create an instance with default values

DungModalGraphMouse

public DungModalGraphMouse(float in,
                           float out)

create an instance with passed values

Parameters:

in - override value for scale in

out - override value for scale out

Method Detail

loadPlugins

protected void loadPlugins()

create the plugins, and load the plugins for TRANSFORMING mode

Specified by:

loadPlugins in class edu.uci.ics.jung.visualization.control.AbstractModalGraphMouse

getDungine

public Dungine<C> getDungine()

setDungine

public void setDungine(Dungine<C> dungine)