Enclosing interface:

XsemanticsPackage
```
public static interface XsemanticsPackage.Literals
```
Defines literals for the meta objects that represent
- each class,
- each feature of each class,
- each enum,
- and each data type

Field Summary

Fields
Modifier and Type	Field	Description
`static org.eclipse.emf.ecore.EClass`	`ABSTRACT_FIELD_DEFINITION`	The meta object literal for the '`Abstract Field Definition`' class.
`static org.eclipse.emf.ecore.EAttribute`	`ABSTRACT_FIELD_DEFINITION__EXTENSION`	The meta object literal for the 'Extension' attribute feature.
`static org.eclipse.emf.ecore.EAttribute`	`ABSTRACT_FIELD_DEFINITION__NAME`	The meta object literal for the 'Name' attribute feature.
`static org.eclipse.emf.ecore.EReference`	`ABSTRACT_FIELD_DEFINITION__TYPE`	The meta object literal for the 'Type' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`AUXILIARY_DESCRIPTION`	The meta object literal for the '`Auxiliary Description`' class.
`static org.eclipse.emf.ecore.EAttribute`	`AUXILIARY_DESCRIPTION__NAME`	The meta object literal for the 'Name' attribute feature.
`static org.eclipse.emf.ecore.EReference`	`AUXILIARY_DESCRIPTION__PARAMETERS`	The meta object literal for the 'Parameters' containment reference list feature.
`static org.eclipse.emf.ecore.EReference`	`AUXILIARY_DESCRIPTION__TYPE`	The meta object literal for the 'Type' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`AUXILIARY_FUNCTION`	The meta object literal for the '`Auxiliary Function`' class.
`static org.eclipse.emf.ecore.EReference`	`AUXILIARY_FUNCTION__AUXILIARY_DESCRIPTION`	The meta object literal for the 'auxiliary Description' reference feature.
`static org.eclipse.emf.ecore.EReference`	`AUXILIARY_FUNCTION__BODY`	The meta object literal for the 'Body' containment reference feature.
`static org.eclipse.emf.ecore.EAttribute`	`AUXILIARY_FUNCTION__NAME`	The meta object literal for the 'Name' attribute feature.
`static org.eclipse.emf.ecore.EReference`	`AUXILIARY_FUNCTION__PARAMETERS`	The meta object literal for the 'Parameters' containment reference list feature.
`static org.eclipse.emf.ecore.EClass`	`AXIOM`	The meta object literal for the '`Axiom`' class.
`static org.eclipse.emf.ecore.EClass`	`CACHABLE`	The meta object literal for the '`Cachable`' class.
`static org.eclipse.emf.ecore.EReference`	`CACHABLE__CACHED_CLAUSE`	The meta object literal for the 'Cached Clause' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`CACHED_CLAUSE`	The meta object literal for the '`Cached Clause`' class.
`static org.eclipse.emf.ecore.EReference`	`CACHED_CLAUSE__CONDITION`	The meta object literal for the 'Condition' containment reference feature.
`static org.eclipse.emf.ecore.EAttribute`	`CACHED_CLAUSE__ENTRY_POINTS_OPTION`	The meta object literal for the 'Entry Points Option' attribute feature.
`static org.eclipse.emf.ecore.EClass`	`CHECK_RULE`	The meta object literal for the '`Check Rule`' class.
`static org.eclipse.emf.ecore.EReference`	`CHECK_RULE__ELEMENT`	The meta object literal for the 'Element' containment reference feature.
`static org.eclipse.emf.ecore.EAttribute`	`CHECK_RULE__NAME`	The meta object literal for the 'Name' attribute feature.
`static org.eclipse.emf.ecore.EReference`	`CHECK_RULE__PREMISES`	The meta object literal for the 'Premises' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`DESCRIPTION`	The meta object literal for the '`Description`' class.
`static org.eclipse.emf.ecore.EReference`	`DESCRIPTION__ERROR`	The meta object literal for the 'Error' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`EMPTY_ENVIRONMENT`	The meta object literal for the '`Empty Environment`' class.
`static org.eclipse.emf.ecore.EEnum`	`ENTRY_POINTS_OPTION`	The meta object literal for the '`Entry Points Option`' enum.
`static org.eclipse.emf.ecore.EClass`	`ENVIRONMENT`	The meta object literal for the '`Environment`' class.
`static org.eclipse.emf.ecore.EAttribute`	`ENVIRONMENT__NAME`	The meta object literal for the 'Name' attribute feature.
`static org.eclipse.emf.ecore.EClass`	`ENVIRONMENT_COMPOSITION`	The meta object literal for the '`Environment Composition`' class.
`static org.eclipse.emf.ecore.EReference`	`ENVIRONMENT_COMPOSITION__CURRENT_ENVIRONMENT`	The meta object literal for the 'Current Environment' containment reference feature.
`static org.eclipse.emf.ecore.EReference`	`ENVIRONMENT_COMPOSITION__SUB_ENVIRONMENT`	The meta object literal for the 'Sub Environment' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`ENVIRONMENT_MAPPING`	The meta object literal for the '`Environment Mapping`' class.
`static org.eclipse.emf.ecore.EReference`	`ENVIRONMENT_MAPPING__KEY`	The meta object literal for the 'Key' containment reference feature.
`static org.eclipse.emf.ecore.EReference`	`ENVIRONMENT_MAPPING__VALUE`	The meta object literal for the 'Value' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`ERROR_SPECIFICATION`	The meta object literal for the '`Error Specification`' class.
`static org.eclipse.emf.ecore.EReference`	`ERROR_SPECIFICATION__DATA`	The meta object literal for the 'Data' containment reference feature.
`static org.eclipse.emf.ecore.EReference`	`ERROR_SPECIFICATION__ERROR`	The meta object literal for the 'Error' containment reference feature.
`static org.eclipse.emf.ecore.EReference`	`ERROR_SPECIFICATION__FEATURE`	The meta object literal for the 'Feature' containment reference feature.
`static org.eclipse.emf.ecore.EReference`	`ERROR_SPECIFICATION__SOURCE`	The meta object literal for the 'Source' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`EXPRESSION_IN_CONCLUSION`	The meta object literal for the '`Expression In Conclusion`' class.
`static org.eclipse.emf.ecore.EReference`	`EXPRESSION_IN_CONCLUSION__EXPRESSION`	The meta object literal for the 'Expression' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`FAIL`	The meta object literal for the '`Fail`' class.
`static org.eclipse.emf.ecore.EReference`	`FAIL__ERROR`	The meta object literal for the 'Error' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`FIELD_DEFINITION`	The meta object literal for the '`Field Definition`' class.
`static org.eclipse.emf.ecore.EReference`	`FIELD_DEFINITION__ANNOTATIONS`	The meta object literal for the 'Annotations' containment reference list feature.
`static org.eclipse.emf.ecore.EReference`	`FIELD_DEFINITION__RIGHT`	The meta object literal for the 'Right' containment reference feature.
`static org.eclipse.emf.ecore.EAttribute`	`FIELD_DEFINITION__WRITEABLE`	The meta object literal for the 'Writeable' attribute feature.
`static org.eclipse.emf.ecore.EClass`	`INJECTED`	The meta object literal for the '`Injected`' class.
`static org.eclipse.emf.ecore.EClass`	`INPUT_PARAMETER`	The meta object literal for the '`Input Parameter`' class.
`static org.eclipse.emf.ecore.EReference`	`INPUT_PARAMETER__PARAMETER`	The meta object literal for the 'Parameter' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`JUDGMENT_DESCRIPTION`	The meta object literal for the '`Judgment Description`' class.
`static org.eclipse.emf.ecore.EReference`	`JUDGMENT_DESCRIPTION__JUDGMENT_PARAMETERS`	The meta object literal for the 'Judgment Parameters' containment reference list feature.
`static org.eclipse.emf.ecore.EAttribute`	`JUDGMENT_DESCRIPTION__JUDGMENT_SYMBOL`	The meta object literal for the 'Judgment Symbol' attribute feature.
`static org.eclipse.emf.ecore.EAttribute`	`JUDGMENT_DESCRIPTION__NAME`	The meta object literal for the 'Name' attribute feature.
`static org.eclipse.emf.ecore.EAttribute`	`JUDGMENT_DESCRIPTION__RELATION_SYMBOLS`	The meta object literal for the 'Relation Symbols' attribute list feature.
`static org.eclipse.emf.ecore.EClass`	`JUDGMENT_PARAMETER`	The meta object literal for the '`Judgment Parameter`' class.
`static org.eclipse.emf.ecore.EClass`	`NAMED`	The meta object literal for the '`Named`' class.
`static org.eclipse.emf.ecore.EClass`	`OR_EXPRESSION`	The meta object literal for the '`Or Expression`' class.
`static org.eclipse.emf.ecore.EReference`	`OR_EXPRESSION__BRANCHES`	The meta object literal for the 'Branches' containment reference list feature.
`static org.eclipse.emf.ecore.EClass`	`OUTPUT_PARAMETER`	The meta object literal for the '`Output Parameter`' class.
`static org.eclipse.emf.ecore.EReference`	`OUTPUT_PARAMETER__JVM_TYPE_REFERENCE`	The meta object literal for the 'Jvm Type Reference' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`OVERRIDER`	The meta object literal for the '`Overrider`' class.
`static org.eclipse.emf.ecore.EAttribute`	`OVERRIDER__OVERRIDE`	The meta object literal for the 'Override' attribute feature.
`static org.eclipse.emf.ecore.EClass`	`REFER_TO_JUDGMENT`	The meta object literal for the '`Refer To Judgment`' class.
`static org.eclipse.emf.ecore.EReference`	`REFER_TO_JUDGMENT__JUDGMENT`	The meta object literal for the 'judgment' reference feature.
`static org.eclipse.emf.ecore.EClass`	`RULE`	The meta object literal for the '`Rule`' class.
`static org.eclipse.emf.ecore.EReference`	`RULE__CONCLUSION`	The meta object literal for the 'Conclusion' containment reference feature.
`static org.eclipse.emf.ecore.EReference`	`RULE__INPUT_PARAMS`	The meta object literal for the 'input Params' reference list feature.
`static org.eclipse.emf.ecore.EAttribute`	`RULE__NAME`	The meta object literal for the 'Name' attribute feature.
`static org.eclipse.emf.ecore.EReference`	`RULE__OUTPUT_PARAMS`	The meta object literal for the 'output Params' reference list feature.
`static org.eclipse.emf.ecore.EClass`	`RULE_CONCLUSION`	The meta object literal for the '`Rule Conclusion`' class.
`static org.eclipse.emf.ecore.EReference`	`RULE_CONCLUSION__CONCLUSION_ELEMENTS`	The meta object literal for the 'Conclusion Elements' containment reference list feature.
`static org.eclipse.emf.ecore.EReference`	`RULE_CONCLUSION__ENVIRONMENT`	The meta object literal for the 'Environment' containment reference feature.
`static org.eclipse.emf.ecore.EReference`	`RULE_CONCLUSION__ERROR`	The meta object literal for the 'Error' containment reference feature.
`static org.eclipse.emf.ecore.EAttribute`	`RULE_CONCLUSION__JUDGMENT_SYMBOL`	The meta object literal for the 'Judgment Symbol' attribute feature.
`static org.eclipse.emf.ecore.EAttribute`	`RULE_CONCLUSION__RELATION_SYMBOLS`	The meta object literal for the 'Relation Symbols' attribute list feature.
`static org.eclipse.emf.ecore.EClass`	`RULE_CONCLUSION_ELEMENT`	The meta object literal for the '`Rule Conclusion Element`' class.
`static org.eclipse.emf.ecore.EClass`	`RULE_INVOCATION`	The meta object literal for the '`Rule Invocation`' class.
`static org.eclipse.emf.ecore.EReference`	`RULE_INVOCATION__ENVIRONMENT`	The meta object literal for the 'Environment' containment reference feature.
`static org.eclipse.emf.ecore.EReference`	`RULE_INVOCATION__EXPRESSIONS`	The meta object literal for the 'Expressions' containment reference list feature.
`static org.eclipse.emf.ecore.EAttribute`	`RULE_INVOCATION__JUDGMENT_SYMBOL`	The meta object literal for the 'Judgment Symbol' attribute feature.
`static org.eclipse.emf.ecore.EAttribute`	`RULE_INVOCATION__RELATION_SYMBOLS`	The meta object literal for the 'Relation Symbols' attribute list feature.
`static org.eclipse.emf.ecore.EClass`	`RULE_PARAMETER`	The meta object literal for the '`Rule Parameter`' class.
`static org.eclipse.emf.ecore.EReference`	`RULE_PARAMETER__PARAMETER`	The meta object literal for the 'Parameter' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`RULE_WITH_PREMISES`	The meta object literal for the '`Rule With Premises`' class.
`static org.eclipse.emf.ecore.EReference`	`RULE_WITH_PREMISES__PREMISES`	The meta object literal for the 'Premises' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`UNIQUE_BY_NAME`	The meta object literal for the '`Unique By Name`' class.
`static org.eclipse.emf.ecore.EClass`	`XSEMANTICS_FILE`	The meta object literal for the '`File`' class.
`static org.eclipse.emf.ecore.EReference`	`XSEMANTICS_FILE__IMPORT_SECTION`	The meta object literal for the 'Import Section' containment reference feature.
`static org.eclipse.emf.ecore.EReference`	`XSEMANTICS_FILE__XSEMANTICS_SYSTEM`	The meta object literal for the 'Xsemantics System' containment reference feature.
`static org.eclipse.emf.ecore.EClass`	`XSEMANTICS_SYSTEM`	The meta object literal for the '`System`' class.
`static org.eclipse.emf.ecore.EReference`	`XSEMANTICS_SYSTEM__AUXILIARY_DESCRIPTIONS`	The meta object literal for the 'Auxiliary Descriptions' containment reference list feature.
`static org.eclipse.emf.ecore.EReference`	`XSEMANTICS_SYSTEM__AUXILIARY_FUNCTIONS`	The meta object literal for the 'Auxiliary Functions' containment reference list feature.
`static org.eclipse.emf.ecore.EReference`	`XSEMANTICS_SYSTEM__CHECKRULES`	The meta object literal for the 'Checkrules' containment reference list feature.
`static org.eclipse.emf.ecore.EAttribute`	`XSEMANTICS_SYSTEM__COPYRIGHT`	The meta object literal for the 'Copyright' attribute feature.
`static org.eclipse.emf.ecore.EReference`	`XSEMANTICS_SYSTEM__FIELDS`	The meta object literal for the 'Fields' containment reference list feature.
`static org.eclipse.emf.ecore.EReference`	`XSEMANTICS_SYSTEM__IMPORT_SECTION`	The meta object literal for the 'Import Section' containment reference feature.
`static org.eclipse.emf.ecore.EReference`	`XSEMANTICS_SYSTEM__JUDGMENT_DESCRIPTIONS`	The meta object literal for the 'Judgment Descriptions' containment reference list feature.
`static org.eclipse.emf.ecore.EAttribute`	`XSEMANTICS_SYSTEM__NAME`	The meta object literal for the 'Name' attribute feature.
`static org.eclipse.emf.ecore.EReference`	`XSEMANTICS_SYSTEM__RULES`	The meta object literal for the 'Rules' containment reference list feature.
`static org.eclipse.emf.ecore.EReference`	`XSEMANTICS_SYSTEM__SUPER_SYSTEM`	The meta object literal for the 'Super System' containment reference feature.
`static org.eclipse.emf.ecore.EReference`	`XSEMANTICS_SYSTEM__VALIDATOR_EXTENDS`	The meta object literal for the 'Validator Extends' containment reference feature.

