From 0be8ac9989d7af31c7e3b9f923fbbd7ed9f540ea Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Thu, 15 Feb 2018 22:55:47 +0100 Subject: First complete scope grammar --- .../ApplicationConfigurationFactory.java | 99 ++ .../ApplicationConfigurationPackage.java | 1232 +++++++++++++++++--- .../applicationConfiguration/ClassTypeScope.java | 51 + .../applicationConfiguration/ExactNumber.java | 78 ++ .../applicationConfiguration/GenerationTask.java | 108 +- .../applicationConfiguration/IntEnumberation.java | 42 + .../applicationConfiguration/IntegerTypeScope.java | 51 + .../applicationConfiguration/IntervallNumber.java | 105 ++ .../NumberSpecification.java | 20 + .../applicationConfiguration/ObjectTypeScope.java | 51 + .../applicationConfiguration/RealEnumeration.java | 42 + .../applicationConfiguration/RealTypeScope.java | 51 + .../StringEnumeration.java | 42 + .../applicationConfiguration/StringTypeScope.java | 51 + .../applicationConfiguration/TypeScope.java | 105 +- .../impl/ApplicationConfigurationFactoryImpl.java | 132 +++ .../impl/ApplicationConfigurationPackageImpl.java | 458 +++++++- .../impl/ClassTypeScopeImpl.java | 194 +++ .../impl/ExactNumberImpl.java | 233 ++++ .../impl/GenerationTaskImpl.java | 256 ++-- .../impl/IntEnumberationImpl.java | 162 +++ .../impl/IntegerTypeScopeImpl.java | 194 +++ .../impl/IntervallNumberImpl.java | 289 +++++ .../impl/NumberSpecificationImpl.java | 43 + .../impl/ObjectTypeScopeImpl.java | 194 +++ .../impl/RealEnumerationImpl.java | 162 +++ .../impl/RealTypeScopeImpl.java | 194 +++ .../impl/StringEnumerationImpl.java | 162 +++ .../impl/StringTypeScopeImpl.java | 194 +++ .../impl/TypeScopeImpl.java | 244 +--- .../ApplicationConfigurationAdapterFactory.java | 220 ++++ .../util/ApplicationConfigurationSwitch.java | 263 +++++ 32 files changed, 5127 insertions(+), 595 deletions(-) create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ClassTypeScope.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntegerTypeScope.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/NumberSpecification.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ObjectTypeScope.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealEnumeration.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealTypeScope.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringEnumeration.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringTypeScope.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerTypeScopeImpl.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/NumberSpecificationImpl.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectTypeScopeImpl.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealEnumerationImpl.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealTypeScopeImpl.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration') diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java index 8e81dbc7..11e54727 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java @@ -365,6 +365,51 @@ public interface ApplicationConfigurationFactory extends EFactory */ TypeScope createTypeScope(); + /** + * Returns a new object of class 'Class Type Scope'. + * + * + * @return a new object of class 'Class Type Scope'. + * @generated + */ + ClassTypeScope createClassTypeScope(); + + /** + * Returns a new object of class 'Object Type Scope'. + * + * + * @return a new object of class 'Object Type Scope'. + * @generated + */ + ObjectTypeScope createObjectTypeScope(); + + /** + * Returns a new object of class 'Integer Type Scope'. + * + * + * @return a new object of class 'Integer Type Scope'. + * @generated + */ + IntegerTypeScope createIntegerTypeScope(); + + /** + * Returns a new object of class 'Real Type Scope'. + * + * + * @return a new object of class 'Real Type Scope'. + * @generated + */ + RealTypeScope createRealTypeScope(); + + /** + * Returns a new object of class 'String Type Scope'. + * + * + * @return a new object of class 'String Type Scope'. + * @generated + */ + StringTypeScope createStringTypeScope(); + /** * Returns a new object of class 'Type Reference'. * @@ -419,6 +464,60 @@ public interface ApplicationConfigurationFactory extends EFactory */ StringReference createStringReference(); + /** + * Returns a new object of class 'Number Specification'. + * + * + * @return a new object of class 'Number Specification'. + * @generated + */ + NumberSpecification createNumberSpecification(); + + /** + * Returns a new object of class 'Exact Number'. + * + * + * @return a new object of class 'Exact Number'. + * @generated + */ + ExactNumber createExactNumber(); + + /** + * Returns a new object of class 'Intervall Number'. + * + * + * @return a new object of class 'Intervall Number'. + * @generated + */ + IntervallNumber createIntervallNumber(); + + /** + * Returns a new object of class 'Int Enumberation'. + * + * + * @return a new object of class 'Int Enumberation'. + * @generated + */ + IntEnumberation createIntEnumberation(); + + /** + * Returns a new object of class 'Real Enumeration'. + * + * + * @return a new object of class 'Real Enumeration'. + * @generated + */ + RealEnumeration createRealEnumeration(); + + /** + * Returns a new object of class 'String Enumeration'. + * + * + * @return a new object of class 'String Enumeration'. + * @generated + */ + StringEnumeration createStringEnumeration(); + /** * Returns a new object of class 'Scope Declaration'. * diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java index 2a23a843..2046ffa8 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java @@ -1128,7 +1128,7 @@ public interface ApplicationConfigurationPackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScope() * @generated */ - int SCOPE = 46; + int SCOPE = 57; /** * The number of structural features of the 'Scope' class. @@ -1177,191 +1177,625 @@ public interface ApplicationConfigurationPackage extends EPackage */ int TYPE_SCOPE = 37; + /** + * The feature id for the 'Sets New' attribute. + * + * + * @generated + * @ordered + */ + int TYPE_SCOPE__SETS_NEW = 0; + + /** + * The feature id for the 'Sets Sum' attribute. + * + * + * @generated + * @ordered + */ + int TYPE_SCOPE__SETS_SUM = 1; + + /** + * The feature id for the 'Number' containment reference. + * + * + * @generated + * @ordered + */ + int TYPE_SCOPE__NUMBER = 2; + + /** + * The number of structural features of the 'Type Scope' class. + * + * + * @generated + * @ordered + */ + int TYPE_SCOPE_FEATURE_COUNT = 3; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl Class Type Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassTypeScope() + * @generated + */ + int CLASS_TYPE_SCOPE = 38; + + /** + * The feature id for the 'Sets New' attribute. + * + * + * @generated + * @ordered + */ + int CLASS_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW; + + /** + * The feature id for the 'Sets Sum' attribute. + * + * + * @generated + * @ordered + */ + int CLASS_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM; + + /** + * The feature id for the 'Number' containment reference. + * + * + * @generated + * @ordered + */ + int CLASS_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER; + /** * The feature id for the 'Type' containment reference. * * * @generated - * @ordered + * @ordered + */ + int CLASS_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Class Type Scope' class. + * + * + * @generated + * @ordered + */ + int CLASS_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl Object Type Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectTypeScope() + * @generated + */ + int OBJECT_TYPE_SCOPE = 39; + + /** + * The feature id for the 'Sets New' attribute. + * + * + * @generated + * @ordered + */ + int OBJECT_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW; + + /** + * The feature id for the 'Sets Sum' attribute. + * + * + * @generated + * @ordered + */ + int OBJECT_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM; + + /** + * The feature id for the 'Number' containment reference. + * + * + * @generated + * @ordered + */ + int OBJECT_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER; + + /** + * The feature id for the 'Type' containment reference. + * + * + * @generated + * @ordered + */ + int OBJECT_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Object Type Scope' class. + * + * + * @generated + * @ordered + */ + int OBJECT_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl Integer Type Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerTypeScope() + * @generated + */ + int INTEGER_TYPE_SCOPE = 40; + + /** + * The feature id for the 'Sets New' attribute. + * + * + * @generated + * @ordered + */ + int INTEGER_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW; + + /** + * The feature id for the 'Sets Sum' attribute. + * + * + * @generated + * @ordered + */ + int INTEGER_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM; + + /** + * The feature id for the 'Number' containment reference. + * + * + * @generated + * @ordered + */ + int INTEGER_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER; + + /** + * The feature id for the 'Type' containment reference. + * + * + * @generated + * @ordered + */ + int INTEGER_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Integer Type Scope' class. + * + * + * @generated + * @ordered + */ + int INTEGER_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl Real Type Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealTypeScope() + * @generated + */ + int REAL_TYPE_SCOPE = 41; + + /** + * The feature id for the 'Sets New' attribute. + * + * + * @generated + * @ordered + */ + int REAL_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW; + + /** + * The feature id for the 'Sets Sum' attribute. + * + * + * @generated + * @ordered + */ + int REAL_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM; + + /** + * The feature id for the 'Number' containment reference. + * + * + * @generated + * @ordered + */ + int REAL_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER; + + /** + * The feature id for the 'Type' containment reference. + * + * + * @generated + * @ordered + */ + int REAL_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Real Type Scope' class. + * + * + * @generated + * @ordered + */ + int REAL_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl String Type Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringTypeScope() + * @generated + */ + int STRING_TYPE_SCOPE = 42; + + /** + * The feature id for the 'Sets New' attribute. + * + * + * @generated + * @ordered + */ + int STRING_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW; + + /** + * The feature id for the 'Sets Sum' attribute. + * + * + * @generated + * @ordered + */ + int STRING_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM; + + /** + * The feature id for the 'Number' containment reference. + * + * + * @generated + * @ordered + */ + int STRING_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER; + + /** + * The feature id for the 'Type' containment reference. + * + * + * @generated + * @ordered + */ + int STRING_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'String Type Scope' class. + * + * + * @generated + * @ordered + */ + int STRING_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeReferenceImpl Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getTypeReference() + * @generated + */ + int TYPE_REFERENCE = 43; + + /** + * The number of structural features of the 'Type Reference' class. + * + * + * @generated + * @ordered + */ + int TYPE_REFERENCE_FEATURE_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassReferenceImpl Class Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassReference() + * @generated + */ + int CLASS_REFERENCE = 44; + + /** + * The feature id for the 'Element' containment reference. + * + * + * @generated + * @ordered + */ + int CLASS_REFERENCE__ELEMENT = TYPE_REFERENCE_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Class Reference' class. + * + * + * @generated + * @ordered + */ + int CLASS_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 1; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectReferenceImpl Object Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectReference() + * @generated + */ + int OBJECT_REFERENCE = 45; + + /** + * The number of structural features of the 'Object Reference' class. + * + * + * @generated + * @ordered + */ + int OBJECT_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerReferenceImpl Integer Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerReference() + * @generated + */ + int INTEGER_REFERENCE = 46; + + /** + * The number of structural features of the 'Integer Reference' class. + * + * + * @generated + * @ordered + */ + int INTEGER_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealReferenceImpl Real Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealReference() + * @generated + */ + int REAL_REFERENCE = 47; + + /** + * The number of structural features of the 'Real Reference' class. + * + * + * @generated + * @ordered + */ + int REAL_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringReferenceImpl String Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringReference() + * @generated */ - int TYPE_SCOPE__TYPE = 0; + int STRING_REFERENCE = 48; /** - * The feature id for the 'Sets New' attribute. + * The number of structural features of the 'String Reference' class. * * * @generated * @ordered */ - int TYPE_SCOPE__SETS_NEW = 1; + int STRING_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0; /** - * The feature id for the 'Sets Sum' attribute. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.NumberSpecificationImpl Number Specification}' class. * * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.NumberSpecificationImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getNumberSpecification() * @generated - * @ordered */ - int TYPE_SCOPE__SETS_SUM = 2; + int NUMBER_SPECIFICATION = 49; /** - * The feature id for the 'Min' attribute. + * The number of structural features of the 'Number Specification' class. * * * @generated * @ordered */ - int TYPE_SCOPE__MIN = 3; + int NUMBER_SPECIFICATION_FEATURE_COUNT = 0; /** - * The feature id for the 'Max Unlimited' attribute. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl Exact Number}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getExactNumber() + * @generated + */ + int EXACT_NUMBER = 50; + + /** + * The feature id for the 'Exact Number' attribute. * * * @generated * @ordered */ - int TYPE_SCOPE__MAX_UNLIMITED = 4; + int EXACT_NUMBER__EXACT_NUMBER = NUMBER_SPECIFICATION_FEATURE_COUNT + 0; /** - * The feature id for the 'Max' attribute. + * The feature id for the 'Exact Unlimited' attribute. * * * @generated * @ordered */ - int TYPE_SCOPE__MAX = 5; + int EXACT_NUMBER__EXACT_UNLIMITED = NUMBER_SPECIFICATION_FEATURE_COUNT + 1; /** - * The number of structural features of the 'Type Scope' class. + * The number of structural features of the 'Exact Number' class. * * * @generated * @ordered */ - int TYPE_SCOPE_FEATURE_COUNT = 6; + int EXACT_NUMBER_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 2; /** - * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeReferenceImpl Type Reference}' class. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl Intervall Number}' class. * * - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeReferenceImpl - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getTypeReference() + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntervallNumber() * @generated */ - int TYPE_REFERENCE = 38; + int INTERVALL_NUMBER = 51; /** - * The number of structural features of the 'Type Reference' class. + * The feature id for the 'Min' attribute. * * * @generated * @ordered */ - int TYPE_REFERENCE_FEATURE_COUNT = 0; + int INTERVALL_NUMBER__MIN = NUMBER_SPECIFICATION_FEATURE_COUNT + 0; /** - * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassReferenceImpl Class Reference}' class. + * The feature id for the 'Max Number' attribute. * * - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassReferenceImpl - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassReference() * @generated + * @ordered */ - int CLASS_REFERENCE = 39; + int INTERVALL_NUMBER__MAX_NUMBER = NUMBER_SPECIFICATION_FEATURE_COUNT + 1; /** - * The feature id for the 'Element' containment reference. + * The feature id for the 'Max Unlimited' attribute. * * * @generated * @ordered */ - int CLASS_REFERENCE__ELEMENT = TYPE_REFERENCE_FEATURE_COUNT + 0; + int INTERVALL_NUMBER__MAX_UNLIMITED = NUMBER_SPECIFICATION_FEATURE_COUNT + 2; /** - * The number of structural features of the 'Class Reference' class. + * The number of structural features of the 'Intervall Number' class. * * * @generated * @ordered */ - int CLASS_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 1; + int INTERVALL_NUMBER_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 3; /** - * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectReferenceImpl Object Reference}' class. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl Int Enumberation}' class. * * - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectReferenceImpl - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectReference() + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntEnumberation() * @generated */ - int OBJECT_REFERENCE = 40; + int INT_ENUMBERATION = 52; /** - * The number of structural features of the 'Object Reference' class. + * The feature id for the 'Entry' attribute list. * * * @generated * @ordered */ - int OBJECT_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0; + int INT_ENUMBERATION__ENTRY = NUMBER_SPECIFICATION_FEATURE_COUNT + 0; /** - * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerReferenceImpl Integer Reference}' class. + * The number of structural features of the 'Int Enumberation' class. * * - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerReferenceImpl - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerReference() * @generated + * @ordered */ - int INTEGER_REFERENCE = 41; + int INT_ENUMBERATION_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 1; /** - * The number of structural features of the 'Integer Reference' class. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl Real Enumeration}' class. * * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealEnumeration() * @generated - * @ordered */ - int INTEGER_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0; + int REAL_ENUMERATION = 53; /** - * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealReferenceImpl Real Reference}' class. + * The feature id for the 'Entry' attribute list. * * - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealReferenceImpl - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealReference() * @generated + * @ordered */ - int REAL_REFERENCE = 42; + int REAL_ENUMERATION__ENTRY = NUMBER_SPECIFICATION_FEATURE_COUNT + 0; /** - * The number of structural features of the 'Real Reference' class. + * The number of structural features of the 'Real Enumeration' class. * * * @generated * @ordered */ - int REAL_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0; + int REAL_ENUMERATION_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 1; /** - * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringReferenceImpl String Reference}' class. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl String Enumeration}' class. * * - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringReferenceImpl - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringReference() + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringEnumeration() * @generated */ - int STRING_REFERENCE = 43; + int STRING_ENUMERATION = 54; /** - * The number of structural features of the 'String Reference' class. + * The feature id for the 'Entry' attribute list. * * * @generated * @ordered */ - int STRING_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0; + int STRING_ENUMERATION__ENTRY = NUMBER_SPECIFICATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'String Enumeration' class. + * + * + * @generated + * @ordered + */ + int STRING_ENUMERATION_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 1; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ScopeDeclarationImpl Scope Declaration}' class. @@ -1371,7 +1805,7 @@ public interface ApplicationConfigurationPackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScopeDeclaration() * @generated */ - int SCOPE_DECLARATION = 44; + int SCOPE_DECLARATION = 55; /** * The feature id for the 'Name' attribute. @@ -1408,7 +1842,7 @@ public interface ApplicationConfigurationPackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScopeReference() * @generated */ - int SCOPE_REFERENCE = 45; + int SCOPE_REFERENCE = 56; /** * The feature id for the 'Referred' reference. @@ -1436,7 +1870,7 @@ public interface ApplicationConfigurationPackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getTask() * @generated */ - int TASK = 47; + int TASK = 58; /** * The number of structural features of the 'Task' class. @@ -1455,7 +1889,7 @@ public interface ApplicationConfigurationPackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getGenerationTask() * @generated */ - int GENERATION_TASK = 48; + int GENERATION_TASK = 59; /** * The feature id for the 'Metamodel' containment reference. @@ -1493,6 +1927,15 @@ public interface ApplicationConfigurationPackage extends EPackage */ int GENERATION_TASK__SCOPE = TASK_FEATURE_COUNT + 3; + /** + * The feature id for the 'Number Specified' attribute. + * + * + * @generated + * @ordered + */ + int GENERATION_TASK__NUMBER_SPECIFIED = TASK_FEATURE_COUNT + 4; + /** * The feature id for the 'Number' attribute. * @@ -1500,43 +1943,43 @@ public interface ApplicationConfigurationPackage extends EPackage * @generated * @ordered */ - int GENERATION_TASK__NUMBER = TASK_FEATURE_COUNT + 4; + int GENERATION_TASK__NUMBER = TASK_FEATURE_COUNT + 5; /** - * The feature id for the 'Runs' attribute. + * The feature id for the 'Run Specified' attribute. * * * @generated * @ordered */ - int GENERATION_TASK__RUNS = TASK_FEATURE_COUNT + 5; + int GENERATION_TASK__RUN_SPECIFIED = TASK_FEATURE_COUNT + 6; /** - * The feature id for the 'Solver' attribute. + * The feature id for the 'Runs' attribute. * * * @generated * @ordered */ - int GENERATION_TASK__SOLVER = TASK_FEATURE_COUNT + 6; + int GENERATION_TASK__RUNS = TASK_FEATURE_COUNT + 7; /** - * The feature id for the 'Config' containment reference. + * The feature id for the 'Solver' attribute. * * * @generated * @ordered */ - int GENERATION_TASK__CONFIG = TASK_FEATURE_COUNT + 7; + int GENERATION_TASK__SOLVER = TASK_FEATURE_COUNT + 8; /** - * The feature id for the 'Taget Folder' containment reference. + * The feature id for the 'Config' containment reference. * * * @generated * @ordered */ - int GENERATION_TASK__TAGET_FOLDER = TASK_FEATURE_COUNT + 8; + int GENERATION_TASK__CONFIG = TASK_FEATURE_COUNT + 9; /** * The feature id for the 'Debug Folder' containment reference. @@ -1545,7 +1988,7 @@ public interface ApplicationConfigurationPackage extends EPackage * @generated * @ordered */ - int GENERATION_TASK__DEBUG_FOLDER = TASK_FEATURE_COUNT + 9; + int GENERATION_TASK__DEBUG_FOLDER = TASK_FEATURE_COUNT + 10; /** * The feature id for the 'Target Log File' containment reference. @@ -1554,7 +1997,7 @@ public interface ApplicationConfigurationPackage extends EPackage * @generated * @ordered */ - int GENERATION_TASK__TARGET_LOG_FILE = TASK_FEATURE_COUNT + 10; + int GENERATION_TASK__TARGET_LOG_FILE = TASK_FEATURE_COUNT + 11; /** * The feature id for the 'Target Statistics File' containment reference. @@ -1563,7 +2006,16 @@ public interface ApplicationConfigurationPackage extends EPackage * @generated * @ordered */ - int GENERATION_TASK__TARGET_STATISTICS_FILE = TASK_FEATURE_COUNT + 11; + int GENERATION_TASK__TARGET_STATISTICS_FILE = TASK_FEATURE_COUNT + 12; + + /** + * The feature id for the 'Taget Folder' containment reference. + * + * + * @generated + * @ordered + */ + int GENERATION_TASK__TAGET_FOLDER = TASK_FEATURE_COUNT + 13; /** * The number of structural features of the 'Generation Task' class. @@ -1572,7 +2024,7 @@ public interface ApplicationConfigurationPackage extends EPackage * @generated * @ordered */ - int GENERATION_TASK_FEATURE_COUNT = TASK_FEATURE_COUNT + 12; + int GENERATION_TASK_FEATURE_COUNT = TASK_FEATURE_COUNT + 14; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerScopeImpl Integer Scope}' class. @@ -1582,7 +2034,7 @@ public interface ApplicationConfigurationPackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerScope() * @generated */ - int INTEGER_SCOPE = 49; + int INTEGER_SCOPE = 60; /** * The number of structural features of the 'Integer Scope' class. @@ -1601,7 +2053,7 @@ public interface ApplicationConfigurationPackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealScope() * @generated */ - int REAL_SCOPE = 50; + int REAL_SCOPE = 61; /** * The number of structural features of the 'Real Scope' class. @@ -1620,7 +2072,7 @@ public interface ApplicationConfigurationPackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringScope() * @generated */ - int STRING_SCOPE = 51; + int STRING_SCOPE = 62; /** * The number of structural features of the 'String Scope' class. @@ -1639,7 +2091,7 @@ public interface ApplicationConfigurationPackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getSolver() * @generated */ - int SOLVER = 52; + int SOLVER = 63; /** @@ -2372,144 +2824,364 @@ public interface ApplicationConfigurationPackage extends EPackage * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope * @generated */ - EClass getTypeScope(); + EClass getTypeScope(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew Sets New}'. + * + * + * @return the meta object for the attribute 'Sets New'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew() + * @see #getTypeScope() + * @generated + */ + EAttribute getTypeScope_SetsNew(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum Sets Sum}'. + * + * + * @return the meta object for the attribute 'Sets Sum'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum() + * @see #getTypeScope() + * @generated + */ + EAttribute getTypeScope_SetsSum(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber Number}'. + * + * + * @return the meta object for the containment reference 'Number'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber() + * @see #getTypeScope() + * @generated + */ + EReference getTypeScope_Number(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope Class Type Scope}'. + * + * + * @return the meta object for class 'Class Type Scope'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope + * @generated + */ + EClass getClassTypeScope(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope#getType Type}'. + * + * + * @return the meta object for the containment reference 'Type'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope#getType() + * @see #getClassTypeScope() + * @generated + */ + EReference getClassTypeScope_Type(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope Object Type Scope}'. + * + * + * @return the meta object for class 'Object Type Scope'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope + * @generated + */ + EClass getObjectTypeScope(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope#getType Type}'. + * + * + * @return the meta object for the containment reference 'Type'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope#getType() + * @see #getObjectTypeScope() + * @generated + */ + EReference getObjectTypeScope_Type(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope Integer Type Scope}'. + * + * + * @return the meta object for class 'Integer Type Scope'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope + * @generated + */ + EClass getIntegerTypeScope(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope#getType Type}'. + * + * + * @return the meta object for the containment reference 'Type'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope#getType() + * @see #getIntegerTypeScope() + * @generated + */ + EReference getIntegerTypeScope_Type(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope Real Type Scope}'. + * + * + * @return the meta object for class 'Real Type Scope'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope + * @generated + */ + EClass getRealTypeScope(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope#getType Type}'. + * + * + * @return the meta object for the containment reference 'Type'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope#getType() + * @see #getRealTypeScope() + * @generated + */ + EReference getRealTypeScope_Type(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope String Type Scope}'. + * + * + * @return the meta object for class 'String Type Scope'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope + * @generated + */ + EClass getStringTypeScope(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope#getType Type}'. + * + * + * @return the meta object for the containment reference 'Type'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope#getType() + * @see #getStringTypeScope() + * @generated + */ + EReference getStringTypeScope_Type(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference Type Reference}'. + * + * + * @return the meta object for class 'Type Reference'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference + * @generated + */ + EClass getTypeReference(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference Class Reference}'. + * + * + * @return the meta object for class 'Class Reference'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference + * @generated + */ + EClass getClassReference(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference#getElement Element}'. + * + * + * @return the meta object for the containment reference 'Element'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference#getElement() + * @see #getClassReference() + * @generated + */ + EReference getClassReference_Element(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference Object Reference}'. + * + * + * @return the meta object for class 'Object Reference'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference + * @generated + */ + EClass getObjectReference(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference Integer Reference}'. + * + * + * @return the meta object for class 'Integer Reference'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference + * @generated + */ + EClass getIntegerReference(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference Real Reference}'. + * + * + * @return the meta object for class 'Real Reference'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference + * @generated + */ + EClass getRealReference(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference String Reference}'. + * + * + * @return the meta object for class 'String Reference'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference + * @generated + */ + EClass getStringReference(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification Number Specification}'. + * + * + * @return the meta object for class 'Number Specification'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification + * @generated + */ + EClass getNumberSpecification(); /** - * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getType Type}'. + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber Exact Number}'. * * - * @return the meta object for the containment reference 'Type'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getType() - * @see #getTypeScope() + * @return the meta object for class 'Exact Number'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber * @generated */ - EReference getTypeScope_Type(); + EClass getExactNumber(); /** - * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew Sets New}'. + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber Exact Number}'. * * - * @return the meta object for the attribute 'Sets New'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew() - * @see #getTypeScope() + * @return the meta object for the attribute 'Exact Number'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber() + * @see #getExactNumber() * @generated */ - EAttribute getTypeScope_SetsNew(); + EAttribute getExactNumber_ExactNumber(); /** - * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum Sets Sum}'. + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited Exact Unlimited}'. * * - * @return the meta object for the attribute 'Sets Sum'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum() - * @see #getTypeScope() + * @return the meta object for the attribute 'Exact Unlimited'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited() + * @see #getExactNumber() * @generated */ - EAttribute getTypeScope_SetsSum(); + EAttribute getExactNumber_ExactUnlimited(); /** - * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMin Min}'. + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber Intervall Number}'. * * - * @return the meta object for the attribute 'Min'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMin() - * @see #getTypeScope() + * @return the meta object for class 'Intervall Number'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber * @generated */ - EAttribute getTypeScope_Min(); + EClass getIntervallNumber(); /** - * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isMaxUnlimited Max Unlimited}'. + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin Min}'. * * - * @return the meta object for the attribute 'Max Unlimited'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isMaxUnlimited() - * @see #getTypeScope() + * @return the meta object for the attribute 'Min'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin() + * @see #getIntervallNumber() * @generated */ - EAttribute getTypeScope_MaxUnlimited(); + EAttribute getIntervallNumber_Min(); /** - * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMax Max}'. + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber Max Number}'. * * - * @return the meta object for the attribute 'Max'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMax() - * @see #getTypeScope() + * @return the meta object for the attribute 'Max Number'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber() + * @see #getIntervallNumber() * @generated */ - EAttribute getTypeScope_Max(); + EAttribute getIntervallNumber_MaxNumber(); /** - * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference Type Reference}'. + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited Max Unlimited}'. * * - * @return the meta object for class 'Type Reference'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference + * @return the meta object for the attribute 'Max Unlimited'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited() + * @see #getIntervallNumber() * @generated */ - EClass getTypeReference(); + EAttribute getIntervallNumber_MaxUnlimited(); /** - * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference Class Reference}'. + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation Int Enumberation}'. * * - * @return the meta object for class 'Class Reference'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference + * @return the meta object for class 'Int Enumberation'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation * @generated */ - EClass getClassReference(); + EClass getIntEnumberation(); /** - * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference#getElement Element}'. + * Returns the meta object for the attribute list '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation#getEntry Entry}'. * * - * @return the meta object for the containment reference 'Element'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference#getElement() - * @see #getClassReference() + * @return the meta object for the attribute list 'Entry'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation#getEntry() + * @see #getIntEnumberation() * @generated */ - EReference getClassReference_Element(); + EAttribute getIntEnumberation_Entry(); /** - * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference Object Reference}'. + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration Real Enumeration}'. * * - * @return the meta object for class 'Object Reference'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference + * @return the meta object for class 'Real Enumeration'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration * @generated */ - EClass getObjectReference(); + EClass getRealEnumeration(); /** - * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference Integer Reference}'. + * Returns the meta object for the attribute list '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration#getEntry Entry}'. * * - * @return the meta object for class 'Integer Reference'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference + * @return the meta object for the attribute list 'Entry'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration#getEntry() + * @see #getRealEnumeration() * @generated */ - EClass getIntegerReference(); + EAttribute getRealEnumeration_Entry(); /** - * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference Real Reference}'. + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration String Enumeration}'. * * - * @return the meta object for class 'Real Reference'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference + * @return the meta object for class 'String Enumeration'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration * @generated */ - EClass getRealReference(); + EClass getStringEnumeration(); /** - * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference String Reference}'. + * Returns the meta object for the attribute list '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration#getEntry Entry}'. * * - * @return the meta object for class 'String Reference'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference + * @return the meta object for the attribute list 'Entry'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration#getEntry() + * @see #getStringEnumeration() * @generated */ - EClass getStringReference(); + EAttribute getStringEnumeration_Entry(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration Scope Declaration}'. @@ -2627,6 +3299,17 @@ public interface ApplicationConfigurationPackage extends EPackage */ EReference getGenerationTask_Scope(); + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified Number Specified}'. + * + * + * @return the meta object for the attribute 'Number Specified'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified() + * @see #getGenerationTask() + * @generated + */ + EAttribute getGenerationTask_NumberSpecified(); + /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getNumber Number}'. * @@ -2638,6 +3321,17 @@ public interface ApplicationConfigurationPackage extends EPackage */ EAttribute getGenerationTask_Number(); + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified Run Specified}'. + * + * + * @return the meta object for the attribute 'Run Specified'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified() + * @see #getGenerationTask() + * @generated + */ + EAttribute getGenerationTask_RunSpecified(); + /** * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getRuns Runs}'. * @@ -2671,17 +3365,6 @@ public interface ApplicationConfigurationPackage extends EPackage */ EReference getGenerationTask_Config(); - /** - * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}'. - * - * - * @return the meta object for the containment reference 'Taget Folder'. - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder() - * @see #getGenerationTask() - * @generated - */ - EReference getGenerationTask_TagetFolder(); - /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getDebugFolder Debug Folder}'. * @@ -2715,6 +3398,17 @@ public interface ApplicationConfigurationPackage extends EPackage */ EReference getGenerationTask_TargetStatisticsFile(); + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}'. + * + * + * @return the meta object for the containment reference 'Taget Folder'. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder() + * @see #getGenerationTask() + * @generated + */ + EReference getGenerationTask_TagetFolder(); + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerScope Integer Scope}'. * @@ -3414,53 +4108,119 @@ public interface ApplicationConfigurationPackage extends EPackage */ EClass TYPE_SCOPE = eINSTANCE.getTypeScope(); + /** + * The meta object literal for the 'Sets New' attribute feature. + * + * + * @generated + */ + EAttribute TYPE_SCOPE__SETS_NEW = eINSTANCE.getTypeScope_SetsNew(); + + /** + * The meta object literal for the 'Sets Sum' attribute feature. + * + * + * @generated + */ + EAttribute TYPE_SCOPE__SETS_SUM = eINSTANCE.getTypeScope_SetsSum(); + + /** + * The meta object literal for the 'Number' containment reference feature. + * + * + * @generated + */ + EReference TYPE_SCOPE__NUMBER = eINSTANCE.getTypeScope_Number(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl Class Type Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassTypeScope() + * @generated + */ + EClass CLASS_TYPE_SCOPE = eINSTANCE.getClassTypeScope(); + /** * The meta object literal for the 'Type' containment reference feature. * * * @generated */ - EReference TYPE_SCOPE__TYPE = eINSTANCE.getTypeScope_Type(); + EReference CLASS_TYPE_SCOPE__TYPE = eINSTANCE.getClassTypeScope_Type(); /** - * The meta object literal for the 'Sets New' attribute feature. + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl Object Type Scope}' class. * * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectTypeScope() * @generated */ - EAttribute TYPE_SCOPE__SETS_NEW = eINSTANCE.getTypeScope_SetsNew(); + EClass OBJECT_TYPE_SCOPE = eINSTANCE.getObjectTypeScope(); /** - * The meta object literal for the 'Sets Sum' attribute feature. + * The meta object literal for the 'Type' containment reference feature. * * * @generated */ - EAttribute TYPE_SCOPE__SETS_SUM = eINSTANCE.getTypeScope_SetsSum(); + EReference OBJECT_TYPE_SCOPE__TYPE = eINSTANCE.getObjectTypeScope_Type(); /** - * The meta object literal for the 'Min' attribute feature. + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl Integer Type Scope}' class. * * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerTypeScope() * @generated */ - EAttribute TYPE_SCOPE__MIN = eINSTANCE.getTypeScope_Min(); + EClass INTEGER_TYPE_SCOPE = eINSTANCE.getIntegerTypeScope(); /** - * The meta object literal for the 'Max Unlimited' attribute feature. + * The meta object literal for the 'Type' containment reference feature. + * + * + * @generated + */ + EReference INTEGER_TYPE_SCOPE__TYPE = eINSTANCE.getIntegerTypeScope_Type(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl Real Type Scope}' class. * * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealTypeScope() * @generated */ - EAttribute TYPE_SCOPE__MAX_UNLIMITED = eINSTANCE.getTypeScope_MaxUnlimited(); + EClass REAL_TYPE_SCOPE = eINSTANCE.getRealTypeScope(); /** - * The meta object literal for the 'Max' attribute feature. + * The meta object literal for the 'Type' containment reference feature. + * + * + * @generated + */ + EReference REAL_TYPE_SCOPE__TYPE = eINSTANCE.getRealTypeScope_Type(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl String Type Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringTypeScope() + * @generated + */ + EClass STRING_TYPE_SCOPE = eINSTANCE.getStringTypeScope(); + + /** + * The meta object literal for the 'Type' containment reference feature. * * * @generated */ - EAttribute TYPE_SCOPE__MAX = eINSTANCE.getTypeScope_Max(); + EReference STRING_TYPE_SCOPE__TYPE = eINSTANCE.getStringTypeScope_Type(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeReferenceImpl Type Reference}' class. @@ -3530,6 +4290,130 @@ public interface ApplicationConfigurationPackage extends EPackage */ EClass STRING_REFERENCE = eINSTANCE.getStringReference(); + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.NumberSpecificationImpl Number Specification}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.NumberSpecificationImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getNumberSpecification() + * @generated + */ + EClass NUMBER_SPECIFICATION = eINSTANCE.getNumberSpecification(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl Exact Number}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getExactNumber() + * @generated + */ + EClass EXACT_NUMBER = eINSTANCE.getExactNumber(); + + /** + * The meta object literal for the 'Exact Number' attribute feature. + * + * + * @generated + */ + EAttribute EXACT_NUMBER__EXACT_NUMBER = eINSTANCE.getExactNumber_ExactNumber(); + + /** + * The meta object literal for the 'Exact Unlimited' attribute feature. + * + * + * @generated + */ + EAttribute EXACT_NUMBER__EXACT_UNLIMITED = eINSTANCE.getExactNumber_ExactUnlimited(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl Intervall Number}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntervallNumber() + * @generated + */ + EClass INTERVALL_NUMBER = eINSTANCE.getIntervallNumber(); + + /** + * The meta object literal for the 'Min' attribute feature. + * + * + * @generated + */ + EAttribute INTERVALL_NUMBER__MIN = eINSTANCE.getIntervallNumber_Min(); + + /** + * The meta object literal for the 'Max Number' attribute feature. + * + * + * @generated + */ + EAttribute INTERVALL_NUMBER__MAX_NUMBER = eINSTANCE.getIntervallNumber_MaxNumber(); + + /** + * The meta object literal for the 'Max Unlimited' attribute feature. + * + * + * @generated + */ + EAttribute INTERVALL_NUMBER__MAX_UNLIMITED = eINSTANCE.getIntervallNumber_MaxUnlimited(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl Int Enumberation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntEnumberation() + * @generated + */ + EClass INT_ENUMBERATION = eINSTANCE.getIntEnumberation(); + + /** + * The meta object literal for the 'Entry' attribute list feature. + * + * + * @generated + */ + EAttribute INT_ENUMBERATION__ENTRY = eINSTANCE.getIntEnumberation_Entry(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl Real Enumeration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealEnumeration() + * @generated + */ + EClass REAL_ENUMERATION = eINSTANCE.getRealEnumeration(); + + /** + * The meta object literal for the 'Entry' attribute list feature. + * + * + * @generated + */ + EAttribute REAL_ENUMERATION__ENTRY = eINSTANCE.getRealEnumeration_Entry(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl String Enumeration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringEnumeration() + * @generated + */ + EClass STRING_ENUMERATION = eINSTANCE.getStringEnumeration(); + + /** + * The meta object literal for the 'Entry' attribute list feature. + * + * + * @generated + */ + EAttribute STRING_ENUMERATION__ENTRY = eINSTANCE.getStringEnumeration_Entry(); + /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ScopeDeclarationImpl Scope Declaration}' class. * @@ -3628,6 +4512,14 @@ public interface ApplicationConfigurationPackage extends EPackage */ EReference GENERATION_TASK__SCOPE = eINSTANCE.getGenerationTask_Scope(); + /** + * The meta object literal for the 'Number Specified' attribute feature. + * + * + * @generated + */ + EAttribute GENERATION_TASK__NUMBER_SPECIFIED = eINSTANCE.getGenerationTask_NumberSpecified(); + /** * The meta object literal for the 'Number' attribute feature. * @@ -3637,36 +4529,36 @@ public interface ApplicationConfigurationPackage extends EPackage EAttribute GENERATION_TASK__NUMBER = eINSTANCE.getGenerationTask_Number(); /** - * The meta object literal for the 'Runs' attribute feature. + * The meta object literal for the 'Run Specified' attribute feature. * * * @generated */ - EAttribute GENERATION_TASK__RUNS = eINSTANCE.getGenerationTask_Runs(); + EAttribute GENERATION_TASK__RUN_SPECIFIED = eINSTANCE.getGenerationTask_RunSpecified(); /** - * The meta object literal for the 'Solver' attribute feature. + * The meta object literal for the 'Runs' attribute feature. * * * @generated */ - EAttribute GENERATION_TASK__SOLVER = eINSTANCE.getGenerationTask_Solver(); + EAttribute GENERATION_TASK__RUNS = eINSTANCE.getGenerationTask_Runs(); /** - * The meta object literal for the 'Config' containment reference feature. + * The meta object literal for the 'Solver' attribute feature. * * * @generated */ - EReference GENERATION_TASK__CONFIG = eINSTANCE.getGenerationTask_Config(); + EAttribute GENERATION_TASK__SOLVER = eINSTANCE.getGenerationTask_Solver(); /** - * The meta object literal for the 'Taget Folder' containment reference feature. + * The meta object literal for the 'Config' containment reference feature. * * * @generated */ - EReference GENERATION_TASK__TAGET_FOLDER = eINSTANCE.getGenerationTask_TagetFolder(); + EReference GENERATION_TASK__CONFIG = eINSTANCE.getGenerationTask_Config(); /** * The meta object literal for the 'Debug Folder' containment reference feature. @@ -3692,6 +4584,14 @@ public interface ApplicationConfigurationPackage extends EPackage */ EReference GENERATION_TASK__TARGET_STATISTICS_FILE = eINSTANCE.getGenerationTask_TargetStatisticsFile(); + /** + * The meta object literal for the 'Taget Folder' containment reference feature. + * + * + * @generated + */ + EReference GENERATION_TASK__TAGET_FOLDER = eINSTANCE.getGenerationTask_TagetFolder(); + /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerScopeImpl Integer Scope}' class. * diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ClassTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ClassTypeScope.java new file mode 100644 index 00000000..5861bfdf --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ClassTypeScope.java @@ -0,0 +1,51 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; + + +/** + * + * A representation of the model object 'Class Type Scope'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getClassTypeScope() + * @model + * @generated + */ +public interface ClassTypeScope extends TypeScope +{ + /** + * Returns the value of the 'Type' containment reference. + * + *

