aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-03-24 22:16:37 -0400
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-03-24 22:16:37 -0400
commit4236f6735c91e8db3e4eb5641f5625f83024f434 (patch)
tree4daa916edd6d7f2e6d8908fe6582d166770193de /Application/hu.bme.mit.inf.dslreasoner.application/src/hu
parentexample projects added (diff)
downloadVIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.tar.gz
VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.tar.zst
VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.zip
Removed unused projects
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/Context.xtend14
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ExecuteScript.xtend25
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/Executor.xtend95
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/validation/MetamodelValidator.xtend76
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/validation/QueryAndMetamodelValidator.xtend53
5 files changed, 0 insertions, 263 deletions
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 @@
1package hu.bme.mit.inf.dslreasoner.application.execution
2
3import org.eclipse.xtend.lib.annotations.Accessors
4
5class Context {
6 @Accessors(PUBLIC_GETTER,PUBLIC_SETTER)
7 var boolean printToConsole = true
8
9 def writeError(Object object) {
10 if(printToConsole) {
11 println(object)
12 }
13 }
14} \ 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 @@
1package hu.bme.mit.inf.dslreasoner.application.execution
2
3import org.apache.log4j.Logger
4import org.apache.log4j.LogManager
5import org.apache.log4j.Level
6import java.io.PrintStream
7import java.io.OutputStream
8import java.io.BufferedWriter
9import java.io.Writer
10
11class ExecuteScript {
12 def static void main(String[] args) {
13 val Logger logger = LogManager.getLogger(ExecuteScript);
14 logger.level = Level::DEBUG
15
16 println()
17 System.out.println("asd")
18
19 logger.debug("debug")
20 logger.info("info")
21 logger.warn("warning")
22 logger.error("error")
23 logger.fatal("fatal")
24 }
25} \ 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 @@
1package hu.bme.mit.inf.dslreasoner.application.execution
2
3import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript
4import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Task
5import java.util.HashMap
6import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask
7import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel
8import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace
9import java.util.List
10import org.eclipse.emf.ecore.EClass
11import org.eclipse.emf.ecore.EEnumLiteral
12import org.eclipse.emf.ecore.EReference
13import org.eclipse.emf.ecore.EEnum
14import org.eclipse.emf.ecore.EAttribute
15import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor
16import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace
17import org.eclipse.emf.ecore.EObject
18import java.util.LinkedHashMap
19import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor
20import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic
21import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic
22import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic
23import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration
24import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2LogicConfiguration
25import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasonerConfiguration
26import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.TypeInferenceMethod
27import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.StateCoderStrategy
28import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner
29import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult
30import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
31import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult
32import org.eclipse.emf.ecore.resource.Resource
33import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl
34import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretation2Gml
35import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolverConfiguration
36import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolver
37import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore
38import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner
39import java.util.LinkedList
40import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvizVisualisation
41import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicStructureBuilder
42import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder
43import org.eclipse.emf.ecore.util.EcoreUtil
44import org.eclipse.xtext.EcoreUtil2
45import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl
46import org.eclipse.emf.ecore.resource.ResourceSet
47import org.eclipse.emf.common.util.URI
48import org.eclipse.emf.ecore.EPackage
49
50class Executor {
51 public def void execute(ConfigurationScript configurationScript) {
52 val tasks = configurationScript.commands.filter(Task)
53 val numberOfModels = tasks.map[it.calculateTaskSteps].reduce[p1, p2|p1+p2]
54 }
55
56 def private dispatch calculateTaskSteps(Task task) {
57 throw new UnsupportedOperationException()
58 }
59 def private dispatch calculateTaskSteps(GenerationTask task) {
60 return task.number * task.runs
61 }
62
63 def private dispatch executeTask(Task task) {
64 throw new UnsupportedOperationException()
65 }
66 def private dispatch executeTask(GenerationTask generationTask) {
67 val metamodel = generationTask.metamodel
68 if(metamodel != null) {
69
70 }
71 }
72
73 def protected loadPackage(ResourceSet rs, String path) {
74 var EObject content = null
75
76 try {
77 val resource = rs.getResource(URI.createURI(path),true)
78 content = resource.contents.get(0)
79 } catch(IllegalArgumentException e) {
80 return null
81 } catch(RuntimeException e) {
82 return null
83 }
84
85 if(content instanceof EPackage) {
86
87 } else return null
88 }
89
90 def loadPatternModel(ResourceSet rs, String path) {
91 var model = null
92
93
94 }
95}
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 @@
1package hu.bme.mit.inf.dslreasoner.application.execution.validation
2
3import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor
4import java.util.LinkedList
5import java.util.List
6import org.eclipse.emf.ecore.EAttribute
7import org.eclipse.emf.ecore.EClass
8import org.eclipse.emf.ecore.EDataType
9import org.eclipse.emf.ecore.EEnum
10import org.eclipse.emf.ecore.EEnumLiteral
11import org.eclipse.emf.ecore.EReference
12import org.eclipse.emf.ecore.EcorePackage
13
14class MetamodelValidator {
15 def validateMetamodel(EcoreMetamodelDescriptor descriptor) {
16 val errors = new LinkedList
17 this.allSupertypesAreIncluded(descriptor.classes,errors)
18 this.allEnumTypesareIncluded(descriptor.enums,descriptor.literals,errors)
19 this.referenceEndpointsAreIncluded(descriptor.classes,descriptor.references,errors)
20 this.attributeSourcePontIsIncluded(descriptor.classes,descriptor.attributes,errors)
21 this.attributeTargetIsSupported(descriptor.attributes,errors)
22 return errors
23 }
24
25
26 private def supportedEDataType(EDataType dataType) {
27 val extension l = EcorePackage.eINSTANCE
28 return #[EInt, EBoolean, EString, EDouble, EFloat].contains(dataType)
29 }
30
31 def allSupertypesAreIncluded(List<EClass> classes, List<String> errors) {
32 for(c : classes) {
33 for(s : c.ESuperTypes) {
34 if(!classes.contains(s)) {
35 errors.add('''Metamodel contains "«c.name»" but not contains its supertype "«s.name»"!''')
36 }
37 }
38 }
39 }
40 def allEnumTypesareIncluded(List<EEnum> enums, List<EEnumLiteral> literals, List<String> errors) {
41 for(l: literals) {
42 if(!enums.contains(l.EEnum)) {
43 errors.add('''Metamodel contains literal "«l.name»" but does not contains enum "«l.EEnum.name»"!''')
44 }
45 }
46 }
47 def referenceEndpointsAreIncluded(List<EClass> classes, List<EReference> references, List<String> errors) {
48 for(reference : references) {
49 val src = reference.EContainingClass
50 if(!classes.contains(src)) {
51 errors.add('''Metamodel contains reference "«reference.name»" but does not contains its source type "«src.name»"!''')
52 }
53
54 val trg = reference.EReferenceType
55 if(!classes.contains(trg)) {
56 errors.add('''Metamodel contains reference "«reference.name»" but does not contains its target type "«trg.name»"!''')
57 }
58 }
59 }
60 def attributeSourcePontIsIncluded(List<EClass> classes, List<EAttribute> attributes, List<String> errors) {
61 for(attribute : attributes) {
62 val src = attribute.containerClass
63 if(!classes.contains(src)) {
64 errors.add('''Metamodel contains attribute "«attribute.name»" but does not contains its source type "«src.name»"!''')
65 }
66 }
67 }
68 def attributeTargetIsSupported(List<EAttribute> attributes, List<String> errors) {
69 for(attribute: attributes) {
70 val trg = attribute.EAttributeType
71 if(!supportedEDataType(trg)) {
72 errors.add('''Metamodels contains attribute "«attribute.name»" with unsupported type "«trg.name»"!''')
73 }
74 }
75 }
76} \ 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 @@
1package hu.bme.mit.inf.dslreasoner.application.execution.validation
2
3import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor
4import hu.bme.mit.inf.dslreasoner.viatra2logic.ViatraQuerySetDescriptor
5import java.util.List
6import java.util.Set
7import org.eclipse.emf.ecore.ENamedElement
8import org.eclipse.viatra.query.patternlanguage.patternLanguage.Pattern
9import org.eclipse.viatra.query.runtime.api.IQuerySpecification
10import java.util.LinkedList
11
12class QueryAndMetamodelValidator {
13
14 def public validateQueryAndMetamodel(
15 EcoreMetamodelDescriptor metamodel,
16 Pair<ViatraQuerySetDescriptor, Set<Pattern>> viatra)
17 {
18 val patterns = viatra.value
19 val elementsInMetamodel =
20 (metamodel.classes +
21 metamodel.enums +
22 metamodel.literals+
23 metamodel.attributes +
24 metamodel.references)
25 .toSet
26 val errors = new LinkedList
27 for(pattern : patterns) {
28 val elements = getReferredNamedElements(pattern)
29 for(element : elements) {
30 if(!elementsInMetamodel.contains(element)) {
31 errors+='''Pattern "«pattern.name»" refers to an element "«element»" that is not included to the selected metamodel!'''
32 }
33 }
34 }
35 return errors
36 }
37
38 def getReferredNamedElements(Pattern pattern) {
39 val elements = pattern.eAllContents.toList
40 return elements.map[element|
41 val references = element.eClass.EAllReferences
42 return references.map[r |
43 if(r.isMany) {
44 return (element.eGet(r) as List<?>).filter(ENamedElement)
45 } else {
46 val value = element.eGet(r)
47 if(value instanceof ENamedElement) return #[value]
48 else return #[]
49 }
50 ].flatten.filter(ENamedElement)
51 ].flatten
52 }
53} \ No newline at end of file
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 22:51:26 +0000