- Field Detail
  - XSEMANTICS_FILE
```
static final org.eclipse.emf.ecore.EClass XSEMANTICS_FILE
```
    The meta object literal for the 'File' class.
    
    See Also:
    
    XsemanticsFileImpl, XsemanticsPackageImpl.getXsemanticsFile()
  - XSEMANTICS_FILE__IMPORT_SECTION
```
static final org.eclipse.emf.ecore.EReference XSEMANTICS_FILE__IMPORT_SECTION
```
    The meta object literal for the 'Import Section' containment reference feature.
  - XSEMANTICS_FILE__XSEMANTICS_SYSTEM
```
static final org.eclipse.emf.ecore.EReference XSEMANTICS_FILE__XSEMANTICS_SYSTEM
```
    The meta object literal for the 'Xsemantics System' containment reference feature.
  - XSEMANTICS_SYSTEM
```
static final org.eclipse.emf.ecore.EClass XSEMANTICS_SYSTEM
```
    The meta object literal for the 'System' class.
    
    See Also:
    
    XsemanticsSystemImpl, XsemanticsPackageImpl.getXsemanticsSystem()
  - XSEMANTICS_SYSTEM__NAME
```
static final org.eclipse.emf.ecore.EAttribute XSEMANTICS_SYSTEM__NAME
```
    The meta object literal for the 'Name' attribute feature.
  - XSEMANTICS_SYSTEM__SUPER_SYSTEM
