Rebuild with Eclipse 2020-03

11 files changed, 296 insertions, 765 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin
index a3b7b1f2..b3013cf6 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin
+++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin
index 6d50bd9d..56db384c 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin
+++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeModule.java b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeModule.java
index 34f65780..f4d40594 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeModule.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeModule.java
@@ -1,13 +1,13 @@
-/**

- * generated by Xtext 2.12.0

- */

-package hu.bme.mit.inf.dslreasoner.application.ide;

-

-import hu.bme.mit.inf.dslreasoner.application.ide.AbstractApplicationConfigurationIdeModule;

-

-/**

- * Use this class to register ide components.

- */

-@SuppressWarnings("all")

-public class ApplicationConfigurationIdeModule extends AbstractApplicationConfigurationIdeModule {

-}

+/**
+ * generated by Xtext 2.12.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.ide;
+
+import hu.bme.mit.inf.dslreasoner.application.ide.AbstractApplicationConfigurationIdeModule;
+
+/**
+ * Use this class to register ide components.
+ */
+@SuppressWarnings("all")
+public class ApplicationConfigurationIdeModule extends AbstractApplicationConfigurationIdeModule {
+}
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeSetup.java b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeSetup.java
index a73d3f1f..2281147c 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeSetup.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/ApplicationConfigurationIdeSetup.java
@@ -1,24 +1,24 @@
-/**

- * generated by Xtext 2.12.0

- */

-package hu.bme.mit.inf.dslreasoner.application.ide;

-

-import com.google.inject.Guice;

-import com.google.inject.Injector;

-import hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationRuntimeModule;

-import hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationStandaloneSetup;

-import hu.bme.mit.inf.dslreasoner.application.ide.ApplicationConfigurationIdeModule;

-import org.eclipse.xtext.util.Modules2;

-

-/**

- * Initialization support for running Xtext languages as language servers.

- */

-@SuppressWarnings("all")

-public class ApplicationConfigurationIdeSetup extends ApplicationConfigurationStandaloneSetup {

-  @Override

-  public Injector createInjector() {

-    ApplicationConfigurationRuntimeModule _applicationConfigurationRuntimeModule = new ApplicationConfigurationRuntimeModule();

-    ApplicationConfigurationIdeModule _applicationConfigurationIdeModule = new ApplicationConfigurationIdeModule();

-    return Guice.createInjector(Modules2.mixin(_applicationConfigurationRuntimeModule, _applicationConfigurationIdeModule));

-  }

-}

+/**
+ * generated by Xtext 2.12.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.ide;
+
+import com.google.inject.Guice;
+import com.google.inject.Injector;
+import hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationRuntimeModule;
+import hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationStandaloneSetup;
+import hu.bme.mit.inf.dslreasoner.application.ide.ApplicationConfigurationIdeModule;
+import org.eclipse.xtext.util.Modules2;
+
+/**
+ * Initialization support for running Xtext languages as language servers.
+ */
+@SuppressWarnings("all")
+public class ApplicationConfigurationIdeSetup extends ApplicationConfigurationStandaloneSetup {
+  @Override
+  public Injector createInjector() {
+    ApplicationConfigurationRuntimeModule _applicationConfigurationRuntimeModule = new ApplicationConfigurationRuntimeModule();
+    ApplicationConfigurationIdeModule _applicationConfigurationIdeModule = new ApplicationConfigurationIdeModule();
+    return Guice.createInjector(Modules2.mixin(_applicationConfigurationRuntimeModule, _applicationConfigurationIdeModule));
+  }
+}
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.java b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.java
index 2a2e1047..872814b8 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.java
@@ -1,157 +1,157 @@
-package hu.bme.mit.inf.dslreasoner.application.validation;

-

-import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor;

-import java.util.Collections;

-import java.util.LinkedList;

-import java.util.List;

-import org.eclipse.emf.common.util.EList;

-import org.eclipse.emf.ecore.EAttribute;

-import org.eclipse.emf.ecore.EClass;

-import org.eclipse.emf.ecore.EDataType;

-import org.eclipse.emf.ecore.EEnum;

-import org.eclipse.emf.ecore.EEnumLiteral;

-import org.eclipse.emf.ecore.EReference;

-import org.eclipse.emf.ecore.EcorePackage;

-import org.eclipse.xtend2.lib.StringConcatenation;

-import org.eclipse.xtext.xbase.lib.CollectionLiterals;

-import org.eclipse.xtext.xbase.lib.Extension;

-

-@SuppressWarnings("all")

