diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-05-05 18:21:57 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-05-05 18:21:57 +0200 |
| commit | 75e50fc8c185fc6178df72bdb6ad27d6b750b03b (patch) | |
| tree | b5b2a703a036dfea3f70af4994ab7a01c3d39425 | |
| parent | Alloy file writer configuration (diff) | |
| download | VIATRA-Generator-75e50fc8c185fc6178df72bdb6ad27d6b750b03b.tar.gz VIATRA-Generator-75e50fc8c185fc6178df72bdb6ad27d6b750b03b.tar.zst VIATRA-Generator-75e50fc8c185fc6178df72bdb6ad27d6b750b03b.zip | |
Debug for SMT scopes
| -rw-r--r-- | Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/scoping/SmtLanguageScopeProvider.xtend | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/scoping/SmtLanguageScopeProvider.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/scoping/SmtLanguageScopeProvider.xtend index e93e0543..0e4e4bf8 100644 --- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/scoping/SmtLanguageScopeProvider.xtend +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/scoping/SmtLanguageScopeProvider.xtend | |||
| @@ -133,6 +133,7 @@ class SmtLanguageScopeProvider extends org.eclipse.xtext.scoping.impl.AbstractDe | |||
| 133 | 133 | ||
| 134 | // Any type defined in the input section can be referred. | 134 | // Any type defined in the input section can be referred. |
| 135 | def public IScope scope_SMTComplexTypeReference_referred(SMTComplexTypeReference reference, EReference ref){ | 135 | def public IScope scope_SMTComplexTypeReference_referred(SMTComplexTypeReference reference, EReference ref){ |
| 136 | return Scopes.scopeFor(getTop(typeof(SMTDocument),reference).input.typeDeclarations) | 136 | val types = getTop(typeof(SMTDocument),reference).input.typeDeclarations |
| 137 | return Scopes.scopeFor(types) | ||
| 137 | } | 138 | } |
| 138 | } | 139 | } |