```
static final org.eclipse.emf.ecore.EReference XSEMANTICS_SYSTEM__SUPER_SYSTEM
```
    The meta object literal for the 'Super System' containment reference feature.
  - XSEMANTICS_SYSTEM__VALIDATOR_EXTENDS
```
static final org.eclipse.emf.ecore.EReference XSEMANTICS_SYSTEM__VALIDATOR_EXTENDS
```
    The meta object literal for the 'Validator Extends' containment reference feature.
  - XSEMANTICS_SYSTEM__IMPORT_SECTION
```
static final org.eclipse.emf.ecore.EReference XSEMANTICS_SYSTEM__IMPORT_SECTION
```
    The meta object literal for the 'Import Section' containment reference feature.
  - XSEMANTICS_SYSTEM__FIELDS
```
static final org.eclipse.emf.ecore.EReference XSEMANTICS_SYSTEM__FIELDS
```
    The meta object literal for the 'Fields' containment reference list feature.
  - XSEMANTICS_SYSTEM__AUXILIARY_DESCRIPTIONS
```
static final org.eclipse.emf.ecore.EReference XSEMANTICS_SYSTEM__AUXILIARY_DESCRIPTIONS
```
    The meta object literal for the 'Auxiliary Descriptions' containment reference list feature.
  - XSEMANTICS_SYSTEM__JUDGMENT_DESCRIPTIONS
