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
---
.../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 ++---------
15 files changed, 2802 insertions(+), 309 deletions(-)
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/impl')
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();
}
--
cgit v1.2.3-54-g00ecf