de.uka.ilkd.key.gui

Class TacletMatchCompletionDialog.ButtonListener

java.lang.Object

de.uka.ilkd.key.gui.TacletMatchCompletionDialog.ButtonListener

All Implemented Interfaces:

java.awt.event.ActionListener, java.util.EventListener

Enclosing class:

TacletMatchCompletionDialog

class TacletMatchCompletionDialog.ButtonListener
extends java.lang.Object
implements java.awt.event.ActionListener

Constructor Summary

Constructors

Constructor and Description
ButtonListener()

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent e)
private void	closeDialog()
private void	errorPositionKnown(java.lang.String errorMessage, int row, int col, boolean inIfSequent)

Methods inherited from class java.lang.Object

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

Constructor Detail

ButtonListener

public ButtonListener()

Method Detail

errorPositionKnown

private void errorPositionKnown(java.lang.String errorMessage,
                                int row,
                                int col,
                                boolean inIfSequent)

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Specified by:

actionPerformed in interface java.awt.event.ActionListener

closeDialog

private void closeDialog()