```
static final org.eclipse.emf.ecore.EReference XSEMANTICS_SYSTEM__JUDGMENT_DESCRIPTIONS
```
    The meta object literal for the 'Judgment Descriptions' containment reference list feature.
  - XSEMANTICS_SYSTEM__AUXILIARY_FUNCTIONS
```
static final org.eclipse.emf.ecore.EReference XSEMANTICS_SYSTEM__AUXILIARY_FUNCTIONS
```
    The meta object literal for the 'Auxiliary Functions' containment reference list feature.
  - XSEMANTICS_SYSTEM__RULES
```
static final org.eclipse.emf.ecore.EReference XSEMANTICS_SYSTEM__RULES
```
    The meta object literal for the 'Rules' containment reference list feature.
  - XSEMANTICS_SYSTEM__CHECKRULES
```
static final org.eclipse.emf.ecore.EReference XSEMANTICS_SYSTEM__CHECKRULES
```
    The meta object literal for the 'Checkrules' containment reference list feature.
  - XSEMANTICS_SYSTEM__COPYRIGHT
```
static final org.eclipse.emf.ecore.EAttribute XSEMANTICS_SYSTEM__COPYRIGHT
```
    The meta object literal for the 'Copyright' attribute feature.
  - INJECTED
```
static final org.eclipse.emf.ecore.EClass INJECTED
```
    The meta object literal for the 'Injected' class.
    
    See Also:
    
    InjectedImpl, XsemanticsPackageImpl.getInjected()
  - AUXILIARY_DESCRIPTION
```
static final org.eclipse.emf.ecore.EClass AUXILIARY_DESCRIPTION
```
    The meta object literal for the 'Auxiliary Description' class.
    
    See Also:
    
    AuxiliaryDescriptionImpl, XsemanticsPackageImpl.getAuxiliaryDescription()
  - AUXILIARY_DESCRIPTION__NAME
```
static final org.eclipse.emf.ecore.EAttribute AUXILIARY_DESCRIPTION__NAME
```
    The meta object literal for the 'Name' attribute feature.
  - AUXILIARY_DESCRIPTION__PARAMETERS
```
static final org.eclipse.emf.ecore.EReference AUXILIARY_DESCRIPTION__PARAMETERS
```
    The meta object literal for the 'Parameters' containment reference list feature.
  - AUXILIARY_DESCRIPTION__TYPE
```
static final org.eclipse.emf.ecore.EReference AUXILIARY_DESCRIPTION__TYPE
```
    The meta object literal for the 'Type' containment reference feature.
  - JUDGMENT_DESCRIPTION
```
static final org.eclipse.emf.ecore.EClass JUDGMENT_DESCRIPTION
```
    The meta object literal for the 'Judgment Description' class.
    
    See Also:
    
    JudgmentDescriptionImpl, XsemanticsPackageImpl.getJudgmentDescription()
  - JUDGMENT_DESCRIPTION__NAME
```
static final org.eclipse.emf.ecore.EAttribute JUDGMENT_DESCRIPTION__NAME
```
    The meta object literal for the 'Name' attribute feature.
  - JUDGMENT_DESCRIPTION__JUDGMENT_SYMBOL
```
static final org.eclipse.emf.ecore.EAttribute JUDGMENT_DESCRIPTION__JUDGMENT_SYMBOL
```
    The meta object literal for the 'Judgment Symbol' attribute feature.
  - JUDGMENT_DESCRIPTION__JUDGMENT_PARAMETERS
```
static final org.eclipse.emf.ecore.EReference JUDGMENT_DESCRIPTION__JUDGMENT_PARAMETERS
```
    The meta object literal for the 'Judgment Parameters' containment reference list feature.
  - JUDGMENT_DESCRIPTION__RELATION_SYMBOLS
```
static final org.eclipse.emf.ecore.EAttribute JUDGMENT_DESCRIPTION__RELATION_SYMBOLS
```
    The meta object literal for the 'Relation Symbols' attribute list feature.
  - JUDGMENT_PARAMETER
```
static final org.eclipse.emf.ecore.EClass JUDGMENT_PARAMETER
```
    The meta object literal for the 'Judgment Parameter' class.
    
    See Also:
    
    JudgmentParameterImpl, XsemanticsPackageImpl.getJudgmentParameter()
  - AUXILIARY_FUNCTION