-public class MetamodelValidator {

-  public LinkedList<String> validateMetamodel(final EcoreMetamodelDescriptor descriptor) {

-    final LinkedList<String> errors = new LinkedList<String>();

-    this.allSupertypesAreIncluded(descriptor.getClasses(), errors);

-    this.allEnumTypesareIncluded(descriptor.getEnums(), descriptor.getLiterals(), errors);

-    this.referenceEndpointsAreIncluded(descriptor.getClasses(), descriptor.getReferences(), errors);

-    this.attributeSourcePontIsIncluded(descriptor.getClasses(), descriptor.getAttributes(), errors);

-    this.attributeTargetIsSupported(descriptor.getAttributes(), errors);

-    return errors;

-  }

-  

-  private boolean supportedEDataType(final EDataType dataType) {

-    @Extension

-    final EcorePackage l = EcorePackage.eINSTANCE;

-    EDataType _eInt = l.getEInt();

-    EDataType _eBoolean = l.getEBoolean();

-    EDataType _eString = l.getEString();

-    EDataType _eDouble = l.getEDouble();

-    EDataType _eFloat = l.getEFloat();

-    return Collections.<EDataType>unmodifiableList(CollectionLiterals.<EDataType>newArrayList(_eInt, _eBoolean, _eString, _eDouble, _eFloat)).contains(dataType);

-  }

-  

-  public void allSupertypesAreIncluded(final List<EClass> classes, final List<String> errors) {

-    for (final EClass c : classes) {

-      EList<EClass> _eSuperTypes = c.getESuperTypes();

-      for (final EClass s : _eSuperTypes) {

-        boolean _contains = classes.contains(s);

-        boolean _not = (!_contains);

-        if (_not) {

-          StringConcatenation _builder = new StringConcatenation();

-          _builder.append("Metamodel contains \"");

-          String _name = c.getName();

-          _builder.append(_name);

-          _builder.append("\" but not contains its supertype \"");

-          String _name_1 = s.getName();

-          _builder.append(_name_1);

-          _builder.append("\"!");

-          errors.add(_builder.toString());

-        }

-      }

-    }

-  }

-  

-  public void allEnumTypesareIncluded(final List<EEnum> enums, final List<EEnumLiteral> literals, final List<String> errors) {

-    for (final EEnumLiteral l : literals) {

-      boolean _contains = enums.contains(l.getEEnum());

-      boolean _not = (!_contains);

-      if (_not) {

-        StringConcatenation _builder = new StringConcatenation();

-        _builder.append("Metamodel contains literal \"");

-        String _name = l.getName();

-        _builder.append(_name);

-        _builder.append("\" but does not contains enum \"");

-        String _name_1 = l.getEEnum().getName();

-        _builder.append(_name_1);

-        _builder.append("\"!");

-        errors.add(_builder.toString());

-      }

-    }

-  }

-  

-  public void referenceEndpointsAreIncluded(final List<EClass> classes, final List<EReference> references, final List<String> errors) {

-    for (final EReference reference : references) {

-      {

-        final EClass src = reference.getEContainingClass();

-        boolean _contains = classes.contains(src);

-        boolean _not = (!_contains);

-        if (_not) {

-          StringConcatenation _builder = new StringConcatenation();

-          _builder.append("Metamodel contains reference \"");

-          String _name = reference.getName();

-          _builder.append(_name);

-          _builder.append("\" but does not contains its source type \"");

-          String _name_1 = src.getName();

-          _builder.append(_name_1);

-          _builder.append("\"!");

-          errors.add(_builder.toString());

-        }

-        final EClass trg = reference.getEReferenceType();

-        boolean _contains_1 = classes.contains(trg);

-        boolean _not_1 = (!_contains_1);

-        if (_not_1) {

-          StringConcatenation _builder_1 = new StringConcatenation();

-          _builder_1.append("Metamodel contains reference \"");

-          String _name_2 = reference.getName();

-          _builder_1.append(_name_2);

-          _builder_1.append("\" but does not contains its target type \"");

-          String _name_3 = trg.getName();

-          _builder_1.append(_name_3);

-          _builder_1.append("\"!");

-          errors.add(_builder_1.toString());

-        }

-      }

-    }

-  }

-  

-  public void attributeSourcePontIsIncluded(final List<EClass> classes, final List<EAttribute> attributes, final List<String> errors) {

-    for (final EAttribute attribute : attributes) {

-      {

-        final Class<?> src = attribute.getContainerClass();

-        boolean _contains = classes.contains(src);

-        boolean _not = (!_contains);

-        if (_not) {

-          StringConcatenation _builder = new StringConcatenation();

-          _builder.append("Metamodel contains attribute \"");

-          String _name = attribute.getName();

-          _builder.append(_name);

-          _builder.append("\" but does not contains its source type \"");

-          String _name_1 = src.getName();

-          _builder.append(_name_1);

-          _builder.append("\"!");

-          errors.add(_builder.toString());

-        }

-      }

-    }

-  }

-  

-  public void attributeTargetIsSupported(final List<EAttribute> attributes, final List<String> errors) {

-    for (final EAttribute attribute : attributes) {

-      {

-        final EDataType trg = attribute.getEAttributeType();

-        boolean _supportedEDataType = this.supportedEDataType(trg);

-        boolean _not = (!_supportedEDataType);

-        if (_not) {

-          StringConcatenation _builder = new StringConcatenation();

-          _builder.append("Metamodels contains attribute \"");

-          String _name = attribute.getName();

-          _builder.append(_name);

-          _builder.append("\" with unsupported type \"");

-          String _name_1 = trg.getName();

-          _builder.append(_name_1);

-          _builder.append("\"!");

-          errors.add(_builder.toString());

-        }

-      }

-    }

-  }

-}

