de.uka.ilkd.key.gui.nodeviews

Interface TacletMenuItem

All Known Implementing Classes:

DefaultTacletMenuItem, InsertHiddenTacletMenuItem, InsertionTacletBrowserMenuItem, InsertSystemInvariantTacletMenuItem

interface TacletMenuItem

This interface is implemented by items to be displayed in the @link TacletMenu.

Method Summary

Modifier and Type	Method and Description
void	addActionListener(java.awt.event.ActionListener listener)
TacletApp	connectedTo() gets the Taclet that is attached to this item

Method Detail

addActionListener

void addActionListener(java.awt.event.ActionListener listener)

connectedTo

TacletApp connectedTo()

gets the Taclet that is attached to this item

Returns:

the attached Taclet