jtp.fol
Class Variable.NameComparator

java.lang.Object
  |
  +--jtp.fol.Variable.NameComparator

All Implemented Interfaces:

Comparator

Enclosing class:

Variable

public static class Variable.NameComparator

extends Object

implements Comparator

Field Summary

static Comparator

instance

Constructor Summary

Variable.NameComparator()

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

Field Detail

instance

public static final Comparator instance

Constructor Detail

Variable.NameComparator

public Variable.NameComparator()

Method Detail

compare

public int compare(Object o1,
                   Object o2)

Specified by:

compare in interface Comparator