+package hu.bme.mit.inf.dslreasoner.application.validation;
+
+import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor;
+import java.util.Collections;
+import java.util.LinkedList;
+import java.util.List;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EAttribute;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EDataType;
+import org.eclipse.emf.ecore.EEnum;
+import org.eclipse.emf.ecore.EEnumLiteral;
+import org.eclipse.emf.ecore.EReference;
+import org.eclipse.emf.ecore.EcorePackage;
+import org.eclipse.xtend2.lib.StringConcatenation;
+import org.eclipse.xtext.xbase.lib.CollectionLiterals;
+import org.eclipse.xtext.xbase.lib.Extension;
+
+@SuppressWarnings("all")
+public class MetamodelValidator {
+  public LinkedList<String> validateMetamodel(final EcoreMetamodelDescriptor descriptor) {
+    final LinkedList<String> errors = new LinkedList<String>();
+    this.allSupertypesAreIncluded(descriptor.getClasses(), errors);
+    this.allEnumTypesareIncluded(descriptor.getEnums(), descriptor.getLiterals(), errors);
+    this.referenceEndpointsAreIncluded(descriptor.getClasses(), descriptor.getReferences(), errors);
+    this.attributeSourcePontIsIncluded(descriptor.getClasses(), descriptor.getAttributes(), errors);
+    this.attributeTargetIsSupported(descriptor.getAttributes(), errors);
+    return errors;
+  }
+  
+  private boolean supportedEDataType(final EDataType dataType) {
+    @Extension
+    final EcorePackage l = EcorePackage.eINSTANCE;
+    EDataType _eInt = l.getEInt();
+    EDataType _eBoolean = l.getEBoolean();
+    EDataType _eString = l.getEString();
+    EDataType _eDouble = l.getEDouble();
+    EDataType _eFloat = l.getEFloat();
+    return Collections.<EDataType>unmodifiableList(CollectionLiterals.<EDataType>newArrayList(_eInt, _eBoolean, _eString, _eDouble, _eFloat)).contains(dataType);
+  }
+  
+  public void allSupertypesAreIncluded(final List<EClass> classes, final List<String> errors) {
+    for (final EClass c : classes) {
+      EList<EClass> _eSuperTypes = c.getESuperTypes();
+      for (final EClass s : _eSuperTypes) {
+        boolean _contains = classes.contains(s);
+        boolean _not = (!_contains);
+        if (_not) {
+          StringConcatenation _builder = new StringConcatenation();
+          _builder.append("Metamodel contains \"");
+          String _name = c.getName();
+          _builder.append(_name);
+          _builder.append("\" but not contains its supertype \"");
+          String _name_1 = s.getName();
+          _builder.append(_name_1);
+          _builder.append("\"!");
+          errors.add(_builder.toString());
+        }
+      }
+    }
+  }
+  
+  public void allEnumTypesareIncluded(final List<EEnum> enums, final List<EEnumLiteral> literals, final List<String> errors) {
+    for (final EEnumLiteral l : literals) {
+      boolean _contains = enums.contains(l.getEEnum());
+      boolean _not = (!_contains);
+      if (_not) {
+        StringConcatenation _builder = new StringConcatenation();
+        _builder.append("Metamodel contains literal \"");
+        String _name = l.getName();
+        _builder.append(_name);
+        _builder.append("\" but does not contains enum \"");
+        String _name_1 = l.getEEnum().getName();
+        _builder.append(_name_1);
+        _builder.append("\"!");
+        errors.add(_builder.toString());
+      }
+    }
+  }
+  
+  public void referenceEndpointsAreIncluded(final List<EClass> classes, final List<EReference> references, final List<String> errors) {
+    for (final EReference reference : references) {
+      {
+        final EClass src = reference.getEContainingClass();
+        boolean _contains = classes.contains(src);
+        boolean _not = (!_contains);
+        if (_not) {
+          StringConcatenation _builder = new StringConcatenation();
+          _builder.append("Metamodel contains reference \"");
+          String _name = reference.getName();
+          _builder.append(_name);
+          _builder.append("\" but does not contains its source type \"");
+          String _name_1 = src.getName();
+          _builder.append(_name_1);
+          _builder.append("\"!");
+          errors.add(_builder.toString());
+        }
+        final EClass trg = reference.getEReferenceType();
+        boolean _contains_1 = classes.contains(trg);
+        boolean _not_1 = (!_contains_1);
+        if (_not_1) {
+          StringConcatenation _builder_1 = new StringConcatenation();
+          _builder_1.append("Metamodel contains reference \"");
+          String _name_2 = reference.getName();
+          _builder_1.append(_name_2);
+          _builder_1.append("\" but does not contains its target type \"");
+          String _name_3 = trg.getName();
+          _builder_1.append(_name_3);
+          _builder_1.append("\"!");
+          errors.add(_builder_1.toString());
+        }
+      }
+    }
+  }
+  
+  public void attributeSourcePontIsIncluded(final List<EClass> classes, final List<EAttribute> attributes, final List<String> errors) {
+    for (final EAttribute attribute : attributes) {
+      {
+        final Class<?> src = attribute.getContainerClass();
+        boolean _contains = classes.contains(src);
+        boolean _not = (!_contains);
+        if (_not) {
+          StringConcatenation _builder = new StringConcatenation();
+          _builder.append("Metamodel contains attribute \"");
+          String _name = attribute.getName();
+          _builder.append(_name);
+          _builder.append("\" but does not contains its source type \"");
+          String _name_1 = src.getName();
+          _builder.append(_name_1);
+          _builder.append("\"!");
+          errors.add(_builder.toString());
+        }
+      }
+    }
+  }
+  
+  public void attributeTargetIsSupported(final List<EAttribute> attributes, final List<String> errors) {
+    for (final EAttribute attribute : attributes) {
+      {
+        final EDataType trg = attribute.getEAttributeType();
+        boolean _supportedEDataType = this.supportedEDataType(trg);
+        boolean _not = (!_supportedEDataType);
+        if (_not) {
+          StringConcatenation _builder = new StringConcatenation();
+          _builder.append("Metamodels contains attribute \"");
+          String _name = attribute.getName();
+          _builder.append(_name);
+          _builder.append("\" with unsupported type \"");
+          String _name_1 = trg.getName();
+          _builder.append(_name_1);
+          _builder.append("\"!");
+          errors.add(_builder.toString());
+        }
+      }
+    }
+  }
+}
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.java b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.java
index 567551f1..0b5b8f03 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.java
@@ -1,86 +1,86 @@
-package hu.bme.mit.inf.dslreasoner.application.validation;

