oracle.javatools.editor.gutter

Class LineGutterPlugin.MarkComparator

java.lang.Object

oracle.javatools.editor.gutter.LineGutterPlugin.MarkComparator

All Implemented Interfaces:

java.util.Comparator<GutterMark>

Enclosing class:

LineGutterPlugin

protected static final class LineGutterPlugin.MarkComparator
extends java.lang.Object
implements java.util.Comparator<GutterMark>

Comparator for our marks, ordering them by line, then by mark order.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	MarkComparator()

Method Summary

Modifier and Type	Method and Description
int	compare(GutterMark m1, GutterMark m2)

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

MarkComparator

protected MarkComparator()

Method Detail

compare

public int compare(GutterMark m1,
                   GutterMark m2)

Specified by:

compare in interface java.util.Comparator<GutterMark>