```
static final org.eclipse.emf.ecore.EClass AUXILIARY_FUNCTION
```
    The meta object literal for the 'Auxiliary Function' class.
    
    See Also:
    
    AuxiliaryFunctionImpl, XsemanticsPackageImpl.getAuxiliaryFunction()
  - AUXILIARY_FUNCTION__NAME
```
static final org.eclipse.emf.ecore.EAttribute AUXILIARY_FUNCTION__NAME
```
    The meta object literal for the 'Name' attribute feature.
  - AUXILIARY_FUNCTION__PARAMETERS
```
static final org.eclipse.emf.ecore.EReference AUXILIARY_FUNCTION__PARAMETERS
```
    The meta object literal for the 'Parameters' containment reference list feature.
  - AUXILIARY_FUNCTION__BODY
```
static final org.eclipse.emf.ecore.EReference AUXILIARY_FUNCTION__BODY
```
    The meta object literal for the 'Body' containment reference feature.
  - AUXILIARY_FUNCTION__AUXILIARY_DESCRIPTION
```
static final org.eclipse.emf.ecore.EReference AUXILIARY_FUNCTION__AUXILIARY_DESCRIPTION
```
    The meta object literal for the 'auxiliary Description' reference feature.
  - RULE
```
static final org.eclipse.emf.ecore.EClass RULE
```
    The meta object literal for the 'Rule' class.
    
    See Also:
    
    RuleImpl, XsemanticsPackageImpl.getRule()
  - RULE__NAME
```
static final org.eclipse.emf.ecore.EAttribute RULE__NAME
```
    The meta object literal for the 'Name' attribute feature.
  - RULE__CONCLUSION
```
static final org.eclipse.emf.ecore.EReference RULE__CONCLUSION
```
    The meta object literal for the 'Conclusion' containment reference feature.
  - RULE__INPUT_PARAMS
```
static final org.eclipse.emf.ecore.EReference RULE__INPUT_PARAMS
```
    The meta object literal for the 'input Params' reference list feature.
  - RULE__OUTPUT_PARAMS
```
static final org.eclipse.emf.ecore.EReference RULE__OUTPUT_PARAMS
```
    The meta object literal for the 'output Params' reference list feature.
  - AXIOM
```
static final org.eclipse.emf.ecore.EClass AXIOM
```
    The meta object literal for the 'Axiom' class.
    
    See Also:
    
    AxiomImpl, XsemanticsPackageImpl.getAxiom()
  - RULE_WITH_PREMISES
```
static final org.eclipse.emf.ecore.EClass RULE_WITH_PREMISES
```
    The meta object literal for the 'Rule With Premises' class.
    
    See Also:
    
    RuleWithPremisesImpl, XsemanticsPackageImpl.getRuleWithPremises()
  - RULE_WITH_PREMISES__PREMISES
```
static final org.eclipse.emf.ecore.EReference RULE_WITH_PREMISES__PREMISES
```
    The meta object literal for the 'Premises' containment reference feature.
  - CHECK_RULE
```
static final org.eclipse.emf.ecore.EClass CHECK_RULE
```
    The meta object literal for the 'Check Rule' class.
    
    See Also:
    
    CheckRuleImpl, XsemanticsPackageImpl.getCheckRule()
  - CHECK_RULE__NAME
```
static final org.eclipse.emf.ecore.EAttribute CHECK_RULE__NAME
```
    The meta object literal for the 'Name' attribute feature.
  - CHECK_RULE__ELEMENT
```
static final org.eclipse.emf.ecore.EReference CHECK_RULE__ELEMENT
```
    The meta object literal for the 'Element' containment reference feature.
  - CHECK_RULE__PREMISES
```
static final org.eclipse.emf.ecore.EReference CHECK_RULE__PREMISES
```
    The meta object literal for the 'Premises' containment reference feature.
  - RULE_CONCLUSION
```
static final org.eclipse.emf.ecore.EClass RULE_CONCLUSION
```
    The meta object literal for the 'Rule Conclusion' class.
    
    See Also:
    
    RuleConclusionImpl, XsemanticsPackageImpl.getRuleConclusion()
  - RULE_CONCLUSION__ENVIRONMENT
```
static final org.eclipse.emf.ecore.EReference RULE_CONCLUSION__ENVIRONMENT
```
    The meta object literal for the 'Environment' containment reference feature.
  - RULE_CONCLUSION__JUDGMENT_SYMBOL
```
static final org.eclipse.emf.ecore.EAttribute RULE_CONCLUSION__JUDGMENT_SYMBOL
```
    The meta object literal for the 'Judgment Symbol' attribute feature.
  - RULE_CONCLUSION__CONCLUSION_ELEMENTS
```
static final org.eclipse.emf.ecore.EReference RULE_CONCLUSION__CONCLUSION_ELEMENTS
```
    The meta object literal for the 'Conclusion Elements' containment reference list feature.
  - RULE_CONCLUSION__RELATION_SYMBOLS
```
static final org.eclipse.emf.ecore.EAttribute RULE_CONCLUSION__RELATION_SYMBOLS
```
    The meta object literal for the 'Relation Symbols' attribute list feature.
  - RULE_CONCLUSION__ERROR
```
static final org.eclipse.emf.ecore.EReference RULE_CONCLUSION__ERROR
```
    The meta object literal for the 'Error' containment reference feature.
  - RULE_INVOCATION
```
static final org.eclipse.emf.ecore.EClass RULE_INVOCATION
```
    The meta object literal for the 'Rule Invocation' class.
    
    See Also:
    
    RuleInvocationImpl, XsemanticsPackageImpl.getRuleInvocation()
  - RULE_INVOCATION__ENVIRONMENT