-

-import com.google.common.collect.Iterables;

-import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor;

-import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor;

-import java.util.Collections;

-import java.util.LinkedList;

-import java.util.List;

-import java.util.Set;

-import org.eclipse.emf.common.util.EList;

-import org.eclipse.emf.ecore.EAttribute;

-import org.eclipse.emf.ecore.EClass;

-import org.eclipse.emf.ecore.EClassifier;

-import org.eclipse.emf.ecore.EEnum;

-import org.eclipse.emf.ecore.EEnumLiteral;

-import org.eclipse.emf.ecore.ENamedElement;

-import org.eclipse.emf.ecore.EObject;

-import org.eclipse.emf.ecore.EReference;

-import org.eclipse.viatra.query.patternlanguage.emf.vql.Pattern;

-import org.eclipse.xtend2.lib.StringConcatenation;

-import org.eclipse.xtext.xbase.lib.CollectionLiterals;

-import org.eclipse.xtext.xbase.lib.Functions.Function1;

-import org.eclipse.xtext.xbase.lib.IterableExtensions;

-import org.eclipse.xtext.xbase.lib.IteratorExtensions;

-import org.eclipse.xtext.xbase.lib.ListExtensions;

-import org.eclipse.xtext.xbase.lib.Pair;

-

-@SuppressWarnings("all")

