de.uka.ilkd.key.gui.nodeviews

Class SequentViewInputListener

java.lang.Object

de.uka.ilkd.key.gui.nodeviews.SequentViewInputListener

All Implemented Interfaces:

KeyListener, MouseListener, MouseMotionListener, EventListener

public class SequentViewInputListener
extends Object
implements KeyListener, MouseMotionListener, MouseListener

This class implements all input listener interfaces for SequentView.

Author:

Kai Wallisch

Field Summary

Fields

Modifier and Type	Field and Description
private static boolean	refresh
private SequentView	sequentView
private boolean	showTermInfo

Constructor Summary

Constructors

Constructor and Description
SequentViewInputListener(SequentView sequentView)

Method Summary

Modifier and Type	Method and Description
static boolean	isRefresh()
void	keyPressed(KeyEvent e)
void	keyReleased(KeyEvent e)
void	keyTyped(KeyEvent e)
void	mouseClicked(MouseEvent e)
void	mouseDragged(MouseEvent me)
void	mouseEntered(MouseEvent e)
void	mouseExited(MouseEvent e)
void	mouseMoved(MouseEvent me)
void	mousePressed(MouseEvent e)
void	mouseReleased(MouseEvent e)
static void	setRefresh(boolean refresh)
protected void	showTermInfo(Point p)

Methods inherited from class java.lang.Object

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

Field Detail

sequentView

private final SequentView sequentView

showTermInfo

private boolean showTermInfo

refresh

private static boolean refresh

Constructor Detail

SequentViewInputListener

SequentViewInputListener(SequentView sequentView)

Method Detail

showTermInfo

protected void showTermInfo(Point p)

isRefresh

public static boolean isRefresh()

setRefresh

public static void setRefresh(boolean refresh)

keyTyped

public void keyTyped(KeyEvent e)

Specified by:

keyTyped in interface KeyListener

keyPressed

public void keyPressed(KeyEvent e)

Specified by:

keyPressed in interface KeyListener

keyReleased

public void keyReleased(KeyEvent e)

Specified by:

keyReleased in interface KeyListener

mouseDragged

public void mouseDragged(MouseEvent me)

Specified by:

mouseDragged in interface MouseMotionListener

mouseMoved

public void mouseMoved(MouseEvent me)

Specified by:

mouseMoved in interface MouseMotionListener

mouseClicked

public void mouseClicked(MouseEvent e)

Specified by:

mouseClicked in interface MouseListener

mousePressed

public void mousePressed(MouseEvent e)

Specified by:

mousePressed in interface MouseListener

mouseReleased

public void mouseReleased(MouseEvent e)

Specified by:

mouseReleased in interface MouseListener

mouseEntered

public void mouseEntered(MouseEvent e)

Specified by:

mouseEntered in interface MouseListener

mouseExited

public void mouseExited(MouseEvent e)

Specified by:

mouseExited in interface MouseListener