Generated code for the modified logic model

9 files changed, 178 insertions, 6 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/BoolLiteral.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/BoolLiteral.java
index c48665a9..704927cd 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/BoolLiteral.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/BoolLiteral.java
@@ -31,7 +31,7 @@ public interface BoolLiteral extends AtomicTerm {
          * @return the value of the '<em>Value</em>' attribute.

          * @see #setValue(boolean)

          * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getBoolLiteral_Value()

-         * @model

+         * @model required="true"

          * @generated

          */

         boolean isValue();

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/IntLiteral.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/IntLiteral.java
index 87eb946d..e82653b9 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/IntLiteral.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/IntLiteral.java
@@ -31,7 +31,7 @@ public interface IntLiteral extends AtomicTerm {
          * @return the value of the '<em>Value</em>' attribute.

          * @see #setValue(int)

          * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getIntLiteral_Value()

-         * @model

+         * @model required="true"

          * @generated

          */

         int getValue();

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 f6977b13..0d1061d7 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
@@ -391,6 +391,15 @@ public interface LogiclanguageFactory extends EFactory {
         StringTypeReference createStringTypeReference();

 

         /**

+         * Returns a new object of class '<em>String Literal</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>String Literal</em>'.

+         * @generated

+         */

+        StringLiteral createStringLiteral();

+

+        /**

          * Returns the package supported by this factory.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

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 d3a789e2..4e8cdcdc 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
@@ -2592,6 +2592,44 @@ public interface LogiclanguagePackage extends EPackage {
 

 

         /**

+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringLiteralImpl <em>String Literal</em>}' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringLiteralImpl

+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getStringLiteral()

+         * @generated

+         */

+        int STRING_LITERAL = 56;

+

+        /**

+         * The feature id for the '<em><b>Value</b></em>' attribute.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int STRING_LITERAL__VALUE = ATOMIC_TERM_FEATURE_COUNT + 0;

+

+        /**

+         * The number of structural features of the '<em>String Literal</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int STRING_LITERAL_FEATURE_COUNT = ATOMIC_TERM_FEATURE_COUNT + 1;

+

+        /**

+         * The number of operations of the '<em>String Literal</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int STRING_LITERAL_OPERATION_COUNT = ATOMIC_TERM_OPERATION_COUNT + 0;

+

+

+        /**

          * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type <em>Type</em>}'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

@@ -3812,6 +3850,27 @@ public interface LogiclanguagePackage extends EPackage {
         EClass getStringTypeReference();

 

         /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringLiteral <em>String Literal</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>String Literal</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringLiteral

+         * @generated

+         */

+        EClass getStringLiteral();

+

+        /**

+         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringLiteral#getValue <em>Value</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for the attribute '<em>Value</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringLiteral#getValue()

+         * @see #getStringLiteral()

+         * @generated

+         */

+        EAttribute getStringLiteral_Value();

+

+        /**

          * Returns the factory that creates the instances of the model.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

@@ -4874,6 +4933,24 @@ public interface LogiclanguagePackage extends EPackage {
                  */

                 EClass STRING_TYPE_REFERENCE = eINSTANCE.getStringTypeReference();

 

+                /**

+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringLiteralImpl <em>String Literal</em>}' class.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.StringLiteralImpl

+                 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getStringLiteral()

+                 * @generated

+                 */

+                EClass STRING_LITERAL = eINSTANCE.getStringLiteral();

+

+                /**

+                 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @generated

+                 */

+                EAttribute STRING_LITERAL__VALUE = eINSTANCE.getStringLiteral_Value();

+

         }

 

 } //LogiclanguagePackage

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/RealLiteral.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/RealLiteral.java
index 88dcb04b..0ba0a6ca 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/RealLiteral.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/RealLiteral.java
@@ -32,7 +32,7 @@ public interface RealLiteral extends AtomicTerm {
          * @return the value of the '<em>Value</em>' attribute.

          * @see #setValue(BigDecimal)

          * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getRealLiteral_Value()

-         * @model

+         * @model required="true"

          * @generated

          */

         BigDecimal getValue();

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 593e1fc0..b4d03cfd 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
@@ -97,6 +97,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu
                         case LogiclanguagePackage.UNKNOWN_BECAUSE_UNINTERPRETED: return createUnknownBecauseUninterpreted();

                         case LogiclanguagePackage.INSTANCE_OF: return createInstanceOf();

                         case LogiclanguagePackage.STRING_TYPE_REFERENCE: return createStringTypeReference();

+                        case LogiclanguagePackage.STRING_LITERAL: return createStringLiteral();

                         default:

                                 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");

                 }

@@ -517,6 +518,16 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu
          * <!-- end-user-doc -->

          * @generated

          */

+        public StringLiteral createStringLiteral() {

+                StringLiteralImpl stringLiteral = new StringLiteralImpl();

+                return stringLiteral;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

         public LogiclanguagePackage getLogiclanguagePackage() {

                 return (LogiclanguagePackage)getEPackage();

         }

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 9628e3d7..8bc329d5 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.StringLiteral;

 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;

@@ -476,6 +477,13 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu
         private EClass stringTypeReferenceEClass = null;

 

         /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass stringLiteralEClass = null;

+

+        /**

          * Creates an instance of the model <b>Package</b>, registered with

          * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package

          * package URI value.

@@ -1593,6 +1601,24 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu
          * <!-- end-user-doc -->

          * @generated

          */

+        public EClass getStringLiteral() {

+                return stringLiteralEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EAttribute getStringLiteral_Value() {

+                return (EAttribute)stringLiteralEClass.getEStructuralFeatures().get(0);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

         public LogiclanguageFactory getLogiclanguageFactory() {

                 return (LogiclanguageFactory)getEFactoryInstance();

         }

@@ -1787,6 +1813,9 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu
                 createEReference(instanceOfEClass, INSTANCE_OF__RANGE);

 

                 stringTypeReferenceEClass = createEClass(STRING_TYPE_REFERENCE);

+

+                stringLiteralEClass = createEClass(STRING_LITERAL);

+                createEAttribute(stringLiteralEClass, STRING_LITERAL__VALUE);

         }

 

         /**

@@ -1873,6 +1902,7 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu
                 unknownBecauseUninterpretedEClass.getESuperTypes().add(this.getTerm());

                 instanceOfEClass.getESuperTypes().add(this.getTerm());

                 stringTypeReferenceEClass.getESuperTypes().add(this.getPrimitiveTypeReference());

+                stringLiteralEClass.getESuperTypes().add(this.getAtomicTerm());

 

                 // Initialize classes, features, and operations; add parameters

                 initEClass(typeEClass, Type.class, "Type", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

@@ -1918,13 +1948,13 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu
                 initEClass(atomicTermEClass, AtomicTerm.class, "AtomicTerm", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

 

                 initEClass(intLiteralEClass, IntLiteral.class, "IntLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

-                initEAttribute(getIntLiteral_Value(), ecorePackage.getEInt(), "value", null, 0, 1, IntLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEAttribute(getIntLiteral_Value(), ecorePackage.getEInt(), "value", null, 1, 1, IntLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

                 initEClass(boolLiteralEClass, BoolLiteral.class, "BoolLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

-                initEAttribute(getBoolLiteral_Value(), ecorePackage.getEBoolean(), "value", null, 0, 1, BoolLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEAttribute(getBoolLiteral_Value(), ecorePackage.getEBoolean(), "value", null, 1, 1, BoolLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

                 initEClass(realLiteralEClass, RealLiteral.class, "RealLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

-                initEAttribute(getRealLiteral_Value(), ecorePackage.getEBigDecimal(), "value", null, 0, 1, RealLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEAttribute(getRealLiteral_Value(), ecorePackage.getEBigDecimal(), "value", null, 1, 1, RealLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

                 initEClass(variableEClass, Variable.class, "Variable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

                 initEReference(getVariable_Range(), this.getTypeReference(), null, "range", null, 1, 1, Variable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

@@ -2047,6 +2077,9 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu
 

                 initEClass(stringTypeReferenceEClass, StringTypeReference.class, "StringTypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

 

+                initEClass(stringLiteralEClass, StringLiteral.class, "StringLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+                initEAttribute(getStringLiteral_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

                 // 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 b056117f..c756cf31 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
@@ -292,6 +292,10 @@ public class LogiclanguageAdapterFactory extends AdapterFactoryImpl {
                                 return createStringTypeReferenceAdapter();

                         }

                         @Override

+                        public Adapter caseStringLiteral(StringLiteral object) {

+                                return createStringLiteralAdapter();

+                        }

+                        @Override

                         public Adapter defaultCase(EObject object) {

                                 return createEObjectAdapter();

                         }

@@ -1096,6 +1100,20 @@ public class LogiclanguageAdapterFactory extends AdapterFactoryImpl {
         }

 

         /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringLiteral <em>String Literal</em>}'.

+         * <!-- begin-user-doc -->

+         * 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.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringLiteral

+         * @generated

+         */

+        public Adapter createStringLiteralAdapter() {

+                return null;

+        }

+

+        /**

          * Creates a new adapter for the default case.

          * <!-- begin-user-doc -->

          * This default implementation returns null.

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 4a89a3d0..43376940 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
@@ -535,6 +535,15 @@ public class LogiclanguageSwitch<T> extends Switch<T> {
                                 if (result == null) result = defaultCase(theEObject);

                                 return result;

                         }

+                        case LogiclanguagePackage.STRING_LITERAL: {

+                                StringLiteral stringLiteral = (StringLiteral)theEObject;

+                                T result = caseStringLiteral(stringLiteral);

+                                if (result == null) result = caseAtomicTerm(stringLiteral);

+                                if (result == null) result = caseTerm(stringLiteral);

+                                if (result == null) result = caseTermDescription(stringLiteral);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

                         default: return defaultCase(theEObject);

                 }

         }

@@ -1380,6 +1389,21 @@ public class LogiclanguageSwitch<T> extends Switch<T> {
         }

 

         /**

+         * Returns the result of interpreting the object as an instance of '<em>String Literal</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>String Literal</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseStringLiteral(StringLiteral object) {

+                return null;

+        }

+

+        /**

          * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.

          * <!-- begin-user-doc -->

          * This implementation returns null;