-public class QueryAndMetamodelValidator {

-  public LinkedList<String> validateQueryAndMetamodel(final EcoreMetamodelDescriptor metamodel, final Pair<ViatraQuerySetDescriptor, Set<Pattern>> viatra) {

-    final Set<Pattern> patterns = viatra.getValue();

-    List<EClass> _classes = metamodel.getClasses();

-    List<EEnum> _enums = metamodel.getEnums();

-    Iterable<EClassifier> _plus = Iterables.<EClassifier>concat(_classes, _enums);

-    List<EEnumLiteral> _literals = metamodel.getLiterals();

-    Iterable<ENamedElement> _plus_1 = Iterables.<ENamedElement>concat(_plus, _literals);

-    List<EAttribute> _attributes = metamodel.getAttributes();

-    Iterable<ENamedElement> _plus_2 = Iterables.<ENamedElement>concat(_plus_1, _attributes);

-    List<EReference> _references = metamodel.getReferences();

-    final Set<ENamedElement> elementsInMetamodel = IterableExtensions.<ENamedElement>toSet(Iterables.<ENamedElement>concat(_plus_2, _references));

-    final LinkedList<String> errors = new LinkedList<String>();

-    for (final Pattern pattern : patterns) {

-      {

-        final Iterable<ENamedElement> elements = this.getReferredNamedElements(pattern);

-        for (final ENamedElement element : elements) {

-          boolean _contains = elementsInMetamodel.contains(element);

-          boolean _not = (!_contains);

-          if (_not) {

-            StringConcatenation _builder = new StringConcatenation();

-            _builder.append("Pattern \"");

-            String _name = pattern.getName();

-            _builder.append(_name);

-            _builder.append("\" refers to an element \"");

-            _builder.append(element);

-            _builder.append("\" that is not included to the selected metamodel!");

-            errors.add(_builder.toString());

-          }

-        }

-      }

-    }

-    return errors;

-  }

-  

-  public Iterable<ENamedElement> getReferredNamedElements(final Pattern pattern) {

-    final List<EObject> elements = IteratorExtensions.<EObject>toList(pattern.eAllContents());

-    final Function1<EObject, Iterable<ENamedElement>> _function = (EObject element) -> {

-      final EList<EReference> references = element.eClass().getEAllReferences();

-      final Function1<EReference, Iterable<ENamedElement>> _function_1 = (EReference r) -> {

-        boolean _isMany = r.isMany();

-        if (_isMany) {

-          Object _eGet = element.eGet(r);

-          return Iterables.<ENamedElement>filter(((List<?>) _eGet), ENamedElement.class);

-        } else {

-          final Object value = element.eGet(r);

-          if ((value instanceof ENamedElement)) {

-            return Collections.<ENamedElement>unmodifiableList(CollectionLiterals.<ENamedElement>newArrayList(((ENamedElement)value)));

-          } else {

-            return Collections.<ENamedElement>unmodifiableList(CollectionLiterals.<ENamedElement>newArrayList());

-          }

-        }

-      };

-      return Iterables.<ENamedElement>filter((Iterables.<ENamedElement>concat(ListExtensions.<EReference, Iterable<ENamedElement>>map(references, _function_1))), ENamedElement.class);

-    };

-    return Iterables.<ENamedElement>concat(ListExtensions.<EObject, Iterable<ENamedElement>>map(elements, _function));

-  }

-}

