Class ProblemPackageImpl
java.lang.Object
org.eclipse.emf.common.notify.impl.BasicNotifierImpl
org.eclipse.emf.ecore.impl.BasicEObjectImpl
org.eclipse.emf.ecore.impl.MinimalEObjectImpl
org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
org.eclipse.emf.ecore.impl.EModelElementImpl
org.eclipse.emf.ecore.impl.ENamedElementImpl
org.eclipse.emf.ecore.impl.EPackageImpl
tools.refinery.language.model.problem.impl.ProblemPackageImpl
- All Implemented Interfaces:
org.eclipse.emf.common.notify.Notifier
,org.eclipse.emf.ecore.EModelElement
,org.eclipse.emf.ecore.ENamedElement
,org.eclipse.emf.ecore.EObject
,org.eclipse.emf.ecore.EPackage
,org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder
,org.eclipse.emf.ecore.InternalEObject
,org.eclipse.emf.ecore.util.BasicExtendedMetaData.EPackageExtendedMetaData.Holder
,ProblemPackage
public class ProblemPackageImpl
extends org.eclipse.emf.ecore.impl.EPackageImpl
implements ProblemPackage
An implementation of the model Package.
-
Nested Class Summary
Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.EPackageImpl
org.eclipse.emf.ecore.impl.EPackageImpl.EBasicWhiteList
Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container.Dynamic
Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl
org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl
Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl
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, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EScannableAdapterList
Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EPackage
org.eclipse.emf.ecore.EPackage.Descriptor, org.eclipse.emf.ecore.EPackage.Registry
Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject
org.eclipse.emf.ecore.InternalEObject.EStore
Nested classes/interfaces inherited from interface tools.refinery.language.model.problem.ProblemPackage
ProblemPackage.Literals
-
Field Summary
Fields inherited from class org.eclipse.emf.ecore.impl.EPackageImpl
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
Fields inherited from class org.eclipse.emf.ecore.impl.ENamedElementImpl
name, NAME_EDEFAULT
Fields inherited from class org.eclipse.emf.ecore.impl.EModelElementImpl
eAnnotations, eFlags, EFROZEN, ELAST_EMODEL_ELEMENT_FLAG
Fields inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
eContainer
Fields inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET
Fields inherited from interface org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder
NIL
Fields inherited from interface org.eclipse.emf.ecore.InternalEObject
EOPPOSITE_FEATURE_BASE
Fields inherited from interface tools.refinery.language.model.problem.ProblemPackage
ABSTRACT_ASSERTION, ABSTRACT_ASSERTION__ARGUMENTS, ABSTRACT_ASSERTION__RELATION, ABSTRACT_ASSERTION__VALUE, ABSTRACT_ASSERTION_FEATURE_COUNT, ABSTRACT_ASSERTION_OPERATION_COUNT, ACTION, ACTION_FEATURE_COUNT, ACTION_OPERATION_COUNT, AGGREGATION_EXPR, AGGREGATION_EXPR__AGGREGATOR, AGGREGATION_EXPR__CONDITION, AGGREGATION_EXPR__IMPLICIT_VARIABLES, AGGREGATION_EXPR__VALUE, AGGREGATION_EXPR_FEATURE_COUNT, AGGREGATION_EXPR_OPERATION_COUNT, AGGREGATOR_DECLARATION, AGGREGATOR_DECLARATION__NAME, AGGREGATOR_DECLARATION_FEATURE_COUNT, AGGREGATOR_DECLARATION_OPERATION_COUNT, ARITHMETIC_BINARY_EXPR, ARITHMETIC_BINARY_EXPR__LEFT, ARITHMETIC_BINARY_EXPR__OP, ARITHMETIC_BINARY_EXPR__RIGHT, ARITHMETIC_BINARY_EXPR_FEATURE_COUNT, ARITHMETIC_BINARY_EXPR_OPERATION_COUNT, ARITHMETIC_UNARY_EXPR, ARITHMETIC_UNARY_EXPR__BODY, ARITHMETIC_UNARY_EXPR__OP, ARITHMETIC_UNARY_EXPR_FEATURE_COUNT, ARITHMETIC_UNARY_EXPR_OPERATION_COUNT, ASSERTION, ASSERTION__ARGUMENTS, ASSERTION__DEFAULT, ASSERTION__RELATION, ASSERTION__VALUE, ASSERTION_ACTION, ASSERTION_ACTION__ARGUMENTS, ASSERTION_ACTION__RELATION, ASSERTION_ACTION__VALUE, ASSERTION_ACTION_FEATURE_COUNT, ASSERTION_ACTION_OPERATION_COUNT, ASSERTION_ARGUMENT, ASSERTION_ARGUMENT_FEATURE_COUNT, ASSERTION_ARGUMENT_OPERATION_COUNT, ASSERTION_FEATURE_COUNT, ASSERTION_OPERATION_COUNT, ASSIGNMENT_EXPR, ASSIGNMENT_EXPR__LEFT, ASSIGNMENT_EXPR__RIGHT, ASSIGNMENT_EXPR_FEATURE_COUNT, ASSIGNMENT_EXPR_OPERATION_COUNT, ATOM, ATOM__ARGUMENTS, ATOM__RELATION, ATOM__TRANSITIVE_CLOSURE, ATOM_FEATURE_COUNT, ATOM_OPERATION_COUNT, BINARY_EXPR, BINARY_EXPR__LEFT, BINARY_EXPR__RIGHT, BINARY_EXPR_FEATURE_COUNT, BINARY_EXPR_OPERATION_COUNT, BINARY_OP, CASE, CASE_FEATURE_COUNT, CASE_OPERATION_COUNT, CAST_EXPR, CAST_EXPR__BODY, CAST_EXPR__TARGET_TYPE, CAST_EXPR_FEATURE_COUNT, CAST_EXPR_OPERATION_COUNT, CLASS_DECLARATION, CLASS_DECLARATION__ABSTRACT, CLASS_DECLARATION__FEATURE_DECLARATIONS, CLASS_DECLARATION__NAME, CLASS_DECLARATION__NEW_NODE, CLASS_DECLARATION__SUPER_TYPES, CLASS_DECLARATION_FEATURE_COUNT, CLASS_DECLARATION_OPERATION_COUNT, COMPARISON_EXPR, COMPARISON_EXPR__LEFT, COMPARISON_EXPR__OP, COMPARISON_EXPR__RIGHT, COMPARISON_EXPR_FEATURE_COUNT, COMPARISON_EXPR_OPERATION_COUNT, COMPARISON_OP, CONCRETENESS, CONJUNCTION, CONJUNCTION__IMPLICIT_VARIABLES, CONJUNCTION__LITERALS, CONJUNCTION_FEATURE_COUNT, CONJUNCTION_OPERATION_COUNT, CONSEQUENT, CONSEQUENT__ACTIONS, CONSEQUENT_FEATURE_COUNT, CONSEQUENT_OPERATION_COUNT, CONSTANT, CONSTANT_FEATURE_COUNT, CONSTANT_OPERATION_COUNT, COUNT_EXPR, COUNT_EXPR__BODY, COUNT_EXPR__IMPLICIT_VARIABLES, COUNT_EXPR_FEATURE_COUNT, COUNT_EXPR_OPERATION_COUNT, DATATYPE_DECLARATION, DATATYPE_DECLARATION__NAME, DATATYPE_DECLARATION_FEATURE_COUNT, DATATYPE_DECLARATION_OPERATION_COUNT, eINSTANCE, eNAME, eNS_PREFIX, eNS_URI, ENUM_DECLARATION, ENUM_DECLARATION__LITERALS, ENUM_DECLARATION__NAME, ENUM_DECLARATION_FEATURE_COUNT, ENUM_DECLARATION_OPERATION_COUNT, EXACT_MULTIPLICITY, EXACT_MULTIPLICITY__EXACT_VALUE, EXACT_MULTIPLICITY_FEATURE_COUNT, EXACT_MULTIPLICITY_OPERATION_COUNT, EXISTENTIAL_QUANTIFIER, EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES, EXISTENTIAL_QUANTIFIER_FEATURE_COUNT, EXISTENTIAL_QUANTIFIER_OPERATION_COUNT, EXPR, EXPR_FEATURE_COUNT, EXPR_OPERATION_COUNT, FUNCTION_DEFINITION, FUNCTION_DEFINITION__CASES, FUNCTION_DEFINITION__FUNCTION_TYPE, FUNCTION_DEFINITION__NAME, FUNCTION_DEFINITION__PARAMETERS, FUNCTION_DEFINITION_FEATURE_COUNT, FUNCTION_DEFINITION_OPERATION_COUNT, IMPLICIT_VARIABLE, IMPLICIT_VARIABLE__NAME, IMPLICIT_VARIABLE_FEATURE_COUNT, IMPLICIT_VARIABLE_OPERATION_COUNT, IMPORT_STATEMENT, IMPORT_STATEMENT__ALIAS, IMPORT_STATEMENT__IMPORTED_MODULE, IMPORT_STATEMENT_FEATURE_COUNT, IMPORT_STATEMENT_OPERATION_COUNT, INFINITE_CONSTANT, INFINITE_CONSTANT_FEATURE_COUNT, INFINITE_CONSTANT_OPERATION_COUNT, INT_CONSTANT, INT_CONSTANT__INT_VALUE, INT_CONSTANT_FEATURE_COUNT, INT_CONSTANT_OPERATION_COUNT, LATTICE_BINARY_EXPR, LATTICE_BINARY_EXPR__LEFT, LATTICE_BINARY_EXPR__OP, LATTICE_BINARY_EXPR__RIGHT, LATTICE_BINARY_EXPR_FEATURE_COUNT, LATTICE_BINARY_EXPR_OPERATION_COUNT, LATTICE_BINARY_OP, LOGIC_CONSTANT, LOGIC_CONSTANT__LOGIC_VALUE, LOGIC_CONSTANT_FEATURE_COUNT, LOGIC_CONSTANT_OPERATION_COUNT, LOGIC_VALUE, MATCH, MATCH__CONDITION, MATCH__VALUE, MATCH_FEATURE_COUNT, MATCH_OPERATION_COUNT, MODAL_EXPR, MODAL_EXPR__BODY, MODAL_EXPR__CONCRETENESS, MODAL_EXPR__MODALITY, MODAL_EXPR_FEATURE_COUNT, MODAL_EXPR_OPERATION_COUNT, MODALITY, MODULE_KIND, MULTIPLICITY, MULTIPLICITY_FEATURE_COUNT, MULTIPLICITY_OPERATION_COUNT, NAMED_ELEMENT, NAMED_ELEMENT__NAME, NAMED_ELEMENT_FEATURE_COUNT, NAMED_ELEMENT_OPERATION_COUNT, NEGATION_EXPR, NEGATION_EXPR__BODY, NEGATION_EXPR__IMPLICIT_VARIABLES, NEGATION_EXPR_FEATURE_COUNT, NEGATION_EXPR_OPERATION_COUNT, NODE, NODE__NAME, NODE_ASSERTION_ARGUMENT, NODE_ASSERTION_ARGUMENT__NODE, NODE_ASSERTION_ARGUMENT_FEATURE_COUNT, NODE_ASSERTION_ARGUMENT_OPERATION_COUNT, NODE_DECLARATION, NODE_DECLARATION__KIND, NODE_DECLARATION__NODES, NODE_DECLARATION_FEATURE_COUNT, NODE_DECLARATION_OPERATION_COUNT, NODE_FEATURE_COUNT, NODE_KIND, NODE_OPERATION_COUNT, PARAMETER, PARAMETER__BINDING, PARAMETER__NAME, PARAMETER__PARAMETER_TYPE, PARAMETER_BINDING, PARAMETER_FEATURE_COUNT, PARAMETER_OPERATION_COUNT, PARAMETRIC_DEFINITION, PARAMETRIC_DEFINITION__PARAMETERS, PARAMETRIC_DEFINITION_FEATURE_COUNT, PARAMETRIC_DEFINITION_OPERATION_COUNT, PREDICATE_DEFINITION, PREDICATE_DEFINITION__BODIES, PREDICATE_DEFINITION__COMPUTED_VALUE, PREDICATE_DEFINITION__KIND, PREDICATE_DEFINITION__NAME, PREDICATE_DEFINITION__PARAMETERS, PREDICATE_DEFINITION__SUPER_SETS, PREDICATE_DEFINITION_FEATURE_COUNT, PREDICATE_DEFINITION_OPERATION_COUNT, PREDICATE_KIND, PROBLEM, PROBLEM__EXPLICIT_KIND, PROBLEM__KIND, PROBLEM__NAME, PROBLEM__NODES, PROBLEM__STATEMENTS, PROBLEM_FEATURE_COUNT, PROBLEM_OPERATION_COUNT, QUANTIFIED_UNARY_EXPR, QUANTIFIED_UNARY_EXPR__BODY, QUANTIFIED_UNARY_EXPR__IMPLICIT_VARIABLES, QUANTIFIED_UNARY_EXPR_FEATURE_COUNT, QUANTIFIED_UNARY_EXPR_OPERATION_COUNT, RANGE_EXPR, RANGE_EXPR__LEFT, RANGE_EXPR__RIGHT, RANGE_EXPR_FEATURE_COUNT, RANGE_EXPR_OPERATION_COUNT, RANGE_MULTIPLICITY, RANGE_MULTIPLICITY__LOWER_BOUND, RANGE_MULTIPLICITY__UPPER_BOUND, RANGE_MULTIPLICITY_FEATURE_COUNT, RANGE_MULTIPLICITY_OPERATION_COUNT, REAL_CONSTANT, REAL_CONSTANT__REAL_VALUE, REAL_CONSTANT_FEATURE_COUNT, REAL_CONSTANT_OPERATION_COUNT, REFERENCE_DECLARATION, REFERENCE_DECLARATION__INVALID_MULTIPLICITY, REFERENCE_DECLARATION__KIND, REFERENCE_DECLARATION__MULTIPLICITY, REFERENCE_DECLARATION__NAME, REFERENCE_DECLARATION__OPPOSITE, REFERENCE_DECLARATION__REFERENCE_TYPE, REFERENCE_DECLARATION__SUPER_SETS, REFERENCE_DECLARATION_FEATURE_COUNT, REFERENCE_DECLARATION_OPERATION_COUNT, REFERENCE_KIND, RELATION, RELATION__NAME, RELATION_FEATURE_COUNT, RELATION_OPERATION_COUNT, RULE_DEFINITION, RULE_DEFINITION__CONSEQUENTS, RULE_DEFINITION__KIND, RULE_DEFINITION__NAME, RULE_DEFINITION__PARAMETERS, RULE_DEFINITION__PRECONDITIONS, RULE_DEFINITION_FEATURE_COUNT, RULE_DEFINITION_OPERATION_COUNT, RULE_KIND, SCOPE_DECLARATION, SCOPE_DECLARATION__TYPE_SCOPES, SCOPE_DECLARATION_FEATURE_COUNT, SCOPE_DECLARATION_OPERATION_COUNT, STATEMENT, STATEMENT_FEATURE_COUNT, STATEMENT_OPERATION_COUNT, STRING_CONSTANT, STRING_CONSTANT__STRING_VALUE, STRING_CONSTANT_FEATURE_COUNT, STRING_CONSTANT_OPERATION_COUNT, TYPE_SCOPE, TYPE_SCOPE__INCREMENT, TYPE_SCOPE__MULTIPLICITY, TYPE_SCOPE__TARGET_TYPE, TYPE_SCOPE_FEATURE_COUNT, TYPE_SCOPE_OPERATION_COUNT, UNARY_EXPR, UNARY_EXPR__BODY, UNARY_EXPR_FEATURE_COUNT, UNARY_EXPR_OPERATION_COUNT, UNARY_OP, UNBOUNDED_MULTIPLICITY, UNBOUNDED_MULTIPLICITY_FEATURE_COUNT, UNBOUNDED_MULTIPLICITY_OPERATION_COUNT, VARIABLE, VARIABLE__NAME, VARIABLE_FEATURE_COUNT, VARIABLE_OPERATION_COUNT, VARIABLE_OR_NODE, VARIABLE_OR_NODE__NAME, VARIABLE_OR_NODE_EXPR, VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLE, VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE, VARIABLE_OR_NODE_EXPR_FEATURE_COUNT, VARIABLE_OR_NODE_EXPR_OPERATION_COUNT, VARIABLE_OR_NODE_FEATURE_COUNT, VARIABLE_OR_NODE_OPERATION_COUNT, WILDCARD_ASSERTION_ARGUMENT, WILDCARD_ASSERTION_ARGUMENT_FEATURE_COUNT, WILDCARD_ASSERTION_ARGUMENT_OPERATION_COUNT
-
Method Summary
Modifier and TypeMethodDescriptionvoid
Creates the meta-model objects for the package.org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
getAtom()
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EClass
getCase()
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
getExpr()
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EClass
getMatch()
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
getNode()
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EAttribute
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EEnum
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EClass
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EReference
org.eclipse.emf.ecore.EClass
static ProblemPackage
init()
Creates, registers, and initializes the Package for this model, and for any others upon which it depends.void
Complete the initialization of the package and its meta-model.Methods inherited from class org.eclipse.emf.ecore.impl.EPackageImpl
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, 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, setName, setNamespaceURI, setNsPrefix, setNsURI, toString
Methods inherited from class org.eclipse.emf.ecore.impl.ENamedElementImpl
eContents, eCrossReferences, getName, getNameGen
Methods inherited from class org.eclipse.emf.ecore.impl.EModelElementImpl
eObjectForURIFragmentSegment, eSetDirectResource, eURIFragmentSegment, freeze, getEAnnotation, getEAnnotations, isFrozen, setFrozen
Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
eBasicSetContainer, eInternalContainer
Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl
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
Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
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
Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl
eNotificationRequired, eNotify
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface org.eclipse.emf.ecore.EModelElement
getEAnnotation, getEAnnotations
Methods inherited from interface org.eclipse.emf.ecore.ENamedElement
getName, setName
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.ecore.EPackage
getEClassifier, getEClassifiers, getEFactoryInstance, getESubpackages, getESuperPackage, getNsPrefix, getNsURI, setEFactoryInstance, setNsPrefix, setNsURI
Methods inherited from interface org.eclipse.emf.ecore.InternalEObject
eNotificationRequired
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
-
Method Details
-
init
Creates, registers, and initializes the Package for this model, and for any others upon which it depends.This method is used to initialize
ProblemPackage.eINSTANCE
when that field is accessed. Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.- See Also:
-
getProblem
public org.eclipse.emf.ecore.EClass getProblem()- Specified by:
getProblem
in interfaceProblemPackage
- Returns:
- the meta object for class 'Problem'.
- See Also:
-
getProblem_Nodes
public org.eclipse.emf.ecore.EReference getProblem_Nodes()- Specified by:
getProblem_Nodes
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Nodes'.
- See Also:
-
getProblem_Statements
public org.eclipse.emf.ecore.EReference getProblem_Statements()- Specified by:
getProblem_Statements
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Statements'.
- See Also:
-
getProblem_Kind
public org.eclipse.emf.ecore.EAttribute getProblem_Kind()- Specified by:
getProblem_Kind
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Kind'.
- See Also:
-
getProblem_ExplicitKind
public org.eclipse.emf.ecore.EAttribute getProblem_ExplicitKind()- Specified by:
getProblem_ExplicitKind
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Explicit Kind'.
- See Also:
-
getClassDeclaration
public org.eclipse.emf.ecore.EClass getClassDeclaration()- Specified by:
getClassDeclaration
in interfaceProblemPackage
- Returns:
- the meta object for class 'Class Declaration'.
- See Also:
-
getClassDeclaration_Abstract
public org.eclipse.emf.ecore.EAttribute getClassDeclaration_Abstract()- Specified by:
getClassDeclaration_Abstract
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Abstract'.
- See Also:
-
getClassDeclaration_FeatureDeclarations
public org.eclipse.emf.ecore.EReference getClassDeclaration_FeatureDeclarations()- Specified by:
getClassDeclaration_FeatureDeclarations
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Feature Declarations'.
- See Also:
-
getClassDeclaration_NewNode
public org.eclipse.emf.ecore.EReference getClassDeclaration_NewNode()- Specified by:
getClassDeclaration_NewNode
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'New Node'.
- See Also:
-
getClassDeclaration_SuperTypes
public org.eclipse.emf.ecore.EReference getClassDeclaration_SuperTypes()- Specified by:
getClassDeclaration_SuperTypes
in interfaceProblemPackage
- Returns:
- the meta object for the reference list 'Super Types'.
- See Also:
-
getReferenceDeclaration
public org.eclipse.emf.ecore.EClass getReferenceDeclaration()- Specified by:
getReferenceDeclaration
in interfaceProblemPackage
- Returns:
- the meta object for class 'Reference Declaration'.
- See Also:
-
getReferenceDeclaration_Opposite
public org.eclipse.emf.ecore.EReference getReferenceDeclaration_Opposite()- Specified by:
getReferenceDeclaration_Opposite
in interfaceProblemPackage
- Returns:
- the meta object for the reference 'Opposite'.
- See Also:
-
getReferenceDeclaration_Multiplicity
public org.eclipse.emf.ecore.EReference getReferenceDeclaration_Multiplicity()- Specified by:
getReferenceDeclaration_Multiplicity
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Multiplicity'.
- See Also:
-
getReferenceDeclaration_Kind
public org.eclipse.emf.ecore.EAttribute getReferenceDeclaration_Kind()- Specified by:
getReferenceDeclaration_Kind
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Kind'.
- See Also:
-
getReferenceDeclaration_ReferenceType
public org.eclipse.emf.ecore.EReference getReferenceDeclaration_ReferenceType()- Specified by:
getReferenceDeclaration_ReferenceType
in interfaceProblemPackage
- Returns:
- the meta object for the reference 'Reference Type'.
- See Also:
-
getReferenceDeclaration_InvalidMultiplicity
public org.eclipse.emf.ecore.EReference getReferenceDeclaration_InvalidMultiplicity()- Specified by:
getReferenceDeclaration_InvalidMultiplicity
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Invalid Multiplicity'.
- See Also:
-
getReferenceDeclaration_SuperSets
public org.eclipse.emf.ecore.EReference getReferenceDeclaration_SuperSets()- Specified by:
getReferenceDeclaration_SuperSets
in interfaceProblemPackage
- Returns:
- the meta object for the reference list 'Super Sets'.
- See Also:
-
getNamedElement
public org.eclipse.emf.ecore.EClass getNamedElement()- Specified by:
getNamedElement
in interfaceProblemPackage
- Returns:
- the meta object for class 'Named Element'.
- See Also:
-
getNamedElement_Name
public org.eclipse.emf.ecore.EAttribute getNamedElement_Name()- Specified by:
getNamedElement_Name
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Name'.
- See Also:
-
getPredicateDefinition
public org.eclipse.emf.ecore.EClass getPredicateDefinition()- Specified by:
getPredicateDefinition
in interfaceProblemPackage
- Returns:
- the meta object for class 'Predicate Definition'.
- See Also:
-
getPredicateDefinition_Bodies
public org.eclipse.emf.ecore.EReference getPredicateDefinition_Bodies()- Specified by:
getPredicateDefinition_Bodies
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Bodies'.
- See Also:
-
getPredicateDefinition_Kind
public org.eclipse.emf.ecore.EAttribute getPredicateDefinition_Kind()- Specified by:
getPredicateDefinition_Kind
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Kind'.
- See Also:
-
getPredicateDefinition_ComputedValue
public org.eclipse.emf.ecore.EReference getPredicateDefinition_ComputedValue()- Specified by:
getPredicateDefinition_ComputedValue
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Computed Value'.
- See Also:
-
getPredicateDefinition_SuperSets
public org.eclipse.emf.ecore.EReference getPredicateDefinition_SuperSets()- Specified by:
getPredicateDefinition_SuperSets
in interfaceProblemPackage
- Returns:
- the meta object for the reference list 'Super Sets'.
- See Also:
-
getParameter
public org.eclipse.emf.ecore.EClass getParameter()- Specified by:
getParameter
in interfaceProblemPackage
- Returns:
- the meta object for class 'Parameter'.
- See Also:
-
getParameter_ParameterType
public org.eclipse.emf.ecore.EReference getParameter_ParameterType()- Specified by:
getParameter_ParameterType
in interfaceProblemPackage
- Returns:
- the meta object for the reference 'Parameter Type'.
- See Also:
-
getParameter_Binding
public org.eclipse.emf.ecore.EAttribute getParameter_Binding()- Specified by:
getParameter_Binding
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Binding'.
- See Also:
-
getVariable
public org.eclipse.emf.ecore.EClass getVariable()- Specified by:
getVariable
in interfaceProblemPackage
- Returns:
- the meta object for class 'Variable'.
- See Also:
-
getAtom
public org.eclipse.emf.ecore.EClass getAtom()- Specified by:
getAtom
in interfaceProblemPackage
- Returns:
- the meta object for class 'Atom'.
- See Also:
-
getAtom_TransitiveClosure
public org.eclipse.emf.ecore.EAttribute getAtom_TransitiveClosure()- Specified by:
getAtom_TransitiveClosure
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Transitive Closure'.
- See Also:
-
getAtom_Arguments
public org.eclipse.emf.ecore.EReference getAtom_Arguments()- Specified by:
getAtom_Arguments
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Arguments'.
- See Also:
-
getAtom_Relation
public org.eclipse.emf.ecore.EReference getAtom_Relation()- Specified by:
getAtom_Relation
in interfaceProblemPackage
- Returns:
- the meta object for the reference 'Relation'.
- See Also:
-
getImplicitVariable
public org.eclipse.emf.ecore.EClass getImplicitVariable()- Specified by:
getImplicitVariable
in interfaceProblemPackage
- Returns:
- the meta object for class 'Implicit Variable'.
- See Also:
-
getExistentialQuantifier
public org.eclipse.emf.ecore.EClass getExistentialQuantifier()- Specified by:
getExistentialQuantifier
in interfaceProblemPackage
- Returns:
- the meta object for class 'Existential Quantifier'.
- See Also:
-
getExistentialQuantifier_ImplicitVariables
public org.eclipse.emf.ecore.EReference getExistentialQuantifier_ImplicitVariables()- Specified by:
getExistentialQuantifier_ImplicitVariables
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Implicit Variables'.
- See Also:
-
getAbstractAssertion
public org.eclipse.emf.ecore.EClass getAbstractAssertion()- Specified by:
getAbstractAssertion
in interfaceProblemPackage
- Returns:
- the meta object for class 'Abstract Assertion'.
- See Also:
-
getAbstractAssertion_Arguments
public org.eclipse.emf.ecore.EReference getAbstractAssertion_Arguments()- Specified by:
getAbstractAssertion_Arguments
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Arguments'.
- See Also:
-
getAbstractAssertion_Relation
public org.eclipse.emf.ecore.EReference getAbstractAssertion_Relation()- Specified by:
getAbstractAssertion_Relation
in interfaceProblemPackage
- Returns:
- the meta object for the reference 'Relation'.
- See Also:
-
getAbstractAssertion_Value
public org.eclipse.emf.ecore.EReference getAbstractAssertion_Value()- Specified by:
getAbstractAssertion_Value
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Value'.
- See Also:
-
getNode
public org.eclipse.emf.ecore.EClass getNode()- Specified by:
getNode
in interfaceProblemPackage
- Returns:
- the meta object for class 'Node'.
- See Also:
-
getScopeDeclaration
public org.eclipse.emf.ecore.EClass getScopeDeclaration()- Specified by:
getScopeDeclaration
in interfaceProblemPackage
- Returns:
- the meta object for class 'Scope Declaration'.
- See Also:
-
getScopeDeclaration_TypeScopes
public org.eclipse.emf.ecore.EReference getScopeDeclaration_TypeScopes()- Specified by:
getScopeDeclaration_TypeScopes
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Type Scopes'.
- See Also:
-
getStatement
public org.eclipse.emf.ecore.EClass getStatement()- Specified by:
getStatement
in interfaceProblemPackage
- Returns:
- the meta object for class 'Statement'.
- See Also:
-
getTypeScope
public org.eclipse.emf.ecore.EClass getTypeScope()- Specified by:
getTypeScope
in interfaceProblemPackage
- Returns:
- the meta object for class 'Type Scope'.
- See Also:
-
getTypeScope_Increment
public org.eclipse.emf.ecore.EAttribute getTypeScope_Increment()- Specified by:
getTypeScope_Increment
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Increment'.
- See Also:
-
getTypeScope_Multiplicity
public org.eclipse.emf.ecore.EReference getTypeScope_Multiplicity()- Specified by:
getTypeScope_Multiplicity
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Multiplicity'.
- See Also:
-
getTypeScope_TargetType
public org.eclipse.emf.ecore.EReference getTypeScope_TargetType()- Specified by:
getTypeScope_TargetType
in interfaceProblemPackage
- Returns:
- the meta object for the reference 'Target Type'.
- See Also:
-
getMultiplicity
public org.eclipse.emf.ecore.EClass getMultiplicity()- Specified by:
getMultiplicity
in interfaceProblemPackage
- Returns:
- the meta object for class 'Multiplicity'.
- See Also:
-
getRangeMultiplicity
public org.eclipse.emf.ecore.EClass getRangeMultiplicity()- Specified by:
getRangeMultiplicity
in interfaceProblemPackage
- Returns:
- the meta object for class 'Range Multiplicity'.
- See Also:
-
getRangeMultiplicity_LowerBound
public org.eclipse.emf.ecore.EAttribute getRangeMultiplicity_LowerBound()- Specified by:
getRangeMultiplicity_LowerBound
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Lower Bound'.
- See Also:
-
getRangeMultiplicity_UpperBound
public org.eclipse.emf.ecore.EAttribute getRangeMultiplicity_UpperBound()- Specified by:
getRangeMultiplicity_UpperBound
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Upper Bound'.
- See Also:
-
getExactMultiplicity
public org.eclipse.emf.ecore.EClass getExactMultiplicity()- Specified by:
getExactMultiplicity
in interfaceProblemPackage
- Returns:
- the meta object for class 'Exact Multiplicity'.
- See Also:
-
getExactMultiplicity_ExactValue
public org.eclipse.emf.ecore.EAttribute getExactMultiplicity_ExactValue()- Specified by:
getExactMultiplicity_ExactValue
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Exact Value'.
- See Also:
-
getUnboundedMultiplicity
public org.eclipse.emf.ecore.EClass getUnboundedMultiplicity()- Specified by:
getUnboundedMultiplicity
in interfaceProblemPackage
- Returns:
- the meta object for class 'Unbounded Multiplicity'.
- See Also:
-
getEnumDeclaration
public org.eclipse.emf.ecore.EClass getEnumDeclaration()- Specified by:
getEnumDeclaration
in interfaceProblemPackage
- Returns:
- the meta object for class 'Enum Declaration'.
- See Also:
-
getEnumDeclaration_Literals
public org.eclipse.emf.ecore.EReference getEnumDeclaration_Literals()- Specified by:
getEnumDeclaration_Literals
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Literals'.
- See Also:
-
getVariableOrNode
public org.eclipse.emf.ecore.EClass getVariableOrNode()- Specified by:
getVariableOrNode
in interfaceProblemPackage
- Returns:
- the meta object for class 'Variable Or Node'.
- See Also:
-
getConstant
public org.eclipse.emf.ecore.EClass getConstant()- Specified by:
getConstant
in interfaceProblemPackage
- Returns:
- the meta object for class 'Constant'.
- See Also:
-
getIntConstant
public org.eclipse.emf.ecore.EClass getIntConstant()- Specified by:
getIntConstant
in interfaceProblemPackage
- Returns:
- the meta object for class 'Int Constant'.
- See Also:
-
getIntConstant_IntValue
public org.eclipse.emf.ecore.EAttribute getIntConstant_IntValue()- Specified by:
getIntConstant_IntValue
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Int Value'.
- See Also:
-
getRealConstant
public org.eclipse.emf.ecore.EClass getRealConstant()- Specified by:
getRealConstant
in interfaceProblemPackage
- Returns:
- the meta object for class 'Real Constant'.
- See Also:
-
getRealConstant_RealValue
public org.eclipse.emf.ecore.EAttribute getRealConstant_RealValue()- Specified by:
getRealConstant_RealValue
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Real Value'.
- See Also:
-
getStringConstant
public org.eclipse.emf.ecore.EClass getStringConstant()- Specified by:
getStringConstant
in interfaceProblemPackage
- Returns:
- the meta object for class 'String Constant'.
- See Also:
-
getStringConstant_StringValue
public org.eclipse.emf.ecore.EAttribute getStringConstant_StringValue()- Specified by:
getStringConstant_StringValue
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'String Value'.
- See Also:
-
getNodeAssertionArgument
public org.eclipse.emf.ecore.EClass getNodeAssertionArgument()- Specified by:
getNodeAssertionArgument
in interfaceProblemPackage
- Returns:
- the meta object for class 'Node Assertion Argument'.
- See Also:
-
getNodeAssertionArgument_Node
public org.eclipse.emf.ecore.EReference getNodeAssertionArgument_Node()- Specified by:
getNodeAssertionArgument_Node
in interfaceProblemPackage
- Returns:
- the meta object for the reference 'Node'.
- See Also:
-
getAssertionArgument
public org.eclipse.emf.ecore.EClass getAssertionArgument()- Specified by:
getAssertionArgument
in interfaceProblemPackage
- Returns:
- the meta object for class 'Assertion Argument'.
- See Also:
-
getNodeDeclaration
public org.eclipse.emf.ecore.EClass getNodeDeclaration()- Specified by:
getNodeDeclaration
in interfaceProblemPackage
- Returns:
- the meta object for class 'Node Declaration'.
- See Also:
-
getNodeDeclaration_Nodes
public org.eclipse.emf.ecore.EReference getNodeDeclaration_Nodes()- Specified by:
getNodeDeclaration_Nodes
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Nodes'.
- See Also:
-
getNodeDeclaration_Kind
public org.eclipse.emf.ecore.EAttribute getNodeDeclaration_Kind()- Specified by:
getNodeDeclaration_Kind
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Kind'.
- See Also:
-
getWildcardAssertionArgument
public org.eclipse.emf.ecore.EClass getWildcardAssertionArgument()- Specified by:
getWildcardAssertionArgument
in interfaceProblemPackage
- Returns:
- the meta object for class 'Wildcard Assertion Argument'.
- See Also:
-
getParametricDefinition
public org.eclipse.emf.ecore.EClass getParametricDefinition()- Specified by:
getParametricDefinition
in interfaceProblemPackage
- Returns:
- the meta object for class 'Parametric Definition'.
- See Also:
-
getParametricDefinition_Parameters
public org.eclipse.emf.ecore.EReference getParametricDefinition_Parameters()- Specified by:
getParametricDefinition_Parameters
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Parameters'.
- See Also:
-
getRuleDefinition
public org.eclipse.emf.ecore.EClass getRuleDefinition()- Specified by:
getRuleDefinition
in interfaceProblemPackage
- Returns:
- the meta object for class 'Rule Definition'.
- See Also:
-
getRuleDefinition_Consequents
public org.eclipse.emf.ecore.EReference getRuleDefinition_Consequents()- Specified by:
getRuleDefinition_Consequents
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Consequents'.
- See Also:
-
getRuleDefinition_Preconditions
public org.eclipse.emf.ecore.EReference getRuleDefinition_Preconditions()- Specified by:
getRuleDefinition_Preconditions
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Preconditions'.
- See Also:
-
getRuleDefinition_Kind
public org.eclipse.emf.ecore.EAttribute getRuleDefinition_Kind()- Specified by:
getRuleDefinition_Kind
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Kind'.
- See Also:
-
getConsequent
public org.eclipse.emf.ecore.EClass getConsequent()- Specified by:
getConsequent
in interfaceProblemPackage
- Returns:
- the meta object for class 'Consequent'.
- See Also:
-
getConsequent_Actions
public org.eclipse.emf.ecore.EReference getConsequent_Actions()- Specified by:
getConsequent_Actions
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Actions'.
- See Also:
-
getAction
public org.eclipse.emf.ecore.EClass getAction()- Specified by:
getAction
in interfaceProblemPackage
- Returns:
- the meta object for class 'Action'.
- See Also:
-
getAssertionAction
public org.eclipse.emf.ecore.EClass getAssertionAction()- Specified by:
getAssertionAction
in interfaceProblemPackage
- Returns:
- the meta object for class 'Assertion Action'.
- See Also:
-
getExpr
public org.eclipse.emf.ecore.EClass getExpr()- Specified by:
getExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Expr'.
- See Also:
-
getVariableOrNodeExpr
public org.eclipse.emf.ecore.EClass getVariableOrNodeExpr()- Specified by:
getVariableOrNodeExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Variable Or Node Expr'.
- See Also:
-
getVariableOrNodeExpr_VariableOrNode
public org.eclipse.emf.ecore.EReference getVariableOrNodeExpr_VariableOrNode()- Specified by:
getVariableOrNodeExpr_VariableOrNode
in interfaceProblemPackage
- Returns:
- the meta object for the reference 'Variable Or Node'.
- See Also:
-
getVariableOrNodeExpr_SingletonVariable
public org.eclipse.emf.ecore.EReference getVariableOrNodeExpr_SingletonVariable()- Specified by:
getVariableOrNodeExpr_SingletonVariable
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Singleton Variable'.
- See Also:
-
getBinaryExpr
public org.eclipse.emf.ecore.EClass getBinaryExpr()- Specified by:
getBinaryExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Binary Expr'.
- See Also:
-
getBinaryExpr_Left
public org.eclipse.emf.ecore.EReference getBinaryExpr_Left()- Specified by:
getBinaryExpr_Left
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Left'.
- See Also:
-
getBinaryExpr_Right
public org.eclipse.emf.ecore.EReference getBinaryExpr_Right()- Specified by:
getBinaryExpr_Right
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Right'.
- See Also:
-
getUnaryExpr
public org.eclipse.emf.ecore.EClass getUnaryExpr()- Specified by:
getUnaryExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Unary Expr'.
- See Also:
-
getUnaryExpr_Body
public org.eclipse.emf.ecore.EReference getUnaryExpr_Body()- Specified by:
getUnaryExpr_Body
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Body'.
- See Also:
-
getArithmeticUnaryExpr
public org.eclipse.emf.ecore.EClass getArithmeticUnaryExpr()- Specified by:
getArithmeticUnaryExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Arithmetic Unary Expr'.
- See Also:
-
getArithmeticUnaryExpr_Op
public org.eclipse.emf.ecore.EAttribute getArithmeticUnaryExpr_Op()- Specified by:
getArithmeticUnaryExpr_Op
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Op'.
- See Also:
-
getAggregationExpr
public org.eclipse.emf.ecore.EClass getAggregationExpr()- Specified by:
getAggregationExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Aggregation Expr'.
- See Also:
-
getAggregationExpr_Value
public org.eclipse.emf.ecore.EReference getAggregationExpr_Value()- Specified by:
getAggregationExpr_Value
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Value'.
- See Also:
-
getAggregationExpr_Condition
public org.eclipse.emf.ecore.EReference getAggregationExpr_Condition()- Specified by:
getAggregationExpr_Condition
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Condition'.
- See Also:
-
getAggregationExpr_Aggregator
public org.eclipse.emf.ecore.EReference getAggregationExpr_Aggregator()- Specified by:
getAggregationExpr_Aggregator
in interfaceProblemPackage
- Returns:
- the meta object for the reference 'Aggregator'.
- See Also:
-
getComparisonExpr
public org.eclipse.emf.ecore.EClass getComparisonExpr()- Specified by:
getComparisonExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Comparison Expr'.
- See Also:
-
getComparisonExpr_Op
public org.eclipse.emf.ecore.EAttribute getComparisonExpr_Op()- Specified by:
getComparisonExpr_Op
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Op'.
- See Also:
-
getQuantifiedUnaryExpr
public org.eclipse.emf.ecore.EClass getQuantifiedUnaryExpr()- Specified by:
getQuantifiedUnaryExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Quantified Unary Expr'.
- See Also:
-
getFunctionDefinition
public org.eclipse.emf.ecore.EClass getFunctionDefinition()- Specified by:
getFunctionDefinition
in interfaceProblemPackage
- Returns:
- the meta object for class 'Function Definition'.
- See Also:
-
getFunctionDefinition_Cases
public org.eclipse.emf.ecore.EReference getFunctionDefinition_Cases()- Specified by:
getFunctionDefinition_Cases
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Cases'.
- See Also:
-
getFunctionDefinition_FunctionType
public org.eclipse.emf.ecore.EReference getFunctionDefinition_FunctionType()- Specified by:
getFunctionDefinition_FunctionType
in interfaceProblemPackage
- Returns:
- the meta object for the reference 'Function Type'.
- See Also:
-
getCase
public org.eclipse.emf.ecore.EClass getCase()- Specified by:
getCase
in interfaceProblemPackage
- Returns:
- the meta object for class 'Case'.
- See Also:
-
getConjunction
public org.eclipse.emf.ecore.EClass getConjunction()- Specified by:
getConjunction
in interfaceProblemPackage
- Returns:
- the meta object for class 'Conjunction'.
- See Also:
-
getConjunction_Literals
public org.eclipse.emf.ecore.EReference getConjunction_Literals()- Specified by:
getConjunction_Literals
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference list 'Literals'.
- See Also:
-
getMatch
public org.eclipse.emf.ecore.EClass getMatch()- Specified by:
getMatch
in interfaceProblemPackage
- Returns:
- the meta object for class 'Match'.
- See Also:
-
getMatch_Condition
public org.eclipse.emf.ecore.EReference getMatch_Condition()- Specified by:
getMatch_Condition
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Condition'.
- See Also:
-
getMatch_Value
public org.eclipse.emf.ecore.EReference getMatch_Value()- Specified by:
getMatch_Value
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Value'.
- See Also:
-
getArithmeticBinaryExpr
public org.eclipse.emf.ecore.EClass getArithmeticBinaryExpr()- Specified by:
getArithmeticBinaryExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Arithmetic Binary Expr'.
- See Also:
-
getArithmeticBinaryExpr_Op
public org.eclipse.emf.ecore.EAttribute getArithmeticBinaryExpr_Op()- Specified by:
getArithmeticBinaryExpr_Op
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Op'.
- See Also:
-
getNegationExpr
public org.eclipse.emf.ecore.EClass getNegationExpr()- Specified by:
getNegationExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Negation Expr'.
- See Also:
-
getCountExpr
public org.eclipse.emf.ecore.EClass getCountExpr()- Specified by:
getCountExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Count Expr'.
- See Also:
-
getRelation
public org.eclipse.emf.ecore.EClass getRelation()- Specified by:
getRelation
in interfaceProblemPackage
- Returns:
- the meta object for class 'Relation'.
- See Also:
-
getRangeExpr
public org.eclipse.emf.ecore.EClass getRangeExpr()- Specified by:
getRangeExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Range Expr'.
- See Also:
-
getLogicConstant
public org.eclipse.emf.ecore.EClass getLogicConstant()- Specified by:
getLogicConstant
in interfaceProblemPackage
- Returns:
- the meta object for class 'Logic Constant'.
- See Also:
-
getLogicConstant_LogicValue
public org.eclipse.emf.ecore.EAttribute getLogicConstant_LogicValue()- Specified by:
getLogicConstant_LogicValue
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Logic Value'.
- See Also:
-
getImportStatement
public org.eclipse.emf.ecore.EClass getImportStatement()- Specified by:
getImportStatement
in interfaceProblemPackage
- Returns:
- the meta object for class 'Import Statement'.
- See Also:
-
getImportStatement_ImportedModule
public org.eclipse.emf.ecore.EReference getImportStatement_ImportedModule()- Specified by:
getImportStatement_ImportedModule
in interfaceProblemPackage
- Returns:
- the meta object for the reference 'Imported Module'.
- See Also:
-
getImportStatement_Alias
public org.eclipse.emf.ecore.EAttribute getImportStatement_Alias()- Specified by:
getImportStatement_Alias
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Alias'.
- See Also:
-
getDatatypeDeclaration
public org.eclipse.emf.ecore.EClass getDatatypeDeclaration()- Specified by:
getDatatypeDeclaration
in interfaceProblemPackage
- Returns:
- the meta object for class 'Datatype Declaration'.
- See Also:
-
getLatticeBinaryExpr
public org.eclipse.emf.ecore.EClass getLatticeBinaryExpr()- Specified by:
getLatticeBinaryExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Lattice Binary Expr'.
- See Also:
-
getLatticeBinaryExpr_Op
public org.eclipse.emf.ecore.EAttribute getLatticeBinaryExpr_Op()- Specified by:
getLatticeBinaryExpr_Op
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Op'.
- See Also:
-
getCastExpr
public org.eclipse.emf.ecore.EClass getCastExpr()- Specified by:
getCastExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Cast Expr'.
- See Also:
-
getCastExpr_Body
public org.eclipse.emf.ecore.EReference getCastExpr_Body()- Specified by:
getCastExpr_Body
in interfaceProblemPackage
- Returns:
- the meta object for the containment reference 'Body'.
- See Also:
-
getCastExpr_TargetType
public org.eclipse.emf.ecore.EReference getCastExpr_TargetType()- Specified by:
getCastExpr_TargetType
in interfaceProblemPackage
- Returns:
- the meta object for the reference 'Target Type'.
- See Also:
-
getAssignmentExpr
public org.eclipse.emf.ecore.EClass getAssignmentExpr()- Specified by:
getAssignmentExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Assignment Expr'.
- See Also:
-
getInfiniteConstant
public org.eclipse.emf.ecore.EClass getInfiniteConstant()- Specified by:
getInfiniteConstant
in interfaceProblemPackage
- Returns:
- the meta object for class 'Infinite Constant'.
- See Also:
-
getAggregatorDeclaration
public org.eclipse.emf.ecore.EClass getAggregatorDeclaration()- Specified by:
getAggregatorDeclaration
in interfaceProblemPackage
- Returns:
- the meta object for class 'Aggregator Declaration'.
- See Also:
-
getModalExpr
public org.eclipse.emf.ecore.EClass getModalExpr()- Specified by:
getModalExpr
in interfaceProblemPackage
- Returns:
- the meta object for class 'Modal Expr'.
- See Also:
-
getModalExpr_Concreteness
public org.eclipse.emf.ecore.EAttribute getModalExpr_Concreteness()- Specified by:
getModalExpr_Concreteness
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Concreteness'.
- See Also:
-
getModalExpr_Modality
public org.eclipse.emf.ecore.EAttribute getModalExpr_Modality()- Specified by:
getModalExpr_Modality
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Modality'.
- See Also:
-
getAssertion
public org.eclipse.emf.ecore.EClass getAssertion()- Specified by:
getAssertion
in interfaceProblemPackage
- Returns:
- the meta object for class 'Assertion'.
- See Also:
-
getAssertion_Default
public org.eclipse.emf.ecore.EAttribute getAssertion_Default()- Specified by:
getAssertion_Default
in interfaceProblemPackage
- Returns:
- the meta object for the attribute 'Default'.
- See Also:
-
getLogicValue
public org.eclipse.emf.ecore.EEnum getLogicValue()- Specified by:
getLogicValue
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Logic Value'.
- See Also:
-
getComparisonOp
public org.eclipse.emf.ecore.EEnum getComparisonOp()- Specified by:
getComparisonOp
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Comparison Op'.
- See Also:
-
getReferenceKind
public org.eclipse.emf.ecore.EEnum getReferenceKind()- Specified by:
getReferenceKind
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Reference Kind'.
- See Also:
-
getUnaryOp
public org.eclipse.emf.ecore.EEnum getUnaryOp()- Specified by:
getUnaryOp
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Unary Op'.
- See Also:
-
getBinaryOp
public org.eclipse.emf.ecore.EEnum getBinaryOp()- Specified by:
getBinaryOp
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Binary Op'.
- See Also:
-
getModuleKind
public org.eclipse.emf.ecore.EEnum getModuleKind()- Specified by:
getModuleKind
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Module Kind'.
- See Also:
-
getNodeKind
public org.eclipse.emf.ecore.EEnum getNodeKind()- Specified by:
getNodeKind
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Node Kind'.
- See Also:
-
getLatticeBinaryOp
public org.eclipse.emf.ecore.EEnum getLatticeBinaryOp()- Specified by:
getLatticeBinaryOp
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Lattice Binary Op'.
- See Also:
-
getModality
public org.eclipse.emf.ecore.EEnum getModality()- Specified by:
getModality
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Modality'.
- See Also:
-
getConcreteness
public org.eclipse.emf.ecore.EEnum getConcreteness()- Specified by:
getConcreteness
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Concreteness'.
- See Also:
-
getRuleKind
public org.eclipse.emf.ecore.EEnum getRuleKind()- Specified by:
getRuleKind
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Rule Kind'.
- See Also:
-
getParameterBinding
public org.eclipse.emf.ecore.EEnum getParameterBinding()- Specified by:
getParameterBinding
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Parameter Binding'.
- See Also:
-
getPredicateKind
public org.eclipse.emf.ecore.EEnum getPredicateKind()- Specified by:
getPredicateKind
in interfaceProblemPackage
- Returns:
- the meta object for enum 'Predicate Kind'.
- See Also:
-
getProblemFactory
- Specified by:
getProblemFactory
in interfaceProblemPackage
- Returns:
- the factory that creates the instances of the model.
-
createPackageContents
public void createPackageContents()Creates the meta-model objects for the package. This method is guarded to have no affect on any invocation but its first. -
initializePackageContents
public void initializePackageContents()Complete the initialization of the package and its meta-model. This method is guarded to have no affect on any invocation but its first.
-