```
static final org.eclipse.emf.ecore.EReference RULE_INVOCATION__ENVIRONMENT
```
    The meta object literal for the 'Environment' containment reference feature.
  - RULE_INVOCATION__JUDGMENT_SYMBOL
```
static final org.eclipse.emf.ecore.EAttribute RULE_INVOCATION__JUDGMENT_SYMBOL
```
    The meta object literal for the 'Judgment Symbol' attribute feature.
  - RULE_INVOCATION__EXPRESSIONS
```
static final org.eclipse.emf.ecore.EReference RULE_INVOCATION__EXPRESSIONS
```
    The meta object literal for the 'Expressions' containment reference list feature.
  - RULE_INVOCATION__RELATION_SYMBOLS
```
static final org.eclipse.emf.ecore.EAttribute RULE_INVOCATION__RELATION_SYMBOLS
```
    The meta object literal for the 'Relation Symbols' attribute list feature.
  - ENVIRONMENT
```
static final org.eclipse.emf.ecore.EClass ENVIRONMENT
```
    The meta object literal for the 'Environment' class.
    
    See Also:
    
    EnvironmentImpl, XsemanticsPackageImpl.getEnvironment()
  - ENVIRONMENT__NAME
```
static final org.eclipse.emf.ecore.EAttribute ENVIRONMENT__NAME
```
    The meta object literal for the 'Name' attribute feature.
  - RULE_CONCLUSION_ELEMENT
```
static final org.eclipse.emf.ecore.EClass RULE_CONCLUSION_ELEMENT
```
    The meta object literal for the 'Rule Conclusion Element' class.
    
    See Also:
    
    RuleConclusionElementImpl, XsemanticsPackageImpl.getRuleConclusionElement()
  - RULE_PARAMETER
```
static final org.eclipse.emf.ecore.EClass RULE_PARAMETER
```
    The meta object literal for the 'Rule Parameter' class.
    
    See Also:
    
    RuleParameterImpl, XsemanticsPackageImpl.getRuleParameter()
  - RULE_PARAMETER__PARAMETER
```
static final org.eclipse.emf.ecore.EReference RULE_PARAMETER__PARAMETER
```
    The meta object literal for the 'Parameter' containment reference feature.
  - EXPRESSION_IN_CONCLUSION
```
static final org.eclipse.emf.ecore.EClass EXPRESSION_IN_CONCLUSION
```
    The meta object literal for the 'Expression In Conclusion' class.
    
    See Also:
    
    ExpressionInConclusionImpl, XsemanticsPackageImpl.getExpressionInConclusion()
  - EXPRESSION_IN_CONCLUSION__EXPRESSION
```
static final org.eclipse.emf.ecore.EReference EXPRESSION_IN_CONCLUSION__EXPRESSION
```
    The meta object literal for the 'Expression' containment reference feature.
  - OUTPUT_PARAMETER
```
static final org.eclipse.emf.ecore.EClass OUTPUT_PARAMETER
```
    The meta object literal for the 'Output Parameter' class.
    
    See Also:
    
    OutputParameterImpl, XsemanticsPackageImpl.getOutputParameter()
  - OUTPUT_PARAMETER__JVM_TYPE_REFERENCE
```
static final org.eclipse.emf.ecore.EReference OUTPUT_PARAMETER__JVM_TYPE_REFERENCE
```
    The meta object literal for the 'Jvm Type Reference' containment reference feature.
  - INPUT_PARAMETER
```
static final org.eclipse.emf.ecore.EClass INPUT_PARAMETER
```
    The meta object literal for the 'Input Parameter' class.
    
    See Also:
    
    InputParameterImpl, XsemanticsPackageImpl.getInputParameter()
  - INPUT_PARAMETER__PARAMETER
```
static final org.eclipse.emf.ecore.EReference INPUT_PARAMETER__PARAMETER
```
    The meta object literal for the 'Parameter' containment reference feature.
  - OR_EXPRESSION
```
static final org.eclipse.emf.ecore.EClass OR_EXPRESSION
```
    The meta object literal for the 'Or Expression' class.
    
    See Also:
    
    OrExpressionImpl, XsemanticsPackageImpl.getOrExpression()
  - OR_EXPRESSION__BRANCHES
```
static final org.eclipse.emf.ecore.EReference OR_EXPRESSION__BRANCHES
```
    The meta object literal for the 'Branches' containment reference list feature.
  - FAIL
```
static final org.eclipse.emf.ecore.EClass FAIL
```
    The meta object literal for the 'Fail' class.
    
    See Also:
    
    FailImpl, XsemanticsPackageImpl.getFail()
  - FAIL__ERROR
```
static final org.eclipse.emf.ecore.EReference FAIL__ERROR
```
    The meta object literal for the 'Error' containment reference feature.
  - ENVIRONMENT_COMPOSITION
```
static final org.eclipse.emf.ecore.EClass ENVIRONMENT_COMPOSITION
```
    The meta object literal for the 'Environment Composition' class.
    
    See Also:
    
    EnvironmentCompositionImpl, XsemanticsPackageImpl.getEnvironmentComposition()
  - ENVIRONMENT_COMPOSITION__CURRENT_ENVIRONMENT
```
static final org.eclipse.emf.ecore.EReference ENVIRONMENT_COMPOSITION__CURRENT_ENVIRONMENT
```
    The meta object literal for the 'Current Environment' containment reference feature.
  - ENVIRONMENT_COMPOSITION__SUB_ENVIRONMENT
```
static final org.eclipse.emf.ecore.EReference ENVIRONMENT_COMPOSITION__SUB_ENVIRONMENT
```
    The meta object literal for the 'Sub Environment' containment reference feature.
  - ENVIRONMENT_MAPPING