+package hu.bme.mit.inf.dslreasoner.application.validation;
+
+import com.google.common.collect.Iterables;
+import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor;
+import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor;
+import java.util.Collections;
+import java.util.LinkedList;
+import java.util.List;
+import java.util.Set;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EAttribute;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EClassifier;
+import org.eclipse.emf.ecore.EEnum;
+import org.eclipse.emf.ecore.EEnumLiteral;
+import org.eclipse.emf.ecore.ENamedElement;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EReference;
+import org.eclipse.viatra.query.patternlanguage.emf.vql.Pattern;
+import org.eclipse.xtend2.lib.StringConcatenation;
+import org.eclipse.xtext.xbase.lib.CollectionLiterals;
+import org.eclipse.xtext.xbase.lib.Functions.Function1;
+import org.eclipse.xtext.xbase.lib.IterableExtensions;
+import org.eclipse.xtext.xbase.lib.IteratorExtensions;
+import org.eclipse.xtext.xbase.lib.ListExtensions;
+import org.eclipse.xtext.xbase.lib.Pair;
+
+@SuppressWarnings("all")
+public class QueryAndMetamodelValidator {
+  public LinkedList<String> validateQueryAndMetamodel(final EcoreMetamodelDescriptor metamodel, final Pair<ViatraQuerySetDescriptor, Set<Pattern>> viatra) {
+    final Set<Pattern> patterns = viatra.getValue();
+    List<EClass> _classes = metamodel.getClasses();
+    List<EEnum> _enums = metamodel.getEnums();
+    Iterable<EClassifier> _plus = Iterables.<EClassifier>concat(_classes, _enums);
+    List<EEnumLiteral> _literals = metamodel.getLiterals();
+    Iterable<ENamedElement> _plus_1 = Iterables.<ENamedElement>concat(_plus, _literals);
+    List<EAttribute> _attributes = metamodel.getAttributes();
+    Iterable<ENamedElement> _plus_2 = Iterables.<ENamedElement>concat(_plus_1, _attributes);
+    List<EReference> _references = metamodel.getReferences();
+    final Set<ENamedElement> elementsInMetamodel = IterableExtensions.<ENamedElement>toSet(Iterables.<ENamedElement>concat(_plus_2, _references));
+    final LinkedList<String> errors = new LinkedList<String>();
+    for (final Pattern pattern : patterns) {
+      {
+        final Iterable<ENamedElement> elements = this.getReferredNamedElements(pattern);
+        for (final ENamedElement element : elements) {
+          boolean _contains = elementsInMetamodel.contains(element);
+          boolean _not = (!_contains);
+          if (_not) {
+            StringConcatenation _builder = new StringConcatenation();
+            _builder.append("Pattern \"");
+            String _name = pattern.getName();
+            _builder.append(_name);
+            _builder.append("\" refers to an element \"");
+            _builder.append(element);
+            _builder.append("\" that is not included to the selected metamodel!");
+            errors.add(_builder.toString());
+          }
+        }
+      }
+    }
+    return errors;
+  }
+  
+  public Iterable<ENamedElement> getReferredNamedElements(final Pattern pattern) {
+    final List<EObject> elements = IteratorExtensions.<EObject>toList(pattern.eAllContents());
+    final Function1<EObject, Iterable<ENamedElement>> _function = (EObject element) -> {
+      final EList<EReference> references = element.eClass().getEAllReferences();
+      final Function1<EReference, Iterable<ENamedElement>> _function_1 = (EReference r) -> {
+        boolean _isMany = r.isMany();
+        if (_isMany) {
+          Object _eGet = element.eGet(r);
+          return Iterables.<ENamedElement>filter(((List<?>) _eGet), ENamedElement.class);
+        } else {
+          final Object value = element.eGet(r);
+          if ((value instanceof ENamedElement)) {
+            return Collections.<ENamedElement>unmodifiableList(CollectionLiterals.<ENamedElement>newArrayList(((ENamedElement)value)));
+          } else {
+            return Collections.<ENamedElement>unmodifiableList(CollectionLiterals.<ENamedElement>newArrayList());
+          }
+        }
+      };
+      return Iterables.<ENamedElement>filter((Iterables.<ENamedElement>concat(ListExtensions.<EReference, Iterable<ENamedElement>>map(references, _function_1))), ENamedElement.class);
+    };
+    return Iterables.<ENamedElement>concat(ListExtensions.<EObject, Iterable<ENamedElement>>map(elements, _function));
+  }
+}
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.java b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.java
index e617a132..59a09906 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.java
@@ -1,16 +1,16 @@
-package hu.bme.mit.inf.dslreasoner.application.valueconverter;

-

-import hu.bme.mit.inf.dslreasoner.application.valueconverter.QualifiedNameValueConverter;

-import org.eclipse.xtext.common.services.DefaultTerminalConverters;

-import org.eclipse.xtext.conversion.IValueConverter;

-import org.eclipse.xtext.conversion.ValueConverter;

-

-@SuppressWarnings("all")

-public class ApplicationConfigurationValueConverterService extends DefaultTerminalConverters {

-  private final QualifiedNameValueConverter converter2 = new QualifiedNameValueConverter();

-  

-  @ValueConverter(rule = "QualifiedName")

-  public IValueConverter<String> QualifiedName() {

-    return this.converter2;

-  }

-}

+package hu.bme.mit.inf.dslreasoner.application.valueconverter;
+
+import hu.bme.mit.inf.dslreasoner.application.valueconverter.QualifiedNameValueConverter;
+import org.eclipse.xtext.common.services.DefaultTerminalConverters;
+import org.eclipse.xtext.conversion.IValueConverter;
+import org.eclipse.xtext.conversion.ValueConverter;
+
+@SuppressWarnings("all")
+public class ApplicationConfigurationValueConverterService extends DefaultTerminalConverters {
+  private final QualifiedNameValueConverter converter2 = new QualifiedNameValueConverter();
+  
+  @ValueConverter(rule = "QualifiedName")
+  public IValueConverter<String> QualifiedName() {
+    return this.converter2;
+  }
+}
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/ErrorPredicate.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/ErrorPredicate.java
deleted file mode 100644
index c8e49d48..00000000
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/ErrorPredicate.java
+++ /dev/null
@@ -1,47 +0,0 @@
-/**

- * generated by Xtext 2.18.0.M3

- */

-package org.eclipse.viatra.solver.language.solverLanguage;

