gate.gui
Class ResourceParametersEditor.ParameterDisjunctionComparator

java.lang.Object
  gate.gui.ResourceParametersEditor.ParameterDisjunctionComparator

All Implemented Interfaces:

Comparator

Enclosing class:

ResourceParametersEditor

 class ResourceParametersEditor.ParameterDisjunctionComparator
extends Object
implements Comparator

Constructor Summary

ResourceParametersEditor.ParameterDisjunctionComparator()

Method Summary

int	compare(Object o1, Object 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

equals

Constructor Detail

ResourceParametersEditor.ParameterDisjunctionComparator

ResourceParametersEditor.ParameterDisjunctionComparator()

Method Detail

compare

public int compare(Object o1,
                   Object o2)

Specified by:

compare in interface Comparator