public class TermsFactoryImpl extends org.eclipse.emf.ecore.impl.EFactoryImpl implements TermsFactory
org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container.Dynamic
org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl
org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList<E extends Object & org.eclipse.emf.common.notify.Adapter>, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EObservableAdapterList
eAnnotations, eFlags, EFROZEN, ELAST_EMODEL_ELEMENT_FLAG
EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET
eINSTANCE
Constructor and Description |
---|
TermsFactoryImpl()
Creates an instance of the factory
|
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.ecore.EObject |
create(org.eclipse.emf.ecore.EClass eClass) |
Declarations |
createDeclarations() |
MultisetSort |
createMultisetSort() |
NamedOperator |
createNamedOperator() |
NamedSort |
createNamedSort() |
ProductSort |
createProductSort() |
Tuple |
createTuple() |
UserOperator |
createUserOperator() |
UserSort |
createUserSort() |
Variable |
createVariable() |
VariableDecl |
createVariableDecl() |
static TermsPackage |
getPackage()
Deprecated.
|
TermsPackage |
getTermsPackage() |
static TermsFactory |
init()
Creates the default factory implementation
|
basicCreate, basicSetEPackage, collapseWhiteSpace, convertToString, convertToString, create, createFromString, createFromString, eGet, eInverseAdd, eInverseRemove, eInvoke, eIsSet, eSet, eStaticClass, eUnset, getEPackage, replaceWhiteSpace, setEPackage, split
eObjectForURIFragmentSegment, eSetDirectResource, eURIFragmentSegment, freeze, freeze, getEAnnotation, getEAnnotations, isFrozen, setFrozen
eBasicSetContainer, eInternalContainer
dynamicGet, dynamicSet, dynamicUnset, eAdapters, eBasicAdapterArray, eBasicAdapterListeners, eBasicAdapters, eBasicHasAdapters, eBasicProperties, eBasicSetAdapterArray, eBasicSetAdapterListeners, eBasicSetContainer, eBasicSetContainerFeatureID, eBasicSetSettings, eBasicSettings, eClass, eContainerFeatureID, eContents, eCrossReferences, eDeliver, eDirectResource, eDynamicClass, eHasSettings, eIsProxy, eProperties, eProxyURI, eSetClass, eSetDeliver, eSetProxyURI, eSettings
eAddVirtualValue, eAllContents, eBaseStructuralFeatureID, eBasicRemoveFromContainer, eBasicRemoveFromContainerFeature, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedOperationID, eDerivedOperationID, eDerivedStructuralFeatureID, eDerivedStructuralFeatureID, eDynamicBasicRemoveFromContainer, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eInternalResource, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eIsSet, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetResource, eSetStore, eSetting, eSettingDelegate, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStaticOperationCount, eStore, eUnset, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues, toString
eNotificationRequired, eNotify
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
convertToString, createFromString, getEPackage, setEPackage
getEAnnotation, getEAnnotations
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
public static TermsFactory init()
public org.eclipse.emf.ecore.EObject create(org.eclipse.emf.ecore.EClass eClass)
create
in interface org.eclipse.emf.ecore.EFactory
create
in class org.eclipse.emf.ecore.impl.EFactoryImpl
public Declarations createDeclarations()
createDeclarations
in interface TermsFactory
public MultisetSort createMultisetSort()
createMultisetSort
in interface TermsFactory
public VariableDecl createVariableDecl()
createVariableDecl
in interface TermsFactory
public Variable createVariable()
createVariable
in interface TermsFactory
public ProductSort createProductSort()
createProductSort
in interface TermsFactory
public Tuple createTuple()
createTuple
in interface TermsFactory
public NamedSort createNamedSort()
createNamedSort
in interface TermsFactory
public UserSort createUserSort()
createUserSort
in interface TermsFactory
public NamedOperator createNamedOperator()
createNamedOperator
in interface TermsFactory
public UserOperator createUserOperator()
createUserOperator
in interface TermsFactory
public TermsPackage getTermsPackage()
getTermsPackage
in interface TermsFactory
@Deprecated public static TermsPackage getPackage()
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.