-

-

-/**

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

- * A representation of the model object '<em><b>Error Predicate</b></em>'.

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

- *

- * <p>

- * The following features are supported:

- * </p>

- * <ul>

- *   <li>{@link org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate#getName <em>Name</em>}</li>

- * </ul>

- *

- * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getErrorPredicate()

- * @model

- * @generated

- */

-public interface ErrorPredicate extends Predicate

-{

-  /**

-   * Returns the value of the '<em><b>Name</b></em>' attribute.

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

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

-   * @return the value of the '<em>Name</em>' attribute.

-   * @see #setName(String)

-   * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getErrorPredicate_Name()

-   * @model

-   * @generated

-   */

-  String getName();

-

-  /**

-   * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate#getName <em>Name</em>}' attribute.

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

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

-   * @param value the new value of the '<em>Name</em>' attribute.

-   * @see #getName()

-   * @generated

-   */

-  void setName(String value);

-

-} // ErrorPredicate

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/PredicateSymbol.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/PredicateSymbol.java
deleted file mode 100644
index 0f1d0c47..00000000
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/PredicateSymbol.java
+++ /dev/null
@@ -1,47 +0,0 @@
-/**

- * generated by Xtext 2.18.0.M3

- */

-package org.eclipse.viatra.solver.language.solverLanguage;

-

-

-/**

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

- * A representation of the model object '<em><b>Predicate Symbol</b></em>'.

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

- *

- * <p>

- * The following features are supported:

- * </p>

- * <ul>

- *   <li>{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol#getSymbol <em>Symbol</em>}</li>

- * </ul>

- *

- * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getPredicateSymbol()

- * @model

- * @generated

- */

-public interface PredicateSymbol extends Predicate

-{

-  /**

-   * Returns the value of the '<em><b>Symbol</b></em>' containment reference.

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

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

-   * @return the value of the '<em>Symbol</em>' containment reference.

-   * @see #setSymbol(ModelSymbol)

-   * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getPredicateSymbol_Symbol()

-   * @model containment="true"

-   * @generated

-   */

-  ModelSymbol getSymbol();

-

-  /**

-   * Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol#getSymbol <em>Symbol</em>}' containment reference.

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

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

-   * @param value the new value of the '<em>Symbol</em>' containment reference.

-   * @see #getSymbol()

-   * @generated

-   */

-  void setSymbol(ModelSymbol value);

-

-} // PredicateSymbol

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ErrorPredicateImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ErrorPredicateImpl.java
deleted file mode 100644
index f9b0e8c8..00000000
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/ErrorPredicateImpl.java
+++ /dev/null
@@ -1,179 +0,0 @@
-/**

- * generated by Xtext 2.18.0.M3

- */

-package org.eclipse.viatra.solver.language.solverLanguage.impl;

-

-import org.eclipse.emf.common.notify.Notification;

-

-import org.eclipse.emf.ecore.EClass;

-

-import org.eclipse.emf.ecore.impl.ENotificationImpl;

-

-import org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate;

-import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;

-

-/**

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

- * An implementation of the model object '<em><b>Error Predicate</b></em>'.

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

- * <p>

- * The following features are implemented:

- * </p>

- * <ul>

- *   <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl#getName <em>Name</em>}</li>

- * </ul>

- *

- * @generated

- */

-public class ErrorPredicateImpl extends PredicateImpl implements ErrorPredicate

