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