public class TermsPackageImpl extends org.eclipse.emf.ecore.impl.EPackageImpl implements TermsPackage
org.eclipse.emf.ecore.impl.EPackageImpl.EBasicWhiteList
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
TermsPackage.Literals
eClassifiers, ecoreFactory, ecorePackage, eFactoryInstance, eNameToEClassifierMap, ePackageExtendedMetaData, eSubpackages, IS_ABSTRACT, IS_CHANGEABLE, IS_COMPOSITE, IS_DERIVED, IS_GENERATED_INSTANCE_CLASS, IS_ID, IS_INTERFACE, IS_ORDERED, IS_RESOLVABLE, IS_RESOLVE_PROXIES, IS_SERIALIZABLE, IS_TRANSIENT, IS_UNIQUE, IS_UNSETTABLE, IS_VOLATILE, NS_PREFIX_EDEFAULT, NS_URI_EDEFAULT, nsPrefix, nsURI
eAnnotations, eFlags, EFROZEN, ELAST_EMODEL_ELEMENT_FLAG
EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET
BUILT_IN_CONSTANT, BUILT_IN_CONSTANT__CONTAINER_CONDITION, BUILT_IN_CONSTANT__CONTAINER_HL_ANNOTATION, BUILT_IN_CONSTANT__CONTAINER_HL_MARKING, BUILT_IN_CONSTANT__CONTAINER_NAMED_OPERATOR, BUILT_IN_CONSTANT__CONTAINER_OPERATOR, BUILT_IN_CONSTANT__CONTAINER_PARTITION_ELEMENT, BUILT_IN_CONSTANT__INPUT, BUILT_IN_CONSTANT__OUTPUT, BUILT_IN_CONSTANT__SORT, BUILT_IN_CONSTANT__SUBTERM, BUILT_IN_CONSTANT_FEATURE_COUNT, BUILT_IN_OPERATOR, BUILT_IN_OPERATOR__CONTAINER_CONDITION, BUILT_IN_OPERATOR__CONTAINER_HL_ANNOTATION, BUILT_IN_OPERATOR__CONTAINER_HL_MARKING, BUILT_IN_OPERATOR__CONTAINER_NAMED_OPERATOR, BUILT_IN_OPERATOR__CONTAINER_OPERATOR, BUILT_IN_OPERATOR__CONTAINER_PARTITION_ELEMENT, BUILT_IN_OPERATOR__INPUT, BUILT_IN_OPERATOR__OUTPUT, BUILT_IN_OPERATOR__SORT, BUILT_IN_OPERATOR__SUBTERM, BUILT_IN_OPERATOR_FEATURE_COUNT, BUILT_IN_SORT, BUILT_IN_SORT__CONTAINER_ALL, BUILT_IN_SORT__CONTAINER_EMPTY, BUILT_IN_SORT__CONTAINER_EMPTY_LIST, BUILT_IN_SORT__CONTAINER_LIST, BUILT_IN_SORT__CONTAINER_MAKE_LIST, BUILT_IN_SORT__CONTAINER_NAMED_SORT, BUILT_IN_SORT__CONTAINER_PARTITION, BUILT_IN_SORT__CONTAINER_PRODUCT_SORT, BUILT_IN_SORT__CONTAINER_TYPE, BUILT_IN_SORT__CONTAINER_VARIABLE_DECL, BUILT_IN_SORT__MULTI, BUILT_IN_SORT_FEATURE_COUNT, DECLARATIONS, DECLARATIONS__CONTAINER_DECLARATION, DECLARATIONS__DECLARATION, DECLARATIONS_FEATURE_COUNT, eINSTANCE, eNAME, eNS_PREFIX, eNS_URI, MULTISET_OPERATOR, MULTISET_OPERATOR__CONTAINER_CONDITION, MULTISET_OPERATOR__CONTAINER_HL_ANNOTATION, MULTISET_OPERATOR__CONTAINER_HL_MARKING, MULTISET_OPERATOR__CONTAINER_NAMED_OPERATOR, MULTISET_OPERATOR__CONTAINER_OPERATOR, MULTISET_OPERATOR__CONTAINER_PARTITION_ELEMENT, MULTISET_OPERATOR__INPUT, MULTISET_OPERATOR__OUTPUT, MULTISET_OPERATOR__SORT, MULTISET_OPERATOR__SUBTERM, MULTISET_OPERATOR_FEATURE_COUNT, MULTISET_SORT, MULTISET_SORT__BASIS, MULTISET_SORT__CONTAINER_ALL, MULTISET_SORT__CONTAINER_EMPTY, MULTISET_SORT__CONTAINER_EMPTY_LIST, MULTISET_SORT__CONTAINER_LIST, MULTISET_SORT__CONTAINER_MAKE_LIST, MULTISET_SORT__CONTAINER_NAMED_SORT, MULTISET_SORT__CONTAINER_PARTITION, MULTISET_SORT__CONTAINER_PRODUCT_SORT, MULTISET_SORT__CONTAINER_TYPE, MULTISET_SORT__CONTAINER_VARIABLE_DECL, MULTISET_SORT__MULTI, MULTISET_SORT_FEATURE_COUNT, NAMED_OPERATOR, NAMED_OPERATOR__CONTAINER_DECLARATIONS, NAMED_OPERATOR__DEF, NAMED_OPERATOR__ID, NAMED_OPERATOR__NAME, NAMED_OPERATOR__PARAMETERS, NAMED_OPERATOR_FEATURE_COUNT, NAMED_SORT, NAMED_SORT__CONTAINER_DECLARATIONS, NAMED_SORT__ID, NAMED_SORT__NAME, NAMED_SORT__SORTDEF, NAMED_SORT_FEATURE_COUNT, OPERATOR, OPERATOR__CONTAINER_CONDITION, OPERATOR__CONTAINER_HL_ANNOTATION, OPERATOR__CONTAINER_HL_MARKING, OPERATOR__CONTAINER_NAMED_OPERATOR, OPERATOR__CONTAINER_OPERATOR, OPERATOR__CONTAINER_PARTITION_ELEMENT, OPERATOR__INPUT, OPERATOR__OUTPUT, OPERATOR__SORT, OPERATOR__SUBTERM, OPERATOR_DECL, OPERATOR_DECL__CONTAINER_DECLARATIONS, OPERATOR_DECL__ID, OPERATOR_DECL__NAME, OPERATOR_DECL_FEATURE_COUNT, OPERATOR_FEATURE_COUNT, PRODUCT_SORT, PRODUCT_SORT__CONTAINER_ALL, PRODUCT_SORT__CONTAINER_EMPTY, PRODUCT_SORT__CONTAINER_EMPTY_LIST, PRODUCT_SORT__CONTAINER_LIST, PRODUCT_SORT__CONTAINER_MAKE_LIST, PRODUCT_SORT__CONTAINER_NAMED_SORT, PRODUCT_SORT__CONTAINER_PARTITION, PRODUCT_SORT__CONTAINER_PRODUCT_SORT, PRODUCT_SORT__CONTAINER_TYPE, PRODUCT_SORT__CONTAINER_VARIABLE_DECL, PRODUCT_SORT__ELEMENT_SORT, PRODUCT_SORT__MULTI, PRODUCT_SORT_FEATURE_COUNT, SORT, SORT__CONTAINER_ALL, SORT__CONTAINER_EMPTY, SORT__CONTAINER_EMPTY_LIST, SORT__CONTAINER_LIST, SORT__CONTAINER_MAKE_LIST, SORT__CONTAINER_NAMED_SORT, SORT__CONTAINER_PARTITION, SORT__CONTAINER_PRODUCT_SORT, SORT__CONTAINER_TYPE, SORT__CONTAINER_VARIABLE_DECL, SORT__MULTI, SORT_DECL, SORT_DECL__CONTAINER_DECLARATIONS, SORT_DECL__ID, SORT_DECL__NAME, SORT_DECL_FEATURE_COUNT, SORT_FEATURE_COUNT, TERM, TERM__CONTAINER_CONDITION, TERM__CONTAINER_HL_ANNOTATION, TERM__CONTAINER_HL_MARKING, TERM__CONTAINER_NAMED_OPERATOR, TERM__CONTAINER_OPERATOR, TERM__CONTAINER_PARTITION_ELEMENT, TERM__SORT, TERM_FEATURE_COUNT, TERMS_DECLARATION, TERMS_DECLARATION__CONTAINER_DECLARATIONS, TERMS_DECLARATION__ID, TERMS_DECLARATION__NAME, TERMS_DECLARATION_FEATURE_COUNT, TUPLE, TUPLE__CONTAINER_CONDITION, TUPLE__CONTAINER_HL_ANNOTATION, TUPLE__CONTAINER_HL_MARKING, TUPLE__CONTAINER_NAMED_OPERATOR, TUPLE__CONTAINER_OPERATOR, TUPLE__CONTAINER_PARTITION_ELEMENT, TUPLE__INPUT, TUPLE__OUTPUT, TUPLE__SORT, TUPLE__SUBTERM, TUPLE_FEATURE_COUNT, USER_OPERATOR, USER_OPERATOR__CONTAINER_CONDITION, USER_OPERATOR__CONTAINER_HL_ANNOTATION, USER_OPERATOR__CONTAINER_HL_MARKING, USER_OPERATOR__CONTAINER_NAMED_OPERATOR, USER_OPERATOR__CONTAINER_OPERATOR, USER_OPERATOR__CONTAINER_PARTITION_ELEMENT, USER_OPERATOR__DECLARATION, USER_OPERATOR__INPUT, USER_OPERATOR__OUTPUT, USER_OPERATOR__SORT, USER_OPERATOR__SUBTERM, USER_OPERATOR_FEATURE_COUNT, USER_SORT, USER_SORT__CONTAINER_ALL, USER_SORT__CONTAINER_EMPTY, USER_SORT__CONTAINER_EMPTY_LIST, USER_SORT__CONTAINER_LIST, USER_SORT__CONTAINER_MAKE_LIST, USER_SORT__CONTAINER_NAMED_SORT, USER_SORT__CONTAINER_PARTITION, USER_SORT__CONTAINER_PRODUCT_SORT, USER_SORT__CONTAINER_TYPE, USER_SORT__CONTAINER_VARIABLE_DECL, USER_SORT__DECLARATION, USER_SORT__MULTI, USER_SORT_FEATURE_COUNT, VARIABLE, VARIABLE__CONTAINER_CONDITION, VARIABLE__CONTAINER_HL_ANNOTATION, VARIABLE__CONTAINER_HL_MARKING, VARIABLE__CONTAINER_NAMED_OPERATOR, VARIABLE__CONTAINER_OPERATOR, VARIABLE__CONTAINER_PARTITION_ELEMENT, VARIABLE__SORT, VARIABLE__VARIABLE_DECL, VARIABLE_DECL, VARIABLE_DECL__CONTAINER_DECLARATIONS, VARIABLE_DECL__CONTAINER_NAMED_OPERATOR, VARIABLE_DECL__ID, VARIABLE_DECL__NAME, VARIABLE_DECL__SORT, VARIABLE_DECL_FEATURE_COUNT, VARIABLE_FEATURE_COUNT
Modifier and Type | Method and Description |
---|---|
protected void |
createEcoreAnnotations()
Initializes the annotations for http://www.eclipse.org/emf/2002/Ecore
|
protected void |
createHLAPIAnnotations()
Initializes the annotations for http://www.pnml.org/models/HLAPI
|
protected void |
createOCLAnnotations()
Initializes the annotations for http://www.pnml.org/models/OCL
|
void |
createPackageContents()
Creates the meta-model objects for the package.
|
protected void |
createSORTAnnotations()
Initializes the annotations for http://www.pnml.org/models/methods/SORT
|
protected void |
createToPNMLAnnotations()
Initializes the annotations for http://www.pnml.org/models/ToPNML
|
org.eclipse.emf.ecore.EClass |
getBuiltInConstant() |
org.eclipse.emf.ecore.EClass |
getBuiltInOperator() |
org.eclipse.emf.ecore.EClass |
getBuiltInSort() |
org.eclipse.emf.ecore.EReference |
getDeclarations_ContainerDeclaration() |
org.eclipse.emf.ecore.EReference |
getDeclarations_Declaration() |
org.eclipse.emf.ecore.EClass |
getDeclarations() |
org.eclipse.emf.ecore.EClass |
getMultisetOperator() |
org.eclipse.emf.ecore.EReference |
getMultisetSort_Basis() |
org.eclipse.emf.ecore.EClass |
getMultisetSort() |
org.eclipse.emf.ecore.EReference |
getNamedOperator_Def() |
org.eclipse.emf.ecore.EReference |
getNamedOperator_Parameters() |
org.eclipse.emf.ecore.EClass |
getNamedOperator() |
org.eclipse.emf.ecore.EReference |
getNamedSort_Sortdef() |
org.eclipse.emf.ecore.EClass |
getNamedSort() |
org.eclipse.emf.ecore.EReference |
getOperator_Input() |
org.eclipse.emf.ecore.EReference |
getOperator_Output() |
org.eclipse.emf.ecore.EReference |
getOperator_Subterm() |
org.eclipse.emf.ecore.EClass |
getOperator() |
org.eclipse.emf.ecore.EClass |
getOperatorDecl() |
org.eclipse.emf.ecore.EReference |
getProductSort_ElementSort() |
org.eclipse.emf.ecore.EClass |
getProductSort() |
org.eclipse.emf.ecore.EReference |
getSort_ContainerAll() |
org.eclipse.emf.ecore.EReference |
getSort_ContainerEmpty() |
org.eclipse.emf.ecore.EReference |
getSort_ContainerEmptyList() |
org.eclipse.emf.ecore.EReference |
getSort_ContainerList() |
org.eclipse.emf.ecore.EReference |
getSort_ContainerMakeList() |
org.eclipse.emf.ecore.EReference |
getSort_ContainerNamedSort() |
org.eclipse.emf.ecore.EReference |
getSort_ContainerPartition() |
org.eclipse.emf.ecore.EReference |
getSort_ContainerProductSort() |
org.eclipse.emf.ecore.EReference |
getSort_ContainerType() |
org.eclipse.emf.ecore.EReference |
getSort_ContainerVariableDecl() |
org.eclipse.emf.ecore.EReference |
getSort_Multi() |
org.eclipse.emf.ecore.EClass |
getSort() |
org.eclipse.emf.ecore.EClass |
getSortDecl() |
org.eclipse.emf.ecore.EReference |
getTerm_ContainerCondition() |
org.eclipse.emf.ecore.EReference |
getTerm_ContainerHLAnnotation() |
org.eclipse.emf.ecore.EReference |
getTerm_ContainerHLMarking() |
org.eclipse.emf.ecore.EReference |
getTerm_ContainerNamedOperator() |
org.eclipse.emf.ecore.EReference |
getTerm_ContainerOperator() |
org.eclipse.emf.ecore.EReference |
getTerm_ContainerPartitionElement() |
org.eclipse.emf.ecore.EReference |
getTerm_Sort() |
org.eclipse.emf.ecore.EClass |
getTerm() |
org.eclipse.emf.ecore.EReference |
getTermsDeclaration_ContainerDeclarations() |
org.eclipse.emf.ecore.EAttribute |
getTermsDeclaration_Id() |
org.eclipse.emf.ecore.EAttribute |
getTermsDeclaration_Name() |
org.eclipse.emf.ecore.EClass |
getTermsDeclaration() |
TermsFactory |
getTermsFactory() |
org.eclipse.emf.ecore.EClass |
getTuple() |
org.eclipse.emf.ecore.EReference |
getUserOperator_Declaration() |
org.eclipse.emf.ecore.EClass |
getUserOperator() |
org.eclipse.emf.ecore.EReference |
getUserSort_Declaration() |
org.eclipse.emf.ecore.EClass |
getUserSort() |
org.eclipse.emf.ecore.EReference |
getVariable_VariableDecl() |
org.eclipse.emf.ecore.EClass |
getVariable() |
org.eclipse.emf.ecore.EReference |
getVariableDecl_ContainerNamedOperator() |
org.eclipse.emf.ecore.EReference |
getVariableDecl_Sort() |
org.eclipse.emf.ecore.EClass |
getVariableDecl() |
static TermsPackage |
init()
Creates, registers, and initializes the Package for this model, and for any others upon which it depends.
|
void |
initializePackageContents()
Complete the initialization of the package and its meta-model.
|
addAnnotation, addAnnotation, addAnnotation, addAnnotation, addAnnotation, addAnnotation, addEEnumLiteral, addEException, addEException, addEOperation, addEOperation, addEOperation, addEParameter, addEParameter, addEParameter, addEParameter, addEParameter, addETypeParameter, addETypeParameter, basicGetESuperPackage, basicSetEFactoryInstance, createEAttribute, createEClass, createEDataType, createEEnum, createEGenericType, createEGenericType, createEGenericType, createEOperation, createEReference, createResource, eBasicRemoveFromContainerFeature, eGet, eInverseAdd, eInverseRemove, eInvoke, eIsSet, eObjectForURIFragmentSegment, eSet, eSetProxyURI, eStaticClass, eUnset, fixEClassifiers, fixEEnumLiterals, fixEOperations, fixEStructuralFeatures, fixInstanceClass, freeze, getEClassifier, getEClassifierGen, getEClassifiers, getEFactoryInstance, getESubpackages, getESuperPackage, getExtendedMetaData, getNsPrefix, getNsURI, initEAttribute, initEAttribute, initEAttribute, initEAttribute, initEAttribute, initEAttribute, initEAttribute, initEClass, initEClass, initEClass, initEDataType, initEDataType, initEDataType, initEEnum, initEOperation, initEOperation, initEOperation, initEOperation, initEReference, initEReference, initEReference, initEReference, initEReference, initEReference, initEReference, initializeFromLoadedEPackage, setEFactoryInstance, setExtendedMetaData, setGeneratedClassName, setInstanceTypeName, setNamespaceURI, setNsPrefix, setNsURI, toString
eContents, eCrossReferences, getName, getNameGen, setName
eSetDirectResource, eURIFragmentSegment, freeze, getEAnnotation, getEAnnotations, isFrozen, setFrozen
eBasicSetContainer, eInternalContainer
dynamicGet, dynamicSet, dynamicUnset, eAdapters, eBasicAdapterArray, eBasicAdapterListeners, eBasicAdapters, eBasicHasAdapters, eBasicProperties, eBasicSetAdapterArray, eBasicSetAdapterListeners, eBasicSetContainer, eBasicSetContainerFeatureID, eBasicSetSettings, eBasicSettings, eClass, eContainerFeatureID, eDeliver, eDirectResource, eDynamicClass, eHasSettings, eIsProxy, eProperties, eProxyURI, eSetClass, eSetDeliver, eSettings
eAddVirtualValue, eAllContents, eBaseStructuralFeatureID, eBasicRemoveFromContainer, 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
eNotificationRequired, eNotify
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getEClassifier, getEClassifiers, getEFactoryInstance, getESubpackages, getESuperPackage, getNsPrefix, getNsURI, setEFactoryInstance, setNsPrefix, setNsURI
getEAnnotation, getEAnnotations
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
public static TermsPackage init()
This method is used to initialize TermsPackage.eINSTANCE
when that field is accessed.
Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
public org.eclipse.emf.ecore.EClass getDeclarations()
getDeclarations
in interface TermsPackage
Declarations
public org.eclipse.emf.ecore.EReference getDeclarations_Declaration()
getDeclarations_Declaration
in interface TermsPackage
Declarations.getDeclaration()
,
TermsPackage.getDeclarations()
public org.eclipse.emf.ecore.EReference getDeclarations_ContainerDeclaration()
getDeclarations_ContainerDeclaration
in interface TermsPackage
Declarations.getContainerDeclaration()
,
TermsPackage.getDeclarations()
public org.eclipse.emf.ecore.EClass getTermsDeclaration()
getTermsDeclaration
in interface TermsPackage
TermsDeclaration
public org.eclipse.emf.ecore.EAttribute getTermsDeclaration_Id()
getTermsDeclaration_Id
in interface TermsPackage
TermsDeclaration.getId()
,
TermsPackage.getTermsDeclaration()
public org.eclipse.emf.ecore.EAttribute getTermsDeclaration_Name()
getTermsDeclaration_Name
in interface TermsPackage
TermsDeclaration.getName()
,
TermsPackage.getTermsDeclaration()
public org.eclipse.emf.ecore.EReference getTermsDeclaration_ContainerDeclarations()
getTermsDeclaration_ContainerDeclarations
in interface TermsPackage
TermsDeclaration.getContainerDeclarations()
,
TermsPackage.getTermsDeclaration()
public org.eclipse.emf.ecore.EClass getSort()
getSort
in interface TermsPackage
Sort
public org.eclipse.emf.ecore.EReference getSort_Multi()
getSort_Multi
in interface TermsPackage
Sort.getMulti()
,
TermsPackage.getSort()
public org.eclipse.emf.ecore.EReference getSort_ContainerNamedSort()
getSort_ContainerNamedSort
in interface TermsPackage
Sort.getContainerNamedSort()
,
TermsPackage.getSort()
public org.eclipse.emf.ecore.EReference getSort_ContainerVariableDecl()
getSort_ContainerVariableDecl
in interface TermsPackage
Sort.getContainerVariableDecl()
,
TermsPackage.getSort()
public org.eclipse.emf.ecore.EReference getSort_ContainerProductSort()
getSort_ContainerProductSort
in interface TermsPackage
Sort.getContainerProductSort()
,
TermsPackage.getSort()
public org.eclipse.emf.ecore.EReference getSort_ContainerType()
getSort_ContainerType
in interface TermsPackage
Sort.getContainerType()
,
TermsPackage.getSort()
public org.eclipse.emf.ecore.EReference getSort_ContainerAll()
getSort_ContainerAll
in interface TermsPackage
Sort.getContainerAll()
,
TermsPackage.getSort()
public org.eclipse.emf.ecore.EReference getSort_ContainerEmpty()
getSort_ContainerEmpty
in interface TermsPackage
Sort.getContainerEmpty()
,
TermsPackage.getSort()
public org.eclipse.emf.ecore.EReference getSort_ContainerPartition()
getSort_ContainerPartition
in interface TermsPackage
Sort.getContainerPartition()
,
TermsPackage.getSort()
public org.eclipse.emf.ecore.EReference getSort_ContainerList()
getSort_ContainerList
in interface TermsPackage
Sort.getContainerList()
,
TermsPackage.getSort()
public org.eclipse.emf.ecore.EReference getSort_ContainerEmptyList()
getSort_ContainerEmptyList
in interface TermsPackage
Sort.getContainerEmptyList()
,
TermsPackage.getSort()
public org.eclipse.emf.ecore.EReference getSort_ContainerMakeList()
getSort_ContainerMakeList
in interface TermsPackage
Sort.getContainerMakeList()
,
TermsPackage.getSort()
public org.eclipse.emf.ecore.EClass getMultisetSort()
getMultisetSort
in interface TermsPackage
MultisetSort
public org.eclipse.emf.ecore.EReference getMultisetSort_Basis()
getMultisetSort_Basis
in interface TermsPackage
MultisetSort.getBasis()
,
TermsPackage.getMultisetSort()
public org.eclipse.emf.ecore.EClass getTerm()
getTerm
in interface TermsPackage
Term
public org.eclipse.emf.ecore.EReference getTerm_Sort()
getTerm_Sort
in interface TermsPackage
Term.getSort()
,
TermsPackage.getTerm()
public org.eclipse.emf.ecore.EReference getTerm_ContainerOperator()
getTerm_ContainerOperator
in interface TermsPackage
Term.getContainerOperator()
,
TermsPackage.getTerm()
public org.eclipse.emf.ecore.EReference getTerm_ContainerNamedOperator()
getTerm_ContainerNamedOperator
in interface TermsPackage
Term.getContainerNamedOperator()
,
TermsPackage.getTerm()
public org.eclipse.emf.ecore.EReference getTerm_ContainerHLMarking()
getTerm_ContainerHLMarking
in interface TermsPackage
Term.getContainerHLMarking()
,
TermsPackage.getTerm()
public org.eclipse.emf.ecore.EReference getTerm_ContainerCondition()
getTerm_ContainerCondition
in interface TermsPackage
Term.getContainerCondition()
,
TermsPackage.getTerm()
public org.eclipse.emf.ecore.EReference getTerm_ContainerHLAnnotation()
getTerm_ContainerHLAnnotation
in interface TermsPackage
Term.getContainerHLAnnotation()
,
TermsPackage.getTerm()
public org.eclipse.emf.ecore.EReference getTerm_ContainerPartitionElement()
getTerm_ContainerPartitionElement
in interface TermsPackage
Term.getContainerPartitionElement()
,
TermsPackage.getTerm()
public org.eclipse.emf.ecore.EClass getOperator()
getOperator
in interface TermsPackage
Operator
public org.eclipse.emf.ecore.EReference getOperator_Subterm()
getOperator_Subterm
in interface TermsPackage
Operator.getSubterm()
,
TermsPackage.getOperator()
public org.eclipse.emf.ecore.EReference getOperator_Output()
getOperator_Output
in interface TermsPackage
Operator.getOutput()
,
TermsPackage.getOperator()
public org.eclipse.emf.ecore.EReference getOperator_Input()
getOperator_Input
in interface TermsPackage
Operator.getInput()
,
TermsPackage.getOperator()
public org.eclipse.emf.ecore.EClass getVariableDecl()
getVariableDecl
in interface TermsPackage
VariableDecl
public org.eclipse.emf.ecore.EReference getVariableDecl_Sort()
getVariableDecl_Sort
in interface TermsPackage
VariableDecl.getSort()
,
TermsPackage.getVariableDecl()
public org.eclipse.emf.ecore.EReference getVariableDecl_ContainerNamedOperator()
getVariableDecl_ContainerNamedOperator
in interface TermsPackage
VariableDecl.getContainerNamedOperator()
,
TermsPackage.getVariableDecl()
public org.eclipse.emf.ecore.EClass getVariable()
getVariable
in interface TermsPackage
Variable
public org.eclipse.emf.ecore.EReference getVariable_VariableDecl()
getVariable_VariableDecl
in interface TermsPackage
Variable.getVariableDecl()
,
TermsPackage.getVariable()
public org.eclipse.emf.ecore.EClass getBuiltInSort()
getBuiltInSort
in interface TermsPackage
BuiltInSort
public org.eclipse.emf.ecore.EClass getProductSort()
getProductSort
in interface TermsPackage
ProductSort
public org.eclipse.emf.ecore.EReference getProductSort_ElementSort()
getProductSort_ElementSort
in interface TermsPackage
ProductSort.getElementSort()
,
TermsPackage.getProductSort()
public org.eclipse.emf.ecore.EClass getBuiltInConstant()
getBuiltInConstant
in interface TermsPackage
BuiltInConstant
public org.eclipse.emf.ecore.EClass getMultisetOperator()
getMultisetOperator
in interface TermsPackage
MultisetOperator
public org.eclipse.emf.ecore.EClass getTuple()
getTuple
in interface TermsPackage
Tuple
public org.eclipse.emf.ecore.EClass getSortDecl()
getSortDecl
in interface TermsPackage
SortDecl
public org.eclipse.emf.ecore.EClass getBuiltInOperator()
getBuiltInOperator
in interface TermsPackage
BuiltInOperator
public org.eclipse.emf.ecore.EClass getNamedSort()
getNamedSort
in interface TermsPackage
NamedSort
public org.eclipse.emf.ecore.EReference getNamedSort_Sortdef()
getNamedSort_Sortdef
in interface TermsPackage
NamedSort.getSortdef()
,
TermsPackage.getNamedSort()
public org.eclipse.emf.ecore.EClass getUserSort()
getUserSort
in interface TermsPackage
UserSort
public org.eclipse.emf.ecore.EReference getUserSort_Declaration()
getUserSort_Declaration
in interface TermsPackage
UserSort.getDeclaration()
,
TermsPackage.getUserSort()
public org.eclipse.emf.ecore.EClass getOperatorDecl()
getOperatorDecl
in interface TermsPackage
OperatorDecl
public org.eclipse.emf.ecore.EClass getNamedOperator()
getNamedOperator
in interface TermsPackage
NamedOperator
public org.eclipse.emf.ecore.EReference getNamedOperator_Def()
getNamedOperator_Def
in interface TermsPackage
NamedOperator.getDef()
,
TermsPackage.getNamedOperator()
public org.eclipse.emf.ecore.EReference getNamedOperator_Parameters()
getNamedOperator_Parameters
in interface TermsPackage
NamedOperator.getParameters()
,
TermsPackage.getNamedOperator()
public org.eclipse.emf.ecore.EClass getUserOperator()
getUserOperator
in interface TermsPackage
UserOperator
public org.eclipse.emf.ecore.EReference getUserOperator_Declaration()
getUserOperator_Declaration
in interface TermsPackage
UserOperator.getDeclaration()
,
TermsPackage.getUserOperator()
public TermsFactory getTermsFactory()
getTermsFactory
in interface TermsPackage
public void createPackageContents()
public void initializePackageContents()
protected void createToPNMLAnnotations()
protected void createHLAPIAnnotations()
protected void createSORTAnnotations()
protected void createOCLAnnotations()
protected void createEcoreAnnotations()
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.