From 89235248d109ec015cc483188a7c4167c0deef77 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 7 May 2020 19:12:45 +0200 Subject: Rebuild with Eclipse 2020-03 --- .../application/validation/MetamodelValidator.java | 314 ++++++++++----------- .../validation/QueryAndMetamodelValidator.java | 172 +++++------ ...licationConfigurationValueConverterService.java | 32 +-- 3 files changed, 259 insertions(+), 259 deletions(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen') 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 validateMetamodel(final EcoreMetamodelDescriptor descriptor) { - final LinkedList errors = new LinkedList(); - 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.unmodifiableList(CollectionLiterals.newArrayList(_eInt, _eBoolean, _eString, _eDouble, _eFloat)).contains(dataType); - } - - public void allSupertypesAreIncluded(final List classes, final List errors) { - for (final EClass c : classes) { - EList _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 enums, final List literals, final List 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 classes, final List references, final List 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 classes, final List attributes, final List 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 attributes, final List 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 validateMetamodel(final EcoreMetamodelDescriptor descriptor) { + final LinkedList errors = new LinkedList(); + 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.unmodifiableList(CollectionLiterals.newArrayList(_eInt, _eBoolean, _eString, _eDouble, _eFloat)).contains(dataType); + } + + public void allSupertypesAreIncluded(final List classes, final List errors) { + for (final EClass c : classes) { + EList _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 enums, final List literals, final List 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 classes, final List references, final List 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 classes, final List attributes, final List 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 attributes, final List 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 validateQueryAndMetamodel(final EcoreMetamodelDescriptor metamodel, final Pair> viatra) { - final Set patterns = viatra.getValue(); - List _classes = metamodel.getClasses(); - List _enums = metamodel.getEnums(); - Iterable _plus = Iterables.concat(_classes, _enums); - List _literals = metamodel.getLiterals(); - Iterable _plus_1 = Iterables.concat(_plus, _literals); - List _attributes = metamodel.getAttributes(); - Iterable _plus_2 = Iterables.concat(_plus_1, _attributes); - List _references = metamodel.getReferences(); - final Set elementsInMetamodel = IterableExtensions.toSet(Iterables.concat(_plus_2, _references)); - final LinkedList errors = new LinkedList(); - for (final Pattern pattern : patterns) { - { - final Iterable 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 getReferredNamedElements(final Pattern pattern) { - final List elements = IteratorExtensions.toList(pattern.eAllContents()); - final Function1> _function = (EObject element) -> { - final EList references = element.eClass().getEAllReferences(); - final Function1> _function_1 = (EReference r) -> { - boolean _isMany = r.isMany(); - if (_isMany) { - Object _eGet = element.eGet(r); - return Iterables.filter(((List) _eGet), ENamedElement.class); - } else { - final Object value = element.eGet(r); - if ((value instanceof ENamedElement)) { - return Collections.unmodifiableList(CollectionLiterals.newArrayList(((ENamedElement)value))); - } else { - return Collections.unmodifiableList(CollectionLiterals.newArrayList()); - } - } - }; - return Iterables.filter((Iterables.concat(ListExtensions.>map(references, _function_1))), ENamedElement.class); - }; - return Iterables.concat(ListExtensions.>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 validateQueryAndMetamodel(final EcoreMetamodelDescriptor metamodel, final Pair> viatra) { + final Set patterns = viatra.getValue(); + List _classes = metamodel.getClasses(); + List _enums = metamodel.getEnums(); + Iterable _plus = Iterables.concat(_classes, _enums); + List _literals = metamodel.getLiterals(); + Iterable _plus_1 = Iterables.concat(_plus, _literals); + List _attributes = metamodel.getAttributes(); + Iterable _plus_2 = Iterables.concat(_plus_1, _attributes); + List _references = metamodel.getReferences(); + final Set elementsInMetamodel = IterableExtensions.toSet(Iterables.concat(_plus_2, _references)); + final LinkedList errors = new LinkedList(); + for (final Pattern pattern : patterns) { + { + final Iterable 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 getReferredNamedElements(final Pattern pattern) { + final List elements = IteratorExtensions.toList(pattern.eAllContents()); + final Function1> _function = (EObject element) -> { + final EList references = element.eClass().getEAllReferences(); + final Function1> _function_1 = (EReference r) -> { + boolean _isMany = r.isMany(); + if (_isMany) { + Object _eGet = element.eGet(r); + return Iterables.filter(((List) _eGet), ENamedElement.class); + } else { + final Object value = element.eGet(r); + if ((value instanceof ENamedElement)) { + return Collections.unmodifiableList(CollectionLiterals.newArrayList(((ENamedElement)value))); + } else { + return Collections.unmodifiableList(CollectionLiterals.newArrayList()); + } + } + }; + return Iterables.filter((Iterables.concat(ListExtensions.>map(references, _function_1))), ENamedElement.class); + }; + return Iterables.concat(ListExtensions.>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 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 QualifiedName() { + return this.converter2; + } +} -- cgit v1.2.3-70-g09d2