From 4236f6735c91e8db3e4eb5641f5625f83024f434 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 24 Mar 2018 22:16:37 -0400 Subject: Removed unused projects --- .../application/execution/Context.xtend | 14 ---- .../application/execution/ExecuteScript.xtend | 25 ------ .../application/execution/Executor.xtend | 95 ---------------------- .../execution/validation/MetamodelValidator.xtend | 76 ----------------- .../validation/QueryAndMetamodelValidator.xtend | 53 ------------ 5 files changed, 263 deletions(-) delete mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/Context.xtend delete mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ExecuteScript.xtend delete mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/Executor.xtend delete mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/validation/MetamodelValidator.xtend delete mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/validation/QueryAndMetamodelValidator.xtend (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src') diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/Context.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/Context.xtend deleted file mode 100644 index c00c0d31..00000000 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/Context.xtend +++ /dev/null @@ -1,14 +0,0 @@ -package hu.bme.mit.inf.dslreasoner.application.execution - -import org.eclipse.xtend.lib.annotations.Accessors - -class Context { - @Accessors(PUBLIC_GETTER,PUBLIC_SETTER) - var boolean printToConsole = true - - def writeError(Object object) { - if(printToConsole) { - println(object) - } - } -} \ No newline at end of file diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ExecuteScript.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ExecuteScript.xtend deleted file mode 100644 index 403d00d8..00000000 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ExecuteScript.xtend +++ /dev/null @@ -1,25 +0,0 @@ -package hu.bme.mit.inf.dslreasoner.application.execution - -import org.apache.log4j.Logger -import org.apache.log4j.LogManager -import org.apache.log4j.Level -import java.io.PrintStream -import java.io.OutputStream -import java.io.BufferedWriter -import java.io.Writer - -class ExecuteScript { - def static void main(String[] args) { - val Logger logger = LogManager.getLogger(ExecuteScript); - logger.level = Level::DEBUG - - println() - System.out.println("asd") - - logger.debug("debug") - logger.info("info") - logger.warn("warning") - logger.error("error") - logger.fatal("fatal") - } -} \ No newline at end of file diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/Executor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/Executor.xtend deleted file mode 100644 index 4d887423..00000000 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/Executor.xtend +++ /dev/null @@ -1,95 +0,0 @@ -package hu.bme.mit.inf.dslreasoner.application.execution - -import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript -import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Task -import java.util.HashMap -import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask -import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel -import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace -import java.util.List -import org.eclipse.emf.ecore.EClass -import org.eclipse.emf.ecore.EEnumLiteral -import org.eclipse.emf.ecore.EReference -import org.eclipse.emf.ecore.EEnum -import org.eclipse.emf.ecore.EAttribute -import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor -import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace -import org.eclipse.emf.ecore.EObject -import java.util.LinkedHashMap -import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor -import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic -import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic -import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic -import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration -import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2LogicConfiguration -import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasonerConfiguration -import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.TypeInferenceMethod -import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.StateCoderStrategy -import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner -import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult -import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation -import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult -import org.eclipse.emf.ecore.resource.Resource -import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl -import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretation2Gml -import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolverConfiguration -import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolver -import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore -import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner -import java.util.LinkedList -import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvizVisualisation -import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicStructureBuilder -import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder -import org.eclipse.emf.ecore.util.EcoreUtil -import org.eclipse.xtext.EcoreUtil2 -import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl -import org.eclipse.emf.ecore.resource.ResourceSet -import org.eclipse.emf.common.util.URI -import org.eclipse.emf.ecore.EPackage - -class Executor { - public def void execute(ConfigurationScript configurationScript) { - val tasks = configurationScript.commands.filter(Task) - val numberOfModels = tasks.map[it.calculateTaskSteps].reduce[p1, p2|p1+p2] - } - - def private dispatch calculateTaskSteps(Task task) { - throw new UnsupportedOperationException() - } - def private dispatch calculateTaskSteps(GenerationTask task) { - return task.number * task.runs - } - - def private dispatch executeTask(Task task) { - throw new UnsupportedOperationException() - } - def private dispatch executeTask(GenerationTask generationTask) { - val metamodel = generationTask.metamodel - if(metamodel != null) { - - } - } - - def protected loadPackage(ResourceSet rs, String path) { - var EObject content = null - - try { - val resource = rs.getResource(URI.createURI(path),true) - content = resource.contents.get(0) - } catch(IllegalArgumentException e) { - return null - } catch(RuntimeException e) { - return null - } - - if(content instanceof EPackage) { - - } else return null - } - - def loadPatternModel(ResourceSet rs, String path) { - var model = null - - - } -} diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/validation/MetamodelValidator.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/validation/MetamodelValidator.xtend deleted file mode 100644 index aae47c83..00000000 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/validation/MetamodelValidator.xtend +++ /dev/null @@ -1,76 +0,0 @@ -package hu.bme.mit.inf.dslreasoner.application.execution.validation - -import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor -import java.util.LinkedList -import java.util.List -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 - -class MetamodelValidator { - def validateMetamodel(EcoreMetamodelDescriptor descriptor) { - val errors = new LinkedList - this.allSupertypesAreIncluded(descriptor.classes,errors) - this.allEnumTypesareIncluded(descriptor.enums,descriptor.literals,errors) - this.referenceEndpointsAreIncluded(descriptor.classes,descriptor.references,errors) - this.attributeSourcePontIsIncluded(descriptor.classes,descriptor.attributes,errors) - this.attributeTargetIsSupported(descriptor.attributes,errors) - return errors - } - - - private def supportedEDataType(EDataType dataType) { - val extension l = EcorePackage.eINSTANCE - return #[EInt, EBoolean, EString, EDouble, EFloat].contains(dataType) - } - - def allSupertypesAreIncluded(List classes, List errors) { - for(c : classes) { - for(s : c.ESuperTypes) { - if(!classes.contains(s)) { - errors.add('''Metamodel contains "«c.name»" but not contains its supertype "«s.name»"!''') - } - } - } - } - def allEnumTypesareIncluded(List enums, List literals, List errors) { - for(l: literals) { - if(!enums.contains(l.EEnum)) { - errors.add('''Metamodel contains literal "«l.name»" but does not contains enum "«l.EEnum.name»"!''') - } - } - } - def referenceEndpointsAreIncluded(List classes, List references, List errors) { - for(reference : references) { - val src = reference.EContainingClass - if(!classes.contains(src)) { - errors.add('''Metamodel contains reference "«reference.name»" but does not contains its source type "«src.name»"!''') - } - - val trg = reference.EReferenceType - if(!classes.contains(trg)) { - errors.add('''Metamodel contains reference "«reference.name»" but does not contains its target type "«trg.name»"!''') - } - } - } - def attributeSourcePontIsIncluded(List classes, List attributes, List errors) { - for(attribute : attributes) { - val src = attribute.containerClass - if(!classes.contains(src)) { - errors.add('''Metamodel contains attribute "«attribute.name»" but does not contains its source type "«src.name»"!''') - } - } - } - def attributeTargetIsSupported(List attributes, List errors) { - for(attribute: attributes) { - val trg = attribute.EAttributeType - if(!supportedEDataType(trg)) { - errors.add('''Metamodels contains attribute "«attribute.name»" with unsupported type "«trg.name»"!''') - } - } - } -} \ No newline at end of file diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/validation/QueryAndMetamodelValidator.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/validation/QueryAndMetamodelValidator.xtend deleted file mode 100644 index e1a20ffd..00000000 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/validation/QueryAndMetamodelValidator.xtend +++ /dev/null @@ -1,53 +0,0 @@ -package hu.bme.mit.inf.dslreasoner.application.execution.validation - -import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor -import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor -import java.util.List -import java.util.Set -import org.eclipse.emf.ecore.ENamedElement -import org.eclipse.viatra.query.patternlanguage.patternLanguage.Pattern -import org.eclipse.viatra.query.runtime.api.IQuerySpecification -import java.util.LinkedList - -class QueryAndMetamodelValidator { - - def public validateQueryAndMetamodel( - EcoreMetamodelDescriptor metamodel, - Pair> viatra) - { - val patterns = viatra.value - val elementsInMetamodel = - (metamodel.classes + - metamodel.enums + - metamodel.literals+ - metamodel.attributes + - metamodel.references) - .toSet - val errors = new LinkedList - for(pattern : patterns) { - val elements = getReferredNamedElements(pattern) - for(element : elements) { - if(!elementsInMetamodel.contains(element)) { - errors+='''Pattern "«pattern.name»" refers to an element "«element»" that is not included to the selected metamodel!''' - } - } - } - return errors - } - - def getReferredNamedElements(Pattern pattern) { - val elements = pattern.eAllContents.toList - return elements.map[element| - val references = element.eClass.EAllReferences - return references.map[r | - if(r.isMany) { - return (element.eGet(r) as List).filter(ENamedElement) - } else { - val value = element.eGet(r) - if(value instanceof ENamedElement) return #[value] - else return #[] - } - ].flatten.filter(ENamedElement) - ].flatten - } -} \ No newline at end of file -- cgit v1.2.3-54-g00ecf