All Superinterfaces:

org.eclipse.emf.ecore.EFactory, org.eclipse.emf.ecore.EModelElement, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier

All Known Implementing Classes:

XsemanticsFactoryImpl
```
public interface XsemanticsFactory
extends org.eclipse.emf.ecore.EFactory
```
The Factory for the model. It provides a create method for each non-abstract class of the model.

See Also:

XsemanticsPackage

Field Summary

Fields
Modifier and Type Field Description

static XsemanticsFactory eINSTANCE
The singleton instance of the factory.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`AbstractFieldDefinition`	`createAbstractFieldDefinition()`	Returns a new object of class 'Abstract Field Definition'.
`AuxiliaryDescription`	`createAuxiliaryDescription()`	Returns a new object of class 'Auxiliary Description'.
`AuxiliaryFunction`	`createAuxiliaryFunction()`	Returns a new object of class 'Auxiliary Function'.
`Axiom`	`createAxiom()`	Returns a new object of class 'Axiom'.
`Cachable`	`createCachable()`	Returns a new object of class 'Cachable'.
`CachedClause`	`createCachedClause()`	Returns a new object of class 'Cached Clause'.
`CheckRule`	`createCheckRule()`	Returns a new object of class 'Check Rule'.
`Description`	`createDescription()`	Returns a new object of class 'Description'.
`EmptyEnvironment`	`createEmptyEnvironment()`	Returns a new object of class 'Empty Environment'.
`Environment`	`createEnvironment()`	Returns a new object of class 'Environment'.
`EnvironmentComposition`	`createEnvironmentComposition()`	Returns a new object of class 'Environment Composition'.
`EnvironmentMapping`	`createEnvironmentMapping()`	Returns a new object of class 'Environment Mapping'.
`ErrorSpecification`	`createErrorSpecification()`	Returns a new object of class 'Error Specification'.
`ExpressionInConclusion`	`createExpressionInConclusion()`	Returns a new object of class 'Expression In Conclusion'.
`Fail`	`createFail()`	Returns a new object of class 'Fail'.
`FieldDefinition`	`createFieldDefinition()`	Returns a new object of class 'Field Definition'.
`Injected`	`createInjected()`	Returns a new object of class 'Injected'.
`InputParameter`	`createInputParameter()`	Returns a new object of class 'Input Parameter'.
`JudgmentDescription`	`createJudgmentDescription()`	Returns a new object of class 'Judgment Description'.
`JudgmentParameter`	`createJudgmentParameter()`	Returns a new object of class 'Judgment Parameter'.
`OrExpression`	`createOrExpression()`	Returns a new object of class 'Or Expression'.
`OutputParameter`	`createOutputParameter()`	Returns a new object of class 'Output Parameter'.
`Overrider`	`createOverrider()`	Returns a new object of class 'Overrider'.
`ReferToJudgment`	`createReferToJudgment()`	Returns a new object of class 'Refer To Judgment'.
`Rule`	`createRule()`	Returns a new object of class 'Rule'.
`RuleConclusion`	`createRuleConclusion()`	Returns a new object of class 'Rule Conclusion'.
`RuleConclusionElement`	`createRuleConclusionElement()`	Returns a new object of class 'Rule Conclusion Element'.
`RuleInvocation`	`createRuleInvocation()`	Returns a new object of class 'Rule Invocation'.
`RuleParameter`	`createRuleParameter()`	Returns a new object of class 'Rule Parameter'.
`RuleWithPremises`	`createRuleWithPremises()`	Returns a new object of class 'Rule With Premises'.
`XsemanticsFile`	`createXsemanticsFile()`	Returns a new object of class 'File'.
`XsemanticsSystem`	`createXsemanticsSystem()`	Returns a new object of class 'System'.
`XsemanticsPackage`	`getXsemanticsPackage()`	Returns the package supported by this factory.

