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 /Solvers | |
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
Diffstat (limited to 'Solvers')
-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 | } |