```
static final org.eclipse.emf.ecore.EClass ENVIRONMENT_MAPPING
```
    The meta object literal for the 'Environment Mapping' class.
    
    See Also:
    
    EnvironmentMappingImpl, XsemanticsPackageImpl.getEnvironmentMapping()
  - ENVIRONMENT_MAPPING__KEY
```
static final org.eclipse.emf.ecore.EReference ENVIRONMENT_MAPPING__KEY
```
    The meta object literal for the 'Key' containment reference feature.
  - ENVIRONMENT_MAPPING__VALUE
```
static final org.eclipse.emf.ecore.EReference ENVIRONMENT_MAPPING__VALUE
```
    The meta object literal for the 'Value' containment reference feature.
  - EMPTY_ENVIRONMENT
```
static final org.eclipse.emf.ecore.EClass EMPTY_ENVIRONMENT
```
    The meta object literal for the 'Empty Environment' class.
    
    See Also:
    
    EmptyEnvironmentImpl, XsemanticsPackageImpl.getEmptyEnvironment()
  - ERROR_SPECIFICATION
```
static final org.eclipse.emf.ecore.EClass ERROR_SPECIFICATION
```
    The meta object literal for the 'Error Specification' class.
    
    See Also:
    
    ErrorSpecificationImpl, XsemanticsPackageImpl.getErrorSpecification()
  - ERROR_SPECIFICATION__ERROR
```
static final org.eclipse.emf.ecore.EReference ERROR_SPECIFICATION__ERROR
```
    The meta object literal for the 'Error' containment reference feature.
  - ERROR_SPECIFICATION__SOURCE
```
static final org.eclipse.emf.ecore.EReference ERROR_SPECIFICATION__SOURCE
```
    The meta object literal for the 'Source' containment reference feature.
  - ERROR_SPECIFICATION__FEATURE
```
static final org.eclipse.emf.ecore.EReference ERROR_SPECIFICATION__FEATURE
```
    The meta object literal for the 'Feature' containment reference feature.
  - ERROR_SPECIFICATION__DATA
```
static final org.eclipse.emf.ecore.EReference ERROR_SPECIFICATION__DATA
```
    The meta object literal for the 'Data' containment reference feature.
  - UNIQUE_BY_NAME
```
static final org.eclipse.emf.ecore.EClass UNIQUE_BY_NAME
```
    The meta object literal for the 'Unique By Name' class.
    
    See Also:
    
    UniqueByName, XsemanticsPackageImpl.getUniqueByName()
  - OVERRIDER
```
static final org.eclipse.emf.ecore.EClass OVERRIDER
```
    The meta object literal for the 'Overrider' class.
    
    See Also:
    
    OverriderImpl, XsemanticsPackageImpl.getOverrider()
  - OVERRIDER__OVERRIDE
```
static final org.eclipse.emf.ecore.EAttribute OVERRIDER__OVERRIDE
```
    The meta object literal for the 'Override' attribute feature.
  - REFER_TO_JUDGMENT
```
static final org.eclipse.emf.ecore.EClass REFER_TO_JUDGMENT
```
    The meta object literal for the 'Refer To Judgment' class.
    
    See Also:
    
    ReferToJudgmentImpl, XsemanticsPackageImpl.getReferToJudgment()
  - REFER_TO_JUDGMENT__JUDGMENT
```
static final org.eclipse.emf.ecore.EReference REFER_TO_JUDGMENT__JUDGMENT
```
    The meta object literal for the 'judgment' reference feature.
  - NAMED
```
static final org.eclipse.emf.ecore.EClass NAMED
```
    The meta object literal for the 'Named' class.
    
    See Also:
    
    Named, XsemanticsPackageImpl.getNamed()
  - CACHED_CLAUSE
```
static final org.eclipse.emf.ecore.EClass CACHED_CLAUSE
```
    The meta object literal for the 'Cached Clause' class.
    
    See Also:
    
    CachedClauseImpl, XsemanticsPackageImpl.getCachedClause()
  - CACHED_CLAUSE__ENTRY_POINTS_OPTION
```
static final org.eclipse.emf.ecore.EAttribute CACHED_CLAUSE__ENTRY_POINTS_OPTION
```
    The meta object literal for the 'Entry Points Option' attribute feature.
  - CACHED_CLAUSE__CONDITION
```
static final org.eclipse.emf.ecore.EReference CACHED_CLAUSE__CONDITION
```
    The meta object literal for the 'Condition' containment reference feature.
  - CACHABLE
```
static final org.eclipse.emf.ecore.EClass CACHABLE
```
    The meta object literal for the 'Cachable' class.
    
    See Also:
    
    CachableImpl, XsemanticsPackageImpl.getCachable()
  - CACHABLE__CACHED_CLAUSE
```
static final org.eclipse.emf.ecore.EReference CACHABLE__CACHED_CLAUSE
```
    The meta object literal for the 'Cached Clause' containment reference feature.
  - DESCRIPTION
```
static final org.eclipse.emf.ecore.EClass DESCRIPTION
```
    The meta object literal for the 'Description' class.
    
    See Also:
    
    DescriptionImpl, XsemanticsPackageImpl.getDescription()
  - DESCRIPTION__ERROR
```
static final org.eclipse.emf.ecore.EReference DESCRIPTION__ERROR
```
    The meta object literal for the 'Error' containment reference feature.
  - ABSTRACT_FIELD_DEFINITION
```
static final org.eclipse.emf.ecore.EClass ABSTRACT_FIELD_DEFINITION
```
    The meta object literal for the 'Abstract Field Definition' class.
    
    See Also:
    
    AbstractFieldDefinitionImpl, XsemanticsPackageImpl.getAbstractFieldDefinition()
  - ABSTRACT_FIELD_DEFINITION__EXTENSION
