de.uka.ilkd.key.gui.nodeviews

Class InsertSystemInvariantTacletMenuItem.ClassInvAppItem

java.lang.Object

de.uka.ilkd.key.gui.nodeviews.InsertionTacletBrowserMenuItem.TacletAppListItem

de.uka.ilkd.key.gui.nodeviews.InsertSystemInvariantTacletMenuItem.ClassInvAppItem

Enclosing class:

InsertSystemInvariantTacletMenuItem

static class InsertSystemInvariantTacletMenuItem.ClassInvAppItem
extends InsertionTacletBrowserMenuItem.TacletAppListItem

inner class to pretty print the formulas to be added

Constructor Summary

Constructors

Constructor and Description
ClassInvAppItem(TacletApp app, Sequent seq, NotationInfo notInfo, Services services)

Method Summary

Modifier and Type	Method and Description
java.lang.String	shortDescription()
java.lang.String	toString()

Methods inherited from class de.uka.ilkd.key.gui.nodeviews.InsertionTacletBrowserMenuItem.TacletAppListItem

getTacletApp, longDescription

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassInvAppItem

public ClassInvAppItem(TacletApp app,
                       Sequent seq,
                       NotationInfo notInfo,
                       Services services)

Method Detail

shortDescription

public java.lang.String shortDescription()

Overrides:

shortDescription in class InsertionTacletBrowserMenuItem.TacletAppListItem

toString

public java.lang.String toString()

Overrides:

toString in class InsertionTacletBrowserMenuItem.TacletAppListItem