X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fcontexts%2FTranslationContext.java;h=757aca8b5e272880e7c6526048f1b20837709f82;hp=203bd81d2d2bd925b9fd9ee969aa475db7b31331;hb=e12e3ad357853a07b24923b341c4732962a94623;hpb=f5b8a3d0b68ab33a78235c5dfa84fc1d45f6271e diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/contexts/TranslationContext.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/contexts/TranslationContext.java index 203bd81d2..757aca8b5 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/contexts/TranslationContext.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/contexts/TranslationContext.java @@ -4,10 +4,10 @@ import java.util.ArrayList; import java.util.Arrays; import org.simantics.scl.compiler.common.names.Name; -import org.simantics.scl.compiler.common.names.Names; import org.simantics.scl.compiler.common.precedence.Associativity; import org.simantics.scl.compiler.common.precedence.Precedence; import org.simantics.scl.compiler.compilation.CompilationContext; +import org.simantics.scl.compiler.elaboration.chr.CHRRuleset; import org.simantics.scl.compiler.elaboration.chr.relations.CHRConstraint; import org.simantics.scl.compiler.elaboration.expressions.Case; import org.simantics.scl.compiler.elaboration.expressions.EAmbiguous; @@ -32,6 +32,8 @@ import org.simantics.scl.compiler.environment.Namespace; import org.simantics.scl.compiler.environment.filter.AcceptAllNamespaceFilter; import org.simantics.scl.compiler.errors.Locations; import org.simantics.scl.compiler.internal.parsing.declarations.DValueAst; +import org.simantics.scl.compiler.module.debug.ModuleDebugInfo; +import org.simantics.scl.compiler.module.debug.SymbolReference; import org.simantics.scl.compiler.top.SCLCompilerConfiguration; import org.simantics.scl.compiler.types.Type; @@ -42,13 +44,26 @@ import gnu.trove.set.hash.THashSet; public class TranslationContext extends TypeTranslationContext implements EnvironmentalContext { + public static class ExistentialFrame { + THashSet variables = new THashSet(4); + ArrayList blanks = new ArrayList(2); + public boolean disallowNewExistentials; + + public EVariable createBlank(long location) { + Variable variable = new Variable("_"); + blanks.add(variable); + EVariable result = new EVariable(variable); + result.location = location; + return result; + } + } + THashMap variables = new THashMap(); ArrayList variableEntries = new ArrayList(); LocalEnvironment localEnvironment; TIntArrayList frames = new TIntArrayList(); ArrayList> frameNameSets = new ArrayList>(); - ArrayList> existentialFrames = new ArrayList>(); - ArrayList> blanksInExistentialFrame = new ArrayList>(); + ArrayList existentialFrames = new ArrayList(2); SCLValue bindFunction; public PreQuery currentPreQuery; @@ -61,6 +76,12 @@ public class TranslationContext extends TypeTranslationContext implements Enviro TIntArrayList chrConstraintFrames = new TIntArrayList(); ArrayList chrConstraintEntries = new ArrayList(); + public CHRRuleset currentRuleset; + + public ModuleDebugInfo moduleDebugInfo; + + private String definitionName; + static class Entry { String name; Variable variable; @@ -88,15 +109,17 @@ public class TranslationContext extends TypeTranslationContext implements Enviro } } - public TranslationContext(CompilationContext compilationContext, LocalEnvironment localEnvironment) { + public TranslationContext(CompilationContext compilationContext, LocalEnvironment localEnvironment, String definitionName) { super(compilationContext); this.localEnvironment = localEnvironment; + this.moduleDebugInfo = compilationContext.moduleDebugInfo; + this.definitionName = definitionName; } public static boolean isConstructorName(String name) { int p = name.lastIndexOf('.'); char firstChar = name.charAt(p<0 ? 0 : p+1); - return Character.isUpperCase(firstChar); + return Character.isUpperCase(firstChar) || firstChar == '('; } /* Tries to resolve name as a local variable. It is assumed @@ -109,37 +132,50 @@ public class TranslationContext extends TypeTranslationContext implements Enviro char c = name.charAt(0); switch(c) { - case '?': - if(existentialFrames.isEmpty()) { - errorLog.log(location, "Existential variables can be used only in queries."); + case '?': { + ExistentialFrame existentialFrame = getCurrentExistentialFrame(); + if(existentialFrame == null || existentialFrame.disallowNewExistentials) { + errorLog.log(location, "New existential variables can be defined only in queries."); return new EError(location); } variable = new Variable(name); variables.put(name, variable); - existentialFrames.get(existentialFrames.size()-1).add(name); + existentialFrame.variables.add(name); return new EVariable(variable); - case '_': + } + case '_': { if(name.length()==1) { - variable = new Variable("_"); - if(blanksInExistentialFrame.isEmpty()) { - errorLog.log(location, "Cannot use blank variables in this context."); + ExistentialFrame existentialFrame = getCurrentExistentialFrame(); + if(existentialFrame == null || existentialFrame.disallowNewExistentials) { + errorLog.log(location, "Blank variables can be used only in queries."); return new EError(location); } - blanksInExistentialFrame.get(blanksInExistentialFrame.size()-1).add(variable); - return new EVariable(variable); + return existentialFrame.createBlank(location); } break; } + } return null; } - private Expression resolveFieldAccess(Expression base, int pos, String name) { + public ExistentialFrame getCurrentExistentialFrame() { + int size = existentialFrames.size(); + if(size == 0) + return null; + else + return existentialFrames.get(size-1); + } + + private Expression resolveFieldAccess(long location, Expression base, int pos, String name) { while(pos != -1) { int p = findSeparator(name, pos+1); + int endPos = p==-1 ? name.length() : p; FieldAccessor accessor = new IdAccessor( name.charAt(pos), - name.substring(pos+1, p==-1 ? name.length() : p-1)); + name.substring(pos+1, endPos)); + accessor.location = Locations.sublocation(location, pos+1, endPos); base = new EFieldAccess(base, accessor); + base.location = Locations.sublocation(location, 0, endPos); pos = p; } return base; @@ -164,6 +200,8 @@ public class TranslationContext extends TypeTranslationContext implements Enviro String deprecatedDescription = value.isDeprecated(); if(deprecatedDescription != null) errorLog.logWarning(location, "Deprecated value " + value.getName().name + "." + (deprecatedDescription.isEmpty() ? "" : " " + deprecatedDescription)); + if(moduleDebugInfo != null) + moduleDebugInfo.symbolReferences.add(new SymbolReference(value.getName(), Name.create(compilationContext.module.getName(), definitionName), location)); return new EConstant(location, value); } catch (AmbiguousNameException e) { if(SCLCompilerConfiguration.ALLOW_OVERLOADING) @@ -190,6 +228,8 @@ public class TranslationContext extends TypeTranslationContext implements Enviro public Expression realize() { EConstant expression = new EConstant(altValue); expression.location = location; + if(moduleDebugInfo != null) + moduleDebugInfo.symbolReferences.add(new SymbolReference(altValue.getName(), Name.create(compilationContext.module.getName(), definitionName), location)); return expression; } @@ -211,7 +251,7 @@ public class TranslationContext extends TypeTranslationContext implements Enviro if(begin == 0) { Expression result = resolveLocalVariable(location, part); if(result != null) - return end == -1 ? result : resolveFieldAccess(result, end, name); + return end == -1 ? result : resolveFieldAccess(location, result, end, name); // FIXME.. support for records if(localEnvironment != null) { @@ -242,7 +282,7 @@ public class TranslationContext extends TypeTranslationContext implements Enviro if(result == null) result = resolveValue(location, namespace, part); if(result != null) - return end == -1 ? result : resolveFieldAccess(result, end, name); + return end == -1 ? result : resolveFieldAccess(location, result, end, name); } reportResolveFailure(location, namespace, part); return new EError(location); @@ -361,7 +401,7 @@ public class TranslationContext extends TypeTranslationContext implements Enviro chrConstraintFrames.add(chrConstraintEntries.size()); } - public void popCHRConstraintFrame(ArrayList constraints) { + public void popCHRConstraintFrame(CHRRuleset ruleset) { int frame = chrConstraintFrames.removeAt(chrConstraintFrames.size()-1); int i = chrConstraintEntries.size(); while(i > frame) { @@ -373,25 +413,23 @@ public class TranslationContext extends TypeTranslationContext implements Enviro else newConstraint = chrConstraints.put(entry.name, entry.constraint); if(newConstraint.implicitlyDeclared) - constraints.add(newConstraint); + ruleset.addConstraint(newConstraint); } } public void pushExistentialFrame() { pushFrame(); - existentialFrames.add(new THashSet()); - blanksInExistentialFrame.add(new ArrayList(2)); + existentialFrames.add(new ExistentialFrame()); } public Variable[] popExistentialFrame() { popFrame(); - THashSet set = existentialFrames.remove(existentialFrames.size()-1); - ArrayList blanks = blanksInExistentialFrame.remove(blanksInExistentialFrame.size()-1); - Variable[] result = new Variable[set.size() + blanks.size()]; + ExistentialFrame frame = existentialFrames.remove(existentialFrames.size()-1); + Variable[] result = new Variable[frame.variables.size() + frame.blanks.size()]; int i=0; - for(String name : set) + for(String name : frame.variables) result[i++] = variables.remove(name); - for(Variable blank : blanks) + for(Variable blank : frame.blanks) result[i++] = blank; return result; } @@ -487,13 +525,6 @@ public class TranslationContext extends TypeTranslationContext implements Enviro Locations.combine(definitions.get(0).location, definitions.get(definitions.size()-1).location), cases); } - - public SCLValue getBindFunction() { - if(bindFunction == null) { - bindFunction = getEnvironment().getValue(Names.Prelude_bind); - } - return bindFunction; - } public SCLRelation resolveRelation(long location, String name) { SCLRelation relation = relations.get(name); @@ -521,4 +552,12 @@ public class TranslationContext extends TypeTranslationContext implements Enviro public SCLValue getValue(Name name) { return environment.getValue(name); } + + public CHRRuleset resolveRuleset(String name) throws AmbiguousNameException { + return Environments.getRuleset(environment, name); + } + + public void disallowNewExistentials() { + getCurrentExistentialFrame().disallowNewExistentials = true; + } }