From e7311dc3c728b18bd1c04fa8f51c9c6f0c042921 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Mon, 7 Aug 2017 16:50:35 +0200 Subject: added String to the logic problem, and representations returns the set of relevant primitive objects. --- .../model/logiclanguage/LogiclanguageFactory.java | 9 ++++ .../model/logiclanguage/LogiclanguagePackage.java | 49 ++++++++++++++++++++++ .../impl/LogiclanguageFactoryImpl.java | 11 +++++ .../impl/LogiclanguagePackageImpl.java | 22 ++++++++++ .../util/LogiclanguageAdapterFactory.java | 18 ++++++++ .../logiclanguage/util/LogiclanguageSwitch.java | 24 +++++++++++ 6 files changed, 133 insertions(+) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java index 0d438a05..f6977b13 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java @@ -381,6 +381,15 @@ public interface LogiclanguageFactory extends EFactory { */ InstanceOf createInstanceOf(); + /** + * Returns a new object of class 'String Type Reference'. + * + * + * @return a new object of class 'String Type Reference'. + * @generated + */ + StringTypeReference createStringTypeReference(); + /** * Returns the package supported by this factory. * diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java index 6965428b..d3a789e2 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java @@ -2562,6 +2562,35 @@ public interface LogiclanguagePackage extends EPackage { int INSTANCE_OF_OPERATION_COUNT = TERM_OPERATION_COUNT + 0; + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringTypeReferenceImpl String Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringTypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getStringTypeReference() + * @generated + */ + int STRING_TYPE_REFERENCE = 55; + + /** + * The number of structural features of the 'String Type Reference' class. + * + * + * @generated + * @ordered + */ + int STRING_TYPE_REFERENCE_FEATURE_COUNT = PRIMITIVE_TYPE_REFERENCE_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'String Type Reference' class. + * + * + * @generated + * @ordered + */ + int STRING_TYPE_REFERENCE_OPERATION_COUNT = PRIMITIVE_TYPE_REFERENCE_OPERATION_COUNT + 0; + + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type Type}'. * @@ -3772,6 +3801,16 @@ public interface LogiclanguagePackage extends EPackage { */ EReference getInstanceOf_Range(); + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringTypeReference String Type Reference}'. + * + * + * @return the meta object for class 'String Type Reference'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringTypeReference + * @generated + */ + EClass getStringTypeReference(); + /** * Returns the factory that creates the instances of the model. * @@ -4825,6 +4864,16 @@ public interface LogiclanguagePackage extends EPackage { */ EReference INSTANCE_OF__RANGE = eINSTANCE.getInstanceOf_Range(); + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringTypeReferenceImpl String Type Reference}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringTypeReferenceImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getStringTypeReference() + * @generated + */ + EClass STRING_TYPE_REFERENCE = eINSTANCE.getStringTypeReference(); + } } //LogiclanguagePackage diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java index 876947e4..593e1fc0 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java @@ -96,6 +96,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu case LogiclanguagePackage.TYPE_DECLARATION: return createTypeDeclaration(); case LogiclanguagePackage.UNKNOWN_BECAUSE_UNINTERPRETED: return createUnknownBecauseUninterpreted(); case LogiclanguagePackage.INSTANCE_OF: return createInstanceOf(); + case LogiclanguagePackage.STRING_TYPE_REFERENCE: return createStringTypeReference(); default: throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); } @@ -501,6 +502,16 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu return instanceOf; } + /** + * + * + * @generated + */ + public StringTypeReference createStringTypeReference() { + StringTypeReferenceImpl stringTypeReference = new StringTypeReferenceImpl(); + return stringTypeReference; + } + /** * * diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java index b73d679d..9628e3d7 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java @@ -48,6 +48,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference; import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration; import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition; +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringTypeReference; import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration; import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue; import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term; @@ -467,6 +468,13 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu */ private EClass instanceOfEClass = null; + /** + * + * + * @generated + */ + private EClass stringTypeReferenceEClass = null; + /** * Creates an instance of the model Package, registered with * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package @@ -1571,6 +1579,15 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu return (EReference)instanceOfEClass.getEStructuralFeatures().get(1); } + /** + * + * + * @generated + */ + public EClass getStringTypeReference() { + return stringTypeReferenceEClass; + } + /** * * @@ -1768,6 +1785,8 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu instanceOfEClass = createEClass(INSTANCE_OF); createEReference(instanceOfEClass, INSTANCE_OF__VALUE); createEReference(instanceOfEClass, INSTANCE_OF__RANGE); + + stringTypeReferenceEClass = createEClass(STRING_TYPE_REFERENCE); } /** @@ -1853,6 +1872,7 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu typeDeclarationEClass.getESuperTypes().add(this.getType()); unknownBecauseUninterpretedEClass.getESuperTypes().add(this.getTerm()); instanceOfEClass.getESuperTypes().add(this.getTerm()); + stringTypeReferenceEClass.getESuperTypes().add(this.getPrimitiveTypeReference()); // Initialize classes, features, and operations; add parameters initEClass(typeEClass, Type.class, "Type", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); @@ -2025,6 +2045,8 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu initEReference(getInstanceOf_Value(), this.getTerm(), null, "value", null, 1, 1, InstanceOf.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEReference(getInstanceOf_Range(), this.getTypeReference(), null, "range", null, 1, 1, InstanceOf.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEClass(stringTypeReferenceEClass, StringTypeReference.class, "StringTypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + // Create resource createResource(eNS_URI); } diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java index a3372dc9..b056117f 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java @@ -288,6 +288,10 @@ public class LogiclanguageAdapterFactory extends AdapterFactoryImpl { return createInstanceOfAdapter(); } @Override + public Adapter caseStringTypeReference(StringTypeReference object) { + return createStringTypeReferenceAdapter(); + } + @Override public Adapter defaultCase(EObject object) { return createEObjectAdapter(); } @@ -1077,6 +1081,20 @@ public class LogiclanguageAdapterFactory extends AdapterFactoryImpl { return null; } + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringTypeReference String Type Reference}'. + * + * 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.logic.model.logiclanguage.StringTypeReference + * @generated + */ + public Adapter createStringTypeReferenceAdapter() { + return null; + } + /** * Creates a new adapter for the default case. * diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java index a2a1e10a..4a89a3d0 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java @@ -526,6 +526,15 @@ public class LogiclanguageSwitch extends Switch { if (result == null) result = defaultCase(theEObject); return result; } + case LogiclanguagePackage.STRING_TYPE_REFERENCE: { + StringTypeReference stringTypeReference = (StringTypeReference)theEObject; + T result = caseStringTypeReference(stringTypeReference); + if (result == null) result = casePrimitiveTypeReference(stringTypeReference); + if (result == null) result = caseTypeReference(stringTypeReference); + if (result == null) result = caseTypeDescriptor(stringTypeReference); + if (result == null) result = defaultCase(theEObject); + return result; + } default: return defaultCase(theEObject); } } @@ -1355,6 +1364,21 @@ public class LogiclanguageSwitch extends Switch { return null; } + /** + * Returns the result of interpreting the object as an instance of 'String Type Reference'. + * + * 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 Reference'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseStringTypeReference(StringTypeReference object) { + return null; + } + /** * Returns the result of interpreting the object as an instance of 'EObject'. * -- cgit v1.2.3-54-g00ecf