gate.gui
Class ResourceParametersEditor.ParameterDisjunctionComparator

java.lang.Object
  extended bygate.gui.ResourceParametersEditor.ParameterDisjunctionComparator
All Implemented Interfaces:
Comparator
Enclosing class:
ResourceParametersEditor

class ResourceParametersEditor.ParameterDisjunctionComparator
extends Object
implements Comparator


Constructor Summary
(package private) 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