Methods inherited from interface org.eclipse.emf.ecore.EFactory
convertToString, create, createFromString, getEPackage, setEPackage

Methods inherited from interface org.eclipse.emf.ecore.EModelElement
getEAnnotation, getEAnnotations

Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver

- Field Detail
  - eINSTANCE
```
static final XsemanticsFactory eINSTANCE
```
    The singleton instance of the factory.
- Method Detail
  - createXsemanticsFile
```
XsemanticsFile createXsemanticsFile()
```
    Returns a new object of class 'File'.
    
    Returns:
    
    a new object of class 'File'.
  - createXsemanticsSystem
```
XsemanticsSystem createXsemanticsSystem()
```
    Returns a new object of class 'System'.
    
    Returns:
    
    a new object of class 'System'.
  - createInjected
```
Injected createInjected()
```
    Returns a new object of class 'Injected'.
    
    Returns:
    
    a new object of class 'Injected'.
  - createAuxiliaryDescription
```
AuxiliaryDescription createAuxiliaryDescription()
```
    Returns a new object of class 'Auxiliary Description'.
    
    Returns:
    
    a new object of class 'Auxiliary Description'.
  - createJudgmentDescription
```
JudgmentDescription createJudgmentDescription()
```
    Returns a new object of class 'Judgment Description'.
    
    Returns:
    
    a new object of class 'Judgment Description'.
  - createJudgmentParameter
```
JudgmentParameter createJudgmentParameter()
```
    Returns a new object of class 'Judgment Parameter'.
    
    Returns:
    
    a new object of class 'Judgment Parameter'.
  - createAuxiliaryFunction
```
AuxiliaryFunction createAuxiliaryFunction()
```
    Returns a new object of class 'Auxiliary Function'.
    
    Returns:
    
    a new object of class 'Auxiliary Function'.
  - createRule
```
Rule createRule()
```
    Returns a new object of class 'Rule'.
    
    Returns:
    
    a new object of class 'Rule'.
  - createAxiom
```
Axiom createAxiom()
```
    Returns a new object of class 'Axiom'.
    
    Returns:
    
    a new object of class 'Axiom'.
  - createRuleWithPremises
```
RuleWithPremises createRuleWithPremises()
```
    Returns a new object of class 'Rule With Premises'.
    
    Returns:
    
    a new object of class 'Rule With Premises'.
  - createCheckRule
```
CheckRule createCheckRule()
```
    Returns a new object of class 'Check Rule'.
    
    Returns:
    
    a new object of class 'Check Rule'.
  - createRuleConclusion
```
RuleConclusion createRuleConclusion()
```
    Returns a new object of class 'Rule Conclusion'.
    
    Returns:
    
    a new object of class 'Rule Conclusion'.
  - createRuleInvocation
```
RuleInvocation createRuleInvocation()
```
    Returns a new object of class 'Rule Invocation'.
    
    Returns:
    
    a new object of class 'Rule Invocation'.
  - createEnvironment
```
Environment createEnvironment()
```
    Returns a new object of class 'Environment'.
    
    Returns:
    
    a new object of class 'Environment'.
  - createRuleConclusionElement
```
RuleConclusionElement createRuleConclusionElement()
```
    Returns a new object of class 'Rule Conclusion Element'.
    
    Returns:
    
    a new object of class 'Rule Conclusion Element'.
  - createRuleParameter
```
RuleParameter createRuleParameter()
```
    Returns a new object of class 'Rule Parameter'.
    
    Returns:
    
    a new object of class 'Rule Parameter'.
  - createExpressionInConclusion
```
ExpressionInConclusion createExpressionInConclusion()
```
    Returns a new object of class 'Expression In Conclusion'.
    
    Returns:
    
    a new object of class 'Expression In Conclusion'.
  - createOutputParameter
```
OutputParameter createOutputParameter()
```
    Returns a new object of class 'Output Parameter'.
    
    Returns:
    
    a new object of class 'Output Parameter'.
  - createInputParameter
