public static interface KeYGuiExtension.TermInfo
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.String> |
getTermInfoStrings(MainWindow mainWindow,
PosInSequent pos) |
default int |
getTermLabelPriority() |
@Nonnull java.util.List<java.lang.String> getTermInfoStrings(@Nonnull MainWindow mainWindow, @Nonnull PosInSequent pos)
mainWindow
- the main window.pos
- the position of the term whose info shall be shown.default int getTermLabelPriority()
Copyright © 2003-2019 The KeY-Project.