diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-25 19:55:10 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-25 19:55:10 +0200 |
| commit | c3a6d4b9cf3657070d180aa65ddbf0459e880329 (patch) | |
| tree | 780c4fc61578dcb309af53fb0c164c7627e51676 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation | |
| parent | New configuration language parser WIP (diff) | |
| parent | Scope unsat benchmarks (diff) | |
| download | VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.gz VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.zst VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.zip | |
Merge branch 'kris'
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation')
2 files changed, 3 insertions, 3 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.xtend index fccc433a..f736f6ba 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.xtend | |||
| @@ -73,4 +73,4 @@ class MetamodelValidator { | |||
| 73 | } | 73 | } |
| 74 | } | 74 | } |
| 75 | } | 75 | } |
| 76 | } \ No newline at end of file | 76 | } |
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.xtend index e5488e50..b378ec0c 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.xtend | |||
| @@ -10,7 +10,7 @@ import org.eclipse.viatra.query.patternlanguage.emf.vql.Pattern | |||
| 10 | 10 | ||
| 11 | class QueryAndMetamodelValidator { | 11 | class QueryAndMetamodelValidator { |
| 12 | 12 | ||
| 13 | def public validateQueryAndMetamodel( | 13 | def validateQueryAndMetamodel( |
| 14 | EcoreMetamodelDescriptor metamodel, | 14 | EcoreMetamodelDescriptor metamodel, |
| 15 | Pair<ViatraQuerySetDescriptor, Set<Pattern>> viatra) | 15 | Pair<ViatraQuerySetDescriptor, Set<Pattern>> viatra) |
| 16 | { | 16 | { |
| @@ -49,4 +49,4 @@ class QueryAndMetamodelValidator { | |||
| 49 | ].flatten.filter(ENamedElement) | 49 | ].flatten.filter(ENamedElement) |
| 50 | ].flatten | 50 | ].flatten |
| 51 | } | 51 | } |
| 52 | } \ No newline at end of file | 52 | } |