+ * If the meaning of the 'Type' containment reference isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Type' containment reference. + * @see #setType(ClassReference) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getClassTypeScope_Type() + * @model containment="true" + * @generated + */ + ClassReference getType(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope#getType Type}' containment reference. + * + * + * @param value the new value of the 'Type' containment reference. + * @see #getType() + * @generated + */ + void setType(ClassReference value); + +} // ClassTypeScope diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java new file mode 100644 index 00000000..d8737dff --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java @@ -0,0 +1,78 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; + + +/** + * + * A representation of the model object 'Exact Number'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber() + * @model + * @generated + */ +public interface ExactNumber extends NumberSpecification +{ + /** + * Returns the value of the 'Exact Number' attribute. + * + *

+ * If the meaning of the 'Exact Number' attribute isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Exact Number' attribute. + * @see #setExactNumber(int) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactNumber() + * @model + * @generated + */ + int getExactNumber(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber Exact Number}' attribute. + * + * + * @param value the new value of the 'Exact Number' attribute. + * @see #getExactNumber() + * @generated + */ + void setExactNumber(int value); + + /** + * Returns the value of the 'Exact Unlimited' attribute. + * + *

+ * If the meaning of the 'Exact Unlimited' attribute isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Exact Unlimited' attribute. + * @see #setExactUnlimited(boolean) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactUnlimited() + * @model + * @generated + */ + boolean isExactUnlimited(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited Exact Unlimited}' attribute. + * + * + * @param value the new value of the 'Exact Unlimited' attribute. + * @see #isExactUnlimited() + * @generated + */ + void setExactUnlimited(boolean value); + +} // ExactNumber diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java index 7d62d979..21ff0327 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java @@ -17,14 +17,16 @@ package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPartialModel Partial Model}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPatterns Patterns}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getScope Scope}
  • + *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified Number Specified}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getNumber Number}
  • + *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified Run Specified}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getRuns Runs}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getSolver Solver}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getConfig Config}
  • - *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getDebugFolder Debug Folder}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetLogFile Target Log File}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetStatisticsFile Target Statistics File}
  • + *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}
  • * * * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask() @@ -137,6 +139,32 @@ public interface GenerationTask extends Task */ void setScope(Scope value); + /** + * Returns the value of the 'Number Specified' attribute. + * + *

    + * If the meaning of the 'Number Specified' attribute isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Number Specified' attribute. + * @see #setNumberSpecified(boolean) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_NumberSpecified() + * @model + * @generated + */ + boolean isNumberSpecified(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified Number Specified}' attribute. + * + * + * @param value the new value of the 'Number Specified' attribute. + * @see #isNumberSpecified() + * @generated + */ + void setNumberSpecified(boolean value); + /** * Returns the value of the 'Number' attribute. * @@ -163,6 +191,32 @@ public interface GenerationTask extends Task */ void setNumber(int value); + /** + * Returns the value of the 'Run Specified' attribute. + * + *

    + * If the meaning of the 'Run Specified' attribute isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Run Specified' attribute. + * @see #setRunSpecified(boolean) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_RunSpecified() + * @model + * @generated + */ + boolean isRunSpecified(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified Run Specified}' attribute. + * + * + * @param value the new value of the 'Run Specified' attribute. + * @see #isRunSpecified() + * @generated + */ + void setRunSpecified(boolean value); + /** * Returns the value of the 'Runs' attribute. * @@ -244,32 +298,6 @@ public interface GenerationTask extends Task */ void setConfig(Config value); - /** - * Returns the value of the 'Taget Folder' containment reference. - * - *

    - * If the meaning of the 'Taget Folder' containment reference isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Taget Folder' containment reference. - * @see #setTagetFolder(File) - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TagetFolder() - * @model containment="true" - * @generated - */ - File getTagetFolder(); - - /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}' containment reference. - * - * - * @param value the new value of the 'Taget Folder' containment reference. - * @see #getTagetFolder() - * @generated - */ - void setTagetFolder(File value); - /** * Returns the value of the 'Debug Folder' containment reference. * @@ -348,4 +376,30 @@ public interface GenerationTask extends Task */ void setTargetStatisticsFile(File value); + /** + * Returns the value of the 'Taget Folder' containment reference. + * + *

    + * If the meaning of the 'Taget Folder' containment reference isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Taget Folder' containment reference. + * @see #setTagetFolder(File) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TagetFolder() + * @model containment="true" + * @generated + */ + File getTagetFolder(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}' containment reference. + * + * + * @param value the new value of the 'Taget Folder' containment reference. + * @see #getTagetFolder() + * @generated + */ + void setTagetFolder(File value); + } // GenerationTask diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java new file mode 100644 index 00000000..40c0d9f5 --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java @@ -0,0 +1,42 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; + +import org.eclipse.emf.common.util.EList; + +/** + * + * A representation of the model object 'Int Enumberation'. + * + * + *

    + * The following features are supported: + *

    + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntEnumberation() + * @model + * @generated + */ +public interface IntEnumberation extends NumberSpecification +{ + /** + * Returns the value of the 'Entry' attribute list. + * The list contents are of type {@link java.lang.Integer}. + * + *

    + * If the meaning of the 'Entry' attribute list isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Entry' attribute list. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntEnumberation_Entry() + * @model unique="false" + * @generated + */ + EList getEntry(); + +} // IntEnumberation diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntegerTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntegerTypeScope.java new file mode 100644 index 00000000..445753b2 --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntegerTypeScope.java @@ -0,0 +1,51 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; + + +/** + * + * A representation of the model object 'Integer Type Scope'. + * + * + *

    + * The following features are supported: + *

    + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntegerTypeScope() + * @model + * @generated + */ +public interface IntegerTypeScope extends TypeScope +{ + /** + * Returns the value of the 'Type' containment reference. + * + *

    + * If the meaning of the 'Type' containment reference isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Type' containment reference. + * @see #setType(IntegerReference) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntegerTypeScope_Type() + * @model containment="true" + * @generated + */ + IntegerReference getType(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope#getType Type}' containment reference. + * + * + * @param value the new value of the 'Type' containment reference. + * @see #getType() + * @generated + */ + void setType(IntegerReference value); + +} // IntegerTypeScope diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java new file mode 100644 index 00000000..e829d546 --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java @@ -0,0 +1,105 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; + + +/** + * + * A representation of the model object 'Intervall Number'. + * + * + *

    + * The following features are supported: + *

    + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber() + * @model + * @generated + */ +public interface IntervallNumber extends NumberSpecification +{ + /** + * Returns the value of the 'Min' attribute. + * + *

    + * If the meaning of the 'Min' attribute isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Min' attribute. + * @see #setMin(int) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_Min() + * @model + * @generated + */ + int getMin(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin Min}' attribute. + * + * + * @param value the new value of the 'Min' attribute. + * @see #getMin() + * @generated + */ + void setMin(int value); + + /** + * Returns the value of the 'Max Number' attribute. + * + *

    + * If the meaning of the 'Max Number' attribute isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Max Number' attribute. + * @see #setMaxNumber(int) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxNumber() + * @model + * @generated + */ + int getMaxNumber(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber Max Number}' attribute. + * + * + * @param value the new value of the 'Max Number' attribute. + * @see #getMaxNumber() + * @generated + */ + void setMaxNumber(int value); + + /** + * Returns the value of the 'Max Unlimited' attribute. + * + *

    + * If the meaning of the 'Max Unlimited' attribute isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Max Unlimited' attribute. + * @see #setMaxUnlimited(boolean) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxUnlimited() + * @model + * @generated + */ + boolean isMaxUnlimited(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited Max Unlimited}' attribute. + * + * + * @param value the new value of the 'Max Unlimited' attribute. + * @see #isMaxUnlimited() + * @generated + */ + void setMaxUnlimited(boolean value); + +} // IntervallNumber diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/NumberSpecification.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/NumberSpecification.java new file mode 100644 index 00000000..a86f9a72 --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/NumberSpecification.java @@ -0,0 +1,20 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Number Specification'. + * + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getNumberSpecification() + * @model + * @generated + */ +public interface NumberSpecification extends EObject +{ +} // NumberSpecification diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ObjectTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ObjectTypeScope.java new file mode 100644 index 00000000..db30714a --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ObjectTypeScope.java @@ -0,0 +1,51 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; + + +/** + * + * A representation of the model object 'Object Type Scope'. + * + * + *

    + * The following features are supported: + *

    + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getObjectTypeScope() + * @model + * @generated + */ +public interface ObjectTypeScope extends TypeScope +{ + /** + * Returns the value of the 'Type' containment reference. + * + *

    + * If the meaning of the 'Type' containment reference isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Type' containment reference. + * @see #setType(ObjectReference) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getObjectTypeScope_Type() + * @model containment="true" + * @generated + */ + ObjectReference getType(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope#getType Type}' containment reference. + * + * + * @param value the new value of the 'Type' containment reference. + * @see #getType() + * @generated + */ + void setType(ObjectReference value); + +} // ObjectTypeScope diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealEnumeration.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealEnumeration.java new file mode 100644 index 00000000..b945b4ec --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealEnumeration.java @@ -0,0 +1,42 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; + +import org.eclipse.emf.common.util.EList; + +/** + * + * A representation of the model object 'Real Enumeration'. + * + * + *

    + * The following features are supported: + *

    + * + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getRealEnumeration() + * @model + * @generated + */ +public interface RealEnumeration extends NumberSpecification +{ + /** + * Returns the value of the 'Entry' attribute list. + * The list contents are of type {@link java.lang.Integer}. + * + *

    + * If the meaning of the 'Entry' attribute list isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Entry' attribute list. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getRealEnumeration_Entry() + * @model unique="false" + * @generated + */ + EList getEntry(); + +} // RealEnumeration diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealTypeScope.java new file mode 100644 index 00000000..03027137 --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealTypeScope.java @@ -0,0 +1,51 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; + + +/** + * + * A representation of the model object 'Real Type Scope'. + * + * + *

    + * The following features are supported: + *

    + *
      + *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope#getType Type}
    • + *
    + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getRealTypeScope() + * @model + * @generated + */ +public interface RealTypeScope extends TypeScope +{ + /** + * Returns the value of the 'Type' containment reference. + * + *

    + * If the meaning of the 'Type' containment reference isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Type' containment reference. + * @see #setType(RealReference) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getRealTypeScope_Type() + * @model containment="true" + * @generated + */ + RealReference getType(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope#getType Type}' containment reference. + * + * + * @param value the new value of the 'Type' containment reference. + * @see #getType() + * @generated + */ + void setType(RealReference value); + +} // RealTypeScope diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringEnumeration.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringEnumeration.java new file mode 100644 index 00000000..6552e09d --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringEnumeration.java @@ -0,0 +1,42 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; + +import org.eclipse.emf.common.util.EList; + +/** + * + * A representation of the model object 'String Enumeration'. + * + * + *

    + * The following features are supported: + *

    + *
      + *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration#getEntry Entry}
    • + *
    + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getStringEnumeration() + * @model + * @generated + */ +public interface StringEnumeration extends NumberSpecification +{ + /** + * Returns the value of the 'Entry' attribute list. + * The list contents are of type {@link java.lang.String}. + * + *

    + * If the meaning of the 'Entry' attribute list isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Entry' attribute list. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getStringEnumeration_Entry() + * @model unique="false" + * @generated + */ + EList getEntry(); + +} // StringEnumeration diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringTypeScope.java new file mode 100644 index 00000000..6e94cab6 --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringTypeScope.java @@ -0,0 +1,51 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; + + +/** + * + * A representation of the model object 'String Type Scope'. + * + * + *

    + * The following features are supported: + *

    + *
      + *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope#getType Type}
    • + *
    + * + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getStringTypeScope() + * @model + * @generated + */ +public interface StringTypeScope extends TypeScope +{ + /** + * Returns the value of the 'Type' containment reference. + * + *

    + * If the meaning of the 'Type' containment reference isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Type' containment reference. + * @see #setType(StringReference) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getStringTypeScope_Type() + * @model containment="true" + * @generated + */ + StringReference getType(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope#getType Type}' containment reference. + * + * + * @param value the new value of the 'Type' containment reference. + * @see #getType() + * @generated + */ + void setType(StringReference value); + +} // StringTypeScope diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java index f1b65662..3cb025bd 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java @@ -14,12 +14,9 @@ import org.eclipse.emf.ecore.EObject; * The following features are supported: *

    *
      - *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getType Type}
    • *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew Sets New}
    • *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum Sets Sum}
    • - *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMin Min}
    • - *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isMaxUnlimited Max Unlimited}
    • - *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMax Max}
    • + *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber Number}
    • *
    * * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope() @@ -28,32 +25,6 @@ import org.eclipse.emf.ecore.EObject; */ public interface TypeScope extends EObject { - /** - * Returns the value of the 'Type' containment reference. - * - *

    - * If the meaning of the 'Type' containment reference isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Type' containment reference. - * @see #setType(TypeReference) - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Type() - * @model containment="true" - * @generated - */ - TypeReference getType(); - - /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getType Type}' containment reference. - * - * - * @param value the new value of the 'Type' containment reference. - * @see #getType() - * @generated - */ - void setType(TypeReference value); - /** * Returns the value of the 'Sets New' attribute. * @@ -107,81 +78,29 @@ public interface TypeScope extends EObject void setSetsSum(boolean value); /** - * Returns the value of the 'Min' attribute. - * - *

    - * If the meaning of the 'Min' attribute isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Min' attribute. - * @see #setMin(int) - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Min() - * @model - * @generated - */ - int getMin(); - - /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMin Min}' attribute. - * - * - * @param value the new value of the 'Min' attribute. - * @see #getMin() - * @generated - */ - void setMin(int value); - - /** - * Returns the value of the 'Max Unlimited' attribute. + * Returns the value of the 'Number' containment reference. * *

    - * If the meaning of the 'Max Unlimited' attribute isn't clear, + * If the meaning of the 'Number' containment reference isn't clear, * there really should be more of a description here... *

    * - * @return the value of the 'Max Unlimited' attribute. - * @see #setMaxUnlimited(boolean) - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_MaxUnlimited() - * @model - * @generated - */ - boolean isMaxUnlimited(); - - /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isMaxUnlimited Max Unlimited}' attribute. - * - * - * @param value the new value of the 'Max Unlimited' attribute. - * @see #isMaxUnlimited() - * @generated - */ - void setMaxUnlimited(boolean value); - - /** - * Returns the value of the 'Max' attribute. - * - *

    - * If the meaning of the 'Max' attribute isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Max' attribute. - * @see #setMax(int) - * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Max() - * @model + * @return the value of the 'Number' containment reference. + * @see #setNumber(NumberSpecification) + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Number() + * @model containment="true" * @generated */ - int getMax(); + NumberSpecification getNumber(); /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMax Max}' attribute. + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber Number}' containment reference. * * - * @param value the new value of the 'Max' attribute. - * @see #getMax() + * @param value the new value of the 'Number' containment reference. + * @see #getNumber() * @generated */ - void setMax(int value); + void setNumber(NumberSpecification value); } // TypeScope diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java index 465297bb..8ecf838a 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java @@ -104,12 +104,23 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements case ApplicationConfigurationPackage.CONFIG: return createConfig(); case ApplicationConfigurationPackage.SCOPE_SPECIFICATION: return createScopeSpecification(); case ApplicationConfigurationPackage.TYPE_SCOPE: return createTypeScope(); + case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE: return createClassTypeScope(); + case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE: return createObjectTypeScope(); + case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE: return createIntegerTypeScope(); + case ApplicationConfigurationPackage.REAL_TYPE_SCOPE: return createRealTypeScope(); + case ApplicationConfigurationPackage.STRING_TYPE_SCOPE: return createStringTypeScope(); case ApplicationConfigurationPackage.TYPE_REFERENCE: return createTypeReference(); case ApplicationConfigurationPackage.CLASS_REFERENCE: return createClassReference(); case ApplicationConfigurationPackage.OBJECT_REFERENCE: return createObjectReference(); case ApplicationConfigurationPackage.INTEGER_REFERENCE: return createIntegerReference(); case ApplicationConfigurationPackage.REAL_REFERENCE: return createRealReference(); case ApplicationConfigurationPackage.STRING_REFERENCE: return createStringReference(); + case ApplicationConfigurationPackage.NUMBER_SPECIFICATION: return createNumberSpecification(); + case ApplicationConfigurationPackage.EXACT_NUMBER: return createExactNumber(); + case ApplicationConfigurationPackage.INTERVALL_NUMBER: return createIntervallNumber(); + case ApplicationConfigurationPackage.INT_ENUMBERATION: return createIntEnumberation(); + case ApplicationConfigurationPackage.REAL_ENUMERATION: return createRealEnumeration(); + case ApplicationConfigurationPackage.STRING_ENUMERATION: return createStringEnumeration(); case ApplicationConfigurationPackage.SCOPE_DECLARATION: return createScopeDeclaration(); case ApplicationConfigurationPackage.SCOPE_REFERENCE: return createScopeReference(); case ApplicationConfigurationPackage.SCOPE: return createScope(); @@ -575,6 +586,61 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements return typeScope; } + /** + * + * + * @generated + */ + public ClassTypeScope createClassTypeScope() + { + ClassTypeScopeImpl classTypeScope = new ClassTypeScopeImpl(); + return classTypeScope; + } + + /** + * + * + * @generated + */ + public ObjectTypeScope createObjectTypeScope() + { + ObjectTypeScopeImpl objectTypeScope = new ObjectTypeScopeImpl(); + return objectTypeScope; + } + + /** + * + * + * @generated + */ + public IntegerTypeScope createIntegerTypeScope() + { + IntegerTypeScopeImpl integerTypeScope = new IntegerTypeScopeImpl(); + return integerTypeScope; + } + + /** + * + * + * @generated + */ + public RealTypeScope createRealTypeScope() + { + RealTypeScopeImpl realTypeScope = new RealTypeScopeImpl(); + return realTypeScope; + } + + /** + * + * + * @generated + */ + public StringTypeScope createStringTypeScope() + { + StringTypeScopeImpl stringTypeScope = new StringTypeScopeImpl(); + return stringTypeScope; + } + /** * * @@ -641,6 +707,72 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements return stringReference; } + /** + * + * + * @generated + */ + public NumberSpecification createNumberSpecification() + { + NumberSpecificationImpl numberSpecification = new NumberSpecificationImpl(); + return numberSpecification; + } + + /** + * + * + * @generated + */ + public ExactNumber createExactNumber() + { + ExactNumberImpl exactNumber = new ExactNumberImpl(); + return exactNumber; + } + + /** + * + * + * @generated + */ + public IntervallNumber createIntervallNumber() + { + IntervallNumberImpl intervallNumber = new IntervallNumberImpl(); + return intervallNumber; + } + + /** + * + * + * @generated + */ + public IntEnumberation createIntEnumberation() + { + IntEnumberationImpl intEnumberation = new IntEnumberationImpl(); + return intEnumberation; + } + + /** + * + * + * @generated + */ + public RealEnumeration createRealEnumeration() + { + RealEnumerationImpl realEnumeration = new RealEnumerationImpl(); + return realEnumeration; + } + + /** + * + * + * @generated + */ + public StringEnumeration createStringEnumeration() + { + StringEnumerationImpl stringEnumeration = new StringEnumerationImpl(); + return stringEnumeration; + } + /** * * diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java index ece5be15..dd103901 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java @@ -8,6 +8,7 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.AllPatter import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationFactory; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Command; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Config; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigDeclaration; @@ -17,6 +18,7 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigSpe import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Declaration; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.EPackageImport; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.File; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileDeclaration; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileReference; @@ -27,8 +29,11 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatt import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternDeclaration; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternReference; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Import; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerScope; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelDeclaration; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelElement; @@ -36,7 +41,9 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelReference; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelSpecification; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ModelEntry; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModel; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelDeclaration; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelEntry; @@ -45,15 +52,19 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialMo import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternElement; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternEntry; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternSpecification; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealScope; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Scope; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeReference; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringScope; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Task; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope; @@ -344,6 +355,41 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements */ private EClass typeScopeEClass = null; + /** + * + * + * @generated + */ + private EClass classTypeScopeEClass = null; + + /** + * + * + * @generated + */ + private EClass objectTypeScopeEClass = null; + + /** + * + * + * @generated + */ + private EClass integerTypeScopeEClass = null; + + /** + * + * + * @generated + */ + private EClass realTypeScopeEClass = null; + + /** + * + * + * @generated + */ + private EClass stringTypeScopeEClass = null; + /** * * @@ -386,6 +432,48 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements */ private EClass stringReferenceEClass = null; + /** + * + * + * @generated + */ + private EClass numberSpecificationEClass = null; + + /** + * + * + * @generated + */ + private EClass exactNumberEClass = null; + + /** + * + * + * @generated + */ + private EClass intervallNumberEClass = null; + + /** + * + * + * @generated + */ + private EClass intEnumberationEClass = null; + + /** + * + * + * @generated + */ + private EClass realEnumerationEClass = null; + + /** + * + * + * @generated + */ + private EClass stringEnumerationEClass = null; + /** * * @@ -1221,9 +1309,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EReference getTypeScope_Type() + public EAttribute getTypeScope_SetsNew() { - return (EReference)typeScopeEClass.getEStructuralFeatures().get(0); + return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(0); } /** @@ -1231,7 +1319,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EAttribute getTypeScope_SetsNew() + public EAttribute getTypeScope_SetsSum() { return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(1); } @@ -1241,9 +1329,69 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EAttribute getTypeScope_SetsSum() + public EReference getTypeScope_Number() + { + return (EReference)typeScopeEClass.getEStructuralFeatures().get(2); + } + + /** + * + * + * @generated + */ + public EClass getClassTypeScope() + { + return classTypeScopeEClass; + } + + /** + * + * + * @generated + */ + public EReference getClassTypeScope_Type() + { + return (EReference)classTypeScopeEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getObjectTypeScope() + { + return objectTypeScopeEClass; + } + + /** + * + * + * @generated + */ + public EReference getObjectTypeScope_Type() + { + return (EReference)objectTypeScopeEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getIntegerTypeScope() + { + return integerTypeScopeEClass; + } + + /** + * + * + * @generated + */ + public EReference getIntegerTypeScope_Type() { - return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(2); + return (EReference)integerTypeScopeEClass.getEStructuralFeatures().get(0); } /** @@ -1251,9 +1399,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EAttribute getTypeScope_Min() + public EClass getRealTypeScope() { - return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(3); + return realTypeScopeEClass; } /** @@ -1261,9 +1409,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EAttribute getTypeScope_MaxUnlimited() + public EReference getRealTypeScope_Type() { - return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(4); + return (EReference)realTypeScopeEClass.getEStructuralFeatures().get(0); } /** @@ -1271,9 +1419,19 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EAttribute getTypeScope_Max() + public EClass getStringTypeScope() { - return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(5); + return stringTypeScopeEClass; + } + + /** + * + * + * @generated + */ + public EReference getStringTypeScope_Type() + { + return (EReference)stringTypeScopeEClass.getEStructuralFeatures().get(0); } /** @@ -1346,6 +1504,146 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements return stringReferenceEClass; } + /** + * + * + * @generated + */ + public EClass getNumberSpecification() + { + return numberSpecificationEClass; + } + + /** + * + * + * @generated + */ + public EClass getExactNumber() + { + return exactNumberEClass; + } + + /** + * + * + * @generated + */ + public EAttribute getExactNumber_ExactNumber() + { + return (EAttribute)exactNumberEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EAttribute getExactNumber_ExactUnlimited() + { + return (EAttribute)exactNumberEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + public EClass getIntervallNumber() + { + return intervallNumberEClass; + } + + /** + * + * + * @generated + */ + public EAttribute getIntervallNumber_Min() + { + return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EAttribute getIntervallNumber_MaxNumber() + { + return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + public EAttribute getIntervallNumber_MaxUnlimited() + { + return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(2); + } + + /** + * + * + * @generated + */ + public EClass getIntEnumberation() + { + return intEnumberationEClass; + } + + /** + * + * + * @generated + */ + public EAttribute getIntEnumberation_Entry() + { + return (EAttribute)intEnumberationEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getRealEnumeration() + { + return realEnumerationEClass; + } + + /** + * + * + * @generated + */ + public EAttribute getRealEnumeration_Entry() + { + return (EAttribute)realEnumerationEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getStringEnumeration() + { + return stringEnumerationEClass; + } + + /** + * + * + * @generated + */ + public EAttribute getStringEnumeration_Entry() + { + return (EAttribute)stringEnumerationEClass.getEStructuralFeatures().get(0); + } + /** * * @@ -1461,7 +1759,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EAttribute getGenerationTask_Number() + public EAttribute getGenerationTask_NumberSpecified() { return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(4); } @@ -1471,7 +1769,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EAttribute getGenerationTask_Runs() + public EAttribute getGenerationTask_Number() { return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(5); } @@ -1481,7 +1779,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EAttribute getGenerationTask_Solver() + public EAttribute getGenerationTask_RunSpecified() { return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(6); } @@ -1491,9 +1789,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EReference getGenerationTask_Config() + public EAttribute getGenerationTask_Runs() { - return (EReference)generationTaskEClass.getEStructuralFeatures().get(7); + return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(7); } /** @@ -1501,9 +1799,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EReference getGenerationTask_TagetFolder() + public EAttribute getGenerationTask_Solver() { - return (EReference)generationTaskEClass.getEStructuralFeatures().get(8); + return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(8); } /** @@ -1511,7 +1809,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EReference getGenerationTask_DebugFolder() + public EReference getGenerationTask_Config() { return (EReference)generationTaskEClass.getEStructuralFeatures().get(9); } @@ -1521,7 +1819,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EReference getGenerationTask_TargetLogFile() + public EReference getGenerationTask_DebugFolder() { return (EReference)generationTaskEClass.getEStructuralFeatures().get(10); } @@ -1531,11 +1829,31 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements * * @generated */ - public EReference getGenerationTask_TargetStatisticsFile() + public EReference getGenerationTask_TargetLogFile() { return (EReference)generationTaskEClass.getEStructuralFeatures().get(11); } + /** + * + * + * @generated + */ + public EReference getGenerationTask_TargetStatisticsFile() + { + return (EReference)generationTaskEClass.getEStructuralFeatures().get(12); + } + + /** + * + * + * @generated + */ + public EReference getGenerationTask_TagetFolder() + { + return (EReference)generationTaskEClass.getEStructuralFeatures().get(13); + } + /** * * @@ -1713,12 +2031,24 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements createEReference(scopeSpecificationEClass, SCOPE_SPECIFICATION__SCOPES); typeScopeEClass = createEClass(TYPE_SCOPE); - createEReference(typeScopeEClass, TYPE_SCOPE__TYPE); createEAttribute(typeScopeEClass, TYPE_SCOPE__SETS_NEW); createEAttribute(typeScopeEClass, TYPE_SCOPE__SETS_SUM); - createEAttribute(typeScopeEClass, TYPE_SCOPE__MIN); - createEAttribute(typeScopeEClass, TYPE_SCOPE__MAX_UNLIMITED); - createEAttribute(typeScopeEClass, TYPE_SCOPE__MAX); + createEReference(typeScopeEClass, TYPE_SCOPE__NUMBER); + + classTypeScopeEClass = createEClass(CLASS_TYPE_SCOPE); + createEReference(classTypeScopeEClass, CLASS_TYPE_SCOPE__TYPE); + + objectTypeScopeEClass = createEClass(OBJECT_TYPE_SCOPE); + createEReference(objectTypeScopeEClass, OBJECT_TYPE_SCOPE__TYPE); + + integerTypeScopeEClass = createEClass(INTEGER_TYPE_SCOPE); + createEReference(integerTypeScopeEClass, INTEGER_TYPE_SCOPE__TYPE); + + realTypeScopeEClass = createEClass(REAL_TYPE_SCOPE); + createEReference(realTypeScopeEClass, REAL_TYPE_SCOPE__TYPE); + + stringTypeScopeEClass = createEClass(STRING_TYPE_SCOPE); + createEReference(stringTypeScopeEClass, STRING_TYPE_SCOPE__TYPE); typeReferenceEClass = createEClass(TYPE_REFERENCE); @@ -1733,6 +2063,26 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements stringReferenceEClass = createEClass(STRING_REFERENCE); + numberSpecificationEClass = createEClass(NUMBER_SPECIFICATION); + + exactNumberEClass = createEClass(EXACT_NUMBER); + createEAttribute(exactNumberEClass, EXACT_NUMBER__EXACT_NUMBER); + createEAttribute(exactNumberEClass, EXACT_NUMBER__EXACT_UNLIMITED); + + intervallNumberEClass = createEClass(INTERVALL_NUMBER); + createEAttribute(intervallNumberEClass, INTERVALL_NUMBER__MIN); + createEAttribute(intervallNumberEClass, INTERVALL_NUMBER__MAX_NUMBER); + createEAttribute(intervallNumberEClass, INTERVALL_NUMBER__MAX_UNLIMITED); + + intEnumberationEClass = createEClass(INT_ENUMBERATION); + createEAttribute(intEnumberationEClass, INT_ENUMBERATION__ENTRY); + + realEnumerationEClass = createEClass(REAL_ENUMERATION); + createEAttribute(realEnumerationEClass, REAL_ENUMERATION__ENTRY); + + stringEnumerationEClass = createEClass(STRING_ENUMERATION); + createEAttribute(stringEnumerationEClass, STRING_ENUMERATION__ENTRY); + scopeDeclarationEClass = createEClass(SCOPE_DECLARATION); createEReference(scopeDeclarationEClass, SCOPE_DECLARATION__SPECIFICATION); @@ -1748,14 +2098,16 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements createEReference(generationTaskEClass, GENERATION_TASK__PARTIAL_MODEL); createEReference(generationTaskEClass, GENERATION_TASK__PATTERNS); createEReference(generationTaskEClass, GENERATION_TASK__SCOPE); + createEAttribute(generationTaskEClass, GENERATION_TASK__NUMBER_SPECIFIED); createEAttribute(generationTaskEClass, GENERATION_TASK__NUMBER); + createEAttribute(generationTaskEClass, GENERATION_TASK__RUN_SPECIFIED); createEAttribute(generationTaskEClass, GENERATION_TASK__RUNS); createEAttribute(generationTaskEClass, GENERATION_TASK__SOLVER); createEReference(generationTaskEClass, GENERATION_TASK__CONFIG); - createEReference(generationTaskEClass, GENERATION_TASK__TAGET_FOLDER); createEReference(generationTaskEClass, GENERATION_TASK__DEBUG_FOLDER); createEReference(generationTaskEClass, GENERATION_TASK__TARGET_LOG_FILE); createEReference(generationTaskEClass, GENERATION_TASK__TARGET_STATISTICS_FILE); + createEReference(generationTaskEClass, GENERATION_TASK__TAGET_FOLDER); integerScopeEClass = createEClass(INTEGER_SCOPE); @@ -1825,11 +2177,21 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements configDeclarationEClass.getESuperTypes().add(this.getDeclaration()); configReferenceEClass.getESuperTypes().add(this.getConfig()); scopeSpecificationEClass.getESuperTypes().add(this.getScope()); + classTypeScopeEClass.getESuperTypes().add(this.getTypeScope()); + objectTypeScopeEClass.getESuperTypes().add(this.getTypeScope()); + integerTypeScopeEClass.getESuperTypes().add(this.getTypeScope()); + realTypeScopeEClass.getESuperTypes().add(this.getTypeScope()); + stringTypeScopeEClass.getESuperTypes().add(this.getTypeScope()); classReferenceEClass.getESuperTypes().add(this.getTypeReference()); objectReferenceEClass.getESuperTypes().add(this.getTypeReference()); integerReferenceEClass.getESuperTypes().add(this.getTypeReference()); realReferenceEClass.getESuperTypes().add(this.getTypeReference()); stringReferenceEClass.getESuperTypes().add(this.getTypeReference()); + exactNumberEClass.getESuperTypes().add(this.getNumberSpecification()); + intervallNumberEClass.getESuperTypes().add(this.getNumberSpecification()); + intEnumberationEClass.getESuperTypes().add(this.getNumberSpecification()); + realEnumerationEClass.getESuperTypes().add(this.getNumberSpecification()); + stringEnumerationEClass.getESuperTypes().add(this.getNumberSpecification()); scopeDeclarationEClass.getESuperTypes().add(this.getDeclaration()); scopeReferenceEClass.getESuperTypes().add(this.getScope()); taskEClass.getESuperTypes().add(this.getCommand()); @@ -1946,12 +2308,24 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements initEReference(getScopeSpecification_Scopes(), this.getTypeScope(), null, "scopes", null, 0, -1, ScopeSpecification.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEClass(typeScopeEClass, TypeScope.class, "TypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); - initEReference(getTypeScope_Type(), this.getTypeReference(), null, "type", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEAttribute(getTypeScope_SetsNew(), theEcorePackage.getEBoolean(), "setsNew", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEAttribute(getTypeScope_SetsSum(), theEcorePackage.getEBoolean(), "setsSum", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEAttribute(getTypeScope_Min(), theEcorePackage.getEInt(), "min", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEAttribute(getTypeScope_MaxUnlimited(), theEcorePackage.getEBoolean(), "maxUnlimited", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEAttribute(getTypeScope_Max(), theEcorePackage.getEInt(), "max", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getTypeScope_Number(), this.getNumberSpecification(), null, "number", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(classTypeScopeEClass, ClassTypeScope.class, "ClassTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getClassTypeScope_Type(), this.getClassReference(), null, "type", null, 0, 1, ClassTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(objectTypeScopeEClass, ObjectTypeScope.class, "ObjectTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getObjectTypeScope_Type(), this.getObjectReference(), null, "type", null, 0, 1, ObjectTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(integerTypeScopeEClass, IntegerTypeScope.class, "IntegerTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getIntegerTypeScope_Type(), this.getIntegerReference(), null, "type", null, 0, 1, IntegerTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(realTypeScopeEClass, RealTypeScope.class, "RealTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getRealTypeScope_Type(), this.getRealReference(), null, "type", null, 0, 1, RealTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(stringTypeScopeEClass, StringTypeScope.class, "StringTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getStringTypeScope_Type(), this.getStringReference(), null, "type", null, 0, 1, StringTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEClass(typeReferenceEClass, TypeReference.class, "TypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); @@ -1966,6 +2340,26 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements initEClass(stringReferenceEClass, StringReference.class, "StringReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEClass(numberSpecificationEClass, NumberSpecification.class, "NumberSpecification", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(exactNumberEClass, ExactNumber.class, "ExactNumber", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getExactNumber_ExactNumber(), theEcorePackage.getEInt(), "exactNumber", null, 0, 1, ExactNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getExactNumber_ExactUnlimited(), theEcorePackage.getEBoolean(), "exactUnlimited", null, 0, 1, ExactNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(intervallNumberEClass, IntervallNumber.class, "IntervallNumber", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getIntervallNumber_Min(), theEcorePackage.getEInt(), "min", null, 0, 1, IntervallNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getIntervallNumber_MaxNumber(), theEcorePackage.getEInt(), "maxNumber", null, 0, 1, IntervallNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getIntervallNumber_MaxUnlimited(), theEcorePackage.getEBoolean(), "maxUnlimited", null, 0, 1, IntervallNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(intEnumberationEClass, IntEnumberation.class, "IntEnumberation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getIntEnumberation_Entry(), theEcorePackage.getEInt(), "entry", null, 0, -1, IntEnumberation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(realEnumerationEClass, RealEnumeration.class, "RealEnumeration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getRealEnumeration_Entry(), theEcorePackage.getEInt(), "entry", null, 0, -1, RealEnumeration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(stringEnumerationEClass, StringEnumeration.class, "StringEnumeration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getStringEnumeration_Entry(), theEcorePackage.getEString(), "entry", null, 0, -1, StringEnumeration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEClass(scopeDeclarationEClass, ScopeDeclaration.class, "ScopeDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); initEReference(getScopeDeclaration_Specification(), this.getScopeSpecification(), null, "specification", null, 0, 1, ScopeDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); @@ -1981,14 +2375,16 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements initEReference(getGenerationTask_PartialModel(), this.getPartialModel(), null, "partialModel", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEReference(getGenerationTask_Patterns(), this.getGraphPattern(), null, "patterns", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEReference(getGenerationTask_Scope(), this.getScope(), null, "scope", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getGenerationTask_NumberSpecified(), theEcorePackage.getEBoolean(), "numberSpecified", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEAttribute(getGenerationTask_Number(), theEcorePackage.getEInt(), "number", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getGenerationTask_RunSpecified(), theEcorePackage.getEBoolean(), "runSpecified", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEAttribute(getGenerationTask_Runs(), theEcorePackage.getEInt(), "runs", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEAttribute(getGenerationTask_Solver(), this.getSolver(), "solver", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEReference(getGenerationTask_Config(), this.getConfig(), null, "config", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEReference(getGenerationTask_TagetFolder(), this.getFile(), null, "tagetFolder", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEReference(getGenerationTask_DebugFolder(), this.getFile(), null, "debugFolder", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEReference(getGenerationTask_TargetLogFile(), this.getFile(), null, "targetLogFile", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEReference(getGenerationTask_TargetStatisticsFile(), this.getFile(), null, "targetStatisticsFile", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getGenerationTask_TagetFolder(), this.getFile(), null, "tagetFolder", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEClass(integerScopeEClass, IntegerScope.class, "IntegerScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java new file mode 100644 index 00000000..ad6ab237 --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java @@ -0,0 +1,194 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl; + +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +/** + * + * An implementation of the model object 'Class Type Scope'. + * + *

    + * The following features are implemented: + *

    + *
      + *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl#getType Type}
    • + *
    + * + * @generated + */ +public class ClassTypeScopeImpl extends TypeScopeImpl implements ClassTypeScope +{ + /** + * The cached value of the '{@link #getType() Type}' containment reference. + * + * + * @see #getType() + * @generated + * @ordered + */ + protected ClassReference type; + + /** + * + * + * @generated + */ + protected ClassTypeScopeImpl() + { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() + { + return ApplicationConfigurationPackage.Literals.CLASS_TYPE_SCOPE; + } + + /** + * + * + * @generated + */ + public ClassReference getType() + { + return type; + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetType(ClassReference newType, NotificationChain msgs) + { + ClassReference oldType = type; + type = newType; + if (eNotificationRequired()) + { + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE, oldType, newType); + if (msgs == null) msgs = notification; else msgs.add(notification); + } + return msgs; + } + + /** + * + * + * @generated + */ + public void setType(ClassReference newType) + { + if (newType != type) + { + NotificationChain msgs = null; + if (type != null) + msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE, null, msgs); + if (newType != null) + msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE, null, msgs); + msgs = basicSetType(newType, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE, newType, newType)); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) + { + switch (featureID) + { + case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE: + return basicSetType(null, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) + { + switch (featureID) + { + case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE: + return getType(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) + { + switch (featureID) + { + case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE: + setType((ClassReference)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) + { + switch (featureID) + { + case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE: + setType((ClassReference)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) + { + switch (featureID) + { + case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE: + return type != null; + } + return super.eIsSet(featureID); + } + +} //ClassTypeScopeImpl diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java new file mode 100644 index 00000000..4a51e291 --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java @@ -0,0 +1,233 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl; + +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber; + +import org.eclipse.emf.common.notify.Notification; + +import org.eclipse.emf.ecore.EClass; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +/** + * + * An implementation of the model object 'Exact Number'. + * + *

    + * The following features are implemented: + *

    + *
      + *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl#getExactNumber Exact Number}
    • + *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl#isExactUnlimited Exact Unlimited}
    • + *
    + * + * @generated + */ +public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNumber +{ + /** + * The default value of the '{@link #getExactNumber() Exact Number}' attribute. + * + * + * @see #getExactNumber() + * @generated + * @ordered + */ + protected static final int EXACT_NUMBER_EDEFAULT = 0; + + /** + * The cached value of the '{@link #getExactNumber() Exact Number}' attribute. + * + * + * @see #getExactNumber() + * @generated + * @ordered + */ + protected int exactNumber = EXACT_NUMBER_EDEFAULT; + + /** + * The default value of the '{@link #isExactUnlimited() Exact Unlimited}' attribute. + * + * + * @see #isExactUnlimited() + * @generated + * @ordered + */ + protected static final boolean EXACT_UNLIMITED_EDEFAULT = false; + + /** + * The cached value of the '{@link #isExactUnlimited() Exact Unlimited}' attribute. + * + * + * @see #isExactUnlimited() + * @generated + * @ordered + */ + protected boolean exactUnlimited = EXACT_UNLIMITED_EDEFAULT; + + /** + * + * + * @generated + */ + protected ExactNumberImpl() + { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() + { + return ApplicationConfigurationPackage.Literals.EXACT_NUMBER; + } + + /** + * + * + * @generated + */ + public int getExactNumber() + { + return exactNumber; + } + + /** + * + * + * @generated + */ + public void setExactNumber(int newExactNumber) + { + int oldExactNumber = exactNumber; + exactNumber = newExactNumber; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER, oldExactNumber, exactNumber)); + } + + /** + * + * + * @generated + */ + public boolean isExactUnlimited() + { + return exactUnlimited; + } + + /** + * + * + * @generated + */ + public void setExactUnlimited(boolean newExactUnlimited) + { + boolean oldExactUnlimited = exactUnlimited; + exactUnlimited = newExactUnlimited; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED, oldExactUnlimited, exactUnlimited)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) + { + switch (featureID) + { + case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER: + return getExactNumber(); + case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED: + return isExactUnlimited(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) + { + switch (featureID) + { + case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER: + setExactNumber((Integer)newValue); + return; + case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED: + setExactUnlimited((Boolean)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) + { + switch (featureID) + { + case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER: + setExactNumber(EXACT_NUMBER_EDEFAULT); + return; + case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED: + setExactUnlimited(EXACT_UNLIMITED_EDEFAULT); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) + { + switch (featureID) + { + case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER: + return exactNumber != EXACT_NUMBER_EDEFAULT; + case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED: + return exactUnlimited != EXACT_UNLIMITED_EDEFAULT; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() + { + if (eIsProxy()) return super.toString(); + + StringBuffer result = new StringBuffer(super.toString()); + result.append(" (exactNumber: "); + result.append(exactNumber); + result.append(", exactUnlimited: "); + result.append(exactUnlimited); + result.append(')'); + return result.toString(); + } + +} //ExactNumberImpl diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java index a4c27c8d..7ce5ec94 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java @@ -33,14 +33,16 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl; *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getPartialModel Partial Model}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getPatterns Patterns}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getScope Scope}
  • + *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#isNumberSpecified Number Specified}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getNumber Number}
  • + *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#isRunSpecified Run Specified}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getRuns Runs}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getSolver Solver}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getConfig Config}
  • - *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTagetFolder Taget Folder}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getDebugFolder Debug Folder}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTargetLogFile Target Log File}
  • *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTargetStatisticsFile Target Statistics File}
  • + *
  • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTagetFolder Taget Folder}
  • * * * @generated @@ -87,6 +89,26 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask */ protected Scope scope; + /** + * The default value of the '{@link #isNumberSpecified() Number Specified}' attribute. + * + * + * @see #isNumberSpecified() + * @generated + * @ordered + */ + protected static final boolean NUMBER_SPECIFIED_EDEFAULT = false; + + /** + * The cached value of the '{@link #isNumberSpecified() Number Specified}' attribute. + * + * + * @see #isNumberSpecified() + * @generated + * @ordered + */ + protected boolean numberSpecified = NUMBER_SPECIFIED_EDEFAULT; + /** * The default value of the '{@link #getNumber() Number}' attribute. * @@ -107,6 +129,26 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask */ protected int number = NUMBER_EDEFAULT; + /** + * The default value of the '{@link #isRunSpecified() Run Specified}' attribute. + * + * + * @see #isRunSpecified() + * @generated + * @ordered + */ + protected static final boolean RUN_SPECIFIED_EDEFAULT = false; + + /** + * The cached value of the '{@link #isRunSpecified() Run Specified}' attribute. + * + * + * @see #isRunSpecified() + * @generated + * @ordered + */ + protected boolean runSpecified = RUN_SPECIFIED_EDEFAULT; + /** * The default value of the '{@link #getRuns() Runs}' attribute. * @@ -157,16 +199,6 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask */ protected Config config; - /** - * The cached value of the '{@link #getTagetFolder() Taget Folder}' containment reference. - * - * - * @see #getTagetFolder() - * @generated - * @ordered - */ - protected File tagetFolder; - /** * The cached value of the '{@link #getDebugFolder() Debug Folder}' containment reference. * @@ -197,6 +229,16 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask */ protected File targetStatisticsFile; + /** + * The cached value of the '{@link #getTagetFolder() Taget Folder}' containment reference. + * + * + * @see #getTagetFolder() + * @generated + * @ordered + */ + protected File tagetFolder; + /** * * @@ -410,6 +452,29 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__SCOPE, newScope, newScope)); } + /** + * + * + * @generated + */ + public boolean isNumberSpecified() + { + return numberSpecified; + } + + /** + * + * + * @generated + */ + public void setNumberSpecified(boolean newNumberSpecified) + { + boolean oldNumberSpecified = numberSpecified; + numberSpecified = newNumberSpecified; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED, oldNumberSpecified, numberSpecified)); + } + /** * * @@ -433,6 +498,29 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__NUMBER, oldNumber, number)); } + /** + * + * + * @generated + */ + public boolean isRunSpecified() + { + return runSpecified; + } + + /** + * + * + * @generated + */ + public void setRunSpecified(boolean newRunSpecified) + { + boolean oldRunSpecified = runSpecified; + runSpecified = newRunSpecified; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED, oldRunSpecified, runSpecified)); + } + /** * * @@ -527,54 +615,6 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__CONFIG, newConfig, newConfig)); } - /** - * - * - * @generated - */ - public File getTagetFolder() - { - return tagetFolder; - } - - /** - * - * - * @generated - */ - public NotificationChain basicSetTagetFolder(File newTagetFolder, NotificationChain msgs) - { - File oldTagetFolder = tagetFolder; - tagetFolder = newTagetFolder; - if (eNotificationRequired()) - { - ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, oldTagetFolder, newTagetFolder); - if (msgs == null) msgs = notification; else msgs.add(notification); - } - return msgs; - } - - /** - * - * - * @generated - */ - public void setTagetFolder(File newTagetFolder) - { - if (newTagetFolder != tagetFolder) - { - NotificationChain msgs = null; - if (tagetFolder != null) - msgs = ((InternalEObject)tagetFolder).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs); - if (newTagetFolder != null) - msgs = ((InternalEObject)newTagetFolder).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs); - msgs = basicSetTagetFolder(newTagetFolder, msgs); - if (msgs != null) msgs.dispatch(); - } - else if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, newTagetFolder, newTagetFolder)); - } - /** * * @@ -719,6 +759,54 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE, newTargetStatisticsFile, newTargetStatisticsFile)); } + /** + * + * + * @generated + */ + public File getTagetFolder() + { + return tagetFolder; + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetTagetFolder(File newTagetFolder, NotificationChain msgs) + { + File oldTagetFolder = tagetFolder; + tagetFolder = newTagetFolder; + if (eNotificationRequired()) + { + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, oldTagetFolder, newTagetFolder); + if (msgs == null) msgs = notification; else msgs.add(notification); + } + return msgs; + } + + /** + * + * + * @generated + */ + public void setTagetFolder(File newTagetFolder) + { + if (newTagetFolder != tagetFolder) + { + NotificationChain msgs = null; + if (tagetFolder != null) + msgs = ((InternalEObject)tagetFolder).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs); + if (newTagetFolder != null) + msgs = ((InternalEObject)newTagetFolder).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs); + msgs = basicSetTagetFolder(newTagetFolder, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, newTagetFolder, newTagetFolder)); + } + /** * * @@ -739,14 +827,14 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask return basicSetScope(null, msgs); case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG: return basicSetConfig(null, msgs); - case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER: - return basicSetTagetFolder(null, msgs); case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER: return basicSetDebugFolder(null, msgs); case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE: return basicSetTargetLogFile(null, msgs); case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE: return basicSetTargetStatisticsFile(null, msgs); + case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER: + return basicSetTagetFolder(null, msgs); } return super.eInverseRemove(otherEnd, featureID, msgs); } @@ -769,22 +857,26 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask return getPatterns(); case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE: return getScope(); + case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED: + return isNumberSpecified(); case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER: return getNumber(); + case ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED: + return isRunSpecified(); case ApplicationConfigurationPackage.GENERATION_TASK__RUNS: return getRuns(); case ApplicationConfigurationPackage.GENERATION_TASK__SOLVER: return getSolver(); case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG: return getConfig(); - case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER: - return getTagetFolder(); case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER: return getDebugFolder(); case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE: return getTargetLogFile(); case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE: return getTargetStatisticsFile(); + case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER: + return getTagetFolder(); } return super.eGet(featureID, resolve, coreType); } @@ -811,9 +903,15 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE: setScope((Scope)newValue); return; + case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED: + setNumberSpecified((Boolean)newValue); + return; case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER: setNumber((Integer)newValue); return; + case ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED: + setRunSpecified((Boolean)newValue); + return; case ApplicationConfigurationPackage.GENERATION_TASK__RUNS: setRuns((Integer)newValue); return; @@ -823,9 +921,6 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG: setConfig((Config)newValue); return; - case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER: - setTagetFolder((File)newValue); - return; case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER: setDebugFolder((File)newValue); return; @@ -835,6 +930,9 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE: setTargetStatisticsFile((File)newValue); return; + case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER: + setTagetFolder((File)newValue); + return; } super.eSet(featureID, newValue); } @@ -861,9 +959,15 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE: setScope((Scope)null); return; + case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED: + setNumberSpecified(NUMBER_SPECIFIED_EDEFAULT); + return; case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER: setNumber(NUMBER_EDEFAULT); return; + case ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED: + setRunSpecified(RUN_SPECIFIED_EDEFAULT); + return; case ApplicationConfigurationPackage.GENERATION_TASK__RUNS: setRuns(RUNS_EDEFAULT); return; @@ -873,9 +977,6 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG: setConfig((Config)null); return; - case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER: - setTagetFolder((File)null); - return; case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER: setDebugFolder((File)null); return; @@ -885,6 +986,9 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE: setTargetStatisticsFile((File)null); return; + case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER: + setTagetFolder((File)null); + return; } super.eUnset(featureID); } @@ -907,22 +1011,26 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask return patterns != null; case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE: return scope != null; + case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED: + return numberSpecified != NUMBER_SPECIFIED_EDEFAULT; case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER: return number != NUMBER_EDEFAULT; + case ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED: + return runSpecified != RUN_SPECIFIED_EDEFAULT; case ApplicationConfigurationPackage.GENERATION_TASK__RUNS: return runs != RUNS_EDEFAULT; case ApplicationConfigurationPackage.GENERATION_TASK__SOLVER: return solver != SOLVER_EDEFAULT; case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG: return config != null; - case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER: - return tagetFolder != null; case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER: return debugFolder != null; case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE: return targetLogFile != null; case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE: return targetStatisticsFile != null; + case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER: + return tagetFolder != null; } return super.eIsSet(featureID); } @@ -938,8 +1046,12 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask if (eIsProxy()) return super.toString(); StringBuffer result = new StringBuffer(super.toString()); - result.append(" (number: "); + result.append(" (numberSpecified: "); + result.append(numberSpecified); + result.append(", number: "); result.append(number); + result.append(", runSpecified: "); + result.append(runSpecified); result.append(", runs: "); result.append(runs); result.append(", solver: "); diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java new file mode 100644 index 00000000..bf59967e --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java @@ -0,0 +1,162 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl; + +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation; + +import java.util.Collection; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EClass; + +import org.eclipse.emf.ecore.util.EDataTypeEList; + +/** + * + * An implementation of the model object 'Int Enumberation'. + * + *

    + * The following features are implemented: + *

    + *
      + *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl#getEntry Entry}
    • + *
    + * + * @generated + */ +public class IntEnumberationImpl extends NumberSpecificationImpl implements IntEnumberation +{ + /** + * The cached value of the '{@link #getEntry() Entry}' attribute list. + * + * + * @see #getEntry() + * @generated + * @ordered + */ + protected EList entry; + + /** + * + * + * @generated + */ + protected IntEnumberationImpl() + { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() + { + return ApplicationConfigurationPackage.Literals.INT_ENUMBERATION; + } + + /** + * + * + * @generated + */ + public EList getEntry() + { + if (entry == null) + { + entry = new EDataTypeEList(Integer.class, this, ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY); + } + return entry; + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) + { + switch (featureID) + { + case ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY: + return getEntry(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) + { + switch (featureID) + { + case ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY: + getEntry().clear(); + getEntry().addAll((Collection)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)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)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) + { + switch (featureID) + { + case ApplicationConfigurationPackage.STRING_ENUMERATION__ENTRY: + getEntry().clear(); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) + { + switch (featureID) + { + case ApplicationConfigurationPackage.STRING_ENUMERATION__ENTRY: + return entry != null && !entry.isEmpty(); + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() + { + if (eIsProxy()) return super.toString(); + + StringBuffer result = new StringBuffer(super.toString()); + result.append(" (entry: "); + result.append(entry); + result.append(')'); + return result.toString(); + } + +} //StringEnumerationImpl diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java new file mode 100644 index 00000000..6d6c41de --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java @@ -0,0 +1,194 @@ +/** + * generated by Xtext 2.10.0 + */ +package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl; + +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +/** + * + * An implementation of the model object 'String Type Scope'. + * + *

    + * The following features are implemented: + *

    + *
      + *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl#getType Type}
    • + *
    + * + * @generated + */ +public class StringTypeScopeImpl extends TypeScopeImpl implements StringTypeScope +{ + /** + * The cached value of the '{@link #getType() Type}' containment reference. + * + * + * @see #getType() + * @generated + * @ordered + */ + protected StringReference type; + + /** + * + * + * @generated + */ + protected StringTypeScopeImpl() + { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() + { + return ApplicationConfigurationPackage.Literals.STRING_TYPE_SCOPE; + } + + /** + * + * + * @generated + */ + public StringReference getType() + { + return type; + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetType(StringReference newType, NotificationChain msgs) + { + StringReference oldType = type; + type = newType; + if (eNotificationRequired()) + { + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE, oldType, newType); + if (msgs == null) msgs = notification; else msgs.add(notification); + } + return msgs; + } + + /** + * + * + * @generated + */ + public void setType(StringReference newType) + { + if (newType != type) + { + NotificationChain msgs = null; + if (type != null) + msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE, null, msgs); + if (newType != null) + msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE, null, msgs); + msgs = basicSetType(newType, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE, newType, newType)); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) + { + switch (featureID) + { + case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE: + return basicSetType(null, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) + { + switch (featureID) + { + case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE: + return getType(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) + { + switch (featureID) + { + case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE: + setType((StringReference)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) + { + switch (featureID) + { + case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE: + setType((StringReference)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) + { + switch (featureID) + { + case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE: + return type != null; + } + return super.eIsSet(featureID); + } + +} //StringTypeScopeImpl diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java index 0cc0e0bf..cbce6d18 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java @@ -4,7 +4,7 @@ package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage; -import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference; +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification; import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope; import org.eclipse.emf.common.notify.Notification; @@ -24,28 +24,15 @@ import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; * The following features are implemented: *

    *
      - *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getType Type}
    • *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#isSetsNew Sets New}
    • *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#isSetsSum Sets Sum}
    • - *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getMin Min}
    • - *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#isMaxUnlimited Max Unlimited}
    • - *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getMax Max}
    • + *
    • {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getNumber Number}
    • *
    * * @generated */ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeScope { - /** - * The cached value of the '{@link #getType() Type}' containment reference. - * - * - * @see #getType() - * @generated - * @ordered - */ - protected TypeReference type; - /** * The default value of the '{@link #isSetsNew() Sets New}' attribute. * @@ -87,64 +74,14 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS protected boolean setsSum = SETS_SUM_EDEFAULT; /** - * The default value of the '{@link #getMin() Min}' attribute. - * - * - * @see #getMin() - * @generated - * @ordered - */ - protected static final int MIN_EDEFAULT = 0; - - /** - * The cached value of the '{@link #getMin() Min}' attribute. - * - * - * @see #getMin() - * @generated - * @ordered - */ - protected int min = MIN_EDEFAULT; - - /** - * The default value of the '{@link #isMaxUnlimited() Max Unlimited}' attribute. + * The cached value of the '{@link #getNumber() Number}' containment reference. * * - * @see #isMaxUnlimited() + * @see #getNumber() * @generated * @ordered */ - protected static final boolean MAX_UNLIMITED_EDEFAULT = false; - - /** - * The cached value of the '{@link #isMaxUnlimited() Max Unlimited}' attribute. - * - * - * @see #isMaxUnlimited() - * @generated - * @ordered - */ - protected boolean maxUnlimited = MAX_UNLIMITED_EDEFAULT; - - /** - * The default value of the '{@link #getMax() Max}' attribute. - * - * - * @see #getMax() - * @generated - * @ordered - */ - protected static final int MAX_EDEFAULT = 0; - - /** - * The cached value of the '{@link #getMax() Max}' attribute. - * - * - * @see #getMax() - * @generated - * @ordered - */ - protected int max = MAX_EDEFAULT; + protected NumberSpecification number; /** * @@ -167,54 +104,6 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS return ApplicationConfigurationPackage.Literals.TYPE_SCOPE; } - /** - * - * - * @generated - */ - public TypeReference getType() - { - return type; - } - - /** - * - * - * @generated - */ - public NotificationChain basicSetType(TypeReference newType, NotificationChain msgs) - { - TypeReference oldType = type; - type = newType; - if (eNotificationRequired()) - { - ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, oldType, newType); - if (msgs == null) msgs = notification; else msgs.add(notification); - } - return msgs; - } - - /** - * - * - * @generated - */ - public void setType(TypeReference newType) - { - if (newType != type) - { - NotificationChain msgs = null; - if (type != null) - msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, null, msgs); - if (newType != null) - msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, null, msgs); - msgs = basicSetType(newType, msgs); - if (msgs != null) msgs.dispatch(); - } - else if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, newType, newType)); - } - /** * * @@ -266,32 +155,9 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS * * @generated */ - public int getMin() - { - return min; - } - - /** - * - * - * @generated - */ - public void setMin(int newMin) - { - int oldMin = min; - min = newMin; - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__MIN, oldMin, min)); - } - - /** - * - * - * @generated - */ - public boolean isMaxUnlimited() + public NumberSpecification getNumber() { - return maxUnlimited; + return number; } /** @@ -299,22 +165,16 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS * * @generated */ - public void setMaxUnlimited(boolean newMaxUnlimited) + public NotificationChain basicSetNumber(NumberSpecification newNumber, NotificationChain msgs) { - boolean oldMaxUnlimited = maxUnlimited; - maxUnlimited = newMaxUnlimited; + NumberSpecification oldNumber = number; + number = newNumber; if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED, oldMaxUnlimited, maxUnlimited)); - } - - /** - * - * - * @generated - */ - public int getMax() - { - return max; + { + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, oldNumber, newNumber); + if (msgs == null) msgs = notification; else msgs.add(notification); + } + return msgs; } /** @@ -322,12 +182,20 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS * * @generated */ - public void setMax(int newMax) + public void setNumber(NumberSpecification newNumber) { - int oldMax = max; - max = newMax; - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__MAX, oldMax, max)); + if (newNumber != number) + { + NotificationChain msgs = null; + if (number != null) + msgs = ((InternalEObject)number).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, null, msgs); + if (newNumber != null) + msgs = ((InternalEObject)newNumber).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, null, msgs); + msgs = basicSetNumber(newNumber, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, newNumber, newNumber)); } /** @@ -340,8 +208,8 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS { switch (featureID) { - case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE: - return basicSetType(null, msgs); + case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: + return basicSetNumber(null, msgs); } return super.eInverseRemove(otherEnd, featureID, msgs); } @@ -356,18 +224,12 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS { switch (featureID) { - case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE: - return getType(); case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW: return isSetsNew(); case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM: return isSetsSum(); - case ApplicationConfigurationPackage.TYPE_SCOPE__MIN: - return getMin(); - case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED: - return isMaxUnlimited(); - case ApplicationConfigurationPackage.TYPE_SCOPE__MAX: - return getMax(); + case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: + return getNumber(); } return super.eGet(featureID, resolve, coreType); } @@ -382,23 +244,14 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS { switch (featureID) { - case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE: - setType((TypeReference)newValue); - return; case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW: setSetsNew((Boolean)newValue); return; case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM: setSetsSum((Boolean)newValue); return; - case ApplicationConfigurationPackage.TYPE_SCOPE__MIN: - setMin((Integer)newValue); - return; - case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED: - setMaxUnlimited((Boolean)newValue); - return; - case ApplicationConfigurationPackage.TYPE_SCOPE__MAX: - setMax((Integer)newValue); + case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: + setNumber((NumberSpecification)newValue); return; } super.eSet(featureID, newValue); @@ -414,23 +267,14 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS { switch (featureID) { - case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE: - setType((TypeReference)null); - return; case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW: setSetsNew(SETS_NEW_EDEFAULT); return; case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM: setSetsSum(SETS_SUM_EDEFAULT); return; - case ApplicationConfigurationPackage.TYPE_SCOPE__MIN: - setMin(MIN_EDEFAULT); - return; - case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED: - setMaxUnlimited(MAX_UNLIMITED_EDEFAULT); - return; - case ApplicationConfigurationPackage.TYPE_SCOPE__MAX: - setMax(MAX_EDEFAULT); + case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: + setNumber((NumberSpecification)null); return; } super.eUnset(featureID); @@ -446,18 +290,12 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS { switch (featureID) { - case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE: - return type != null; case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW: return setsNew != SETS_NEW_EDEFAULT; case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM: return setsSum != SETS_SUM_EDEFAULT; - case ApplicationConfigurationPackage.TYPE_SCOPE__MIN: - return min != MIN_EDEFAULT; - case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED: - return maxUnlimited != MAX_UNLIMITED_EDEFAULT; - case ApplicationConfigurationPackage.TYPE_SCOPE__MAX: - return max != MAX_EDEFAULT; + case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER: + return number != null; } return super.eIsSet(featureID); } @@ -477,12 +315,6 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS result.append(setsNew); result.append(", setsSum: "); result.append(setsSum); - result.append(", min: "); - result.append(min); - result.append(", maxUnlimited: "); - result.append(maxUnlimited); - result.append(", max: "); - result.append(max); result.append(')'); return result.toString(); } diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java index 58c9881e..7a472842 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java @@ -266,6 +266,31 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl return createTypeScopeAdapter(); } @Override + public Adapter caseClassTypeScope(ClassTypeScope object) + { + return createClassTypeScopeAdapter(); + } + @Override + public Adapter caseObjectTypeScope(ObjectTypeScope object) + { + return createObjectTypeScopeAdapter(); + } + @Override + public Adapter caseIntegerTypeScope(IntegerTypeScope object) + { + return createIntegerTypeScopeAdapter(); + } + @Override + public Adapter caseRealTypeScope(RealTypeScope object) + { + return createRealTypeScopeAdapter(); + } + @Override + public Adapter caseStringTypeScope(StringTypeScope object) + { + return createStringTypeScopeAdapter(); + } + @Override public Adapter caseTypeReference(TypeReference object) { return createTypeReferenceAdapter(); @@ -296,6 +321,36 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl return createStringReferenceAdapter(); } @Override + public Adapter caseNumberSpecification(NumberSpecification object) + { + return createNumberSpecificationAdapter(); + } + @Override + public Adapter caseExactNumber(ExactNumber object) + { + return createExactNumberAdapter(); + } + @Override + public Adapter caseIntervallNumber(IntervallNumber object) + { + return createIntervallNumberAdapter(); + } + @Override + public Adapter caseIntEnumberation(IntEnumberation object) + { + return createIntEnumberationAdapter(); + } + @Override + public Adapter caseRealEnumeration(RealEnumeration object) + { + return createRealEnumerationAdapter(); + } + @Override + public Adapter caseStringEnumeration(StringEnumeration object) + { + return createStringEnumerationAdapter(); + } + @Override public Adapter caseScopeDeclaration(ScopeDeclaration object) { return createScopeDeclarationAdapter(); @@ -927,6 +982,81 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl return null; } + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope Class Type Scope}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope + * @generated + */ + public Adapter createClassTypeScopeAdapter() + { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope Object Type Scope}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope + * @generated + */ + public Adapter createObjectTypeScopeAdapter() + { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope Integer Type Scope}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope + * @generated + */ + public Adapter createIntegerTypeScopeAdapter() + { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope Real Type Scope}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope + * @generated + */ + public Adapter createRealTypeScopeAdapter() + { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope String Type Scope}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope + * @generated + */ + public Adapter createStringTypeScopeAdapter() + { + return null; + } + /** * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference Type Reference}'. * @@ -1017,6 +1147,96 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl return null; } + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification Number Specification}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification + * @generated + */ + public Adapter createNumberSpecificationAdapter() + { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber Exact Number}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber + * @generated + */ + public Adapter createExactNumberAdapter() + { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber Intervall Number}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber + * @generated + */ + public Adapter createIntervallNumberAdapter() + { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation Int Enumberation}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation + * @generated + */ + public Adapter createIntEnumberationAdapter() + { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration Real Enumeration}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration + * @generated + */ + public Adapter createRealEnumerationAdapter() + { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration String Enumeration}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration + * @generated + */ + public Adapter createStringEnumerationAdapter() + { + return null; + } + /** * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration Scope Declaration}'. * diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java index fbcf4041..a579f3f1 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java @@ -369,6 +369,46 @@ public class ApplicationConfigurationSwitch extends Switch if (result == null) result = defaultCase(theEObject); return result; } + case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE: + { + ClassTypeScope classTypeScope = (ClassTypeScope)theEObject; + T result = caseClassTypeScope(classTypeScope); + if (result == null) result = caseTypeScope(classTypeScope); + if (result == null) result = defaultCase(theEObject); + return result; + } + case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE: + { + ObjectTypeScope objectTypeScope = (ObjectTypeScope)theEObject; + T result = caseObjectTypeScope(objectTypeScope); + if (result == null) result = caseTypeScope(objectTypeScope); + if (result == null) result = defaultCase(theEObject); + return result; + } + case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE: + { + IntegerTypeScope integerTypeScope = (IntegerTypeScope)theEObject; + T result = caseIntegerTypeScope(integerTypeScope); + if (result == null) result = caseTypeScope(integerTypeScope); + if (result == null) result = defaultCase(theEObject); + return result; + } + case ApplicationConfigurationPackage.REAL_TYPE_SCOPE: + { + RealTypeScope realTypeScope = (RealTypeScope)theEObject; + T result = caseRealTypeScope(realTypeScope); + if (result == null) result = caseTypeScope(realTypeScope); + if (result == null) result = defaultCase(theEObject); + return result; + } + case ApplicationConfigurationPackage.STRING_TYPE_SCOPE: + { + StringTypeScope stringTypeScope = (StringTypeScope)theEObject; + T result = caseStringTypeScope(stringTypeScope); + if (result == null) result = caseTypeScope(stringTypeScope); + if (result == null) result = defaultCase(theEObject); + return result; + } case ApplicationConfigurationPackage.TYPE_REFERENCE: { TypeReference typeReference = (TypeReference)theEObject; @@ -416,6 +456,53 @@ public class ApplicationConfigurationSwitch extends Switch if (result == null) result = defaultCase(theEObject); return result; } + case ApplicationConfigurationPackage.NUMBER_SPECIFICATION: + { + NumberSpecification numberSpecification = (NumberSpecification)theEObject; + T result = caseNumberSpecification(numberSpecification); + if (result == null) result = defaultCase(theEObject); + return result; + } + case ApplicationConfigurationPackage.EXACT_NUMBER: + { + ExactNumber exactNumber = (ExactNumber)theEObject; + T result = caseExactNumber(exactNumber); + if (result == null) result = caseNumberSpecification(exactNumber); + if (result == null) result = defaultCase(theEObject); + return result; + } + case ApplicationConfigurationPackage.INTERVALL_NUMBER: + { + IntervallNumber intervallNumber = (IntervallNumber)theEObject; + T result = caseIntervallNumber(intervallNumber); + if (result == null) result = caseNumberSpecification(intervallNumber); + if (result == null) result = defaultCase(theEObject); + return result; + } + case ApplicationConfigurationPackage.INT_ENUMBERATION: + { + IntEnumberation intEnumberation = (IntEnumberation)theEObject; + T result = caseIntEnumberation(intEnumberation); + if (result == null) result = caseNumberSpecification(intEnumberation); + if (result == null) result = defaultCase(theEObject); + return result; + } + case ApplicationConfigurationPackage.REAL_ENUMERATION: + { + RealEnumeration realEnumeration = (RealEnumeration)theEObject; + T result = caseRealEnumeration(realEnumeration); + if (result == null) result = caseNumberSpecification(realEnumeration); + if (result == null) result = defaultCase(theEObject); + return result; + } + case ApplicationConfigurationPackage.STRING_ENUMERATION: + { + StringEnumeration stringEnumeration = (StringEnumeration)theEObject; + T result = caseStringEnumeration(stringEnumeration); + if (result == null) result = caseNumberSpecification(stringEnumeration); + if (result == null) result = defaultCase(theEObject); + return result; + } case ApplicationConfigurationPackage.SCOPE_DECLARATION: { ScopeDeclaration scopeDeclaration = (ScopeDeclaration)theEObject; @@ -1096,6 +1183,86 @@ public class ApplicationConfigurationSwitch extends Switch return null; } + /** + * Returns the result of interpreting the object as an instance of 'Class Type Scope'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Class Type Scope'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseClassTypeScope(ClassTypeScope object) + { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Object Type Scope'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Object Type Scope'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseObjectTypeScope(ObjectTypeScope object) + { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Integer Type Scope'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Integer Type Scope'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseIntegerTypeScope(IntegerTypeScope object) + { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Real Type Scope'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Real Type Scope'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseRealTypeScope(RealTypeScope object) + { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'String Type Scope'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'String Type Scope'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseStringTypeScope(StringTypeScope object) + { + return null; + } + /** * Returns the result of interpreting the object as an instance of 'Type Reference'. * @@ -1192,6 +1359,102 @@ public class ApplicationConfigurationSwitch extends Switch return null; } + /** + * Returns the result of interpreting the object as an instance of 'Number Specification'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Number Specification'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseNumberSpecification(NumberSpecification object) + { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Exact Number'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Exact Number'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseExactNumber(ExactNumber object) + { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Intervall Number'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Intervall Number'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseIntervallNumber(IntervallNumber object) + { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Int Enumberation'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Int Enumberation'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseIntEnumberation(IntEnumberation object) + { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Real Enumeration'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Real Enumeration'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseRealEnumeration(RealEnumeration object) + { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'String Enumeration'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'String Enumeration'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseStringEnumeration(StringEnumeration object) + { + return null; + } + /** * Returns the result of interpreting the object as an instance of 'Scope Declaration'. * -- cgit v1.2.3-54-g00ecf