dk.brics.tajs.flowgraph

Class SourceLocation.Comparator

java.lang.Object

dk.brics.tajs.flowgraph.SourceLocation.Comparator

All Implemented Interfaces:

java.util.Comparator<SourceLocation>

Enclosing class:

SourceLocation

public static class SourceLocation.Comparator
extends java.lang.Object
implements java.util.Comparator<SourceLocation>

Constructor Summary

Constructors

Constructor and Description
Comparator()

Method Summary

Modifier and Type	Method and Description
int	compare(SourceLocation o1, SourceLocation o2) Compares source locations first by line number, then by column number.
static int	compareStatic(SourceLocation o1, SourceLocation 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

Constructor Detail

Comparator

public Comparator()

Method Detail

compare

public int compare(@Nonnull
                   SourceLocation o1,
                   @Nonnull
                   SourceLocation o2)

Compares source locations first by line number, then by column number.

Specified by:

compare in interface java.util.Comparator<SourceLocation>

compareStatic

public static int compareStatic(@Nonnull
                                SourceLocation o1,
                                @Nonnull
                                SourceLocation o2)