package org.whole.lang.firstorderlogic.reflect;
import org.whole.lang.reflect.FeatureDescriptorEnum;
import org.whole.lang.reflect.FeatureDescriptor;
/**
* @generator Whole
*/
public class FirstOrderLogicFeatureDescriptorEnum extends FeatureDescriptorEnum {
public static final int name_ord = 0;
public static final int imports_ord = 1;
public static final int declarations_ord = 2;
public static final int assertions_ord = 3;
public static final int language_ord = 4;
public static final int alias_ord = 5;
public static final int entityName_ord = 6;
public static final int featurePath_ord = 7;
public static final int qualifier_ord = 8;
public static final int feature_ord = 9;
public static final int subSort_ord = 10;
public static final int superSort_ord = 11;
public static final int type_ord = 12;
public static final int modelBinding_ord = 13;
public static final int sort_ord = 14;
public static final int parameters_ord = 15;
public static final int predicate_ord = 16;
public static final int statement_ord = 17;
public static final int function_ord = 18;
public static final int term_ord = 19;
public static final int proof_ord = 20;
public static final int arguments_ord = 21;
public static final int leftTerm_ord = 22;
public static final int rightTerm_ord = 23;
public static final int antecedent_ord = 24;
public static final int consequent_ord = 25;
public static final int leftFormula_ord = 26;
public static final int rightFormula_ord = 27;
public static final int formula_ord = 28;
public static final int theoryAlias_ord = 29;
public static final int result_ord = 30;
public static final FirstOrderLogicFeatureDescriptorEnum instance = new FirstOrderLogicFeatureDescriptorEnum();
public static final FeatureDescriptor name = instance.valueOf(name_ord);
public static final FeatureDescriptor imports = instance
.valueOf(imports_ord);
public static final FeatureDescriptor declarations = instance
.valueOf(declarations_ord);
public static final FeatureDescriptor assertions = instance
.valueOf(assertions_ord);
public static final FeatureDescriptor language = instance
.valueOf(language_ord);
public static final FeatureDescriptor alias = instance.valueOf(alias_ord);
public static final FeatureDescriptor entityName = instance
.valueOf(entityName_ord);
public static final FeatureDescriptor featurePath = instance
.valueOf(featurePath_ord);
public static final FeatureDescriptor qualifier = instance
.valueOf(qualifier_ord);
public static final FeatureDescriptor feature = instance
.valueOf(feature_ord);
public static final FeatureDescriptor subSort = instance
.valueOf(subSort_ord);
public static final FeatureDescriptor superSort = instance
.valueOf(superSort_ord);
public static final FeatureDescriptor type = instance.valueOf(type_ord);
public static final FeatureDescriptor modelBinding = instance
.valueOf(modelBinding_ord);
public static final FeatureDescriptor sort = instance.valueOf(sort_ord);
public static final FeatureDescriptor parameters = instance
.valueOf(parameters_ord);
public static final FeatureDescriptor predicate = instance
.valueOf(predicate_ord);
public static final FeatureDescriptor statement = instance
.valueOf(statement_ord);
public static final FeatureDescriptor function = instance
.valueOf(function_ord);
public static final FeatureDescriptor term = instance.valueOf(term_ord);
public static final FeatureDescriptor proof = instance.valueOf(proof_ord);
public static final FeatureDescriptor arguments = instance
.valueOf(arguments_ord);
public static final FeatureDescriptor leftTerm = instance
.valueOf(leftTerm_ord);
public static final FeatureDescriptor rightTerm = instance
.valueOf(rightTerm_ord);
public static final FeatureDescriptor antecedent = instance
.valueOf(antecedent_ord);
public static final FeatureDescriptor consequent = instance
.valueOf(consequent_ord);
public static final FeatureDescriptor leftFormula = instance
.valueOf(leftFormula_ord);
public static final FeatureDescriptor rightFormula = instance
.valueOf(rightFormula_ord);
public static final FeatureDescriptor formula = instance
.valueOf(formula_ord);
public static final FeatureDescriptor theoryAlias = instance
.valueOf(theoryAlias_ord);
public static final FeatureDescriptor result = instance.valueOf(result_ord);
private FirstOrderLogicFeatureDescriptorEnum() {
putFeatureDescriptor(name_ord, "name");
putFeatureDescriptor(imports_ord, "imports");
putFeatureDescriptor(declarations_ord, "declarations");
putFeatureDescriptor(assertions_ord, "assertions");
putFeatureDescriptor(language_ord, "language");
putFeatureDescriptor(alias_ord, "alias");
putFeatureDescriptor(entityName_ord, "entityName");
putFeatureDescriptor(featurePath_ord, "featurePath");
putFeatureDescriptor(qualifier_ord, "qualifier");
putFeatureDescriptor(feature_ord, "feature");
putFeatureDescriptor(subSort_ord, "subSort");
putFeatureDescriptor(superSort_ord, "superSort");
putFeatureDescriptor(type_ord, "type");
putFeatureDescriptor(modelBinding_ord, "modelBinding");
putFeatureDescriptor(sort_ord, "sort");
putFeatureDescriptor(parameters_ord, "parameters");
putFeatureDescriptor(predicate_ord, "predicate");
putFeatureDescriptor(statement_ord, "statement");
putFeatureDescriptor(function_ord, "function");
putFeatureDescriptor(term_ord, "term");
putFeatureDescriptor(proof_ord, "proof");
putFeatureDescriptor(arguments_ord, "arguments");
putFeatureDescriptor(leftTerm_ord, "leftTerm");
putFeatureDescriptor(rightTerm_ord, "rightTerm");
putFeatureDescriptor(antecedent_ord, "antecedent");
putFeatureDescriptor(consequent_ord, "consequent");
putFeatureDescriptor(leftFormula_ord, "leftFormula");
putFeatureDescriptor(rightFormula_ord, "rightFormula");
putFeatureDescriptor(formula_ord, "formula");
putFeatureDescriptor(theoryAlias_ord, "theoryAlias");
putFeatureDescriptor(result_ord, "result");
}
private static final long serialVersionUID = 1;
}