-{

-  /**

-   * The default value of the '{@link #getName() <em>Name</em>}' attribute.

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

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

-   * @see #getName()

-   * @generated

-   * @ordered

-   */

-  protected static final String NAME_EDEFAULT = null;

-

-  /**

-   * The cached value of the '{@link #getName() <em>Name</em>}' attribute.

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

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

-   * @see #getName()

-   * @generated

-   * @ordered

-   */

-  protected String name = NAME_EDEFAULT;

-

-  /**

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

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

-   * @generated

-   */

-  protected ErrorPredicateImpl()

-  {

-    super();

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  protected EClass eStaticClass()

-  {

-    return SolverLanguagePackage.Literals.ERROR_PREDICATE;

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public String getName()

-  {

-    return name;

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public void setName(String newName)

-  {

-    String oldName = name;

-    name = newName;

-    if (eNotificationRequired())

-      eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.ERROR_PREDICATE__NAME, oldName, name));

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public Object eGet(int featureID, boolean resolve, boolean coreType)

-  {

-    switch (featureID)

-    {

-      case SolverLanguagePackage.ERROR_PREDICATE__NAME:

-        return getName();

-    }

-    return super.eGet(featureID, resolve, coreType);

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public void eSet(int featureID, Object newValue)

-  {

-    switch (featureID)

-    {

-      case SolverLanguagePackage.ERROR_PREDICATE__NAME:

-        setName((String)newValue);

-        return;

-    }

-    super.eSet(featureID, newValue);

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public void eUnset(int featureID)

-  {

-    switch (featureID)

-    {

-      case SolverLanguagePackage.ERROR_PREDICATE__NAME:

-        setName(NAME_EDEFAULT);

-        return;

-    }

-    super.eUnset(featureID);

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public boolean eIsSet(int featureID)

-  {

-    switch (featureID)

-    {

-      case SolverLanguagePackage.ERROR_PREDICATE__NAME:

-        return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);

-    }

-    return super.eIsSet(featureID);

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public String toString()

-  {

-    if (eIsProxy()) return super.toString();

-

-    StringBuilder result = new StringBuilder(super.toString());

-    result.append(" (name: ");

-    result.append(name);

-    result.append(')');

-    return result.toString();

-  }

-

-} //ErrorPredicateImpl

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/PredicateSymbolImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/PredicateSymbolImpl.java
deleted file mode 100644
index f49c6701..00000000
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/PredicateSymbolImpl.java
+++ /dev/null
@@ -1,196 +0,0 @@
-/**

- * generated by Xtext 2.18.0.M3

- */

-package org.eclipse.viatra.solver.language.solverLanguage.impl;

-

-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;

-

-import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol;

-import org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol;

-import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;

-

-/**

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

- * An implementation of the model object '<em><b>Predicate Symbol</b></em>'.

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

- * <p>

- * The following features are implemented:

- * </p>

- * <ul>

- *   <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl#getSymbol <em>Symbol</em>}</li>

- * </ul>

- *

- * @generated

- */

-public class PredicateSymbolImpl extends PredicateImpl implements PredicateSymbol

-{

-  /**

-   * The cached value of the '{@link #getSymbol() <em>Symbol</em>}' containment reference.

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

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

-   * @see #getSymbol()

-   * @generated

-   * @ordered

-   */

-  protected ModelSymbol symbol;

-

-  /**

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

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

-   * @generated

-   */

-  protected PredicateSymbolImpl()

-  {

-    super();

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  protected EClass eStaticClass()

-  {

-    return SolverLanguagePackage.Literals.PREDICATE_SYMBOL;

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public ModelSymbol getSymbol()

-  {

-    return symbol;

-  }

-

-  /**

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

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

-   * @generated

-   */

-  public NotificationChain basicSetSymbol(ModelSymbol newSymbol, NotificationChain msgs)

-  {

-    ModelSymbol oldSymbol = symbol;

-    symbol = newSymbol;

-    if (eNotificationRequired())

-    {

-      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL, oldSymbol, newSymbol);

-      if (msgs == null) msgs = notification; else msgs.add(notification);

-    }

-    return msgs;

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public void setSymbol(ModelSymbol newSymbol)

-  {

-    if (newSymbol != symbol)

-    {

-      NotificationChain msgs = null;

-      if (symbol != null)

-        msgs = ((InternalEObject)symbol).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL, null, msgs);

-      if (newSymbol != null)

-        msgs = ((InternalEObject)newSymbol).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL, null, msgs);

-      msgs = basicSetSymbol(newSymbol, msgs);

-      if (msgs != null) msgs.dispatch();

-    }

-    else if (eNotificationRequired())

-      eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL, newSymbol, newSymbol));

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)

-  {

-    switch (featureID)

-    {

-      case SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL:

-        return basicSetSymbol(null, msgs);

-    }

-    return super.eInverseRemove(otherEnd, featureID, msgs);

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public Object eGet(int featureID, boolean resolve, boolean coreType)

-  {

-    switch (featureID)

-    {

-      case SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL:

-        return getSymbol();

-    }

-    return super.eGet(featureID, resolve, coreType);

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public void eSet(int featureID, Object newValue)

-  {

-    switch (featureID)

-    {

-      case SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL:

-        setSymbol((ModelSymbol)newValue);

-        return;

-    }

-    super.eSet(featureID, newValue);

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public void eUnset(int featureID)

-  {

-    switch (featureID)

-    {

-      case SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL:

-        setSymbol((ModelSymbol)null);

-        return;

-    }

-    super.eUnset(featureID);

-  }

-

-  /**

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

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

-   * @generated

-   */

-  @Override

-  public boolean eIsSet(int featureID)

-  {

-    switch (featureID)

-    {

-      case SolverLanguagePackage.PREDICATE_SYMBOL__SYMBOL:

-        return symbol != null;

-    }

-    return super.eIsSet(featureID);

-  }

-

-} //PredicateSymbolImpl