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	LineGutterPlugin.MarkComparator()

Method Summary

Methods

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

equals

Constructor Detail

LineGutterPlugin.MarkComparator

protected LineGutterPlugin.MarkComparator()

Method Detail

compare

public int compare(GutterMark m1,
          GutterMark m2)

Specified by:

compare in interface java.util.Comparator<GutterMark>