static class InsertSystemInvariantTacletMenuItem.ClassInvAppItem extends InsertionTacletBrowserMenuItem.TacletAppListItem
Constructor and Description |
---|
ClassInvAppItem(TacletApp app,
Sequent seq,
NotationInfo notInfo,
Services services) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
shortDescription() |
java.lang.String |
toString() |
getTacletApp, longDescription
public ClassInvAppItem(TacletApp app, Sequent seq, NotationInfo notInfo, Services services)
public java.lang.String shortDescription()
shortDescription
in class InsertionTacletBrowserMenuItem.TacletAppListItem
public java.lang.String toString()
toString
in class InsertionTacletBrowserMenuItem.TacletAppListItem