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

protected

LineGutterPlugin.MarkComparator()

Method Summary

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>