de.uka.ilkd.key.gui.nodeviews

Class InsertSystemInvariantTacletMenuItem.Lexicographical

java.lang.Object

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

All Implemented Interfaces:

Comparator<InsertionTacletBrowserMenuItem.TacletAppListItem>

Enclosing class:

InsertSystemInvariantTacletMenuItem

static final class InsertSystemInvariantTacletMenuItem.Lexicographical
extends Object
implements Comparator<InsertionTacletBrowserMenuItem.TacletAppListItem>

Constructor Summary

Constructors

Constructor and Description
Lexicographical()

Method Summary

Modifier and Type	Method and Description
int	compare(InsertionTacletBrowserMenuItem.TacletAppListItem arg0, InsertionTacletBrowserMenuItem.TacletAppListItem arg1)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Comparator

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Detail

Lexicographical

Lexicographical()

Method Detail

compare

public int compare(InsertionTacletBrowserMenuItem.TacletAppListItem arg0,
                   InsertionTacletBrowserMenuItem.TacletAppListItem arg1)

Specified by:

compare in interface Comparator<InsertionTacletBrowserMenuItem.TacletAppListItem>