import org.drools.verifier.report.components.Cause;
public abstract class Restriction extends PatternComponent
implements
Cause {
public static class RestrictionType {
<BUG>public static final RestrictionType LITERAL = new RestrictionType( "LITERAL" );
public static final RestrictionType VARIABLE = new RestrictionType( "VARIABLE" );
public static final RestrictionType QUALIFIED_IDENTIFIER = new RestrictionType( "QUALIFIED_IDENTIFIER" );
public static final RestrictionType RETURN_VALUE_RESTRICTION = new RestrictionType( "RETURN_VALUE_RESTRICTION" );
public static final RestrictionType ENUM = new RestrictionType( "ENUM" );
protected final String              type;
private RestrictionType(String t) {</BUG>
type = t;

import org.drools.verifier.report.components.Cause;
public abstract class Restriction extends PatternComponent
implements
Cause {
public static class RestrictionType {
public static final RestrictionType LITERAL = new RestrictionType("LITERAL");
public static final RestrictionType VARIABLE = new RestrictionType("VARIABLE");
public static final RestrictionType QUALIFIED_IDENTIFIER = new RestrictionType("QUALIFIED_IDENTIFIER");
public static final RestrictionType RETURN_VALUE_RESTRICTION = new RestrictionType("RETURN_VALUE_RESTRICTION");
public static final RestrictionType ENUM = new RestrictionType("ENUM");
protected final String type;
private RestrictionType(String t) {
type = t;
