jtl-eclipse-master/ASP.resource.asp.ui/src-gen/ASP/resource/asp/ui/AspPositionCategory.java
/**
 * <copyright>
 * </copyright>
 *
 * 
 */
package ASP.resource.asp.ui;

/**
 * An enumeration of all position categories.
 */
public enum AspPositionCategory {
	BRACKET, DEFINTION, PROXY;
}
