From 0be8ac9989d7af31c7e3b9f923fbbd7ed9f540ea Mon Sep 17 00:00:00 2001
From: OszkarSemerath
Date: Thu, 15 Feb 2018 22:55:47 +0100
Subject: First complete scope grammar
---
.../ApplicationConfigurationFactory.java | 99 ++
.../ApplicationConfigurationPackage.java | 1232 +++++++++++++++++---
.../applicationConfiguration/ClassTypeScope.java | 51 +
.../applicationConfiguration/ExactNumber.java | 78 ++
.../applicationConfiguration/GenerationTask.java | 108 +-
.../applicationConfiguration/IntEnumberation.java | 42 +
.../applicationConfiguration/IntegerTypeScope.java | 51 +
.../applicationConfiguration/IntervallNumber.java | 105 ++
.../NumberSpecification.java | 20 +
.../applicationConfiguration/ObjectTypeScope.java | 51 +
.../applicationConfiguration/RealEnumeration.java | 42 +
.../applicationConfiguration/RealTypeScope.java | 51 +
.../StringEnumeration.java | 42 +
.../applicationConfiguration/StringTypeScope.java | 51 +
.../applicationConfiguration/TypeScope.java | 105 +-
.../impl/ApplicationConfigurationFactoryImpl.java | 132 +++
.../impl/ApplicationConfigurationPackageImpl.java | 458 +++++++-
.../impl/ClassTypeScopeImpl.java | 194 +++
.../impl/ExactNumberImpl.java | 233 ++++
.../impl/GenerationTaskImpl.java | 256 ++--
.../impl/IntEnumberationImpl.java | 162 +++
.../impl/IntegerTypeScopeImpl.java | 194 +++
.../impl/IntervallNumberImpl.java | 289 +++++
.../impl/NumberSpecificationImpl.java | 43 +
.../impl/ObjectTypeScopeImpl.java | 194 +++
.../impl/RealEnumerationImpl.java | 162 +++
.../impl/RealTypeScopeImpl.java | 194 +++
.../impl/StringEnumerationImpl.java | 162 +++
.../impl/StringTypeScopeImpl.java | 194 +++
.../impl/TypeScopeImpl.java | 244 +---
.../ApplicationConfigurationAdapterFactory.java | 220 ++++
.../util/ApplicationConfigurationSwitch.java | 263 +++++
32 files changed, 5127 insertions(+), 595 deletions(-)
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ClassTypeScope.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntegerTypeScope.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/NumberSpecification.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ObjectTypeScope.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealEnumeration.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealTypeScope.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringEnumeration.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringTypeScope.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerTypeScopeImpl.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/NumberSpecificationImpl.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectTypeScopeImpl.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealEnumerationImpl.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealTypeScopeImpl.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java
create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java
(limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration')
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java
index 8e81dbc7..11e54727 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java
@@ -365,6 +365,51 @@ public interface ApplicationConfigurationFactory extends EFactory
*/
TypeScope createTypeScope();
+ /**
+ * Returns a new object of class 'Class Type Scope'.
+ *
+ *
+ * @return a new object of class 'Class Type Scope'.
+ * @generated
+ */
+ ClassTypeScope createClassTypeScope();
+
+ /**
+ * Returns a new object of class 'Object Type Scope'.
+ *
+ *
+ * @return a new object of class 'Object Type Scope'.
+ * @generated
+ */
+ ObjectTypeScope createObjectTypeScope();
+
+ /**
+ * Returns a new object of class 'Integer Type Scope'.
+ *
+ *
+ * @return a new object of class 'Integer Type Scope'.
+ * @generated
+ */
+ IntegerTypeScope createIntegerTypeScope();
+
+ /**
+ * Returns a new object of class 'Real Type Scope'.
+ *
+ *
+ * @return a new object of class 'Real Type Scope'.
+ * @generated
+ */
+ RealTypeScope createRealTypeScope();
+
+ /**
+ * Returns a new object of class 'String Type Scope'.
+ *
+ *
+ * @return a new object of class 'String Type Scope'.
+ * @generated
+ */
+ StringTypeScope createStringTypeScope();
+
/**
* Returns a new object of class 'Type Reference'.
*
@@ -419,6 +464,60 @@ public interface ApplicationConfigurationFactory extends EFactory
*/
StringReference createStringReference();
+ /**
+ * Returns a new object of class 'Number Specification'.
+ *
+ *
+ * @return a new object of class 'Number Specification'.
+ * @generated
+ */
+ NumberSpecification createNumberSpecification();
+
+ /**
+ * Returns a new object of class 'Exact Number'.
+ *
+ *
+ * @return a new object of class 'Exact Number'.
+ * @generated
+ */
+ ExactNumber createExactNumber();
+
+ /**
+ * Returns a new object of class 'Intervall Number'.
+ *
+ *
+ * @return a new object of class 'Intervall Number'.
+ * @generated
+ */
+ IntervallNumber createIntervallNumber();
+
+ /**
+ * Returns a new object of class 'Int Enumberation'.
+ *
+ *
+ * @return a new object of class 'Int Enumberation'.
+ * @generated
+ */
+ IntEnumberation createIntEnumberation();
+
+ /**
+ * Returns a new object of class 'Real Enumeration'.
+ *
+ *
+ * @return a new object of class 'Real Enumeration'.
+ * @generated
+ */
+ RealEnumeration createRealEnumeration();
+
+ /**
+ * Returns a new object of class 'String Enumeration'.
+ *
+ *
+ * @return a new object of class 'String Enumeration'.
+ * @generated
+ */
+ StringEnumeration createStringEnumeration();
+
/**
* Returns a new object of class 'Scope Declaration'.
*
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java
index 2a23a843..2046ffa8 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java
@@ -1128,7 +1128,7 @@ public interface ApplicationConfigurationPackage extends EPackage
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScope()
* @generated
*/
- int SCOPE = 46;
+ int SCOPE = 57;
/**
* The number of structural features of the 'Scope' class.
@@ -1177,191 +1177,625 @@ public interface ApplicationConfigurationPackage extends EPackage
*/
int TYPE_SCOPE = 37;
+ /**
+ * The feature id for the 'Sets New' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int TYPE_SCOPE__SETS_NEW = 0;
+
+ /**
+ * The feature id for the 'Sets Sum' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int TYPE_SCOPE__SETS_SUM = 1;
+
+ /**
+ * The feature id for the 'Number' containment reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int TYPE_SCOPE__NUMBER = 2;
+
+ /**
+ * The number of structural features of the 'Type Scope' class.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int TYPE_SCOPE_FEATURE_COUNT = 3;
+
+ /**
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl Class Type Scope}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassTypeScope()
+ * @generated
+ */
+ int CLASS_TYPE_SCOPE = 38;
+
+ /**
+ * The feature id for the 'Sets New' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int CLASS_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW;
+
+ /**
+ * The feature id for the 'Sets Sum' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int CLASS_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM;
+
+ /**
+ * The feature id for the 'Number' containment reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int CLASS_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER;
+
/**
* The feature id for the 'Type' containment reference.
*
*
* @generated
- * @ordered
+ * @ordered
+ */
+ int CLASS_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0;
+
+ /**
+ * The number of structural features of the 'Class Type Scope' class.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int CLASS_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1;
+
+ /**
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl Object Type Scope}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectTypeScope()
+ * @generated
+ */
+ int OBJECT_TYPE_SCOPE = 39;
+
+ /**
+ * The feature id for the 'Sets New' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int OBJECT_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW;
+
+ /**
+ * The feature id for the 'Sets Sum' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int OBJECT_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM;
+
+ /**
+ * The feature id for the 'Number' containment reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int OBJECT_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER;
+
+ /**
+ * The feature id for the 'Type' containment reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int OBJECT_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0;
+
+ /**
+ * The number of structural features of the 'Object Type Scope' class.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int OBJECT_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1;
+
+ /**
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl Integer Type Scope}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerTypeScope()
+ * @generated
+ */
+ int INTEGER_TYPE_SCOPE = 40;
+
+ /**
+ * The feature id for the 'Sets New' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int INTEGER_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW;
+
+ /**
+ * The feature id for the 'Sets Sum' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int INTEGER_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM;
+
+ /**
+ * The feature id for the 'Number' containment reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int INTEGER_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER;
+
+ /**
+ * The feature id for the 'Type' containment reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int INTEGER_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0;
+
+ /**
+ * The number of structural features of the 'Integer Type Scope' class.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int INTEGER_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1;
+
+ /**
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl Real Type Scope}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealTypeScope()
+ * @generated
+ */
+ int REAL_TYPE_SCOPE = 41;
+
+ /**
+ * The feature id for the 'Sets New' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int REAL_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW;
+
+ /**
+ * The feature id for the 'Sets Sum' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int REAL_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM;
+
+ /**
+ * The feature id for the 'Number' containment reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int REAL_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER;
+
+ /**
+ * The feature id for the 'Type' containment reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int REAL_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0;
+
+ /**
+ * The number of structural features of the 'Real Type Scope' class.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int REAL_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1;
+
+ /**
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl String Type Scope}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringTypeScope()
+ * @generated
+ */
+ int STRING_TYPE_SCOPE = 42;
+
+ /**
+ * The feature id for the 'Sets New' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int STRING_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW;
+
+ /**
+ * The feature id for the 'Sets Sum' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int STRING_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM;
+
+ /**
+ * The feature id for the 'Number' containment reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int STRING_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER;
+
+ /**
+ * The feature id for the 'Type' containment reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int STRING_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0;
+
+ /**
+ * The number of structural features of the 'String Type Scope' class.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int STRING_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1;
+
+ /**
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeReferenceImpl Type Reference}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeReferenceImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getTypeReference()
+ * @generated
+ */
+ int TYPE_REFERENCE = 43;
+
+ /**
+ * The number of structural features of the 'Type Reference' class.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int TYPE_REFERENCE_FEATURE_COUNT = 0;
+
+ /**
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassReferenceImpl Class Reference}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassReferenceImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassReference()
+ * @generated
+ */
+ int CLASS_REFERENCE = 44;
+
+ /**
+ * The feature id for the 'Element' containment reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int CLASS_REFERENCE__ELEMENT = TYPE_REFERENCE_FEATURE_COUNT + 0;
+
+ /**
+ * The number of structural features of the 'Class Reference' class.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int CLASS_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 1;
+
+ /**
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectReferenceImpl Object Reference}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectReferenceImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectReference()
+ * @generated
+ */
+ int OBJECT_REFERENCE = 45;
+
+ /**
+ * The number of structural features of the 'Object Reference' class.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int OBJECT_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0;
+
+ /**
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerReferenceImpl Integer Reference}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerReferenceImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerReference()
+ * @generated
+ */
+ int INTEGER_REFERENCE = 46;
+
+ /**
+ * The number of structural features of the 'Integer Reference' class.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int INTEGER_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0;
+
+ /**
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealReferenceImpl Real Reference}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealReferenceImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealReference()
+ * @generated
+ */
+ int REAL_REFERENCE = 47;
+
+ /**
+ * The number of structural features of the 'Real Reference' class.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int REAL_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0;
+
+ /**
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringReferenceImpl String Reference}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringReferenceImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringReference()
+ * @generated
*/
- int TYPE_SCOPE__TYPE = 0;
+ int STRING_REFERENCE = 48;
/**
- * The feature id for the 'Sets New' attribute.
+ * The number of structural features of the 'String Reference' class.
*
*
* @generated
* @ordered
*/
- int TYPE_SCOPE__SETS_NEW = 1;
+ int STRING_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0;
/**
- * The feature id for the 'Sets Sum' attribute.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.NumberSpecificationImpl Number Specification}' class.
*
*
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.NumberSpecificationImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getNumberSpecification()
* @generated
- * @ordered
*/
- int TYPE_SCOPE__SETS_SUM = 2;
+ int NUMBER_SPECIFICATION = 49;
/**
- * The feature id for the 'Min' attribute.
+ * The number of structural features of the 'Number Specification' class.
*
*
* @generated
* @ordered
*/
- int TYPE_SCOPE__MIN = 3;
+ int NUMBER_SPECIFICATION_FEATURE_COUNT = 0;
/**
- * The feature id for the 'Max Unlimited' attribute.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl Exact Number}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getExactNumber()
+ * @generated
+ */
+ int EXACT_NUMBER = 50;
+
+ /**
+ * The feature id for the 'Exact Number' attribute.
*
*
* @generated
* @ordered
*/
- int TYPE_SCOPE__MAX_UNLIMITED = 4;
+ int EXACT_NUMBER__EXACT_NUMBER = NUMBER_SPECIFICATION_FEATURE_COUNT + 0;
/**
- * The feature id for the 'Max' attribute.
+ * The feature id for the 'Exact Unlimited' attribute.
*
*
* @generated
* @ordered
*/
- int TYPE_SCOPE__MAX = 5;
+ int EXACT_NUMBER__EXACT_UNLIMITED = NUMBER_SPECIFICATION_FEATURE_COUNT + 1;
/**
- * The number of structural features of the 'Type Scope' class.
+ * The number of structural features of the 'Exact Number' class.
*
*
* @generated
* @ordered
*/
- int TYPE_SCOPE_FEATURE_COUNT = 6;
+ int EXACT_NUMBER_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 2;
/**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeReferenceImpl Type Reference}' class.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl Intervall Number}' class.
*
*
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeReferenceImpl
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getTypeReference()
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntervallNumber()
* @generated
*/
- int TYPE_REFERENCE = 38;
+ int INTERVALL_NUMBER = 51;
/**
- * The number of structural features of the 'Type Reference' class.
+ * The feature id for the 'Min' attribute.
*
*
* @generated
* @ordered
*/
- int TYPE_REFERENCE_FEATURE_COUNT = 0;
+ int INTERVALL_NUMBER__MIN = NUMBER_SPECIFICATION_FEATURE_COUNT + 0;
/**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassReferenceImpl Class Reference}' class.
+ * The feature id for the 'Max Number' attribute.
*
*
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassReferenceImpl
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassReference()
* @generated
+ * @ordered
*/
- int CLASS_REFERENCE = 39;
+ int INTERVALL_NUMBER__MAX_NUMBER = NUMBER_SPECIFICATION_FEATURE_COUNT + 1;
/**
- * The feature id for the 'Element' containment reference.
+ * The feature id for the 'Max Unlimited' attribute.
*
*
* @generated
* @ordered
*/
- int CLASS_REFERENCE__ELEMENT = TYPE_REFERENCE_FEATURE_COUNT + 0;
+ int INTERVALL_NUMBER__MAX_UNLIMITED = NUMBER_SPECIFICATION_FEATURE_COUNT + 2;
/**
- * The number of structural features of the 'Class Reference' class.
+ * The number of structural features of the 'Intervall Number' class.
*
*
* @generated
* @ordered
*/
- int CLASS_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 1;
+ int INTERVALL_NUMBER_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 3;
/**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectReferenceImpl Object Reference}' class.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl Int Enumberation}' class.
*
*
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectReferenceImpl
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectReference()
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntEnumberation()
* @generated
*/
- int OBJECT_REFERENCE = 40;
+ int INT_ENUMBERATION = 52;
/**
- * The number of structural features of the 'Object Reference' class.
+ * The feature id for the 'Entry' attribute list.
*
*
* @generated
* @ordered
*/
- int OBJECT_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0;
+ int INT_ENUMBERATION__ENTRY = NUMBER_SPECIFICATION_FEATURE_COUNT + 0;
/**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerReferenceImpl Integer Reference}' class.
+ * The number of structural features of the 'Int Enumberation' class.
*
*
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerReferenceImpl
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerReference()
* @generated
+ * @ordered
*/
- int INTEGER_REFERENCE = 41;
+ int INT_ENUMBERATION_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 1;
/**
- * The number of structural features of the 'Integer Reference' class.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl Real Enumeration}' class.
*
*
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealEnumeration()
* @generated
- * @ordered
*/
- int INTEGER_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0;
+ int REAL_ENUMERATION = 53;
/**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealReferenceImpl Real Reference}' class.
+ * The feature id for the 'Entry' attribute list.
*
*
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealReferenceImpl
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealReference()
* @generated
+ * @ordered
*/
- int REAL_REFERENCE = 42;
+ int REAL_ENUMERATION__ENTRY = NUMBER_SPECIFICATION_FEATURE_COUNT + 0;
/**
- * The number of structural features of the 'Real Reference' class.
+ * The number of structural features of the 'Real Enumeration' class.
*
*
* @generated
* @ordered
*/
- int REAL_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0;
+ int REAL_ENUMERATION_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 1;
/**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringReferenceImpl String Reference}' class.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl String Enumeration}' class.
*
*
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringReferenceImpl
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringReference()
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringEnumeration()
* @generated
*/
- int STRING_REFERENCE = 43;
+ int STRING_ENUMERATION = 54;
/**
- * The number of structural features of the 'String Reference' class.
+ * The feature id for the 'Entry' attribute list.
*
*
* @generated
* @ordered
*/
- int STRING_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0;
+ int STRING_ENUMERATION__ENTRY = NUMBER_SPECIFICATION_FEATURE_COUNT + 0;
+
+ /**
+ * The number of structural features of the 'String Enumeration' class.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int STRING_ENUMERATION_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 1;
/**
* The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ScopeDeclarationImpl Scope Declaration}' class.
@@ -1371,7 +1805,7 @@ public interface ApplicationConfigurationPackage extends EPackage
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScopeDeclaration()
* @generated
*/
- int SCOPE_DECLARATION = 44;
+ int SCOPE_DECLARATION = 55;
/**
* The feature id for the 'Name' attribute.
@@ -1408,7 +1842,7 @@ public interface ApplicationConfigurationPackage extends EPackage
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScopeReference()
* @generated
*/
- int SCOPE_REFERENCE = 45;
+ int SCOPE_REFERENCE = 56;
/**
* The feature id for the 'Referred' reference.
@@ -1436,7 +1870,7 @@ public interface ApplicationConfigurationPackage extends EPackage
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getTask()
* @generated
*/
- int TASK = 47;
+ int TASK = 58;
/**
* The number of structural features of the 'Task' class.
@@ -1455,7 +1889,7 @@ public interface ApplicationConfigurationPackage extends EPackage
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getGenerationTask()
* @generated
*/
- int GENERATION_TASK = 48;
+ int GENERATION_TASK = 59;
/**
* The feature id for the 'Metamodel' containment reference.
@@ -1493,6 +1927,15 @@ public interface ApplicationConfigurationPackage extends EPackage
*/
int GENERATION_TASK__SCOPE = TASK_FEATURE_COUNT + 3;
+ /**
+ * The feature id for the 'Number Specified' attribute.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int GENERATION_TASK__NUMBER_SPECIFIED = TASK_FEATURE_COUNT + 4;
+
/**
* The feature id for the 'Number' attribute.
*
@@ -1500,43 +1943,43 @@ public interface ApplicationConfigurationPackage extends EPackage
* @generated
* @ordered
*/
- int GENERATION_TASK__NUMBER = TASK_FEATURE_COUNT + 4;
+ int GENERATION_TASK__NUMBER = TASK_FEATURE_COUNT + 5;
/**
- * The feature id for the 'Runs' attribute.
+ * The feature id for the 'Run Specified' attribute.
*
*
* @generated
* @ordered
*/
- int GENERATION_TASK__RUNS = TASK_FEATURE_COUNT + 5;
+ int GENERATION_TASK__RUN_SPECIFIED = TASK_FEATURE_COUNT + 6;
/**
- * The feature id for the 'Solver' attribute.
+ * The feature id for the 'Runs' attribute.
*
*
* @generated
* @ordered
*/
- int GENERATION_TASK__SOLVER = TASK_FEATURE_COUNT + 6;
+ int GENERATION_TASK__RUNS = TASK_FEATURE_COUNT + 7;
/**
- * The feature id for the 'Config' containment reference.
+ * The feature id for the 'Solver' attribute.
*
*
* @generated
* @ordered
*/
- int GENERATION_TASK__CONFIG = TASK_FEATURE_COUNT + 7;
+ int GENERATION_TASK__SOLVER = TASK_FEATURE_COUNT + 8;
/**
- * The feature id for the 'Taget Folder' containment reference.
+ * The feature id for the 'Config' containment reference.
*
*
* @generated
* @ordered
*/
- int GENERATION_TASK__TAGET_FOLDER = TASK_FEATURE_COUNT + 8;
+ int GENERATION_TASK__CONFIG = TASK_FEATURE_COUNT + 9;
/**
* The feature id for the 'Debug Folder' containment reference.
@@ -1545,7 +1988,7 @@ public interface ApplicationConfigurationPackage extends EPackage
* @generated
* @ordered
*/
- int GENERATION_TASK__DEBUG_FOLDER = TASK_FEATURE_COUNT + 9;
+ int GENERATION_TASK__DEBUG_FOLDER = TASK_FEATURE_COUNT + 10;
/**
* The feature id for the 'Target Log File' containment reference.
@@ -1554,7 +1997,7 @@ public interface ApplicationConfigurationPackage extends EPackage
* @generated
* @ordered
*/
- int GENERATION_TASK__TARGET_LOG_FILE = TASK_FEATURE_COUNT + 10;
+ int GENERATION_TASK__TARGET_LOG_FILE = TASK_FEATURE_COUNT + 11;
/**
* The feature id for the 'Target Statistics File' containment reference.
@@ -1563,7 +2006,16 @@ public interface ApplicationConfigurationPackage extends EPackage
* @generated
* @ordered
*/
- int GENERATION_TASK__TARGET_STATISTICS_FILE = TASK_FEATURE_COUNT + 11;
+ int GENERATION_TASK__TARGET_STATISTICS_FILE = TASK_FEATURE_COUNT + 12;
+
+ /**
+ * The feature id for the 'Taget Folder' containment reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int GENERATION_TASK__TAGET_FOLDER = TASK_FEATURE_COUNT + 13;
/**
* The number of structural features of the 'Generation Task' class.
@@ -1572,7 +2024,7 @@ public interface ApplicationConfigurationPackage extends EPackage
* @generated
* @ordered
*/
- int GENERATION_TASK_FEATURE_COUNT = TASK_FEATURE_COUNT + 12;
+ int GENERATION_TASK_FEATURE_COUNT = TASK_FEATURE_COUNT + 14;
/**
* The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerScopeImpl Integer Scope}' class.
@@ -1582,7 +2034,7 @@ public interface ApplicationConfigurationPackage extends EPackage
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerScope()
* @generated
*/
- int INTEGER_SCOPE = 49;
+ int INTEGER_SCOPE = 60;
/**
* The number of structural features of the 'Integer Scope' class.
@@ -1601,7 +2053,7 @@ public interface ApplicationConfigurationPackage extends EPackage
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealScope()
* @generated
*/
- int REAL_SCOPE = 50;
+ int REAL_SCOPE = 61;
/**
* The number of structural features of the 'Real Scope' class.
@@ -1620,7 +2072,7 @@ public interface ApplicationConfigurationPackage extends EPackage
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringScope()
* @generated
*/
- int STRING_SCOPE = 51;
+ int STRING_SCOPE = 62;
/**
* The number of structural features of the 'String Scope' class.
@@ -1639,7 +2091,7 @@ public interface ApplicationConfigurationPackage extends EPackage
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getSolver()
* @generated
*/
- int SOLVER = 52;
+ int SOLVER = 63;
/**
@@ -2372,144 +2824,364 @@ public interface ApplicationConfigurationPackage extends EPackage
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope
* @generated
*/
- EClass getTypeScope();
+ EClass getTypeScope();
+
+ /**
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew Sets New}'.
+ *
+ *
+ * @return the meta object for the attribute 'Sets New'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew()
+ * @see #getTypeScope()
+ * @generated
+ */
+ EAttribute getTypeScope_SetsNew();
+
+ /**
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum Sets Sum}'.
+ *
+ *
+ * @return the meta object for the attribute 'Sets Sum'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum()
+ * @see #getTypeScope()
+ * @generated
+ */
+ EAttribute getTypeScope_SetsSum();
+
+ /**
+ * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber Number}'.
+ *
+ *
+ * @return the meta object for the containment reference 'Number'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber()
+ * @see #getTypeScope()
+ * @generated
+ */
+ EReference getTypeScope_Number();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope Class Type Scope}'.
+ *
+ *
+ * @return the meta object for class 'Class Type Scope'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope
+ * @generated
+ */
+ EClass getClassTypeScope();
+
+ /**
+ * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope#getType Type}'.
+ *
+ *
+ * @return the meta object for the containment reference 'Type'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope#getType()
+ * @see #getClassTypeScope()
+ * @generated
+ */
+ EReference getClassTypeScope_Type();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope Object Type Scope}'.
+ *
+ *
+ * @return the meta object for class 'Object Type Scope'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope
+ * @generated
+ */
+ EClass getObjectTypeScope();
+
+ /**
+ * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope#getType Type}'.
+ *
+ *
+ * @return the meta object for the containment reference 'Type'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope#getType()
+ * @see #getObjectTypeScope()
+ * @generated
+ */
+ EReference getObjectTypeScope_Type();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope Integer Type Scope}'.
+ *
+ *
+ * @return the meta object for class 'Integer Type Scope'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope
+ * @generated
+ */
+ EClass getIntegerTypeScope();
+
+ /**
+ * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope#getType Type}'.
+ *
+ *
+ * @return the meta object for the containment reference 'Type'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope#getType()
+ * @see #getIntegerTypeScope()
+ * @generated
+ */
+ EReference getIntegerTypeScope_Type();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope Real Type Scope}'.
+ *
+ *
+ * @return the meta object for class 'Real Type Scope'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope
+ * @generated
+ */
+ EClass getRealTypeScope();
+
+ /**
+ * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope#getType Type}'.
+ *
+ *
+ * @return the meta object for the containment reference 'Type'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope#getType()
+ * @see #getRealTypeScope()
+ * @generated
+ */
+ EReference getRealTypeScope_Type();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope String Type Scope}'.
+ *
+ *
+ * @return the meta object for class 'String Type Scope'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope
+ * @generated
+ */
+ EClass getStringTypeScope();
+
+ /**
+ * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope#getType Type}'.
+ *
+ *
+ * @return the meta object for the containment reference 'Type'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope#getType()
+ * @see #getStringTypeScope()
+ * @generated
+ */
+ EReference getStringTypeScope_Type();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference Type Reference}'.
+ *
+ *
+ * @return the meta object for class 'Type Reference'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference
+ * @generated
+ */
+ EClass getTypeReference();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference Class Reference}'.
+ *
+ *
+ * @return the meta object for class 'Class Reference'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference
+ * @generated
+ */
+ EClass getClassReference();
+
+ /**
+ * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference#getElement Element}'.
+ *
+ *
+ * @return the meta object for the containment reference 'Element'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference#getElement()
+ * @see #getClassReference()
+ * @generated
+ */
+ EReference getClassReference_Element();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference Object Reference}'.
+ *
+ *
+ * @return the meta object for class 'Object Reference'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference
+ * @generated
+ */
+ EClass getObjectReference();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference Integer Reference}'.
+ *
+ *
+ * @return the meta object for class 'Integer Reference'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference
+ * @generated
+ */
+ EClass getIntegerReference();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference Real Reference}'.
+ *
+ *
+ * @return the meta object for class 'Real Reference'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference
+ * @generated
+ */
+ EClass getRealReference();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference String Reference}'.
+ *
+ *
+ * @return the meta object for class 'String Reference'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference
+ * @generated
+ */
+ EClass getStringReference();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification Number Specification}'.
+ *
+ *
+ * @return the meta object for class 'Number Specification'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification
+ * @generated
+ */
+ EClass getNumberSpecification();
/**
- * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getType Type}'.
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber Exact Number}'.
*
*
- * @return the meta object for the containment reference 'Type'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getType()
- * @see #getTypeScope()
+ * @return the meta object for class 'Exact Number'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber
* @generated
*/
- EReference getTypeScope_Type();
+ EClass getExactNumber();
/**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew Sets New}'.
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber Exact Number}'.
*
*
- * @return the meta object for the attribute 'Sets New'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew()
- * @see #getTypeScope()
+ * @return the meta object for the attribute 'Exact Number'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber()
+ * @see #getExactNumber()
* @generated
*/
- EAttribute getTypeScope_SetsNew();
+ EAttribute getExactNumber_ExactNumber();
/**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum Sets Sum}'.
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited Exact Unlimited}'.
*
*
- * @return the meta object for the attribute 'Sets Sum'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum()
- * @see #getTypeScope()
+ * @return the meta object for the attribute 'Exact Unlimited'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited()
+ * @see #getExactNumber()
* @generated
*/
- EAttribute getTypeScope_SetsSum();
+ EAttribute getExactNumber_ExactUnlimited();
/**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMin Min}'.
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber Intervall Number}'.
*
*
- * @return the meta object for the attribute 'Min'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMin()
- * @see #getTypeScope()
+ * @return the meta object for class 'Intervall Number'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber
* @generated
*/
- EAttribute getTypeScope_Min();
+ EClass getIntervallNumber();
/**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isMaxUnlimited Max Unlimited}'.
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin Min}'.
*
*
- * @return the meta object for the attribute 'Max Unlimited'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isMaxUnlimited()
- * @see #getTypeScope()
+ * @return the meta object for the attribute 'Min'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin()
+ * @see #getIntervallNumber()
* @generated
*/
- EAttribute getTypeScope_MaxUnlimited();
+ EAttribute getIntervallNumber_Min();
/**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMax Max}'.
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber Max Number}'.
*
*
- * @return the meta object for the attribute 'Max'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMax()
- * @see #getTypeScope()
+ * @return the meta object for the attribute 'Max Number'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber()
+ * @see #getIntervallNumber()
* @generated
*/
- EAttribute getTypeScope_Max();
+ EAttribute getIntervallNumber_MaxNumber();
/**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference Type Reference}'.
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited Max Unlimited}'.
*
*
- * @return the meta object for class 'Type Reference'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference
+ * @return the meta object for the attribute 'Max Unlimited'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited()
+ * @see #getIntervallNumber()
* @generated
*/
- EClass getTypeReference();
+ EAttribute getIntervallNumber_MaxUnlimited();
/**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference Class Reference}'.
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation Int Enumberation}'.
*
*
- * @return the meta object for class 'Class Reference'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference
+ * @return the meta object for class 'Int Enumberation'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation
* @generated
*/
- EClass getClassReference();
+ EClass getIntEnumberation();
/**
- * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference#getElement Element}'.
+ * Returns the meta object for the attribute list '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation#getEntry Entry}'.
*
*
- * @return the meta object for the containment reference 'Element'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference#getElement()
- * @see #getClassReference()
+ * @return the meta object for the attribute list 'Entry'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation#getEntry()
+ * @see #getIntEnumberation()
* @generated
*/
- EReference getClassReference_Element();
+ EAttribute getIntEnumberation_Entry();
/**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference Object Reference}'.
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration Real Enumeration}'.
*
*
- * @return the meta object for class 'Object Reference'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference
+ * @return the meta object for class 'Real Enumeration'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration
* @generated
*/
- EClass getObjectReference();
+ EClass getRealEnumeration();
/**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference Integer Reference}'.
+ * Returns the meta object for the attribute list '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration#getEntry Entry}'.
*
*
- * @return the meta object for class 'Integer Reference'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference
+ * @return the meta object for the attribute list 'Entry'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration#getEntry()
+ * @see #getRealEnumeration()
* @generated
*/
- EClass getIntegerReference();
+ EAttribute getRealEnumeration_Entry();
/**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference Real Reference}'.
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration String Enumeration}'.
*
*
- * @return the meta object for class 'Real Reference'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference
+ * @return the meta object for class 'String Enumeration'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration
* @generated
*/
- EClass getRealReference();
+ EClass getStringEnumeration();
/**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference String Reference}'.
+ * Returns the meta object for the attribute list '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration#getEntry Entry}'.
*
*
- * @return the meta object for class 'String Reference'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference
+ * @return the meta object for the attribute list 'Entry'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration#getEntry()
+ * @see #getStringEnumeration()
* @generated
*/
- EClass getStringReference();
+ EAttribute getStringEnumeration_Entry();
/**
* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration Scope Declaration}'.
@@ -2627,6 +3299,17 @@ public interface ApplicationConfigurationPackage extends EPackage
*/
EReference getGenerationTask_Scope();
+ /**
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified Number Specified}'.
+ *
+ *
+ * @return the meta object for the attribute 'Number Specified'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified()
+ * @see #getGenerationTask()
+ * @generated
+ */
+ EAttribute getGenerationTask_NumberSpecified();
+
/**
* Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getNumber Number}'.
*
@@ -2638,6 +3321,17 @@ public interface ApplicationConfigurationPackage extends EPackage
*/
EAttribute getGenerationTask_Number();
+ /**
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified Run Specified}'.
+ *
+ *
+ * @return the meta object for the attribute 'Run Specified'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified()
+ * @see #getGenerationTask()
+ * @generated
+ */
+ EAttribute getGenerationTask_RunSpecified();
+
/**
* Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getRuns Runs}'.
*
@@ -2671,17 +3365,6 @@ public interface ApplicationConfigurationPackage extends EPackage
*/
EReference getGenerationTask_Config();
- /**
- * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}'.
- *
- *
- * @return the meta object for the containment reference 'Taget Folder'.
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder()
- * @see #getGenerationTask()
- * @generated
- */
- EReference getGenerationTask_TagetFolder();
-
/**
* Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getDebugFolder Debug Folder}'.
*
@@ -2715,6 +3398,17 @@ public interface ApplicationConfigurationPackage extends EPackage
*/
EReference getGenerationTask_TargetStatisticsFile();
+ /**
+ * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}'.
+ *
+ *
+ * @return the meta object for the containment reference 'Taget Folder'.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder()
+ * @see #getGenerationTask()
+ * @generated
+ */
+ EReference getGenerationTask_TagetFolder();
+
/**
* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerScope Integer Scope}'.
*
@@ -3414,53 +4108,119 @@ public interface ApplicationConfigurationPackage extends EPackage
*/
EClass TYPE_SCOPE = eINSTANCE.getTypeScope();
+ /**
+ * The meta object literal for the 'Sets New' attribute feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute TYPE_SCOPE__SETS_NEW = eINSTANCE.getTypeScope_SetsNew();
+
+ /**
+ * The meta object literal for the 'Sets Sum' attribute feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute TYPE_SCOPE__SETS_SUM = eINSTANCE.getTypeScope_SetsSum();
+
+ /**
+ * The meta object literal for the 'Number' containment reference feature.
+ *
+ *
+ * @generated
+ */
+ EReference TYPE_SCOPE__NUMBER = eINSTANCE.getTypeScope_Number();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl Class Type Scope}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassTypeScope()
+ * @generated
+ */
+ EClass CLASS_TYPE_SCOPE = eINSTANCE.getClassTypeScope();
+
/**
* The meta object literal for the 'Type' containment reference feature.
*
*
* @generated
*/
- EReference TYPE_SCOPE__TYPE = eINSTANCE.getTypeScope_Type();
+ EReference CLASS_TYPE_SCOPE__TYPE = eINSTANCE.getClassTypeScope_Type();
/**
- * The meta object literal for the 'Sets New' attribute feature.
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl Object Type Scope}' class.
*
*
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectTypeScope()
* @generated
*/
- EAttribute TYPE_SCOPE__SETS_NEW = eINSTANCE.getTypeScope_SetsNew();
+ EClass OBJECT_TYPE_SCOPE = eINSTANCE.getObjectTypeScope();
/**
- * The meta object literal for the 'Sets Sum' attribute feature.
+ * The meta object literal for the 'Type' containment reference feature.
*
*
* @generated
*/
- EAttribute TYPE_SCOPE__SETS_SUM = eINSTANCE.getTypeScope_SetsSum();
+ EReference OBJECT_TYPE_SCOPE__TYPE = eINSTANCE.getObjectTypeScope_Type();
/**
- * The meta object literal for the 'Min' attribute feature.
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl Integer Type Scope}' class.
*
*
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerTypeScope()
* @generated
*/
- EAttribute TYPE_SCOPE__MIN = eINSTANCE.getTypeScope_Min();
+ EClass INTEGER_TYPE_SCOPE = eINSTANCE.getIntegerTypeScope();
/**
- * The meta object literal for the 'Max Unlimited' attribute feature.
+ * The meta object literal for the 'Type' containment reference feature.
+ *
+ *
+ * @generated
+ */
+ EReference INTEGER_TYPE_SCOPE__TYPE = eINSTANCE.getIntegerTypeScope_Type();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl Real Type Scope}' class.
*
*
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealTypeScope()
* @generated
*/
- EAttribute TYPE_SCOPE__MAX_UNLIMITED = eINSTANCE.getTypeScope_MaxUnlimited();
+ EClass REAL_TYPE_SCOPE = eINSTANCE.getRealTypeScope();
/**
- * The meta object literal for the 'Max' attribute feature.
+ * The meta object literal for the 'Type' containment reference feature.
+ *
+ *
+ * @generated
+ */
+ EReference REAL_TYPE_SCOPE__TYPE = eINSTANCE.getRealTypeScope_Type();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl String Type Scope}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringTypeScope()
+ * @generated
+ */
+ EClass STRING_TYPE_SCOPE = eINSTANCE.getStringTypeScope();
+
+ /**
+ * The meta object literal for the 'Type' containment reference feature.
*
*
* @generated
*/
- EAttribute TYPE_SCOPE__MAX = eINSTANCE.getTypeScope_Max();
+ EReference STRING_TYPE_SCOPE__TYPE = eINSTANCE.getStringTypeScope_Type();
/**
* The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeReferenceImpl Type Reference}' class.
@@ -3530,6 +4290,130 @@ public interface ApplicationConfigurationPackage extends EPackage
*/
EClass STRING_REFERENCE = eINSTANCE.getStringReference();
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.NumberSpecificationImpl Number Specification}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.NumberSpecificationImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getNumberSpecification()
+ * @generated
+ */
+ EClass NUMBER_SPECIFICATION = eINSTANCE.getNumberSpecification();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl Exact Number}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getExactNumber()
+ * @generated
+ */
+ EClass EXACT_NUMBER = eINSTANCE.getExactNumber();
+
+ /**
+ * The meta object literal for the 'Exact Number' attribute feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute EXACT_NUMBER__EXACT_NUMBER = eINSTANCE.getExactNumber_ExactNumber();
+
+ /**
+ * The meta object literal for the 'Exact Unlimited' attribute feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute EXACT_NUMBER__EXACT_UNLIMITED = eINSTANCE.getExactNumber_ExactUnlimited();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl Intervall Number}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntervallNumber()
+ * @generated
+ */
+ EClass INTERVALL_NUMBER = eINSTANCE.getIntervallNumber();
+
+ /**
+ * The meta object literal for the 'Min' attribute feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute INTERVALL_NUMBER__MIN = eINSTANCE.getIntervallNumber_Min();
+
+ /**
+ * The meta object literal for the 'Max Number' attribute feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute INTERVALL_NUMBER__MAX_NUMBER = eINSTANCE.getIntervallNumber_MaxNumber();
+
+ /**
+ * The meta object literal for the 'Max Unlimited' attribute feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute INTERVALL_NUMBER__MAX_UNLIMITED = eINSTANCE.getIntervallNumber_MaxUnlimited();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl Int Enumberation}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntEnumberation()
+ * @generated
+ */
+ EClass INT_ENUMBERATION = eINSTANCE.getIntEnumberation();
+
+ /**
+ * The meta object literal for the 'Entry' attribute list feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute INT_ENUMBERATION__ENTRY = eINSTANCE.getIntEnumberation_Entry();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl Real Enumeration}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealEnumeration()
+ * @generated
+ */
+ EClass REAL_ENUMERATION = eINSTANCE.getRealEnumeration();
+
+ /**
+ * The meta object literal for the 'Entry' attribute list feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute REAL_ENUMERATION__ENTRY = eINSTANCE.getRealEnumeration_Entry();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl String Enumeration}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringEnumeration()
+ * @generated
+ */
+ EClass STRING_ENUMERATION = eINSTANCE.getStringEnumeration();
+
+ /**
+ * The meta object literal for the 'Entry' attribute list feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute STRING_ENUMERATION__ENTRY = eINSTANCE.getStringEnumeration_Entry();
+
/**
* The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ScopeDeclarationImpl Scope Declaration}' class.
*
@@ -3628,6 +4512,14 @@ public interface ApplicationConfigurationPackage extends EPackage
*/
EReference GENERATION_TASK__SCOPE = eINSTANCE.getGenerationTask_Scope();
+ /**
+ * The meta object literal for the 'Number Specified' attribute feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute GENERATION_TASK__NUMBER_SPECIFIED = eINSTANCE.getGenerationTask_NumberSpecified();
+
/**
* The meta object literal for the 'Number' attribute feature.
*
@@ -3637,36 +4529,36 @@ public interface ApplicationConfigurationPackage extends EPackage
EAttribute GENERATION_TASK__NUMBER = eINSTANCE.getGenerationTask_Number();
/**
- * The meta object literal for the 'Runs' attribute feature.
+ * The meta object literal for the 'Run Specified' attribute feature.
*
*
* @generated
*/
- EAttribute GENERATION_TASK__RUNS = eINSTANCE.getGenerationTask_Runs();
+ EAttribute GENERATION_TASK__RUN_SPECIFIED = eINSTANCE.getGenerationTask_RunSpecified();
/**
- * The meta object literal for the 'Solver' attribute feature.
+ * The meta object literal for the 'Runs' attribute feature.
*
*
* @generated
*/
- EAttribute GENERATION_TASK__SOLVER = eINSTANCE.getGenerationTask_Solver();
+ EAttribute GENERATION_TASK__RUNS = eINSTANCE.getGenerationTask_Runs();
/**
- * The meta object literal for the 'Config' containment reference feature.
+ * The meta object literal for the 'Solver' attribute feature.
*
*
* @generated
*/
- EReference GENERATION_TASK__CONFIG = eINSTANCE.getGenerationTask_Config();
+ EAttribute GENERATION_TASK__SOLVER = eINSTANCE.getGenerationTask_Solver();
/**
- * The meta object literal for the 'Taget Folder' containment reference feature.
+ * The meta object literal for the 'Config' containment reference feature.
*
*
* @generated
*/
- EReference GENERATION_TASK__TAGET_FOLDER = eINSTANCE.getGenerationTask_TagetFolder();
+ EReference GENERATION_TASK__CONFIG = eINSTANCE.getGenerationTask_Config();
/**
* The meta object literal for the 'Debug Folder' containment reference feature.
@@ -3692,6 +4584,14 @@ public interface ApplicationConfigurationPackage extends EPackage
*/
EReference GENERATION_TASK__TARGET_STATISTICS_FILE = eINSTANCE.getGenerationTask_TargetStatisticsFile();
+ /**
+ * The meta object literal for the 'Taget Folder' containment reference feature.
+ *
+ *
+ * @generated
+ */
+ EReference GENERATION_TASK__TAGET_FOLDER = eINSTANCE.getGenerationTask_TagetFolder();
+
/**
* The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerScopeImpl Integer Scope}' class.
*
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ClassTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ClassTypeScope.java
new file mode 100644
index 00000000..5861bfdf
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ClassTypeScope.java
@@ -0,0 +1,51 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+
+/**
+ *
+ * A representation of the model object 'Class Type Scope'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope#getType Type}
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getClassTypeScope()
+ * @model
+ * @generated
+ */
+public interface ClassTypeScope extends TypeScope
+{
+ /**
+ * Returns the value of the 'Type' containment reference.
+ *
+ *
+ * If the meaning of the 'Type' containment reference isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Type' containment reference.
+ * @see #setType(ClassReference)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getClassTypeScope_Type()
+ * @model containment="true"
+ * @generated
+ */
+ ClassReference getType();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope#getType Type}' containment reference.
+ *
+ *
+ * @param value the new value of the 'Type' containment reference.
+ * @see #getType()
+ * @generated
+ */
+ void setType(ClassReference value);
+
+} // ClassTypeScope
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java
new file mode 100644
index 00000000..d8737dff
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java
@@ -0,0 +1,78 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+
+/**
+ *
+ * A representation of the model object 'Exact Number'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber Exact Number}
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited Exact Unlimited}
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber()
+ * @model
+ * @generated
+ */
+public interface ExactNumber extends NumberSpecification
+{
+ /**
+ * Returns the value of the 'Exact Number' attribute.
+ *
+ *
+ * If the meaning of the 'Exact Number' attribute isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Exact Number' attribute.
+ * @see #setExactNumber(int)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactNumber()
+ * @model
+ * @generated
+ */
+ int getExactNumber();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber Exact Number}' attribute.
+ *
+ *
+ * @param value the new value of the 'Exact Number' attribute.
+ * @see #getExactNumber()
+ * @generated
+ */
+ void setExactNumber(int value);
+
+ /**
+ * Returns the value of the 'Exact Unlimited' attribute.
+ *
+ *
+ * If the meaning of the 'Exact Unlimited' attribute isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Exact Unlimited' attribute.
+ * @see #setExactUnlimited(boolean)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactUnlimited()
+ * @model
+ * @generated
+ */
+ boolean isExactUnlimited();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited Exact Unlimited}' attribute.
+ *
+ *
+ * @param value the new value of the 'Exact Unlimited' attribute.
+ * @see #isExactUnlimited()
+ * @generated
+ */
+ void setExactUnlimited(boolean value);
+
+} // ExactNumber
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
index 7d62d979..21ff0327 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
@@ -17,14 +17,16 @@ package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPartialModel Partial Model}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPatterns Patterns}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getScope Scope}
+ * {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified Number Specified}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getNumber Number}
+ * {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified Run Specified}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getRuns Runs}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getSolver Solver}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getConfig Config}
- * {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getDebugFolder Debug Folder}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetLogFile Target Log File}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetStatisticsFile Target Statistics File}
+ * {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}
*
*
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask()
@@ -137,6 +139,32 @@ public interface GenerationTask extends Task
*/
void setScope(Scope value);
+ /**
+ * Returns the value of the 'Number Specified' attribute.
+ *
+ *
+ * If the meaning of the 'Number Specified' attribute isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Number Specified' attribute.
+ * @see #setNumberSpecified(boolean)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_NumberSpecified()
+ * @model
+ * @generated
+ */
+ boolean isNumberSpecified();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified Number Specified}' attribute.
+ *
+ *
+ * @param value the new value of the 'Number Specified' attribute.
+ * @see #isNumberSpecified()
+ * @generated
+ */
+ void setNumberSpecified(boolean value);
+
/**
* Returns the value of the 'Number' attribute.
*
@@ -163,6 +191,32 @@ public interface GenerationTask extends Task
*/
void setNumber(int value);
+ /**
+ * Returns the value of the 'Run Specified' attribute.
+ *
+ *
+ * If the meaning of the 'Run Specified' attribute isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Run Specified' attribute.
+ * @see #setRunSpecified(boolean)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_RunSpecified()
+ * @model
+ * @generated
+ */
+ boolean isRunSpecified();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified Run Specified}' attribute.
+ *
+ *
+ * @param value the new value of the 'Run Specified' attribute.
+ * @see #isRunSpecified()
+ * @generated
+ */
+ void setRunSpecified(boolean value);
+
/**
* Returns the value of the 'Runs' attribute.
*
@@ -244,32 +298,6 @@ public interface GenerationTask extends Task
*/
void setConfig(Config value);
- /**
- * Returns the value of the 'Taget Folder' containment reference.
- *
- *
- * If the meaning of the 'Taget Folder' containment reference isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Taget Folder' containment reference.
- * @see #setTagetFolder(File)
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TagetFolder()
- * @model containment="true"
- * @generated
- */
- File getTagetFolder();
-
- /**
- * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}' containment reference.
- *
- *
- * @param value the new value of the 'Taget Folder' containment reference.
- * @see #getTagetFolder()
- * @generated
- */
- void setTagetFolder(File value);
-
/**
* Returns the value of the 'Debug Folder' containment reference.
*
@@ -348,4 +376,30 @@ public interface GenerationTask extends Task
*/
void setTargetStatisticsFile(File value);
+ /**
+ * Returns the value of the 'Taget Folder' containment reference.
+ *
+ *
+ * If the meaning of the 'Taget Folder' containment reference isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Taget Folder' containment reference.
+ * @see #setTagetFolder(File)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TagetFolder()
+ * @model containment="true"
+ * @generated
+ */
+ File getTagetFolder();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}' containment reference.
+ *
+ *
+ * @param value the new value of the 'Taget Folder' containment reference.
+ * @see #getTagetFolder()
+ * @generated
+ */
+ void setTagetFolder(File value);
+
} // GenerationTask
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java
new file mode 100644
index 00000000..40c0d9f5
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java
@@ -0,0 +1,42 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+import org.eclipse.emf.common.util.EList;
+
+/**
+ *
+ * A representation of the model object 'Int Enumberation'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation#getEntry Entry}
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntEnumberation()
+ * @model
+ * @generated
+ */
+public interface IntEnumberation extends NumberSpecification
+{
+ /**
+ * Returns the value of the 'Entry' attribute list.
+ * The list contents are of type {@link java.lang.Integer}.
+ *
+ *
+ * If the meaning of the 'Entry' attribute list isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Entry' attribute list.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntEnumberation_Entry()
+ * @model unique="false"
+ * @generated
+ */
+ EList getEntry();
+
+} // IntEnumberation
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntegerTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntegerTypeScope.java
new file mode 100644
index 00000000..445753b2
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntegerTypeScope.java
@@ -0,0 +1,51 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+
+/**
+ *
+ * A representation of the model object 'Integer Type Scope'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope#getType Type}
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntegerTypeScope()
+ * @model
+ * @generated
+ */
+public interface IntegerTypeScope extends TypeScope
+{
+ /**
+ * Returns the value of the 'Type' containment reference.
+ *
+ *
+ * If the meaning of the 'Type' containment reference isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Type' containment reference.
+ * @see #setType(IntegerReference)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntegerTypeScope_Type()
+ * @model containment="true"
+ * @generated
+ */
+ IntegerReference getType();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope#getType Type}' containment reference.
+ *
+ *
+ * @param value the new value of the 'Type' containment reference.
+ * @see #getType()
+ * @generated
+ */
+ void setType(IntegerReference value);
+
+} // IntegerTypeScope
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java
new file mode 100644
index 00000000..e829d546
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java
@@ -0,0 +1,105 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+
+/**
+ *
+ * A representation of the model object 'Intervall Number'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin Min}
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber Max Number}
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited Max Unlimited}
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber()
+ * @model
+ * @generated
+ */
+public interface IntervallNumber extends NumberSpecification
+{
+ /**
+ * Returns the value of the 'Min' attribute.
+ *
+ *
+ * If the meaning of the 'Min' attribute isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Min' attribute.
+ * @see #setMin(int)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_Min()
+ * @model
+ * @generated
+ */
+ int getMin();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin Min}' attribute.
+ *
+ *
+ * @param value the new value of the 'Min' attribute.
+ * @see #getMin()
+ * @generated
+ */
+ void setMin(int value);
+
+ /**
+ * Returns the value of the 'Max Number' attribute.
+ *
+ *
+ * If the meaning of the 'Max Number' attribute isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Max Number' attribute.
+ * @see #setMaxNumber(int)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxNumber()
+ * @model
+ * @generated
+ */
+ int getMaxNumber();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber Max Number}' attribute.
+ *
+ *
+ * @param value the new value of the 'Max Number' attribute.
+ * @see #getMaxNumber()
+ * @generated
+ */
+ void setMaxNumber(int value);
+
+ /**
+ * Returns the value of the 'Max Unlimited' attribute.
+ *
+ *
+ * If the meaning of the 'Max Unlimited' attribute isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Max Unlimited' attribute.
+ * @see #setMaxUnlimited(boolean)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxUnlimited()
+ * @model
+ * @generated
+ */
+ boolean isMaxUnlimited();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited Max Unlimited}' attribute.
+ *
+ *
+ * @param value the new value of the 'Max Unlimited' attribute.
+ * @see #isMaxUnlimited()
+ * @generated
+ */
+ void setMaxUnlimited(boolean value);
+
+} // IntervallNumber
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/NumberSpecification.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/NumberSpecification.java
new file mode 100644
index 00000000..a86f9a72
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/NumberSpecification.java
@@ -0,0 +1,20 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ *
+ * A representation of the model object 'Number Specification'.
+ *
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getNumberSpecification()
+ * @model
+ * @generated
+ */
+public interface NumberSpecification extends EObject
+{
+} // NumberSpecification
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ObjectTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ObjectTypeScope.java
new file mode 100644
index 00000000..db30714a
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ObjectTypeScope.java
@@ -0,0 +1,51 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+
+/**
+ *
+ * A representation of the model object 'Object Type Scope'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope#getType Type}
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getObjectTypeScope()
+ * @model
+ * @generated
+ */
+public interface ObjectTypeScope extends TypeScope
+{
+ /**
+ * Returns the value of the 'Type' containment reference.
+ *
+ *
+ * If the meaning of the 'Type' containment reference isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Type' containment reference.
+ * @see #setType(ObjectReference)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getObjectTypeScope_Type()
+ * @model containment="true"
+ * @generated
+ */
+ ObjectReference getType();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope#getType Type}' containment reference.
+ *
+ *
+ * @param value the new value of the 'Type' containment reference.
+ * @see #getType()
+ * @generated
+ */
+ void setType(ObjectReference value);
+
+} // ObjectTypeScope
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealEnumeration.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealEnumeration.java
new file mode 100644
index 00000000..b945b4ec
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealEnumeration.java
@@ -0,0 +1,42 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+import org.eclipse.emf.common.util.EList;
+
+/**
+ *
+ * A representation of the model object 'Real Enumeration'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration#getEntry Entry}
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getRealEnumeration()
+ * @model
+ * @generated
+ */
+public interface RealEnumeration extends NumberSpecification
+{
+ /**
+ * Returns the value of the 'Entry' attribute list.
+ * The list contents are of type {@link java.lang.Integer}.
+ *
+ *
+ * If the meaning of the 'Entry' attribute list isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Entry' attribute list.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getRealEnumeration_Entry()
+ * @model unique="false"
+ * @generated
+ */
+ EList getEntry();
+
+} // RealEnumeration
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealTypeScope.java
new file mode 100644
index 00000000..03027137
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealTypeScope.java
@@ -0,0 +1,51 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+
+/**
+ *
+ * A representation of the model object 'Real Type Scope'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope#getType Type}
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getRealTypeScope()
+ * @model
+ * @generated
+ */
+public interface RealTypeScope extends TypeScope
+{
+ /**
+ * Returns the value of the 'Type' containment reference.
+ *
+ *
+ * If the meaning of the 'Type' containment reference isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Type' containment reference.
+ * @see #setType(RealReference)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getRealTypeScope_Type()
+ * @model containment="true"
+ * @generated
+ */
+ RealReference getType();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope#getType Type}' containment reference.
+ *
+ *
+ * @param value the new value of the 'Type' containment reference.
+ * @see #getType()
+ * @generated
+ */
+ void setType(RealReference value);
+
+} // RealTypeScope
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringEnumeration.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringEnumeration.java
new file mode 100644
index 00000000..6552e09d
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringEnumeration.java
@@ -0,0 +1,42 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+import org.eclipse.emf.common.util.EList;
+
+/**
+ *
+ * A representation of the model object 'String Enumeration'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration#getEntry Entry}
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getStringEnumeration()
+ * @model
+ * @generated
+ */
+public interface StringEnumeration extends NumberSpecification
+{
+ /**
+ * Returns the value of the 'Entry' attribute list.
+ * The list contents are of type {@link java.lang.String}.
+ *
+ *
+ * If the meaning of the 'Entry' attribute list isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Entry' attribute list.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getStringEnumeration_Entry()
+ * @model unique="false"
+ * @generated
+ */
+ EList getEntry();
+
+} // StringEnumeration
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringTypeScope.java
new file mode 100644
index 00000000..6e94cab6
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringTypeScope.java
@@ -0,0 +1,51 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+
+/**
+ *
+ * A representation of the model object 'String Type Scope'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope#getType Type}
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getStringTypeScope()
+ * @model
+ * @generated
+ */
+public interface StringTypeScope extends TypeScope
+{
+ /**
+ * Returns the value of the 'Type' containment reference.
+ *
+ *
+ * If the meaning of the 'Type' containment reference isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Type' containment reference.
+ * @see #setType(StringReference)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getStringTypeScope_Type()
+ * @model containment="true"
+ * @generated
+ */
+ StringReference getType();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope#getType Type}' containment reference.
+ *
+ *
+ * @param value the new value of the 'Type' containment reference.
+ * @see #getType()
+ * @generated
+ */
+ void setType(StringReference value);
+
+} // StringTypeScope
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java
index f1b65662..3cb025bd 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java
@@ -14,12 +14,9 @@ import org.eclipse.emf.ecore.EObject;
* The following features are supported:
*
*
- * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getType Type}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew Sets New}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum Sets Sum}
- * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMin Min}
- * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isMaxUnlimited Max Unlimited}
- * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMax Max}
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber Number}
*
*
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope()
@@ -28,32 +25,6 @@ import org.eclipse.emf.ecore.EObject;
*/
public interface TypeScope extends EObject
{
- /**
- * Returns the value of the 'Type' containment reference.
- *
- *
- * If the meaning of the 'Type' containment reference isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Type' containment reference.
- * @see #setType(TypeReference)
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Type()
- * @model containment="true"
- * @generated
- */
- TypeReference getType();
-
- /**
- * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getType Type}' containment reference.
- *
- *
- * @param value the new value of the 'Type' containment reference.
- * @see #getType()
- * @generated
- */
- void setType(TypeReference value);
-
/**
* Returns the value of the 'Sets New' attribute.
*
@@ -107,81 +78,29 @@ public interface TypeScope extends EObject
void setSetsSum(boolean value);
/**
- * Returns the value of the 'Min' attribute.
- *
- *
- * If the meaning of the 'Min' attribute isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Min' attribute.
- * @see #setMin(int)
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Min()
- * @model
- * @generated
- */
- int getMin();
-
- /**
- * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMin Min}' attribute.
- *
- *
- * @param value the new value of the 'Min' attribute.
- * @see #getMin()
- * @generated
- */
- void setMin(int value);
-
- /**
- * Returns the value of the 'Max Unlimited' attribute.
+ * Returns the value of the 'Number' containment reference.
*
*
- * If the meaning of the 'Max Unlimited' attribute isn't clear,
+ * If the meaning of the 'Number' containment reference isn't clear,
* there really should be more of a description here...
*
*
- * @return the value of the 'Max Unlimited' attribute.
- * @see #setMaxUnlimited(boolean)
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_MaxUnlimited()
- * @model
- * @generated
- */
- boolean isMaxUnlimited();
-
- /**
- * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isMaxUnlimited Max Unlimited}' attribute.
- *
- *
- * @param value the new value of the 'Max Unlimited' attribute.
- * @see #isMaxUnlimited()
- * @generated
- */
- void setMaxUnlimited(boolean value);
-
- /**
- * Returns the value of the 'Max' attribute.
- *
- *
- * If the meaning of the 'Max' attribute isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Max' attribute.
- * @see #setMax(int)
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Max()
- * @model
+ * @return the value of the 'Number' containment reference.
+ * @see #setNumber(NumberSpecification)
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Number()
+ * @model containment="true"
* @generated
*/
- int getMax();
+ NumberSpecification getNumber();
/**
- * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMax Max}' attribute.
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber Number}' containment reference.
*
*
- * @param value the new value of the 'Max' attribute.
- * @see #getMax()
+ * @param value the new value of the 'Number' containment reference.
+ * @see #getNumber()
* @generated
*/
- void setMax(int value);
+ void setNumber(NumberSpecification value);
} // TypeScope
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
index 465297bb..8ecf838a 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
@@ -104,12 +104,23 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
case ApplicationConfigurationPackage.CONFIG: return createConfig();
case ApplicationConfigurationPackage.SCOPE_SPECIFICATION: return createScopeSpecification();
case ApplicationConfigurationPackage.TYPE_SCOPE: return createTypeScope();
+ case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE: return createClassTypeScope();
+ case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE: return createObjectTypeScope();
+ case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE: return createIntegerTypeScope();
+ case ApplicationConfigurationPackage.REAL_TYPE_SCOPE: return createRealTypeScope();
+ case ApplicationConfigurationPackage.STRING_TYPE_SCOPE: return createStringTypeScope();
case ApplicationConfigurationPackage.TYPE_REFERENCE: return createTypeReference();
case ApplicationConfigurationPackage.CLASS_REFERENCE: return createClassReference();
case ApplicationConfigurationPackage.OBJECT_REFERENCE: return createObjectReference();
case ApplicationConfigurationPackage.INTEGER_REFERENCE: return createIntegerReference();
case ApplicationConfigurationPackage.REAL_REFERENCE: return createRealReference();
case ApplicationConfigurationPackage.STRING_REFERENCE: return createStringReference();
+ case ApplicationConfigurationPackage.NUMBER_SPECIFICATION: return createNumberSpecification();
+ case ApplicationConfigurationPackage.EXACT_NUMBER: return createExactNumber();
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER: return createIntervallNumber();
+ case ApplicationConfigurationPackage.INT_ENUMBERATION: return createIntEnumberation();
+ case ApplicationConfigurationPackage.REAL_ENUMERATION: return createRealEnumeration();
+ case ApplicationConfigurationPackage.STRING_ENUMERATION: return createStringEnumeration();
case ApplicationConfigurationPackage.SCOPE_DECLARATION: return createScopeDeclaration();
case ApplicationConfigurationPackage.SCOPE_REFERENCE: return createScopeReference();
case ApplicationConfigurationPackage.SCOPE: return createScope();
@@ -575,6 +586,61 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
return typeScope;
}
+ /**
+ *
+ *
+ * @generated
+ */
+ public ClassTypeScope createClassTypeScope()
+ {
+ ClassTypeScopeImpl classTypeScope = new ClassTypeScopeImpl();
+ return classTypeScope;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public ObjectTypeScope createObjectTypeScope()
+ {
+ ObjectTypeScopeImpl objectTypeScope = new ObjectTypeScopeImpl();
+ return objectTypeScope;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public IntegerTypeScope createIntegerTypeScope()
+ {
+ IntegerTypeScopeImpl integerTypeScope = new IntegerTypeScopeImpl();
+ return integerTypeScope;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public RealTypeScope createRealTypeScope()
+ {
+ RealTypeScopeImpl realTypeScope = new RealTypeScopeImpl();
+ return realTypeScope;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public StringTypeScope createStringTypeScope()
+ {
+ StringTypeScopeImpl stringTypeScope = new StringTypeScopeImpl();
+ return stringTypeScope;
+ }
+
/**
*
*
@@ -641,6 +707,72 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
return stringReference;
}
+ /**
+ *
+ *
+ * @generated
+ */
+ public NumberSpecification createNumberSpecification()
+ {
+ NumberSpecificationImpl numberSpecification = new NumberSpecificationImpl();
+ return numberSpecification;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public ExactNumber createExactNumber()
+ {
+ ExactNumberImpl exactNumber = new ExactNumberImpl();
+ return exactNumber;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public IntervallNumber createIntervallNumber()
+ {
+ IntervallNumberImpl intervallNumber = new IntervallNumberImpl();
+ return intervallNumber;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public IntEnumberation createIntEnumberation()
+ {
+ IntEnumberationImpl intEnumberation = new IntEnumberationImpl();
+ return intEnumberation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public RealEnumeration createRealEnumeration()
+ {
+ RealEnumerationImpl realEnumeration = new RealEnumerationImpl();
+ return realEnumeration;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public StringEnumeration createStringEnumeration()
+ {
+ StringEnumerationImpl stringEnumeration = new StringEnumerationImpl();
+ return stringEnumeration;
+ }
+
/**
*
*
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
index ece5be15..dd103901 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
@@ -8,6 +8,7 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.AllPatter
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationFactory;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Command;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Config;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigDeclaration;
@@ -17,6 +18,7 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigSpe
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Declaration;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.EPackageImport;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.File;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileDeclaration;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileReference;
@@ -27,8 +29,11 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatt
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternDeclaration;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternReference;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Import;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerScope;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelDeclaration;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelElement;
@@ -36,7 +41,9 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelReference;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelSpecification;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ModelEntry;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModel;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelDeclaration;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelEntry;
@@ -45,15 +52,19 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialMo
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternElement;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternEntry;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternSpecification;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealScope;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Scope;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeReference;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringScope;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Task;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope;
@@ -344,6 +355,41 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*/
private EClass typeScopeEClass = null;
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass classTypeScopeEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass objectTypeScopeEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass integerTypeScopeEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass realTypeScopeEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass stringTypeScopeEClass = null;
+
/**
*
*
@@ -386,6 +432,48 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*/
private EClass stringReferenceEClass = null;
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass numberSpecificationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass exactNumberEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass intervallNumberEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass intEnumberationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass realEnumerationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass stringEnumerationEClass = null;
+
/**
*
*
@@ -1221,9 +1309,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EReference getTypeScope_Type()
+ public EAttribute getTypeScope_SetsNew()
{
- return (EReference)typeScopeEClass.getEStructuralFeatures().get(0);
+ return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(0);
}
/**
@@ -1231,7 +1319,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EAttribute getTypeScope_SetsNew()
+ public EAttribute getTypeScope_SetsSum()
{
return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(1);
}
@@ -1241,9 +1329,69 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EAttribute getTypeScope_SetsSum()
+ public EReference getTypeScope_Number()
+ {
+ return (EReference)typeScopeEClass.getEStructuralFeatures().get(2);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EClass getClassTypeScope()
+ {
+ return classTypeScopeEClass;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EReference getClassTypeScope_Type()
+ {
+ return (EReference)classTypeScopeEClass.getEStructuralFeatures().get(0);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EClass getObjectTypeScope()
+ {
+ return objectTypeScopeEClass;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EReference getObjectTypeScope_Type()
+ {
+ return (EReference)objectTypeScopeEClass.getEStructuralFeatures().get(0);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EClass getIntegerTypeScope()
+ {
+ return integerTypeScopeEClass;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EReference getIntegerTypeScope_Type()
{
- return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(2);
+ return (EReference)integerTypeScopeEClass.getEStructuralFeatures().get(0);
}
/**
@@ -1251,9 +1399,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EAttribute getTypeScope_Min()
+ public EClass getRealTypeScope()
{
- return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(3);
+ return realTypeScopeEClass;
}
/**
@@ -1261,9 +1409,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EAttribute getTypeScope_MaxUnlimited()
+ public EReference getRealTypeScope_Type()
{
- return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(4);
+ return (EReference)realTypeScopeEClass.getEStructuralFeatures().get(0);
}
/**
@@ -1271,9 +1419,19 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EAttribute getTypeScope_Max()
+ public EClass getStringTypeScope()
{
- return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(5);
+ return stringTypeScopeEClass;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EReference getStringTypeScope_Type()
+ {
+ return (EReference)stringTypeScopeEClass.getEStructuralFeatures().get(0);
}
/**
@@ -1346,6 +1504,146 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
return stringReferenceEClass;
}
+ /**
+ *
+ *
+ * @generated
+ */
+ public EClass getNumberSpecification()
+ {
+ return numberSpecificationEClass;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EClass getExactNumber()
+ {
+ return exactNumberEClass;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EAttribute getExactNumber_ExactNumber()
+ {
+ return (EAttribute)exactNumberEClass.getEStructuralFeatures().get(0);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EAttribute getExactNumber_ExactUnlimited()
+ {
+ return (EAttribute)exactNumberEClass.getEStructuralFeatures().get(1);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EClass getIntervallNumber()
+ {
+ return intervallNumberEClass;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EAttribute getIntervallNumber_Min()
+ {
+ return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(0);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EAttribute getIntervallNumber_MaxNumber()
+ {
+ return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(1);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EAttribute getIntervallNumber_MaxUnlimited()
+ {
+ return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(2);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EClass getIntEnumberation()
+ {
+ return intEnumberationEClass;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EAttribute getIntEnumberation_Entry()
+ {
+ return (EAttribute)intEnumberationEClass.getEStructuralFeatures().get(0);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EClass getRealEnumeration()
+ {
+ return realEnumerationEClass;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EAttribute getRealEnumeration_Entry()
+ {
+ return (EAttribute)realEnumerationEClass.getEStructuralFeatures().get(0);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EClass getStringEnumeration()
+ {
+ return stringEnumerationEClass;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EAttribute getStringEnumeration_Entry()
+ {
+ return (EAttribute)stringEnumerationEClass.getEStructuralFeatures().get(0);
+ }
+
/**
*
*
@@ -1461,7 +1759,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EAttribute getGenerationTask_Number()
+ public EAttribute getGenerationTask_NumberSpecified()
{
return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(4);
}
@@ -1471,7 +1769,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EAttribute getGenerationTask_Runs()
+ public EAttribute getGenerationTask_Number()
{
return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(5);
}
@@ -1481,7 +1779,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EAttribute getGenerationTask_Solver()
+ public EAttribute getGenerationTask_RunSpecified()
{
return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(6);
}
@@ -1491,9 +1789,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EReference getGenerationTask_Config()
+ public EAttribute getGenerationTask_Runs()
{
- return (EReference)generationTaskEClass.getEStructuralFeatures().get(7);
+ return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(7);
}
/**
@@ -1501,9 +1799,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EReference getGenerationTask_TagetFolder()
+ public EAttribute getGenerationTask_Solver()
{
- return (EReference)generationTaskEClass.getEStructuralFeatures().get(8);
+ return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(8);
}
/**
@@ -1511,7 +1809,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EReference getGenerationTask_DebugFolder()
+ public EReference getGenerationTask_Config()
{
return (EReference)generationTaskEClass.getEStructuralFeatures().get(9);
}
@@ -1521,7 +1819,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EReference getGenerationTask_TargetLogFile()
+ public EReference getGenerationTask_DebugFolder()
{
return (EReference)generationTaskEClass.getEStructuralFeatures().get(10);
}
@@ -1531,11 +1829,31 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
*
* @generated
*/
- public EReference getGenerationTask_TargetStatisticsFile()
+ public EReference getGenerationTask_TargetLogFile()
{
return (EReference)generationTaskEClass.getEStructuralFeatures().get(11);
}
+ /**
+ *
+ *
+ * @generated
+ */
+ public EReference getGenerationTask_TargetStatisticsFile()
+ {
+ return (EReference)generationTaskEClass.getEStructuralFeatures().get(12);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EReference getGenerationTask_TagetFolder()
+ {
+ return (EReference)generationTaskEClass.getEStructuralFeatures().get(13);
+ }
+
/**
*
*
@@ -1713,12 +2031,24 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
createEReference(scopeSpecificationEClass, SCOPE_SPECIFICATION__SCOPES);
typeScopeEClass = createEClass(TYPE_SCOPE);
- createEReference(typeScopeEClass, TYPE_SCOPE__TYPE);
createEAttribute(typeScopeEClass, TYPE_SCOPE__SETS_NEW);
createEAttribute(typeScopeEClass, TYPE_SCOPE__SETS_SUM);
- createEAttribute(typeScopeEClass, TYPE_SCOPE__MIN);
- createEAttribute(typeScopeEClass, TYPE_SCOPE__MAX_UNLIMITED);
- createEAttribute(typeScopeEClass, TYPE_SCOPE__MAX);
+ createEReference(typeScopeEClass, TYPE_SCOPE__NUMBER);
+
+ classTypeScopeEClass = createEClass(CLASS_TYPE_SCOPE);
+ createEReference(classTypeScopeEClass, CLASS_TYPE_SCOPE__TYPE);
+
+ objectTypeScopeEClass = createEClass(OBJECT_TYPE_SCOPE);
+ createEReference(objectTypeScopeEClass, OBJECT_TYPE_SCOPE__TYPE);
+
+ integerTypeScopeEClass = createEClass(INTEGER_TYPE_SCOPE);
+ createEReference(integerTypeScopeEClass, INTEGER_TYPE_SCOPE__TYPE);
+
+ realTypeScopeEClass = createEClass(REAL_TYPE_SCOPE);
+ createEReference(realTypeScopeEClass, REAL_TYPE_SCOPE__TYPE);
+
+ stringTypeScopeEClass = createEClass(STRING_TYPE_SCOPE);
+ createEReference(stringTypeScopeEClass, STRING_TYPE_SCOPE__TYPE);
typeReferenceEClass = createEClass(TYPE_REFERENCE);
@@ -1733,6 +2063,26 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
stringReferenceEClass = createEClass(STRING_REFERENCE);
+ numberSpecificationEClass = createEClass(NUMBER_SPECIFICATION);
+
+ exactNumberEClass = createEClass(EXACT_NUMBER);
+ createEAttribute(exactNumberEClass, EXACT_NUMBER__EXACT_NUMBER);
+ createEAttribute(exactNumberEClass, EXACT_NUMBER__EXACT_UNLIMITED);
+
+ intervallNumberEClass = createEClass(INTERVALL_NUMBER);
+ createEAttribute(intervallNumberEClass, INTERVALL_NUMBER__MIN);
+ createEAttribute(intervallNumberEClass, INTERVALL_NUMBER__MAX_NUMBER);
+ createEAttribute(intervallNumberEClass, INTERVALL_NUMBER__MAX_UNLIMITED);
+
+ intEnumberationEClass = createEClass(INT_ENUMBERATION);
+ createEAttribute(intEnumberationEClass, INT_ENUMBERATION__ENTRY);
+
+ realEnumerationEClass = createEClass(REAL_ENUMERATION);
+ createEAttribute(realEnumerationEClass, REAL_ENUMERATION__ENTRY);
+
+ stringEnumerationEClass = createEClass(STRING_ENUMERATION);
+ createEAttribute(stringEnumerationEClass, STRING_ENUMERATION__ENTRY);
+
scopeDeclarationEClass = createEClass(SCOPE_DECLARATION);
createEReference(scopeDeclarationEClass, SCOPE_DECLARATION__SPECIFICATION);
@@ -1748,14 +2098,16 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
createEReference(generationTaskEClass, GENERATION_TASK__PARTIAL_MODEL);
createEReference(generationTaskEClass, GENERATION_TASK__PATTERNS);
createEReference(generationTaskEClass, GENERATION_TASK__SCOPE);
+ createEAttribute(generationTaskEClass, GENERATION_TASK__NUMBER_SPECIFIED);
createEAttribute(generationTaskEClass, GENERATION_TASK__NUMBER);
+ createEAttribute(generationTaskEClass, GENERATION_TASK__RUN_SPECIFIED);
createEAttribute(generationTaskEClass, GENERATION_TASK__RUNS);
createEAttribute(generationTaskEClass, GENERATION_TASK__SOLVER);
createEReference(generationTaskEClass, GENERATION_TASK__CONFIG);
- createEReference(generationTaskEClass, GENERATION_TASK__TAGET_FOLDER);
createEReference(generationTaskEClass, GENERATION_TASK__DEBUG_FOLDER);
createEReference(generationTaskEClass, GENERATION_TASK__TARGET_LOG_FILE);
createEReference(generationTaskEClass, GENERATION_TASK__TARGET_STATISTICS_FILE);
+ createEReference(generationTaskEClass, GENERATION_TASK__TAGET_FOLDER);
integerScopeEClass = createEClass(INTEGER_SCOPE);
@@ -1825,11 +2177,21 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
configDeclarationEClass.getESuperTypes().add(this.getDeclaration());
configReferenceEClass.getESuperTypes().add(this.getConfig());
scopeSpecificationEClass.getESuperTypes().add(this.getScope());
+ classTypeScopeEClass.getESuperTypes().add(this.getTypeScope());
+ objectTypeScopeEClass.getESuperTypes().add(this.getTypeScope());
+ integerTypeScopeEClass.getESuperTypes().add(this.getTypeScope());
+ realTypeScopeEClass.getESuperTypes().add(this.getTypeScope());
+ stringTypeScopeEClass.getESuperTypes().add(this.getTypeScope());
classReferenceEClass.getESuperTypes().add(this.getTypeReference());
objectReferenceEClass.getESuperTypes().add(this.getTypeReference());
integerReferenceEClass.getESuperTypes().add(this.getTypeReference());
realReferenceEClass.getESuperTypes().add(this.getTypeReference());
stringReferenceEClass.getESuperTypes().add(this.getTypeReference());
+ exactNumberEClass.getESuperTypes().add(this.getNumberSpecification());
+ intervallNumberEClass.getESuperTypes().add(this.getNumberSpecification());
+ intEnumberationEClass.getESuperTypes().add(this.getNumberSpecification());
+ realEnumerationEClass.getESuperTypes().add(this.getNumberSpecification());
+ stringEnumerationEClass.getESuperTypes().add(this.getNumberSpecification());
scopeDeclarationEClass.getESuperTypes().add(this.getDeclaration());
scopeReferenceEClass.getESuperTypes().add(this.getScope());
taskEClass.getESuperTypes().add(this.getCommand());
@@ -1946,12 +2308,24 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
initEReference(getScopeSpecification_Scopes(), this.getTypeScope(), null, "scopes", null, 0, -1, ScopeSpecification.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(typeScopeEClass, TypeScope.class, "TypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
- initEReference(getTypeScope_Type(), this.getTypeReference(), null, "type", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getTypeScope_SetsNew(), theEcorePackage.getEBoolean(), "setsNew", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getTypeScope_SetsSum(), theEcorePackage.getEBoolean(), "setsSum", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getTypeScope_Min(), theEcorePackage.getEInt(), "min", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getTypeScope_MaxUnlimited(), theEcorePackage.getEBoolean(), "maxUnlimited", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getTypeScope_Max(), theEcorePackage.getEInt(), "max", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEReference(getTypeScope_Number(), this.getNumberSpecification(), null, "number", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+ initEClass(classTypeScopeEClass, ClassTypeScope.class, "ClassTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEReference(getClassTypeScope_Type(), this.getClassReference(), null, "type", null, 0, 1, ClassTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+ initEClass(objectTypeScopeEClass, ObjectTypeScope.class, "ObjectTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEReference(getObjectTypeScope_Type(), this.getObjectReference(), null, "type", null, 0, 1, ObjectTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+ initEClass(integerTypeScopeEClass, IntegerTypeScope.class, "IntegerTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEReference(getIntegerTypeScope_Type(), this.getIntegerReference(), null, "type", null, 0, 1, IntegerTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+ initEClass(realTypeScopeEClass, RealTypeScope.class, "RealTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEReference(getRealTypeScope_Type(), this.getRealReference(), null, "type", null, 0, 1, RealTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+ initEClass(stringTypeScopeEClass, StringTypeScope.class, "StringTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEReference(getStringTypeScope_Type(), this.getStringReference(), null, "type", null, 0, 1, StringTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(typeReferenceEClass, TypeReference.class, "TypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
@@ -1966,6 +2340,26 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
initEClass(stringReferenceEClass, StringReference.class, "StringReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEClass(numberSpecificationEClass, NumberSpecification.class, "NumberSpecification", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+ initEClass(exactNumberEClass, ExactNumber.class, "ExactNumber", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEAttribute(getExactNumber_ExactNumber(), theEcorePackage.getEInt(), "exactNumber", null, 0, 1, ExactNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEAttribute(getExactNumber_ExactUnlimited(), theEcorePackage.getEBoolean(), "exactUnlimited", null, 0, 1, ExactNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+ initEClass(intervallNumberEClass, IntervallNumber.class, "IntervallNumber", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEAttribute(getIntervallNumber_Min(), theEcorePackage.getEInt(), "min", null, 0, 1, IntervallNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEAttribute(getIntervallNumber_MaxNumber(), theEcorePackage.getEInt(), "maxNumber", null, 0, 1, IntervallNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEAttribute(getIntervallNumber_MaxUnlimited(), theEcorePackage.getEBoolean(), "maxUnlimited", null, 0, 1, IntervallNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+ initEClass(intEnumberationEClass, IntEnumberation.class, "IntEnumberation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEAttribute(getIntEnumberation_Entry(), theEcorePackage.getEInt(), "entry", null, 0, -1, IntEnumberation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+ initEClass(realEnumerationEClass, RealEnumeration.class, "RealEnumeration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEAttribute(getRealEnumeration_Entry(), theEcorePackage.getEInt(), "entry", null, 0, -1, RealEnumeration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+ initEClass(stringEnumerationEClass, StringEnumeration.class, "StringEnumeration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEAttribute(getStringEnumeration_Entry(), theEcorePackage.getEString(), "entry", null, 0, -1, StringEnumeration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
initEClass(scopeDeclarationEClass, ScopeDeclaration.class, "ScopeDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getScopeDeclaration_Specification(), this.getScopeSpecification(), null, "specification", null, 0, 1, ScopeDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
@@ -1981,14 +2375,16 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
initEReference(getGenerationTask_PartialModel(), this.getPartialModel(), null, "partialModel", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getGenerationTask_Patterns(), this.getGraphPattern(), null, "patterns", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getGenerationTask_Scope(), this.getScope(), null, "scope", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEAttribute(getGenerationTask_NumberSpecified(), theEcorePackage.getEBoolean(), "numberSpecified", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getGenerationTask_Number(), theEcorePackage.getEInt(), "number", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEAttribute(getGenerationTask_RunSpecified(), theEcorePackage.getEBoolean(), "runSpecified", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getGenerationTask_Runs(), theEcorePackage.getEInt(), "runs", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEAttribute(getGenerationTask_Solver(), this.getSolver(), "solver", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getGenerationTask_Config(), this.getConfig(), null, "config", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getGenerationTask_TagetFolder(), this.getFile(), null, "tagetFolder", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getGenerationTask_DebugFolder(), this.getFile(), null, "debugFolder", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getGenerationTask_TargetLogFile(), this.getFile(), null, "targetLogFile", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getGenerationTask_TargetStatisticsFile(), this.getFile(), null, "targetStatisticsFile", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEReference(getGenerationTask_TagetFolder(), this.getFile(), null, "tagetFolder", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(integerScopeEClass, IntegerScope.class, "IntegerScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java
new file mode 100644
index 00000000..ad6ab237
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java
@@ -0,0 +1,194 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ *
+ * An implementation of the model object 'Class Type Scope'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl#getType Type}
+ *
+ *
+ * @generated
+ */
+public class ClassTypeScopeImpl extends TypeScopeImpl implements ClassTypeScope
+{
+ /**
+ * The cached value of the '{@link #getType() Type}' containment reference.
+ *
+ *
+ * @see #getType()
+ * @generated
+ * @ordered
+ */
+ protected ClassReference type;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected ClassTypeScopeImpl()
+ {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass()
+ {
+ return ApplicationConfigurationPackage.Literals.CLASS_TYPE_SCOPE;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public ClassReference getType()
+ {
+ return type;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public NotificationChain basicSetType(ClassReference newType, NotificationChain msgs)
+ {
+ ClassReference oldType = type;
+ type = newType;
+ if (eNotificationRequired())
+ {
+ ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE, oldType, newType);
+ if (msgs == null) msgs = notification; else msgs.add(notification);
+ }
+ return msgs;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setType(ClassReference newType)
+ {
+ if (newType != type)
+ {
+ NotificationChain msgs = null;
+ if (type != null)
+ msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE, null, msgs);
+ if (newType != null)
+ msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE, null, msgs);
+ msgs = basicSetType(newType, msgs);
+ if (msgs != null) msgs.dispatch();
+ }
+ else if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE, newType, newType));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE:
+ return basicSetType(null, msgs);
+ }
+ return super.eInverseRemove(otherEnd, featureID, msgs);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE:
+ return getType();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eSet(int featureID, Object newValue)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE:
+ setType((ClassReference)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE:
+ setType((ClassReference)null);
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE:
+ return type != null;
+ }
+ return super.eIsSet(featureID);
+ }
+
+} //ClassTypeScopeImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java
new file mode 100644
index 00000000..4a51e291
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java
@@ -0,0 +1,233 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ *
+ * An implementation of the model object 'Exact Number'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl#getExactNumber Exact Number}
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl#isExactUnlimited Exact Unlimited}
+ *
+ *
+ * @generated
+ */
+public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNumber
+{
+ /**
+ * The default value of the '{@link #getExactNumber() Exact Number}' attribute.
+ *
+ *
+ * @see #getExactNumber()
+ * @generated
+ * @ordered
+ */
+ protected static final int EXACT_NUMBER_EDEFAULT = 0;
+
+ /**
+ * The cached value of the '{@link #getExactNumber() Exact Number}' attribute.
+ *
+ *
+ * @see #getExactNumber()
+ * @generated
+ * @ordered
+ */
+ protected int exactNumber = EXACT_NUMBER_EDEFAULT;
+
+ /**
+ * The default value of the '{@link #isExactUnlimited() Exact Unlimited}' attribute.
+ *
+ *
+ * @see #isExactUnlimited()
+ * @generated
+ * @ordered
+ */
+ protected static final boolean EXACT_UNLIMITED_EDEFAULT = false;
+
+ /**
+ * The cached value of the '{@link #isExactUnlimited() Exact Unlimited}' attribute.
+ *
+ *
+ * @see #isExactUnlimited()
+ * @generated
+ * @ordered
+ */
+ protected boolean exactUnlimited = EXACT_UNLIMITED_EDEFAULT;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected ExactNumberImpl()
+ {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass()
+ {
+ return ApplicationConfigurationPackage.Literals.EXACT_NUMBER;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public int getExactNumber()
+ {
+ return exactNumber;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setExactNumber(int newExactNumber)
+ {
+ int oldExactNumber = exactNumber;
+ exactNumber = newExactNumber;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER, oldExactNumber, exactNumber));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public boolean isExactUnlimited()
+ {
+ return exactUnlimited;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setExactUnlimited(boolean newExactUnlimited)
+ {
+ boolean oldExactUnlimited = exactUnlimited;
+ exactUnlimited = newExactUnlimited;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED, oldExactUnlimited, exactUnlimited));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER:
+ return getExactNumber();
+ case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED:
+ return isExactUnlimited();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eSet(int featureID, Object newValue)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER:
+ setExactNumber((Integer)newValue);
+ return;
+ case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED:
+ setExactUnlimited((Boolean)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER:
+ setExactNumber(EXACT_NUMBER_EDEFAULT);
+ return;
+ case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED:
+ setExactUnlimited(EXACT_UNLIMITED_EDEFAULT);
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER:
+ return exactNumber != EXACT_NUMBER_EDEFAULT;
+ case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED:
+ return exactUnlimited != EXACT_UNLIMITED_EDEFAULT;
+ }
+ return super.eIsSet(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public String toString()
+ {
+ if (eIsProxy()) return super.toString();
+
+ StringBuffer result = new StringBuffer(super.toString());
+ result.append(" (exactNumber: ");
+ result.append(exactNumber);
+ result.append(", exactUnlimited: ");
+ result.append(exactUnlimited);
+ result.append(')');
+ return result.toString();
+ }
+
+} //ExactNumberImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
index a4c27c8d..7ce5ec94 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
@@ -33,14 +33,16 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl;
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getPartialModel Partial Model}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getPatterns Patterns}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getScope Scope}
+ * {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#isNumberSpecified Number Specified}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getNumber Number}
+ * {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#isRunSpecified Run Specified}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getRuns Runs}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getSolver Solver}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getConfig Config}
- * {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTagetFolder Taget Folder}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getDebugFolder Debug Folder}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTargetLogFile Target Log File}
* {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTargetStatisticsFile Target Statistics File}
+ * {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTagetFolder Taget Folder}
*
*
* @generated
@@ -87,6 +89,26 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
*/
protected Scope scope;
+ /**
+ * The default value of the '{@link #isNumberSpecified() Number Specified}' attribute.
+ *
+ *
+ * @see #isNumberSpecified()
+ * @generated
+ * @ordered
+ */
+ protected static final boolean NUMBER_SPECIFIED_EDEFAULT = false;
+
+ /**
+ * The cached value of the '{@link #isNumberSpecified() Number Specified}' attribute.
+ *
+ *
+ * @see #isNumberSpecified()
+ * @generated
+ * @ordered
+ */
+ protected boolean numberSpecified = NUMBER_SPECIFIED_EDEFAULT;
+
/**
* The default value of the '{@link #getNumber() Number}' attribute.
*
@@ -107,6 +129,26 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
*/
protected int number = NUMBER_EDEFAULT;
+ /**
+ * The default value of the '{@link #isRunSpecified() Run Specified}' attribute.
+ *
+ *
+ * @see #isRunSpecified()
+ * @generated
+ * @ordered
+ */
+ protected static final boolean RUN_SPECIFIED_EDEFAULT = false;
+
+ /**
+ * The cached value of the '{@link #isRunSpecified() Run Specified}' attribute.
+ *
+ *
+ * @see #isRunSpecified()
+ * @generated
+ * @ordered
+ */
+ protected boolean runSpecified = RUN_SPECIFIED_EDEFAULT;
+
/**
* The default value of the '{@link #getRuns() Runs}' attribute.
*
@@ -157,16 +199,6 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
*/
protected Config config;
- /**
- * The cached value of the '{@link #getTagetFolder() Taget Folder}' containment reference.
- *
- *
- * @see #getTagetFolder()
- * @generated
- * @ordered
- */
- protected File tagetFolder;
-
/**
* The cached value of the '{@link #getDebugFolder() Debug Folder}' containment reference.
*
@@ -197,6 +229,16 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
*/
protected File targetStatisticsFile;
+ /**
+ * The cached value of the '{@link #getTagetFolder() Taget Folder}' containment reference.
+ *
+ *
+ * @see #getTagetFolder()
+ * @generated
+ * @ordered
+ */
+ protected File tagetFolder;
+
/**
*
*
@@ -410,6 +452,29 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__SCOPE, newScope, newScope));
}
+ /**
+ *
+ *
+ * @generated
+ */
+ public boolean isNumberSpecified()
+ {
+ return numberSpecified;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setNumberSpecified(boolean newNumberSpecified)
+ {
+ boolean oldNumberSpecified = numberSpecified;
+ numberSpecified = newNumberSpecified;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED, oldNumberSpecified, numberSpecified));
+ }
+
/**
*
*
@@ -433,6 +498,29 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__NUMBER, oldNumber, number));
}
+ /**
+ *
+ *
+ * @generated
+ */
+ public boolean isRunSpecified()
+ {
+ return runSpecified;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setRunSpecified(boolean newRunSpecified)
+ {
+ boolean oldRunSpecified = runSpecified;
+ runSpecified = newRunSpecified;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED, oldRunSpecified, runSpecified));
+ }
+
/**
*
*
@@ -527,54 +615,6 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__CONFIG, newConfig, newConfig));
}
- /**
- *
- *
- * @generated
- */
- public File getTagetFolder()
- {
- return tagetFolder;
- }
-
- /**
- *
- *
- * @generated
- */
- public NotificationChain basicSetTagetFolder(File newTagetFolder, NotificationChain msgs)
- {
- File oldTagetFolder = tagetFolder;
- tagetFolder = newTagetFolder;
- if (eNotificationRequired())
- {
- ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, oldTagetFolder, newTagetFolder);
- if (msgs == null) msgs = notification; else msgs.add(notification);
- }
- return msgs;
- }
-
- /**
- *
- *
- * @generated
- */
- public void setTagetFolder(File newTagetFolder)
- {
- if (newTagetFolder != tagetFolder)
- {
- NotificationChain msgs = null;
- if (tagetFolder != null)
- msgs = ((InternalEObject)tagetFolder).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs);
- if (newTagetFolder != null)
- msgs = ((InternalEObject)newTagetFolder).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs);
- msgs = basicSetTagetFolder(newTagetFolder, msgs);
- if (msgs != null) msgs.dispatch();
- }
- else if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, newTagetFolder, newTagetFolder));
- }
-
/**
*
*
@@ -719,6 +759,54 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE, newTargetStatisticsFile, newTargetStatisticsFile));
}
+ /**
+ *
+ *
+ * @generated
+ */
+ public File getTagetFolder()
+ {
+ return tagetFolder;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public NotificationChain basicSetTagetFolder(File newTagetFolder, NotificationChain msgs)
+ {
+ File oldTagetFolder = tagetFolder;
+ tagetFolder = newTagetFolder;
+ if (eNotificationRequired())
+ {
+ ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, oldTagetFolder, newTagetFolder);
+ if (msgs == null) msgs = notification; else msgs.add(notification);
+ }
+ return msgs;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setTagetFolder(File newTagetFolder)
+ {
+ if (newTagetFolder != tagetFolder)
+ {
+ NotificationChain msgs = null;
+ if (tagetFolder != null)
+ msgs = ((InternalEObject)tagetFolder).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs);
+ if (newTagetFolder != null)
+ msgs = ((InternalEObject)newTagetFolder).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs);
+ msgs = basicSetTagetFolder(newTagetFolder, msgs);
+ if (msgs != null) msgs.dispatch();
+ }
+ else if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, newTagetFolder, newTagetFolder));
+ }
+
/**
*
*
@@ -739,14 +827,14 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
return basicSetScope(null, msgs);
case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:
return basicSetConfig(null, msgs);
- case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
- return basicSetTagetFolder(null, msgs);
case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:
return basicSetDebugFolder(null, msgs);
case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE:
return basicSetTargetLogFile(null, msgs);
case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:
return basicSetTargetStatisticsFile(null, msgs);
+ case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
+ return basicSetTagetFolder(null, msgs);
}
return super.eInverseRemove(otherEnd, featureID, msgs);
}
@@ -769,22 +857,26 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
return getPatterns();
case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:
return getScope();
+ case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED:
+ return isNumberSpecified();
case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER:
return getNumber();
+ case ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED:
+ return isRunSpecified();
case ApplicationConfigurationPackage.GENERATION_TASK__RUNS:
return getRuns();
case ApplicationConfigurationPackage.GENERATION_TASK__SOLVER:
return getSolver();
case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:
return getConfig();
- case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
- return getTagetFolder();
case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:
return getDebugFolder();
case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE:
return getTargetLogFile();
case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:
return getTargetStatisticsFile();
+ case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
+ return getTagetFolder();
}
return super.eGet(featureID, resolve, coreType);
}
@@ -811,9 +903,15 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:
setScope((Scope)newValue);
return;
+ case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED:
+ setNumberSpecified((Boolean)newValue);
+ return;
case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER:
setNumber((Integer)newValue);
return;
+ case ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED:
+ setRunSpecified((Boolean)newValue);
+ return;
case ApplicationConfigurationPackage.GENERATION_TASK__RUNS:
setRuns((Integer)newValue);
return;
@@ -823,9 +921,6 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:
setConfig((Config)newValue);
return;
- case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
- setTagetFolder((File)newValue);
- return;
case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:
setDebugFolder((File)newValue);
return;
@@ -835,6 +930,9 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:
setTargetStatisticsFile((File)newValue);
return;
+ case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
+ setTagetFolder((File)newValue);
+ return;
}
super.eSet(featureID, newValue);
}
@@ -861,9 +959,15 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:
setScope((Scope)null);
return;
+ case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED:
+ setNumberSpecified(NUMBER_SPECIFIED_EDEFAULT);
+ return;
case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER:
setNumber(NUMBER_EDEFAULT);
return;
+ case ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED:
+ setRunSpecified(RUN_SPECIFIED_EDEFAULT);
+ return;
case ApplicationConfigurationPackage.GENERATION_TASK__RUNS:
setRuns(RUNS_EDEFAULT);
return;
@@ -873,9 +977,6 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:
setConfig((Config)null);
return;
- case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
- setTagetFolder((File)null);
- return;
case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:
setDebugFolder((File)null);
return;
@@ -885,6 +986,9 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:
setTargetStatisticsFile((File)null);
return;
+ case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
+ setTagetFolder((File)null);
+ return;
}
super.eUnset(featureID);
}
@@ -907,22 +1011,26 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
return patterns != null;
case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:
return scope != null;
+ case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED:
+ return numberSpecified != NUMBER_SPECIFIED_EDEFAULT;
case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER:
return number != NUMBER_EDEFAULT;
+ case ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED:
+ return runSpecified != RUN_SPECIFIED_EDEFAULT;
case ApplicationConfigurationPackage.GENERATION_TASK__RUNS:
return runs != RUNS_EDEFAULT;
case ApplicationConfigurationPackage.GENERATION_TASK__SOLVER:
return solver != SOLVER_EDEFAULT;
case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:
return config != null;
- case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
- return tagetFolder != null;
case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:
return debugFolder != null;
case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE:
return targetLogFile != null;
case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:
return targetStatisticsFile != null;
+ case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:
+ return tagetFolder != null;
}
return super.eIsSet(featureID);
}
@@ -938,8 +1046,12 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
if (eIsProxy()) return super.toString();
StringBuffer result = new StringBuffer(super.toString());
- result.append(" (number: ");
+ result.append(" (numberSpecified: ");
+ result.append(numberSpecified);
+ result.append(", number: ");
result.append(number);
+ result.append(", runSpecified: ");
+ result.append(runSpecified);
result.append(", runs: ");
result.append(runs);
result.append(", solver: ");
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java
new file mode 100644
index 00000000..bf59967e
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java
@@ -0,0 +1,162 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.util.EDataTypeEList;
+
+/**
+ *
+ * An implementation of the model object 'Int Enumberation'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl#getEntry Entry}
+ *
+ *
+ * @generated
+ */
+public class IntEnumberationImpl extends NumberSpecificationImpl implements IntEnumberation
+{
+ /**
+ * The cached value of the '{@link #getEntry() Entry}' attribute list.
+ *
+ *
+ * @see #getEntry()
+ * @generated
+ * @ordered
+ */
+ protected EList entry;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected IntEnumberationImpl()
+ {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass()
+ {
+ return ApplicationConfigurationPackage.Literals.INT_ENUMBERATION;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EList getEntry()
+ {
+ if (entry == null)
+ {
+ entry = new EDataTypeEList(Integer.class, this, ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY);
+ }
+ return entry;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY:
+ return getEntry();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @SuppressWarnings("unchecked")
+ @Override
+ public void eSet(int featureID, Object newValue)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY:
+ getEntry().clear();
+ getEntry().addAll((Collection extends Integer>)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY:
+ getEntry().clear();
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY:
+ return entry != null && !entry.isEmpty();
+ }
+ return super.eIsSet(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public String toString()
+ {
+ if (eIsProxy()) return super.toString();
+
+ StringBuffer result = new StringBuffer(super.toString());
+ result.append(" (entry: ");
+ result.append(entry);
+ result.append(')');
+ return result.toString();
+ }
+
+} //IntEnumberationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerTypeScopeImpl.java
new file mode 100644
index 00000000..644eb55c
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerTypeScopeImpl.java
@@ -0,0 +1,194 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ *
+ * An implementation of the model object 'Integer Type Scope'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl#getType Type}
+ *
+ *
+ * @generated
+ */
+public class IntegerTypeScopeImpl extends TypeScopeImpl implements IntegerTypeScope
+{
+ /**
+ * The cached value of the '{@link #getType() Type}' containment reference.
+ *
+ *
+ * @see #getType()
+ * @generated
+ * @ordered
+ */
+ protected IntegerReference type;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected IntegerTypeScopeImpl()
+ {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass()
+ {
+ return ApplicationConfigurationPackage.Literals.INTEGER_TYPE_SCOPE;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public IntegerReference getType()
+ {
+ return type;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public NotificationChain basicSetType(IntegerReference newType, NotificationChain msgs)
+ {
+ IntegerReference oldType = type;
+ type = newType;
+ if (eNotificationRequired())
+ {
+ ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE, oldType, newType);
+ if (msgs == null) msgs = notification; else msgs.add(notification);
+ }
+ return msgs;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setType(IntegerReference newType)
+ {
+ if (newType != type)
+ {
+ NotificationChain msgs = null;
+ if (type != null)
+ msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE, null, msgs);
+ if (newType != null)
+ msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE, null, msgs);
+ msgs = basicSetType(newType, msgs);
+ if (msgs != null) msgs.dispatch();
+ }
+ else if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE, newType, newType));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE:
+ return basicSetType(null, msgs);
+ }
+ return super.eInverseRemove(otherEnd, featureID, msgs);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE:
+ return getType();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eSet(int featureID, Object newValue)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE:
+ setType((IntegerReference)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE:
+ setType((IntegerReference)null);
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE:
+ return type != null;
+ }
+ return super.eIsSet(featureID);
+ }
+
+} //IntegerTypeScopeImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java
new file mode 100644
index 00000000..6079cc3a
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java
@@ -0,0 +1,289 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ *
+ * An implementation of the model object 'Intervall Number'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl#getMin Min}
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl#getMaxNumber Max Number}
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl#isMaxUnlimited Max Unlimited}
+ *
+ *
+ * @generated
+ */
+public class IntervallNumberImpl extends NumberSpecificationImpl implements IntervallNumber
+{
+ /**
+ * The default value of the '{@link #getMin() Min}' attribute.
+ *
+ *
+ * @see #getMin()
+ * @generated
+ * @ordered
+ */
+ protected static final int MIN_EDEFAULT = 0;
+
+ /**
+ * The cached value of the '{@link #getMin() Min}' attribute.
+ *
+ *
+ * @see #getMin()
+ * @generated
+ * @ordered
+ */
+ protected int min = MIN_EDEFAULT;
+
+ /**
+ * The default value of the '{@link #getMaxNumber() Max Number}' attribute.
+ *
+ *
+ * @see #getMaxNumber()
+ * @generated
+ * @ordered
+ */
+ protected static final int MAX_NUMBER_EDEFAULT = 0;
+
+ /**
+ * The cached value of the '{@link #getMaxNumber() Max Number}' attribute.
+ *
+ *
+ * @see #getMaxNumber()
+ * @generated
+ * @ordered
+ */
+ protected int maxNumber = MAX_NUMBER_EDEFAULT;
+
+ /**
+ * The default value of the '{@link #isMaxUnlimited() Max Unlimited}' attribute.
+ *
+ *
+ * @see #isMaxUnlimited()
+ * @generated
+ * @ordered
+ */
+ protected static final boolean MAX_UNLIMITED_EDEFAULT = false;
+
+ /**
+ * The cached value of the '{@link #isMaxUnlimited() Max Unlimited}' attribute.
+ *
+ *
+ * @see #isMaxUnlimited()
+ * @generated
+ * @ordered
+ */
+ protected boolean maxUnlimited = MAX_UNLIMITED_EDEFAULT;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected IntervallNumberImpl()
+ {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass()
+ {
+ return ApplicationConfigurationPackage.Literals.INTERVALL_NUMBER;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public int getMin()
+ {
+ return min;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setMin(int newMin)
+ {
+ int oldMin = min;
+ min = newMin;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN, oldMin, min));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public int getMaxNumber()
+ {
+ return maxNumber;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setMaxNumber(int newMaxNumber)
+ {
+ int oldMaxNumber = maxNumber;
+ maxNumber = newMaxNumber;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER, oldMaxNumber, maxNumber));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public boolean isMaxUnlimited()
+ {
+ return maxUnlimited;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setMaxUnlimited(boolean newMaxUnlimited)
+ {
+ boolean oldMaxUnlimited = maxUnlimited;
+ maxUnlimited = newMaxUnlimited;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED, oldMaxUnlimited, maxUnlimited));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN:
+ return getMin();
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER:
+ return getMaxNumber();
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED:
+ return isMaxUnlimited();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eSet(int featureID, Object newValue)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN:
+ setMin((Integer)newValue);
+ return;
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER:
+ setMaxNumber((Integer)newValue);
+ return;
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED:
+ setMaxUnlimited((Boolean)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN:
+ setMin(MIN_EDEFAULT);
+ return;
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER:
+ setMaxNumber(MAX_NUMBER_EDEFAULT);
+ return;
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED:
+ setMaxUnlimited(MAX_UNLIMITED_EDEFAULT);
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN:
+ return min != MIN_EDEFAULT;
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER:
+ return maxNumber != MAX_NUMBER_EDEFAULT;
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED:
+ return maxUnlimited != MAX_UNLIMITED_EDEFAULT;
+ }
+ return super.eIsSet(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public String toString()
+ {
+ if (eIsProxy()) return super.toString();
+
+ StringBuffer result = new StringBuffer(super.toString());
+ result.append(" (min: ");
+ result.append(min);
+ result.append(", maxNumber: ");
+ result.append(maxNumber);
+ result.append(", maxUnlimited: ");
+ result.append(maxUnlimited);
+ result.append(')');
+ return result.toString();
+ }
+
+} //IntervallNumberImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/NumberSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/NumberSpecificationImpl.java
new file mode 100644
index 00000000..b10ce009
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/NumberSpecificationImpl.java
@@ -0,0 +1,43 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+/**
+ *
+ * An implementation of the model object 'Number Specification'.
+ *
+ *
+ * @generated
+ */
+public class NumberSpecificationImpl extends MinimalEObjectImpl.Container implements NumberSpecification
+{
+ /**
+ *
+ *
+ * @generated
+ */
+ protected NumberSpecificationImpl()
+ {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass()
+ {
+ return ApplicationConfigurationPackage.Literals.NUMBER_SPECIFICATION;
+ }
+
+} //NumberSpecificationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectTypeScopeImpl.java
new file mode 100644
index 00000000..738ad0e2
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectTypeScopeImpl.java
@@ -0,0 +1,194 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ *
+ * An implementation of the model object 'Object Type Scope'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl#getType Type}
+ *
+ *
+ * @generated
+ */
+public class ObjectTypeScopeImpl extends TypeScopeImpl implements ObjectTypeScope
+{
+ /**
+ * The cached value of the '{@link #getType() Type}' containment reference.
+ *
+ *
+ * @see #getType()
+ * @generated
+ * @ordered
+ */
+ protected ObjectReference type;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected ObjectTypeScopeImpl()
+ {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass()
+ {
+ return ApplicationConfigurationPackage.Literals.OBJECT_TYPE_SCOPE;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public ObjectReference getType()
+ {
+ return type;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public NotificationChain basicSetType(ObjectReference newType, NotificationChain msgs)
+ {
+ ObjectReference oldType = type;
+ type = newType;
+ if (eNotificationRequired())
+ {
+ ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE, oldType, newType);
+ if (msgs == null) msgs = notification; else msgs.add(notification);
+ }
+ return msgs;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setType(ObjectReference newType)
+ {
+ if (newType != type)
+ {
+ NotificationChain msgs = null;
+ if (type != null)
+ msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE, null, msgs);
+ if (newType != null)
+ msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE, null, msgs);
+ msgs = basicSetType(newType, msgs);
+ if (msgs != null) msgs.dispatch();
+ }
+ else if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE, newType, newType));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE:
+ return basicSetType(null, msgs);
+ }
+ return super.eInverseRemove(otherEnd, featureID, msgs);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE:
+ return getType();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eSet(int featureID, Object newValue)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE:
+ setType((ObjectReference)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE:
+ setType((ObjectReference)null);
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE:
+ return type != null;
+ }
+ return super.eIsSet(featureID);
+ }
+
+} //ObjectTypeScopeImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealEnumerationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealEnumerationImpl.java
new file mode 100644
index 00000000..0025b61a
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealEnumerationImpl.java
@@ -0,0 +1,162 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.util.EDataTypeEList;
+
+/**
+ *
+ * An implementation of the model object 'Real Enumeration'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl#getEntry Entry}
+ *
+ *
+ * @generated
+ */
+public class RealEnumerationImpl extends NumberSpecificationImpl implements RealEnumeration
+{
+ /**
+ * The cached value of the '{@link #getEntry() Entry}' attribute list.
+ *
+ *
+ * @see #getEntry()
+ * @generated
+ * @ordered
+ */
+ protected EList entry;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected RealEnumerationImpl()
+ {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass()
+ {
+ return ApplicationConfigurationPackage.Literals.REAL_ENUMERATION;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EList getEntry()
+ {
+ if (entry == null)
+ {
+ entry = new EDataTypeEList(Integer.class, this, ApplicationConfigurationPackage.REAL_ENUMERATION__ENTRY);
+ }
+ return entry;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.REAL_ENUMERATION__ENTRY:
+ return getEntry();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @SuppressWarnings("unchecked")
+ @Override
+ public void eSet(int featureID, Object newValue)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.REAL_ENUMERATION__ENTRY:
+ getEntry().clear();
+ getEntry().addAll((Collection extends Integer>)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.REAL_ENUMERATION__ENTRY:
+ getEntry().clear();
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.REAL_ENUMERATION__ENTRY:
+ return entry != null && !entry.isEmpty();
+ }
+ return super.eIsSet(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public String toString()
+ {
+ if (eIsProxy()) return super.toString();
+
+ StringBuffer result = new StringBuffer(super.toString());
+ result.append(" (entry: ");
+ result.append(entry);
+ result.append(')');
+ return result.toString();
+ }
+
+} //RealEnumerationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealTypeScopeImpl.java
new file mode 100644
index 00000000..91cdf9e4
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealTypeScopeImpl.java
@@ -0,0 +1,194 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ *
+ * An implementation of the model object 'Real Type Scope'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl#getType Type}
+ *
+ *
+ * @generated
+ */
+public class RealTypeScopeImpl extends TypeScopeImpl implements RealTypeScope
+{
+ /**
+ * The cached value of the '{@link #getType() Type}' containment reference.
+ *
+ *
+ * @see #getType()
+ * @generated
+ * @ordered
+ */
+ protected RealReference type;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected RealTypeScopeImpl()
+ {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass()
+ {
+ return ApplicationConfigurationPackage.Literals.REAL_TYPE_SCOPE;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public RealReference getType()
+ {
+ return type;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public NotificationChain basicSetType(RealReference newType, NotificationChain msgs)
+ {
+ RealReference oldType = type;
+ type = newType;
+ if (eNotificationRequired())
+ {
+ ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE, oldType, newType);
+ if (msgs == null) msgs = notification; else msgs.add(notification);
+ }
+ return msgs;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setType(RealReference newType)
+ {
+ if (newType != type)
+ {
+ NotificationChain msgs = null;
+ if (type != null)
+ msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE, null, msgs);
+ if (newType != null)
+ msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE, null, msgs);
+ msgs = basicSetType(newType, msgs);
+ if (msgs != null) msgs.dispatch();
+ }
+ else if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE, newType, newType));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE:
+ return basicSetType(null, msgs);
+ }
+ return super.eInverseRemove(otherEnd, featureID, msgs);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE:
+ return getType();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eSet(int featureID, Object newValue)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE:
+ setType((RealReference)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE:
+ setType((RealReference)null);
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE:
+ return type != null;
+ }
+ return super.eIsSet(featureID);
+ }
+
+} //RealTypeScopeImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java
new file mode 100644
index 00000000..7cd6f6f2
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java
@@ -0,0 +1,162 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.util.EDataTypeEList;
+
+/**
+ *
+ * An implementation of the model object 'String Enumeration'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl#getEntry Entry}
+ *
+ *
+ * @generated
+ */
+public class StringEnumerationImpl extends NumberSpecificationImpl implements StringEnumeration
+{
+ /**
+ * The cached value of the '{@link #getEntry() Entry}' attribute list.
+ *
+ *
+ * @see #getEntry()
+ * @generated
+ * @ordered
+ */
+ protected EList entry;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected StringEnumerationImpl()
+ {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass()
+ {
+ return ApplicationConfigurationPackage.Literals.STRING_ENUMERATION;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EList getEntry()
+ {
+ if (entry == null)
+ {
+ entry = new EDataTypeEList(String.class, this, ApplicationConfigurationPackage.STRING_ENUMERATION__ENTRY);
+ }
+ return entry;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.STRING_ENUMERATION__ENTRY:
+ return getEntry();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @SuppressWarnings("unchecked")
+ @Override
+ public void eSet(int featureID, Object newValue)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.STRING_ENUMERATION__ENTRY:
+ getEntry().clear();
+ getEntry().addAll((Collection extends String>)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.STRING_ENUMERATION__ENTRY:
+ getEntry().clear();
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.STRING_ENUMERATION__ENTRY:
+ return entry != null && !entry.isEmpty();
+ }
+ return super.eIsSet(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public String toString()
+ {
+ if (eIsProxy()) return super.toString();
+
+ StringBuffer result = new StringBuffer(super.toString());
+ result.append(" (entry: ");
+ result.append(entry);
+ result.append(')');
+ return result.toString();
+ }
+
+} //StringEnumerationImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java
new file mode 100644
index 00000000..6d6c41de
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java
@@ -0,0 +1,194 @@
+/**
+ * generated by Xtext 2.10.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ *
+ * An implementation of the model object 'String Type Scope'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl#getType Type}
+ *
+ *
+ * @generated
+ */
+public class StringTypeScopeImpl extends TypeScopeImpl implements StringTypeScope
+{
+ /**
+ * The cached value of the '{@link #getType() Type}' containment reference.
+ *
+ *
+ * @see #getType()
+ * @generated
+ * @ordered
+ */
+ protected StringReference type;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected StringTypeScopeImpl()
+ {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass()
+ {
+ return ApplicationConfigurationPackage.Literals.STRING_TYPE_SCOPE;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public StringReference getType()
+ {
+ return type;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public NotificationChain basicSetType(StringReference newType, NotificationChain msgs)
+ {
+ StringReference oldType = type;
+ type = newType;
+ if (eNotificationRequired())
+ {
+ ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE, oldType, newType);
+ if (msgs == null) msgs = notification; else msgs.add(notification);
+ }
+ return msgs;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setType(StringReference newType)
+ {
+ if (newType != type)
+ {
+ NotificationChain msgs = null;
+ if (type != null)
+ msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE, null, msgs);
+ if (newType != null)
+ msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE, null, msgs);
+ msgs = basicSetType(newType, msgs);
+ if (msgs != null) msgs.dispatch();
+ }
+ else if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE, newType, newType));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE:
+ return basicSetType(null, msgs);
+ }
+ return super.eInverseRemove(otherEnd, featureID, msgs);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE:
+ return getType();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eSet(int featureID, Object newValue)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE:
+ setType((StringReference)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE:
+ setType((StringReference)null);
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID)
+ {
+ switch (featureID)
+ {
+ case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE:
+ return type != null;
+ }
+ return super.eIsSet(featureID);
+ }
+
+} //StringTypeScopeImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java
index 0cc0e0bf..cbce6d18 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java
@@ -4,7 +4,7 @@
package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
-import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification;
import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope;
import org.eclipse.emf.common.notify.Notification;
@@ -24,28 +24,15 @@ import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
* The following features are implemented:
*
*
- * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getType Type}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#isSetsNew Sets New}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#isSetsSum Sets Sum}
- * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getMin Min}
- * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#isMaxUnlimited Max Unlimited}
- * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getMax Max}
+ * - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getNumber Number}
*
*
* @generated
*/
public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeScope
{
- /**
- * The cached value of the '{@link #getType() Type}' containment reference.
- *
- *
- * @see #getType()
- * @generated
- * @ordered
- */
- protected TypeReference type;
-
/**
* The default value of the '{@link #isSetsNew() Sets New}' attribute.
*
@@ -87,64 +74,14 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
protected boolean setsSum = SETS_SUM_EDEFAULT;
/**
- * The default value of the '{@link #getMin() Min}' attribute.
- *
- *
- * @see #getMin()
- * @generated
- * @ordered
- */
- protected static final int MIN_EDEFAULT = 0;
-
- /**
- * The cached value of the '{@link #getMin() Min}' attribute.
- *
- *
- * @see #getMin()
- * @generated
- * @ordered
- */
- protected int min = MIN_EDEFAULT;
-
- /**
- * The default value of the '{@link #isMaxUnlimited() Max Unlimited}' attribute.
+ * The cached value of the '{@link #getNumber() Number}' containment reference.
*
*
- * @see #isMaxUnlimited()
+ * @see #getNumber()
* @generated
* @ordered
*/
- protected static final boolean MAX_UNLIMITED_EDEFAULT = false;
-
- /**
- * The cached value of the '{@link #isMaxUnlimited() Max Unlimited}' attribute.
- *
- *
- * @see #isMaxUnlimited()
- * @generated
- * @ordered
- */
- protected boolean maxUnlimited = MAX_UNLIMITED_EDEFAULT;
-
- /**
- * The default value of the '{@link #getMax() Max}' attribute.
- *
- *
- * @see #getMax()
- * @generated
- * @ordered
- */
- protected static final int MAX_EDEFAULT = 0;
-
- /**
- * The cached value of the '{@link #getMax() Max}' attribute.
- *
- *
- * @see #getMax()
- * @generated
- * @ordered
- */
- protected int max = MAX_EDEFAULT;
+ protected NumberSpecification number;
/**
*
@@ -167,54 +104,6 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
return ApplicationConfigurationPackage.Literals.TYPE_SCOPE;
}
- /**
- *
- *
- * @generated
- */
- public TypeReference getType()
- {
- return type;
- }
-
- /**
- *
- *
- * @generated
- */
- public NotificationChain basicSetType(TypeReference newType, NotificationChain msgs)
- {
- TypeReference oldType = type;
- type = newType;
- if (eNotificationRequired())
- {
- ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, oldType, newType);
- if (msgs == null) msgs = notification; else msgs.add(notification);
- }
- return msgs;
- }
-
- /**
- *
- *
- * @generated
- */
- public void setType(TypeReference newType)
- {
- if (newType != type)
- {
- NotificationChain msgs = null;
- if (type != null)
- msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, null, msgs);
- if (newType != null)
- msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, null, msgs);
- msgs = basicSetType(newType, msgs);
- if (msgs != null) msgs.dispatch();
- }
- else if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, newType, newType));
- }
-
/**
*
*
@@ -266,32 +155,9 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
*
* @generated
*/
- public int getMin()
- {
- return min;
- }
-
- /**
- *
- *
- * @generated
- */
- public void setMin(int newMin)
- {
- int oldMin = min;
- min = newMin;
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__MIN, oldMin, min));
- }
-
- /**
- *
- *
- * @generated
- */
- public boolean isMaxUnlimited()
+ public NumberSpecification getNumber()
{
- return maxUnlimited;
+ return number;
}
/**
@@ -299,22 +165,16 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
*
* @generated
*/
- public void setMaxUnlimited(boolean newMaxUnlimited)
+ public NotificationChain basicSetNumber(NumberSpecification newNumber, NotificationChain msgs)
{
- boolean oldMaxUnlimited = maxUnlimited;
- maxUnlimited = newMaxUnlimited;
+ NumberSpecification oldNumber = number;
+ number = newNumber;
if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED, oldMaxUnlimited, maxUnlimited));
- }
-
- /**
- *
- *
- * @generated
- */
- public int getMax()
- {
- return max;
+ {
+ ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, oldNumber, newNumber);
+ if (msgs == null) msgs = notification; else msgs.add(notification);
+ }
+ return msgs;
}
/**
@@ -322,12 +182,20 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
*
* @generated
*/
- public void setMax(int newMax)
+ public void setNumber(NumberSpecification newNumber)
{
- int oldMax = max;
- max = newMax;
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__MAX, oldMax, max));
+ if (newNumber != number)
+ {
+ NotificationChain msgs = null;
+ if (number != null)
+ msgs = ((InternalEObject)number).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, null, msgs);
+ if (newNumber != null)
+ msgs = ((InternalEObject)newNumber).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, null, msgs);
+ msgs = basicSetNumber(newNumber, msgs);
+ if (msgs != null) msgs.dispatch();
+ }
+ else if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, newNumber, newNumber));
}
/**
@@ -340,8 +208,8 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
{
switch (featureID)
{
- case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:
- return basicSetType(null, msgs);
+ case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER:
+ return basicSetNumber(null, msgs);
}
return super.eInverseRemove(otherEnd, featureID, msgs);
}
@@ -356,18 +224,12 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
{
switch (featureID)
{
- case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:
- return getType();
case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW:
return isSetsNew();
case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM:
return isSetsSum();
- case ApplicationConfigurationPackage.TYPE_SCOPE__MIN:
- return getMin();
- case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED:
- return isMaxUnlimited();
- case ApplicationConfigurationPackage.TYPE_SCOPE__MAX:
- return getMax();
+ case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER:
+ return getNumber();
}
return super.eGet(featureID, resolve, coreType);
}
@@ -382,23 +244,14 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
{
switch (featureID)
{
- case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:
- setType((TypeReference)newValue);
- return;
case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW:
setSetsNew((Boolean)newValue);
return;
case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM:
setSetsSum((Boolean)newValue);
return;
- case ApplicationConfigurationPackage.TYPE_SCOPE__MIN:
- setMin((Integer)newValue);
- return;
- case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED:
- setMaxUnlimited((Boolean)newValue);
- return;
- case ApplicationConfigurationPackage.TYPE_SCOPE__MAX:
- setMax((Integer)newValue);
+ case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER:
+ setNumber((NumberSpecification)newValue);
return;
}
super.eSet(featureID, newValue);
@@ -414,23 +267,14 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
{
switch (featureID)
{
- case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:
- setType((TypeReference)null);
- return;
case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW:
setSetsNew(SETS_NEW_EDEFAULT);
return;
case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM:
setSetsSum(SETS_SUM_EDEFAULT);
return;
- case ApplicationConfigurationPackage.TYPE_SCOPE__MIN:
- setMin(MIN_EDEFAULT);
- return;
- case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED:
- setMaxUnlimited(MAX_UNLIMITED_EDEFAULT);
- return;
- case ApplicationConfigurationPackage.TYPE_SCOPE__MAX:
- setMax(MAX_EDEFAULT);
+ case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER:
+ setNumber((NumberSpecification)null);
return;
}
super.eUnset(featureID);
@@ -446,18 +290,12 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
{
switch (featureID)
{
- case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:
- return type != null;
case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW:
return setsNew != SETS_NEW_EDEFAULT;
case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM:
return setsSum != SETS_SUM_EDEFAULT;
- case ApplicationConfigurationPackage.TYPE_SCOPE__MIN:
- return min != MIN_EDEFAULT;
- case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED:
- return maxUnlimited != MAX_UNLIMITED_EDEFAULT;
- case ApplicationConfigurationPackage.TYPE_SCOPE__MAX:
- return max != MAX_EDEFAULT;
+ case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER:
+ return number != null;
}
return super.eIsSet(featureID);
}
@@ -477,12 +315,6 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
result.append(setsNew);
result.append(", setsSum: ");
result.append(setsSum);
- result.append(", min: ");
- result.append(min);
- result.append(", maxUnlimited: ");
- result.append(maxUnlimited);
- result.append(", max: ");
- result.append(max);
result.append(')');
return result.toString();
}
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java
index 58c9881e..7a472842 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java
@@ -266,6 +266,31 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl
return createTypeScopeAdapter();
}
@Override
+ public Adapter caseClassTypeScope(ClassTypeScope object)
+ {
+ return createClassTypeScopeAdapter();
+ }
+ @Override
+ public Adapter caseObjectTypeScope(ObjectTypeScope object)
+ {
+ return createObjectTypeScopeAdapter();
+ }
+ @Override
+ public Adapter caseIntegerTypeScope(IntegerTypeScope object)
+ {
+ return createIntegerTypeScopeAdapter();
+ }
+ @Override
+ public Adapter caseRealTypeScope(RealTypeScope object)
+ {
+ return createRealTypeScopeAdapter();
+ }
+ @Override
+ public Adapter caseStringTypeScope(StringTypeScope object)
+ {
+ return createStringTypeScopeAdapter();
+ }
+ @Override
public Adapter caseTypeReference(TypeReference object)
{
return createTypeReferenceAdapter();
@@ -296,6 +321,36 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl
return createStringReferenceAdapter();
}
@Override
+ public Adapter caseNumberSpecification(NumberSpecification object)
+ {
+ return createNumberSpecificationAdapter();
+ }
+ @Override
+ public Adapter caseExactNumber(ExactNumber object)
+ {
+ return createExactNumberAdapter();
+ }
+ @Override
+ public Adapter caseIntervallNumber(IntervallNumber object)
+ {
+ return createIntervallNumberAdapter();
+ }
+ @Override
+ public Adapter caseIntEnumberation(IntEnumberation object)
+ {
+ return createIntEnumberationAdapter();
+ }
+ @Override
+ public Adapter caseRealEnumeration(RealEnumeration object)
+ {
+ return createRealEnumerationAdapter();
+ }
+ @Override
+ public Adapter caseStringEnumeration(StringEnumeration object)
+ {
+ return createStringEnumerationAdapter();
+ }
+ @Override
public Adapter caseScopeDeclaration(ScopeDeclaration object)
{
return createScopeDeclarationAdapter();
@@ -927,6 +982,81 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl
return null;
}
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope Class Type Scope}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope
+ * @generated
+ */
+ public Adapter createClassTypeScopeAdapter()
+ {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope Object Type Scope}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope
+ * @generated
+ */
+ public Adapter createObjectTypeScopeAdapter()
+ {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope Integer Type Scope}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope
+ * @generated
+ */
+ public Adapter createIntegerTypeScopeAdapter()
+ {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope Real Type Scope}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope
+ * @generated
+ */
+ public Adapter createRealTypeScopeAdapter()
+ {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope String Type Scope}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope
+ * @generated
+ */
+ public Adapter createStringTypeScopeAdapter()
+ {
+ return null;
+ }
+
/**
* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference Type Reference}'.
*
@@ -1017,6 +1147,96 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl
return null;
}
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification Number Specification}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification
+ * @generated
+ */
+ public Adapter createNumberSpecificationAdapter()
+ {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber Exact Number}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber
+ * @generated
+ */
+ public Adapter createExactNumberAdapter()
+ {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber Intervall Number}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber
+ * @generated
+ */
+ public Adapter createIntervallNumberAdapter()
+ {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation Int Enumberation}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation
+ * @generated
+ */
+ public Adapter createIntEnumberationAdapter()
+ {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration Real Enumeration}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration
+ * @generated
+ */
+ public Adapter createRealEnumerationAdapter()
+ {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration String Enumeration}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration
+ * @generated
+ */
+ public Adapter createStringEnumerationAdapter()
+ {
+ return null;
+ }
+
/**
* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration Scope Declaration}'.
*
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java
index fbcf4041..a579f3f1 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java
@@ -369,6 +369,46 @@ public class ApplicationConfigurationSwitch extends Switch
if (result == null) result = defaultCase(theEObject);
return result;
}
+ case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE:
+ {
+ ClassTypeScope classTypeScope = (ClassTypeScope)theEObject;
+ T result = caseClassTypeScope(classTypeScope);
+ if (result == null) result = caseTypeScope(classTypeScope);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE:
+ {
+ ObjectTypeScope objectTypeScope = (ObjectTypeScope)theEObject;
+ T result = caseObjectTypeScope(objectTypeScope);
+ if (result == null) result = caseTypeScope(objectTypeScope);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE:
+ {
+ IntegerTypeScope integerTypeScope = (IntegerTypeScope)theEObject;
+ T result = caseIntegerTypeScope(integerTypeScope);
+ if (result == null) result = caseTypeScope(integerTypeScope);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case ApplicationConfigurationPackage.REAL_TYPE_SCOPE:
+ {
+ RealTypeScope realTypeScope = (RealTypeScope)theEObject;
+ T result = caseRealTypeScope(realTypeScope);
+ if (result == null) result = caseTypeScope(realTypeScope);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case ApplicationConfigurationPackage.STRING_TYPE_SCOPE:
+ {
+ StringTypeScope stringTypeScope = (StringTypeScope)theEObject;
+ T result = caseStringTypeScope(stringTypeScope);
+ if (result == null) result = caseTypeScope(stringTypeScope);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
case ApplicationConfigurationPackage.TYPE_REFERENCE:
{
TypeReference typeReference = (TypeReference)theEObject;
@@ -416,6 +456,53 @@ public class ApplicationConfigurationSwitch extends Switch
if (result == null) result = defaultCase(theEObject);
return result;
}
+ case ApplicationConfigurationPackage.NUMBER_SPECIFICATION:
+ {
+ NumberSpecification numberSpecification = (NumberSpecification)theEObject;
+ T result = caseNumberSpecification(numberSpecification);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case ApplicationConfigurationPackage.EXACT_NUMBER:
+ {
+ ExactNumber exactNumber = (ExactNumber)theEObject;
+ T result = caseExactNumber(exactNumber);
+ if (result == null) result = caseNumberSpecification(exactNumber);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case ApplicationConfigurationPackage.INTERVALL_NUMBER:
+ {
+ IntervallNumber intervallNumber = (IntervallNumber)theEObject;
+ T result = caseIntervallNumber(intervallNumber);
+ if (result == null) result = caseNumberSpecification(intervallNumber);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case ApplicationConfigurationPackage.INT_ENUMBERATION:
+ {
+ IntEnumberation intEnumberation = (IntEnumberation)theEObject;
+ T result = caseIntEnumberation(intEnumberation);
+ if (result == null) result = caseNumberSpecification(intEnumberation);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case ApplicationConfigurationPackage.REAL_ENUMERATION:
+ {
+ RealEnumeration realEnumeration = (RealEnumeration)theEObject;
+ T result = caseRealEnumeration(realEnumeration);
+ if (result == null) result = caseNumberSpecification(realEnumeration);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case ApplicationConfigurationPackage.STRING_ENUMERATION:
+ {
+ StringEnumeration stringEnumeration = (StringEnumeration)theEObject;
+ T result = caseStringEnumeration(stringEnumeration);
+ if (result == null) result = caseNumberSpecification(stringEnumeration);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
case ApplicationConfigurationPackage.SCOPE_DECLARATION:
{
ScopeDeclaration scopeDeclaration = (ScopeDeclaration)theEObject;
@@ -1096,6 +1183,86 @@ public class ApplicationConfigurationSwitch extends Switch
return null;
}
+ /**
+ * Returns the result of interpreting the object as an instance of 'Class Type Scope'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Class Type Scope'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseClassTypeScope(ClassTypeScope object)
+ {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Object Type Scope'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Object Type Scope'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseObjectTypeScope(ObjectTypeScope object)
+ {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Integer Type Scope'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Integer Type Scope'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseIntegerTypeScope(IntegerTypeScope object)
+ {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Real Type Scope'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Real Type Scope'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseRealTypeScope(RealTypeScope object)
+ {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'String Type Scope'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'String Type Scope'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseStringTypeScope(StringTypeScope object)
+ {
+ return null;
+ }
+
/**
* Returns the result of interpreting the object as an instance of 'Type Reference'.
*
@@ -1192,6 +1359,102 @@ public class ApplicationConfigurationSwitch extends Switch
return null;
}
+ /**
+ * Returns the result of interpreting the object as an instance of 'Number Specification'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Number Specification'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseNumberSpecification(NumberSpecification object)
+ {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Exact Number'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Exact Number'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseExactNumber(ExactNumber object)
+ {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Intervall Number'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Intervall Number'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseIntervallNumber(IntervallNumber object)
+ {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Int Enumberation'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Int Enumberation'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseIntEnumberation(IntEnumberation object)
+ {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Real Enumeration'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Real Enumeration'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseRealEnumeration(RealEnumeration object)
+ {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'String Enumeration'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'String Enumeration'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseStringEnumeration(StringEnumeration object)
+ {
+ return null;
+ }
+
/**
* Returns the result of interpreting the object as an instance of 'Scope Declaration'.
*
--
cgit v1.2.3-54-g00ecf