```
static final org.eclipse.emf.ecore.EAttribute ABSTRACT_FIELD_DEFINITION__EXTENSION
```
    The meta object literal for the 'Extension' attribute feature.
  - ABSTRACT_FIELD_DEFINITION__TYPE
```
static final org.eclipse.emf.ecore.EReference ABSTRACT_FIELD_DEFINITION__TYPE
```
    The meta object literal for the 'Type' containment reference feature.
  - ABSTRACT_FIELD_DEFINITION__NAME
```
static final org.eclipse.emf.ecore.EAttribute ABSTRACT_FIELD_DEFINITION__NAME
```
    The meta object literal for the 'Name' attribute feature.
  - FIELD_DEFINITION
```
static final org.eclipse.emf.ecore.EClass FIELD_DEFINITION
```
    The meta object literal for the 'Field Definition' class.
    
    See Also:
    
    FieldDefinitionImpl, XsemanticsPackageImpl.getFieldDefinition()
  - FIELD_DEFINITION__ANNOTATIONS
```
static final org.eclipse.emf.ecore.EReference FIELD_DEFINITION__ANNOTATIONS
```
    The meta object literal for the 'Annotations' containment reference list feature.
  - FIELD_DEFINITION__WRITEABLE
```
static final org.eclipse.emf.ecore.EAttribute FIELD_DEFINITION__WRITEABLE
```
    The meta object literal for the 'Writeable' attribute feature.
  - FIELD_DEFINITION__RIGHT
```
static final org.eclipse.emf.ecore.EReference FIELD_DEFINITION__RIGHT
```
    The meta object literal for the 'Right' containment reference feature.
  - ENTRY_POINTS_OPTION
```
static final org.eclipse.emf.ecore.EEnum ENTRY_POINTS_OPTION
```
    The meta object literal for the 'Entry Points Option' enum.
    
    See Also:
    
    EntryPointsOption, XsemanticsPackageImpl.getEntryPointsOption()

Interface XsemanticsPackage.Literals

Field Summary

Field Detail

XSEMANTICS_FILE

XSEMANTICS_FILE__IMPORT_SECTION

XSEMANTICS_FILE__XSEMANTICS_SYSTEM

XSEMANTICS_SYSTEM

XSEMANTICS_SYSTEM__NAME

XSEMANTICS_SYSTEM__SUPER_SYSTEM

XSEMANTICS_SYSTEM__VALIDATOR_EXTENDS

XSEMANTICS_SYSTEM__IMPORT_SECTION

XSEMANTICS_SYSTEM__FIELDS

XSEMANTICS_SYSTEM__AUXILIARY_DESCRIPTIONS

XSEMANTICS_SYSTEM__JUDGMENT_DESCRIPTIONS

XSEMANTICS_SYSTEM__AUXILIARY_FUNCTIONS

XSEMANTICS_SYSTEM__RULES

XSEMANTICS_SYSTEM__CHECKRULES

XSEMANTICS_SYSTEM__COPYRIGHT

INJECTED

AUXILIARY_DESCRIPTION

AUXILIARY_DESCRIPTION__NAME

AUXILIARY_DESCRIPTION__PARAMETERS

AUXILIARY_DESCRIPTION__TYPE

JUDGMENT_DESCRIPTION

JUDGMENT_DESCRIPTION__NAME

JUDGMENT_DESCRIPTION__JUDGMENT_SYMBOL

JUDGMENT_DESCRIPTION__JUDGMENT_PARAMETERS

JUDGMENT_DESCRIPTION__RELATION_SYMBOLS

JUDGMENT_PARAMETER

AUXILIARY_FUNCTION

AUXILIARY_FUNCTION__NAME

AUXILIARY_FUNCTION__PARAMETERS

AUXILIARY_FUNCTION__BODY

AUXILIARY_FUNCTION__AUXILIARY_DESCRIPTION

RULE

RULE__NAME

RULE__CONCLUSION

RULE__INPUT_PARAMS

RULE__OUTPUT_PARAMS

AXIOM

RULE_WITH_PREMISES

RULE_WITH_PREMISES__PREMISES

CHECK_RULE

CHECK_RULE__NAME

CHECK_RULE__ELEMENT

CHECK_RULE__PREMISES

RULE_CONCLUSION

RULE_CONCLUSION__ENVIRONMENT

RULE_CONCLUSION__JUDGMENT_SYMBOL

RULE_CONCLUSION__CONCLUSION_ELEMENTS

RULE_CONCLUSION__RELATION_SYMBOLS

RULE_CONCLUSION__ERROR

RULE_INVOCATION

RULE_INVOCATION__ENVIRONMENT

RULE_INVOCATION__JUDGMENT_SYMBOL

RULE_INVOCATION__EXPRESSIONS

RULE_INVOCATION__RELATION_SYMBOLS

ENVIRONMENT

ENVIRONMENT__NAME

RULE_CONCLUSION_ELEMENT

RULE_PARAMETER

RULE_PARAMETER__PARAMETER

EXPRESSION_IN_CONCLUSION

EXPRESSION_IN_CONCLUSION__EXPRESSION

OUTPUT_PARAMETER

OUTPUT_PARAMETER__JVM_TYPE_REFERENCE

INPUT_PARAMETER

INPUT_PARAMETER__PARAMETER

OR_EXPRESSION

OR_EXPRESSION__BRANCHES

FAIL

FAIL__ERROR

ENVIRONMENT_COMPOSITION

ENVIRONMENT_COMPOSITION__CURRENT_ENVIRONMENT

ENVIRONMENT_COMPOSITION__SUB_ENVIRONMENT

ENVIRONMENT_MAPPING

ENVIRONMENT_MAPPING__KEY

ENVIRONMENT_MAPPING__VALUE

EMPTY_ENVIRONMENT

ERROR_SPECIFICATION