de.uka.ilkd.key.taclettranslation.lemma

Class UserDefinedSymbols.NamedComparator

java.lang.Object

de.uka.ilkd.key.taclettranslation.lemma.UserDefinedSymbols.NamedComparator

All Implemented Interfaces:

Comparator<Named>

Enclosing class:

UserDefinedSymbols

static class UserDefinedSymbols.NamedComparator
extends Object
implements Comparator<Named>

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static UserDefinedSymbols.NamedComparator	INSTANCE

Constructor Summary

Constructors

Constructor and Description
NamedComparator()

Method Summary

Modifier and Type	Method and Description
int	compare(Named o1, Named o2)

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

Field Detail

INSTANCE

static UserDefinedSymbols.NamedComparator INSTANCE

Constructor Detail

NamedComparator

NamedComparator()

Method Detail

compare

public int compare(Named o1,
                   Named o2)

Specified by:

compare in interface Comparator<Named>