ClassSet.java

/**
 * 
 */
package it.xsemantics.example.fj.util;

import java.util.TreeSet;

import it.xsemantics.example.fj.fj.Class;

/**
 * A set of classes (contains only one instance of a class with
 * a specific name).
 * 
 * @author bettini
 *
 */
public class ClassSet extends TreeSet<Class> {

	/**
	 * 
	 */
	private static final long serialVersionUID = 1L;

	public ClassSet() {
		super(new ClassNameComparator());
	}
}