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

java.lang.Object
  edu.uci.ics.jung.visualization.control.AbstractGraphMousePlugin
      edu.uci.ics.jung.visualization.control.PickingGraphMousePlugin
          org.argkit.dung.swing.ShowProofGraphMousePlugin<C>

Type Parameters:

C - Argument's claim class

All Implemented Interfaces:

edu.uci.ics.jung.visualization.control.GraphMousePlugin, java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.util.EventListener

public class ShowProofGraphMousePlugin<C>
extends edu.uci.ics.jung.visualization.control.PickingGraphMousePlugin

A GraphMousePlugin that extends a normal picking mouse plugin with the ability to right click on a vertex/argument and see the proof associated with that argument's acceptable status. Used by DungModalGraphMouse. This will only work if the Jung VisualisationViewer for which this is the ModalMouse is connected to is embedded in a GraphZoomScrollPane which is embedded in a JTabbedPane. If this is not the case, the plugin will do nothing (hopefully).

Author:

Matt South

Field Summary

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

addToSelectionModifiers, edge, lensColor, lensPaintable, locked, offsetx, offsety, rect, vertex

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

cursor, down, modifiers

Constructor Summary

ShowProofGraphMousePlugin()

Method Summary

void	mousePressed(java.awt.event.MouseEvent e)
void	setDungine(Dungine<C> dungine)

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

getLensColor, isLocked, mouseClicked, mouseDragged, mouseEntered, mouseExited, mouseMoved, mouseReleased, pickContainedVertices, setLensColor, setLocked

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

checkModifiers, getCursor, getModifiers, setCursor, setModifiers

Methods inherited from class java.lang.Object

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

Constructor Detail

ShowProofGraphMousePlugin

public ShowProofGraphMousePlugin()

Method Detail

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)

Specified by:

mousePressed in interface java.awt.event.MouseListener

Overrides:

mousePressed in class edu.uci.ics.jung.visualization.control.PickingGraphMousePlugin

setDungine

public void setDungine(Dungine<C> dungine)