```
InputParameter createInputParameter()
```
    Returns a new object of class 'Input Parameter'.
    
    Returns:
    
    a new object of class 'Input Parameter'.
  - createOrExpression
```
OrExpression createOrExpression()
```
    Returns a new object of class 'Or Expression'.
    
    Returns:
    
    a new object of class 'Or Expression'.
  - createFail
```
Fail createFail()
```
    Returns a new object of class 'Fail'.
    
    Returns:
    
    a new object of class 'Fail'.
  - createEnvironmentComposition
```
EnvironmentComposition createEnvironmentComposition()
```
    Returns a new object of class 'Environment Composition'.
    
    Returns:
    
    a new object of class 'Environment Composition'.
  - createEnvironmentMapping
```
EnvironmentMapping createEnvironmentMapping()
```
    Returns a new object of class 'Environment Mapping'.
    
    Returns:
    
    a new object of class 'Environment Mapping'.
  - createEmptyEnvironment
```
EmptyEnvironment createEmptyEnvironment()
```
    Returns a new object of class 'Empty Environment'.
    
    Returns:
    
    a new object of class 'Empty Environment'.
  - createErrorSpecification
```
ErrorSpecification createErrorSpecification()
```
    Returns a new object of class 'Error Specification'.
    
    Returns:
    
    a new object of class 'Error Specification'.
  - createOverrider
```
Overrider createOverrider()
```
    Returns a new object of class 'Overrider'.
    
    Returns:
    
    a new object of class 'Overrider'.
  - createReferToJudgment
```
ReferToJudgment createReferToJudgment()
```
    Returns a new object of class 'Refer To Judgment'.
    
    Returns:
    
    a new object of class 'Refer To Judgment'.
  - createCachedClause
```
CachedClause createCachedClause()
```
    Returns a new object of class 'Cached Clause'.
    
    Returns:
    
    a new object of class 'Cached Clause'.
  - createCachable
```
Cachable createCachable()
```
    Returns a new object of class 'Cachable'.
    
    Returns:
    
    a new object of class 'Cachable'.
  - createDescription
```
Description createDescription()
```
    Returns a new object of class 'Description'.
    
    Returns:
    
    a new object of class 'Description'.
  - createAbstractFieldDefinition
```
AbstractFieldDefinition createAbstractFieldDefinition()
```
    Returns a new object of class 'Abstract Field Definition'.
    
    Returns:
    
    a new object of class 'Abstract Field Definition'.
  - createFieldDefinition
```
FieldDefinition createFieldDefinition()
```
    Returns a new object of class 'Field Definition'.
    
    Returns:
    
    a new object of class 'Field Definition'.
  - getXsemanticsPackage
```
XsemanticsPackage getXsemanticsPackage()
```
    Returns the package supported by this factory.
    
    Returns:
    
    the package supported by this factory.

Interface XsemanticsFactory

Field Summary

Method Summary

Methods inherited from interface org.eclipse.emf.ecore.EFactory

Methods inherited from interface org.eclipse.emf.ecore.EModelElement

Methods inherited from interface org.eclipse.emf.ecore.EObject

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

Field Detail

eINSTANCE

Method Detail

createXsemanticsFile

createXsemanticsSystem

createInjected

createAuxiliaryDescription

createJudgmentDescription

createJudgmentParameter

createAuxiliaryFunction

createRule

createAxiom

createRuleWithPremises

createCheckRule

createRuleConclusion

createRuleInvocation

createEnvironment

createRuleConclusionElement

createRuleParameter

createExpressionInConclusion

createOutputParameter

createInputParameter

createOrExpression

createFail

createEnvironmentComposition

createEnvironmentMapping

createEmptyEnvironment

createErrorSpecification

createOverrider

createReferToJudgment

createCachedClause

createCachable

createDescription

createAbstractFieldDefinition

createFieldDefinition

getXsemanticsPackage