From 75e50fc8c185fc6178df72bdb6ad27d6b750b03b Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 5 May 2018 18:21:57 +0200 Subject: Debug for SMT scopes --- .../hu/bme/mit/inf/dslreasoner/scoping/SmtLanguageScopeProvider.xtend | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Solvers') 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 // Any type defined in the input section can be referred. def public IScope scope_SMTComplexTypeReference_referred(SMTComplexTypeReference reference, EReference ref){ - return Scopes.scopeFor(getTop(typeof(SMTDocument),reference).input.typeDeclarations) + val types = getTop(typeof(SMTDocument),reference).input.typeDeclarations + return Scopes.scopeFor(types) } } -- cgit v1.2.3-54-g00ecf