From 292e64ba21f8044df19884dc3e61fe5e292a82df Mon Sep 17 00:00:00 2001 From: =?utf8?q?Hannu=20Niemist=C3=B6?= Date: Wed, 19 Jul 2017 13:42:20 +0300 Subject: [PATCH] (refs #7371) Support for select keyword for CHR constraints Change-Id: Ie23a1cd698b230f9be05ff38c937cfcbd13d658b --- .../scl/compiler/common/names/Names.java | 1 + .../compiler/elaboration/chr/CHRLiteral.java | 2 + .../compiler/elaboration/chr/CHRQuery.java | 13 +- .../compiler/elaboration/chr/plan/PlanOp.java | 2 +- .../chr/translation/CHRTranslation.java | 25 ++- .../contexts/TranslationContext.java | 2 + .../expressions/ASTExpression.java | 13 +- .../elaboration/expressions/ECHRRuleset.java | 9 + .../elaboration/expressions/ECHRSelect.java | 152 ++++++++++++++++ .../elaboration/expressions/ELet.java | 3 + .../expressions/EPreCHRSelect.java | 22 +++ .../elaboration/expressions/EPreLet.java | 3 + .../elaboration/expressions/Expression.java | 3 + .../expressions/ExpressionTransformer.java | 1 + .../expressions/ExpressionVisitor.java | 1 + .../StandardExpressionTransformer.java | 22 ++- .../StandardExpressionVisitor.java | 21 ++- .../expressions/list/ListQualifier.java | 3 + .../printing/ExpressionToStringVisitor.java | 8 +- .../internal/parsing/parser/SCL.grammar | 4 +- .../internal/parsing/parser/SCLLexer.flex | 2 +- .../internal/parsing/parser/SCLLexer.java | 2 +- .../internal/parsing/parser/SCLParser.dat | Bin 25012 -> 24560 bytes .../internal/parsing/parser/SCLParser.java | 162 +++++++++--------- .../parsing/parser/SCLParserImpl.java | 8 +- .../internal/parsing/parser/SCLTerminals.java | 41 ++--- .../parser/grammar/input/GrammarParser.java | 2 +- .../compiler/tests/ModuleRegressionTests.java | 4 + .../scl/compiler/tests/scl/CHR12.scl | 15 ++ .../scl/compiler/tests/scl/CHRSelect1.scl | 10 ++ .../scl/compiler/tests/scl/CHRSelect2.scl | 17 ++ .../scl/compiler/tests/scl/CHRSelect3.scl | 21 +++ .../scl/compiler/tests/scl/InvalidLambda.scl | 2 +- .../compiler/tests/scl/UnexpectedToken.scl | 2 +- 34 files changed, 460 insertions(+), 138 deletions(-) create mode 100644 bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRSelect.java create mode 100644 bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreCHRSelect.java create mode 100644 tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR12.scl create mode 100644 tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHRSelect1.scl create mode 100644 tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHRSelect2.scl create mode 100644 tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHRSelect3.scl diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/common/names/Names.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/common/names/Names.java index 50729430d..183d85796 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/common/names/Names.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/common/names/Names.java @@ -20,6 +20,7 @@ public class Names { public static final Name JavaBuiltin_unsafeCoerce = Name.create("JavaBuiltin", "unsafeCoerce"); public static final Name MList_add = Name.create("MList", "add"); public static final Name MList_create = Name.create("MList", "create"); + public static final Name MList_freeze = Name.create("MList", "freeze"); public static final Name MList_removeLast = Name.create("MList", "removeLast"); public static final TCon MList_T = Types.con("MList", "T"); public static final Name MSet_add = Name.create("MSet", "add"); diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRLiteral.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRLiteral.java index f44609e6c..e7b3320d7 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRLiteral.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRLiteral.java @@ -187,8 +187,10 @@ public class CHRLiteral extends Symbol { } public void collectQueryEffects(THashSet effects) { + // TODO } public void collectEnforceEffects(THashSet effects) { + // TODO } } diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRQuery.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRQuery.java index 5cb0f2aee..70559d18f 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRQuery.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRQuery.java @@ -13,6 +13,7 @@ import org.simantics.scl.compiler.elaboration.expressions.VariableProcedure; import org.simantics.scl.compiler.elaboration.expressions.printing.ExpressionToStringVisitor; import org.simantics.scl.compiler.errors.Locations; import org.simantics.scl.compiler.internal.parsing.Symbol; +import org.simantics.scl.compiler.types.Type; import gnu.trove.map.hash.TObjectIntHashMap; import gnu.trove.set.hash.THashSet; @@ -71,7 +72,7 @@ public class CHRQuery extends Symbol { else context.add(literal, i); } - if(activeLiteralId == -1) { + if(activeLiteralId == -1 && inputFact != null) { context.addInitFact(initConstraint, inputFact); } return context.createQueryPlan(); @@ -95,4 +96,14 @@ public class CHRQuery extends Symbol { visitor.visit(this); return b.toString(); } + + public void collectQueryEffects(THashSet effects) { + for(CHRLiteral literal : literals) + literal.collectQueryEffects(effects); + } + + public void collectEnforceEffects(THashSet effects) { + for(CHRLiteral literal : literals) + literal.collectEnforceEffects(effects); + } } diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PlanOp.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PlanOp.java index a79225604..aa317a2b2 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PlanOp.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PlanOp.java @@ -17,6 +17,6 @@ public abstract class PlanOp { return b.toString(); } - public abstract void toString(StringBuilder b); + public void toString(StringBuilder b) {} public abstract void generateCode(CompilationContext context, PlanContext planContext, CodeWriter w); } diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/translation/CHRTranslation.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/translation/CHRTranslation.java index 367960dfa..d4f21a726 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/translation/CHRTranslation.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/translation/CHRTranslation.java @@ -3,7 +3,6 @@ package org.simantics.scl.compiler.elaboration.chr.translation; import java.util.ArrayList; import java.util.Arrays; -import org.simantics.scl.compiler.common.exceptions.InternalCompilerError; import org.simantics.scl.compiler.elaboration.chr.CHRLiteral; import org.simantics.scl.compiler.elaboration.chr.CHRQuery; import org.simantics.scl.compiler.elaboration.chr.CHRRule; @@ -131,22 +130,20 @@ public class CHRTranslation { } } - public static CHRRule convertCHRStatement(TranslationContext context, CHRStatement statement) { - ArrayList head = new ArrayList(statement.head.length); - for(ListQualifier qualifier : statement.head) { - CHRLiteral literal = convertListQualifier(context, true, qualifier); - if(literal != null) - head.add(literal); - } - ArrayList body = new ArrayList(statement.body.length); - for(ListQualifier qualifier : statement.body) { - CHRLiteral literal = convertListQualifier(context, false, qualifier); + public static CHRQuery convertCHRQuery(TranslationContext context, boolean isHead, ListQualifier[] lqs) { + ArrayList query = new ArrayList(lqs.length); + for(ListQualifier qualifier : lqs) { + CHRLiteral literal = convertListQualifier(context, isHead, qualifier); if(literal != null) - body.add(literal); + query.add(literal); } + return new CHRQuery(query.toArray(new CHRLiteral[query.size()])); + } + + public static CHRRule convertCHRStatement(TranslationContext context, CHRStatement statement) { return new CHRRule(statement.location, - new CHRQuery(head.toArray(new CHRLiteral[head.size()])), - new CHRQuery(body.toArray(new CHRLiteral[body.size()])), + convertCHRQuery(context, true, statement.head), + convertCHRQuery(context, false, statement.body), null); } 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 ac9299d77..b533e922d 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 @@ -75,6 +75,8 @@ public class TranslationContext extends TypeTranslationContext implements Enviro TIntArrayList chrConstraintFrames = new TIntArrayList(); ArrayList chrConstraintEntries = new ArrayList(); + public CHRRuleset currentRuleset; + static class Entry { String name; Variable variable; diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ASTExpression.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ASTExpression.java index fbc0a7901..02db9bdec 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ASTExpression.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ASTExpression.java @@ -3,6 +3,7 @@ package org.simantics.scl.compiler.elaboration.expressions; import org.simantics.scl.compiler.common.exceptions.InternalCompilerError; import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext; import org.simantics.scl.compiler.elaboration.contexts.TypingContext; +import org.simantics.scl.compiler.errors.Locations; import org.simantics.scl.compiler.internal.elaboration.utils.ExpressionDecorator; import org.simantics.scl.compiler.types.Type; import org.simantics.scl.compiler.types.exceptions.MatchException; @@ -23,7 +24,6 @@ public abstract class ASTExpression extends SimplifiableExpression { @Override final public void collectFreeVariables(THashSet vars) { throw new InternalCompilerError(getClass().getSimpleName() + " does not support collectFreeVariables."); - } @Override @@ -58,6 +58,11 @@ public abstract class ASTExpression extends SimplifiableExpression { throw new InternalCompilerError(getClass().getSimpleName() + " does not support accept."); } + @Override + public Expression accept(ExpressionTransformer transformer) { + throw new InternalCompilerError(getClass().getSimpleName() + " does not support accept."); + } + @Override public Expression checkBasicType(TypingContext context, Type requiredType) { throw new InternalCompilerError("Class " + @@ -75,4 +80,10 @@ public abstract class ASTExpression extends SimplifiableExpression { throw new InternalCompilerError("Class " + getClass().getSimpleName() + " does not implement method forVariables."); } + + @Override + public void setLocationDeep(long loc) { + if(location == Locations.NO_LOCATION) + location = loc; + } } diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRRuleset.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRRuleset.java index 9a8aa78b9..65ce2e2df 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRRuleset.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRRuleset.java @@ -58,12 +58,21 @@ public class ECHRRuleset extends Expression { } @Override public Expression resolve(TranslationContext context) { + if(context.currentRuleset != null) { + context.getErrorLog().log(location, "Current version of SCL compiler does not support nested rulesets."); + return this; + } + context.currentRuleset = ruleset; + context.pushFrame(); context.pushCHRConstraintFrame(); ruleset.resolve(context); in = in.resolve(context); context.popCHRConstraintFrame(ruleset.constraints); context.popFrame(); + + context.currentRuleset = null; + return this; } @Override diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRSelect.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRSelect.java new file mode 100644 index 000000000..47c007d7f --- /dev/null +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRSelect.java @@ -0,0 +1,152 @@ +package org.simantics.scl.compiler.elaboration.expressions; + +import java.util.ArrayList; + +import org.simantics.scl.compiler.common.names.Names; +import org.simantics.scl.compiler.compilation.CompilationContext; +import org.simantics.scl.compiler.constants.NoRepConstant; +import org.simantics.scl.compiler.elaboration.chr.CHRQuery; +import org.simantics.scl.compiler.elaboration.chr.CHRRuleset; +import org.simantics.scl.compiler.elaboration.chr.plan.PlanContext; +import org.simantics.scl.compiler.elaboration.chr.plan.PlanOp; +import org.simantics.scl.compiler.elaboration.chr.plan.PlanRealizer; +import org.simantics.scl.compiler.elaboration.chr.planning.QueryPlanningContext; +import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext; +import org.simantics.scl.compiler.elaboration.contexts.TranslationContext; +import org.simantics.scl.compiler.elaboration.contexts.TypingContext; +import org.simantics.scl.compiler.errors.Locations; +import org.simantics.scl.compiler.internal.codegen.references.IVal; +import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter; +import org.simantics.scl.compiler.internal.elaboration.utils.ExpressionDecorator; +import org.simantics.scl.compiler.types.Type; +import org.simantics.scl.compiler.types.Types; +import org.simantics.scl.compiler.types.exceptions.MatchException; +import org.simantics.scl.compiler.types.kinds.Kinds; + +import gnu.trove.map.hash.TObjectIntHashMap; +import gnu.trove.set.hash.THashSet; +import gnu.trove.set.hash.TIntHashSet; + +public class ECHRSelect extends Expression { + CHRQuery query; + Variable[] existentialVariables; + Expression expression; + private ArrayList planOps; + private CHRRuleset currentRuleset; + + public ECHRSelect(Expression expression, CHRQuery query) { + this.expression = expression; + this.query = query; + } + + @Override + public void collectRefs(TObjectIntHashMap allRefs, TIntHashSet refs) { + query.collectRefs(allRefs, refs); + expression.collectRefs(allRefs, refs); + } + + @Override + public void collectVars(TObjectIntHashMap allVars, TIntHashSet vars) { + query.collectVars(allVars, vars); + expression.collectVars(allVars, vars); + } + + @Override + public void forVariables(VariableProcedure procedure) { + query.forVariables(procedure); + expression.forVariables(procedure); + } + + @Override + protected void updateType() throws MatchException { + setType(Types.list(expression.getType())); + } + + @Override + public Expression inferType(TypingContext context) { + for(Variable variable : existentialVariables) + variable.setType(Types.metaVar(Kinds.STAR)); + query.checkType(context); + expression = expression.inferType(context); + return this; + } + + @Override + public Expression simplify(SimplificationContext simplificationContext) { + this.expression = expression.simplify(simplificationContext); + query.simplify(simplificationContext); + + CompilationContext compilationContext = simplificationContext.getCompilationContext(); + QueryPlanningContext context = new QueryPlanningContext(compilationContext, existentialVariables); + if(query.createQueryPlan(context, null, -1, null)) + planOps = context.getPlanOps(); + + return this; + } + + @Override + public IVal toVal(CompilationContext context, CodeWriter w) { + IVal list = w.apply(location, context.getValue(Names.MList_create).getValue(), NoRepConstant.UNIT); + planOps.add(new PlanOp(location) { + @Override + public void generateCode(CompilationContext context, PlanContext planContext, CodeWriter w) { + w.apply(location, context.getValue(Names.MList_add).getValue(), list, expression.toVal(context, w)); + } + }); + PlanRealizer realizer = new PlanRealizer(context, currentRuleset, currentRuleset != null ? currentRuleset.runtimeRulesetVariable : null, null, planOps); + realizer.nextOp(w); + return w.apply(location, context.getValue(Names.MList_freeze).getValue(), list); + } + + @Override + public void collectFreeVariables(THashSet vars) { + query.collectFreeVariables(vars); + expression.collectFreeVariables(vars); + if(existentialVariables != null) + for(Variable variable : existentialVariables) + vars.remove(variable); + } + + @Override + public Expression resolve(TranslationContext context) { + currentRuleset = context.currentRuleset; + + context.pushExistentialFrame(); + query.resolve(context); + context.disallowNewExistentials(); + expression = expression.resolve(context); + existentialVariables = context.popExistentialFrame(); + return this; + } + + @Override + public void setLocationDeep(long loc) { + if(location == Locations.NO_LOCATION) { + query.setLocationDeep(loc); + expression.setLocationDeep(loc); + } + } + + @Override + public Expression decorate(ExpressionDecorator decorator) { + this.expression = decorator.decorate(expression); + return this; + } + + @Override + public void collectEffects(THashSet effects) { + expression.collectEffects(effects); + query.collectQueryEffects(effects); + effects.add(Types.PROC); + } + + @Override + public void accept(ExpressionVisitor visitor) { + visitor.visit(this); + } + + @Override + public Expression accept(ExpressionTransformer transformer) { + return transformer.transform(this); + } +} diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ELet.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ELet.java index 2b9e8e2c0..a90c6186d 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ELet.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ELet.java @@ -25,6 +25,9 @@ import gnu.trove.map.hash.TObjectIntHashMap; import gnu.trove.set.hash.THashSet; import gnu.trove.set.hash.TIntHashSet; +/** + * Generated maily from EPreLet + */ public class ELet extends Expression { public Assignment[] assignments; public Expression in; diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreCHRSelect.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreCHRSelect.java new file mode 100644 index 000000000..80943f7d8 --- /dev/null +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreCHRSelect.java @@ -0,0 +1,22 @@ +package org.simantics.scl.compiler.elaboration.expressions; + +import org.simantics.scl.compiler.elaboration.chr.translation.CHRTranslation; +import org.simantics.scl.compiler.elaboration.contexts.TranslationContext; +import org.simantics.scl.compiler.elaboration.expressions.list.ListQualifier; + +public class EPreCHRSelect extends ASTExpression { + ListQualifier[] query; + Expression expression; + + public EPreCHRSelect(ListQualifier[] query, Expression expression) { + this.query = query; + this.expression = expression; + } + + @Override + public Expression resolve(TranslationContext context) { + return new ECHRSelect(expression, CHRTranslation.convertCHRQuery(context, true, query)).resolve(context); + } + + +} diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreLet.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreLet.java index 035a2cadc..c7624039e 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreLet.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreLet.java @@ -13,6 +13,9 @@ import org.simantics.scl.compiler.errors.Locations; import gnu.trove.map.hash.THashMap; import gnu.trove.procedure.TObjectObjectProcedure; +/** + * Generated mainly from EBlock + */ public class EPreLet extends ASTExpression { List assignments; diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/Expression.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/Expression.java index 2b75f61cd..02590273d 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/Expression.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/Expression.java @@ -252,6 +252,9 @@ public abstract class Expression extends Symbol implements Typed { return expression; } + /** + * Used during simplification and in toIExpression + */ public THashSet getFreeVariables() { THashSet result = new THashSet(); collectFreeVariables(result); diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ExpressionTransformer.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ExpressionTransformer.java index 4cf513c54..c0c329ba3 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ExpressionTransformer.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ExpressionTransformer.java @@ -9,6 +9,7 @@ public interface ExpressionTransformer { Expression transform(EBinary expression); Expression transform(EBind expression); Expression transform(EBlock expression); + Expression transform(ECHRSelect expression); Expression transform(ECHRRuleset expression); Expression transform(ECHRRulesetConstructor expression); Expression transform(EConstant expression); diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ExpressionVisitor.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ExpressionVisitor.java index ad32098ba..861cf48a7 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ExpressionVisitor.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ExpressionVisitor.java @@ -8,6 +8,7 @@ public interface ExpressionVisitor { void visit(EBinary expression); void visit(EBind expression); void visit(EBlock expression); + void visit(ECHRSelect expression); void visit(ECHRRuleset expression); void visit(ECHRRulesetConstructor expression); void visit(EConstant expression); diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/StandardExpressionTransformer.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/StandardExpressionTransformer.java index 1bd0d22c4..97d409f15 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/StandardExpressionTransformer.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/StandardExpressionTransformer.java @@ -1,6 +1,7 @@ package org.simantics.scl.compiler.elaboration.expressions; import org.simantics.scl.compiler.elaboration.chr.CHRLiteral; +import org.simantics.scl.compiler.elaboration.chr.CHRQuery; import org.simantics.scl.compiler.elaboration.chr.CHRRule; import org.simantics.scl.compiler.elaboration.chr.CHRRuleset; import org.simantics.scl.compiler.elaboration.equation.EqBasic; @@ -125,14 +126,16 @@ EquationVisitor { statement.value = statement.value.accept(this); } + public void transform(CHRQuery query) { + for(CHRLiteral lit : query.literals) + for(int i=0;i allRefs, TIntHashSet refs); public abstract void collectVars(TObjectIntHashMap allVars, TIntHashSet vars); public abstract void collectFreeVariables(THashSet vars); + /** + * Called in simplification. + */ public abstract CompiledQualifier compile(SimplificationContext context); public abstract void resolve(TranslationContext context); public abstract void decorate(ExpressionDecorator decorator); diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/printing/ExpressionToStringVisitor.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/printing/ExpressionToStringVisitor.java index 3f6da74cb..edf951711 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/printing/ExpressionToStringVisitor.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/printing/ExpressionToStringVisitor.java @@ -16,6 +16,7 @@ import org.simantics.scl.compiler.elaboration.expressions.EBind; import org.simantics.scl.compiler.elaboration.expressions.EBlock; import org.simantics.scl.compiler.elaboration.expressions.ECHRRuleset; import org.simantics.scl.compiler.elaboration.expressions.ECHRRulesetConstructor; +import org.simantics.scl.compiler.elaboration.expressions.ECHRSelect; import org.simantics.scl.compiler.elaboration.expressions.EConstant; import org.simantics.scl.compiler.elaboration.expressions.ECoveringBranchPoint; import org.simantics.scl.compiler.elaboration.expressions.EEnforce; @@ -329,7 +330,12 @@ public class ExpressionToStringVisitor implements ExpressionVisitor, QueryVisito public void visit(ESelect expression) { b.append("ESelect"); } - + + @Override + public void visit(ECHRSelect expression) { + b.append("ECHRSelect"); + } + @Override public void visit(ESimpleLambda expression) { b.append('\\'); diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCL.grammar b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCL.grammar index f7ea1b263..ea3df9722 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCL.grammar +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCL.grammar @@ -138,7 +138,7 @@ lexp shift ESCAPED_SYMBOL, shift CHAR, shift LBRACE, shift WHEN, shift ATTACHED_HASH, shift SELECT, shift SELECT_FIRST, shift SELECT_DISTINCT, - shift TRANSFORMATION, shift EQ + shift TRANSFORMATION, shift EQ, shift CHR_SELECT ; faexp @@ -161,6 +161,8 @@ aexp | (DO | MDO) statements # Do | (SELECT | SELECT_FIRST | SELECT_DISTINCT) exp WHERE queryBlock # Select + | CHR_SELECT + exp WHERE verboseChrQuery # CHRSelect | ENFORCE queryBlock # Enforce //| WHEN queryBlock SEMICOLON exp # When | var # Var diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLLexer.flex b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLLexer.flex index 0f45c2511..1277ffe7b 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLLexer.flex +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLLexer.flex @@ -100,7 +100,7 @@ char_literal = "'" ([^'\\\ufffd] | "\\" [^\ufffd]) "'" transformation { return sym(supportCHR() ? SCLTerminals.ID : SCLTerminals.TRANSFORMATION); } select{whitespace}first { return sym(SCLTerminals.SELECT_FIRST); } select{whitespace}distinct { return sym(SCLTerminals.SELECT_DISTINCT); } - select { return sym(SCLTerminals.SELECT); } + select { return sym(supportCHR() ? SCLTerminals.CHR_SELECT : SCLTerminals.SELECT); } enforce { return sym(SCLTerminals.ENFORCE); } do { return sym(SCLTerminals.DO); } eq { return sym(options.supportEq ? SCLTerminals.EQ : SCLTerminals.ID); } diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLLexer.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLLexer.java index 5944d12e1..e3efc28dd 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLLexer.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLLexer.java @@ -1276,7 +1276,7 @@ public class SCLLexer { } case 175: break; case 81: - { return sym(SCLTerminals.SELECT); + { return sym(supportCHR() ? SCLTerminals.CHR_SELECT : SCLTerminals.SELECT); } case 176: break; case 82: diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLParser.dat b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLParser.dat index 378013be5fbabbeb1085e6d43b3854b269873bf0..e0aca1bb3fa476ebb227a69b0c51acd92110bac1 100644 GIT binary patch literal 24560 zcmcg!37lP3dH?Qgne3B&0)(6gSxG{|zSuCsz6c2r1O!b20Z|A$L1mJ>qtX>0n;|@55eoku2Y_L(mlw57}0xx-vE|GTIOkP=AHB- zk%`-&Lw`b_CXYk^foyO2xToI}X>9?X1iS@4PlIk%f7-P^iJa(r+ce<$!1niU!b`-H|%Ts8l|Y+e1`tl<^c26{t4g@lCgKZA@S+B4Ls+9fOsAE={U)cTA{k` z&7iPx6#9^(<0;t8P`gp@2mKcCcOsof0Ivdm3iz1F=nnNCy&U`<>OcA`J`M=ujsAtw zF*8M`U#>X$E{(@_uK$<|MP^>1`-J`BesTRoZqlw-M5gq^?gPM`z!z1|xfr_`h_xL1 z8Q|mU%f55n#`UNj_r|z85$6)n`;qHopuZHEHUYTNxa!&Zk_8>*{o` zho9R|u%G%47(wQIF~^igFh5uyH&)Em^hdFN$Td9&igCL01p9(($9&VUu3RHt=Ug+M zPg8em8}sp6=JiTj>WRG8r+yxNM!!P8*^jA5C+Olp=J=@R{&aoAnZomkdX9<6I5T79 zddA~+rJPq@3jw>&Mn3?&P8?v|Y~xrtX70&wUh;Yj!1xYeS4Szd09%1PAKQVvW=8?J zme{X?@ymGNB;Zsau2VS(cnEL~@Ce|d6mmZ=0UinDIuIH6DBuJj=0c7G^15Lz>?b(} z$o$MfSPJAd&b-WrHF14f2)Y0`A2<&<7l{4s@GwxUu^1rt+@V11H5m=WH7DIEoB@71 z5a+GyJL69Va$FqqL?HXhJ`u-yWGwcJ{iZGga{dBD(fGJ(4v)s=E|CA0ujbB`f0Uma zE1P9O?o9a~^!c*fN%DTVPWsIuW|o<44mOi=%ghqfZI+s4X0Ex!oNq2LE9ENlCi6aX zt$ByJCAT!U*lfzp&*jVrw$--E<+jzdMV&Gs21F;y6LD<518%1L zZ*B&4;6*98qsU21kd;RB8ssHuS>9^KP?nN;+I&-<$1L4vE;jd=FPMKYmM!Kl(TW&y zn^|b?jb_!x_Ib1|F`FC4HZwK0QLxzLV$5NU7@y_Xa#z}kc4D-`PK4%jactMy^{kb% z>*ZYFm6YUVwrL5iK_-pnB$Bo>3nLNav&z{Oc7?gfu8@PsWiOI%^ko*if;Fjf_FQ|e znPJa`23+)99=$>;8{#>;Pyq$vB82d>WfBa%{FtAqiwbgl0ysLw#g|aIke!j7RIPA8lAPaIhs1T>QA2GNr*U< zldISE!qTAypS3VXeQ{$!T&2tao8@*nYvm|qE6x5Iops0pda^y4wQ`iQm1cjJ1#y)! z18h#Sr?FO!Qnu3UuhChDETCuEvsf!fDO+jwcUcfuDKo(4T6-;Pf7qV8)Y%uSphQ+)qaNzGu@$XFdgj4@SW<>08245b9bwmMaeB`Ooy87K^OR^8fNkXM6`>Xv-$~cV9#Vq*T0Wtiy+#YAz$Y}V zQw#Odns!cmm&Is_vLLkEb%B$o$Es8&j%en(mbW$7wjF4Y=pMCifUoqm8iUY zL@C;@*5bT8A9VCc^OS;Luy=HporN~y9ola1uxpg7uk9Kw)CNAGX`Nc6y=mvPN7y4^ zNxWU#?d|rew59U$J$scF=jHjJqeq&jl#anR=eOFfMw>$mp2gU}rD^z0!C5r@rhwgE z`@O_jY|`kO6EWZH( zB>B~2c$`K``)G95Aq(g{J5RO%-$O2Y(MV~3mt~$y=CU~Xe0x4D9a`{N3uDw5jqbC# zEU-Dzp2%7`O8YMIfo7X#f0qq$l`=!NY|Xg_>a9j+9kPI4U@u^;9Hnff+23VBT&2ta zo8#^Atd*mbtu*^$s{w71k-di^cd73bx7)v!j4noce1V`xm=J8>5c=HLMZCx2ty&Lt}aEyPP*_dx`47-H5wY?U_im@@Mu&EzaKaK}U}? zuQ5VA#-;`6IrbdZ%2CQzn*BApX4EXOIoqDiS~*JDO0&PqhPX=M>ExyHK&RGdj_27_qsV6Ba9GFCPAJbNBuJ0zdAFh+f0e8yF(oSkWBLOVxM z+XR1&+ZRNK@5^GKc6+_O9+@1H&srFxzAzi(Dpk&|v@4-?NIq*}jQZlTAg)qofXyG+ zKVYpKrEI0yU!$`QSwP=l-@sZqO4&-YzsrKSN|^yRhg+;SF`5)jX6G>c=J>{!JJo z#Mn^FeFrKV<7l=JQU1nfYq2fJ^mX6^wYDjNJ8(329Anw>cDy;+;zUlZTQ6G-+Qpx9 z;HFX62_MpCq^P>+5Tysc zwoC0&WCBKKgy>=dmrz>lKiJFcWyt1HDg%$Oe?NLNqxZd!+V$rCRxq z(3*wHY3gMs*-6L-jB3vY;?L3~uHYUq9C$5zyUMOYHedp|sR=(AXO<1tTHls)*Kl-M zT*bKXgcn^H+RcXpcc7`g*y7|TCSd+9;j?h2Zl=-^>=-)+*?WJ z*-l0_U;>h`2bi;+wiDTa2}HGP0b_ITT}j*iarSchYaJrx+^HO-14-=+I|JE(2}J%{ zOf(0Ilj|8tKAnyi)r~Fkzt*NLvhsGE9fz?26Nqq@M75_S)kniTO_FHJ`Mc?8%ez_a znS^b2fK$2AJDY4L*a?UaOu*F5WTJ28hI;SDDSr~Z?G%d>jF>=lOu`>1&d=l_7I$i5 z0RIXdSCf%CmhrMo7E$(K-1kCn?Kd_vA zE8}S$B1eY>?m$yJ-A+d~U;?k-6%buw1t-@>fgcL_UdMa)VHWd790{=9wj0@iBLQ}r z#rp(tB*6CBK4b%q9LVoSCYQWqJ1{ojNPs=m9*S(hkpTH7v&gqcA{RzA%JSDp;7EXd zC$nfhSU$OFu-2ir*|*SA>!JE&x3gEeY_858WvHHZww;Z!0Y?JtJD5f5*FT@Q_W=3Z z*FTdRm9co{A&vytv34x70Y?IC&gPH}I1(^5nsP#mOx%H7c-xOl%-PQhkXNjL?2XH) zi$DS`p(v1eDeePTq)1?x5Jh7$h;n2qdDaYB@cu3&l@5xo-i>;j<52C*2M)Bv1O=~f zp`D~bigC5P4cUu(y@4auU>?Vx@BH*2WqPTl&|fO;>W#|r zSJ)cIJAtJ_VFyBTz9NWjCaTq{>nCjxvVf3%tDbmRR&L&Nwds;*{ds-evas~?b!{!u zfB%-1z0$sX;j?S)*20GEUHJcSF?t(srgvOK1OzJ;os@+e)1(%$1y?{ z5wd`gF+%P^NVL0M8?QmH5ONDbwj<RsbNm{VovJ;ovCgrVSBvLC0Hix^M$2t*i^xa z14qbB2r04KIgF15sg%pu`u)WhofxV-ncYDG&FABIVg>7m3BcBmd!tGL>Rkv~LC8}c zoQrE?YWaCA6X$emnA6|+IV~3BxV4%`QfsUI{c)G%AIsy~eJ<#Ks@>O4iX7zZi9pQl)+Sn?$d0yuEKK&Kw zG}r%o^*qIKf_>R_K%W-vs zQ*ZrUXl6*aPh)H`fiB_EPl-nck-bYWL`Ds6l#D zRSGMqtUE4J`xH%E*?u>06)sf%AMYY=D6OS6zAbM)9mygY+qj^$+)`5;j%YU;AO??t;WkI(_Z4H({TyezcQws<1mS zpjAHs*g9cO(>ntpaX+Zt_th~qLE#>S<3w;o_v47(RNb5GL!752JW3R>nReB(RtgF0 z?@_p>eFjqQ>Ql7Lw=v`(0%IS_hU|RoVa@wI3Jp%qW*PPTcw9BsgUtJyxq>eYe5Uo z({gc2Y-J)BUP|0le3IDJ+*MU9rc`-t&#Q_gJ*C(IdieFY_OkQmdqfTD`*tt&oXoQ87l){u z%87m-ypr0dxEU5;6!vM6eBDhLrx;<4t9_ME3)&RcR$F>%2ECJxc_;4sk3;d)UHP3= zJZ#U#pz^^0%Y?6=Z2EPz5Z^<*)DexWqg3v(VV}>zy zoYY|C+dJ@8D+i5zXp|e=_a(MJqZaL7t+$NuB`AlD=R|rRr1^Sxl~R36pF>Ti!7fm5 z5Pc7Qct8dAWk3jh2sEs9km-ciK;b#U>i|#Z?(0wFiCilp_2G+EV4V&9_?0Gpy=okg zUy$N?%4>fLup2lN$S*yGb1MBcD1PCJz^_3~0;c!sD9DV>FF!FZDdpFM=;GX%+^T4i z{BdqVZd!DHbad1c8Tpu59Yyj(=`tJTA$b-3Ty6T~OXd#wdwD!}dNe&ZCK@Z#qm}fM z2ho>5m8pha2StbC-!5#FSL86kuL|&*W9|TbJUU$-iB?BzqvhrWbCfwcx+Xf=^q3RP zaJ`fZ^#PX`Ai?sc~Qch@QuIyY*r)MpQ{(!U&E^$ykH%?zCW0koQYO98-iEUFfQYst~f4*bPt8U znVkyTXF{&vl0MsJ`Y~!3z<#A@hK_xXJ=<7giZWxx=UukT) zVn|+JO!p6~{FWhkrFInkWnCt(w-3ilKBYY!-fV=?$&JIw6}*ybSv7L2??debNGuah zZa)yYn)jjL6m5ovefVCr*vCHn!z?|NKg#6w!AxF%lF94tOkSVNyc%~@^D6UB zB<^=f(1-nMrp|e42KGvy^R$wkS$ZhDGI>3k$?LnBy#6(l*S}@)YFsb*31=4C0Z#zI z{mZouYrS~aOT6Ssm4>{^zsNE!`DG@r-(>Q7Hj~%?W$|iUuV|^C+X2_BHq-9;Fi4zv z8RYpev5SsO_!EfeDmX*S-|iX7~TZK+aTZU_=eYreDfPAPpd{gCHb{hHZW&WBo5b{@x*(o&ObHKxZhXdyffc%bf8s|Zt?{NX>LXZ5V WEZ`#Wi-AjkM*^1umjRCg9{vB&xSp*5 literal 25012 zcmcg!37lQkSwHv9l07roCt*8}up|&55FmlJB$O?LEtDDr1r!aHwZIqBwhrFC^qHVgC1AmSv?1K%>HvRw04HfcR;H~J1e z`$J@3I36PT3i`{stsA%&h?rf7)wV;&Av(k`uxVcc+z5OO_#$M0j>#bXsMlzo+0e1C z9b2^qmARx$5OJhl1)J@_*ZtVh?%d#Ys5&13=?4uuI%9fZ$Nj+mNDUox(`MR>@I$_-JAk{-^*rd5B=YAtH&LZe%BbMM}S|`t=-WaiGtr6f^5!j+S&PRQ3 z(guB<)Q{SOjF~*_1VYV51=t2`2X+8Efs=q!fir;I7_)$Lff$on2s{9|7`PO86!7RA zE(3oI@HpUdkBoaf@I>HB;K{&~fXul9cmj}l*(MwdWFMG!4v@JqPi6`5NZ=8`!-0nZ z5A|3@ZGndX4+b6tJP^pZi+~GqI3N5xAjiV^vw_or-M}v3G$6-F8F}IqAp5|Y?F7iV z3y>r;vk`k}GNXE7GQ~VsU1z>&{@JGHL9?jZWBbg1o6Dgt(a8zUX7wb~-DB{`V2S_WBTZ9d8@Ar5)-Y4s8L z1?~d7-hq}Wh&QTza=5#Idc}}~ZQ<9twRV96EmII{RD09rI4d4Q4z`6q&7D?lbD(7k z;*Dyb9O+J@UNPigTlh2F8Rj4dTBab@sP@!F3^^zh{z!LZa*+cqQxI=dd+H*F9Fz(F zKKDMm!-1A5h&QS|brC}j%7pK59ngZh4s(Lmd#Ayp$dbB*?oKhd2C zEohn2%7eOyAqQo`Kj3hua-d~OD-Y@-h8&a$e}cpP+JTlStvslU7;;c1{0g@MTF^43 zl?QbZLk`M>&t1=ou1>`=#FHyv5v49-$WgzZt#+%S1uaurc~BQo@=0uRkiXZxS1Gx% zmR26rMGQG86aG|pDzu~idch^FD}74dIvx8OljjYWlv=ykkk%cW%Z52_q zSIfZ1mfPmG!5e7&8wFZ&I?ew<_8;m&>TY0BF0@qENYz6v10P#%mYW4{V0^=OxL)lE z?m8CANwrl()iWO>_=)fR?tXX!%|Cd{`Gpk+!c59%UH zK8fw~?d8{$#@|*#3-Ri|$TV}*MU;GE>+>DqjxY~9&@#oi(XEl|h=`I;V*7mOx$~d} zEmK-~P#011No=2Qm0JZZXk#%y(b#Tm6?p^;>LN-$iQPJ1@Gh?RA>aA#e0YPFDXl!H zizwrh*nWH`yOW^>EmK-~P#011No=3*7IzD@pk+!c59%UHK8fw~o$1bm7PL%hZ3Hoh!Nd6?i_f7mMN_~sEf$#8rk>bYvpk+!c59%T^k4Dyv?p${+B%ozVD-Y@-Nu<`UN%cS(@hG;sNP?D?Ai9_}uQ`J7}XHB&{QG+V)0xY6xw{-=^Qac4 zD_HJX({f+HZKXG^7)c9ghb^!D-QV5g@LU~`cJ3Y%SJyvtkM3Vq z<38X%fE>UG2G{pyF#hj9nD;u@Y%`X2vLPG6^$huvi-W!W>A>y(+I`4<2;&1Pkh8xZ zTH~v2!)!Iia8n(22Qfl&9{J?_1iv%vZ!lLdqWRr?+yw78$hS5x+h4rvaXlCxFhce8 z$nS5?UF@(=h!GP1Z*ihz|8Z`yTa0{*lls#jX7b$}U)5ES4;Udak#FYAA2&M4sJ3Ypiwde$?xFkq;OlX&7yk?+?yRad>VaMsUYQet&c3ZP$r> zzz9kGy&%f=jmypFY&RSEfDz0-Ue8Rc>)8Ug0QrCs?Doj-Z_XX+4n;m-gajw@-2yk$ z%|t$6g!uj!Wkp@maVs1S7 zlFJ;fUgl?kKNX_BoA-Cq&n)KOLaukac5@w`?THfu=62>Wk4;QAjO-d_QaTYiopl!Z zfD;2wo|lwPL`HXrI|SncP7JtB%%gN7GP+4_67m5j2HZvNBIE;347jVAN9jalbXQ3} zp%apCj>E4J#EAj-5#~`kmW<}Eu~_ZR#=NyRi~Xf{2f70>KH$WF*}**KPbVfDMs~0} zm~_JOeb{{%`G6AxZkoeiBZw0NZl0Tme87o;xyhWB71OoTXB%XVA7ljhgIc_>rdc+u z@+=dxzPCe@^$2Bs8)`g-vMBk2ZdRs#y8z829S zV-0MBNc-6b?iCv3`#EdH%FGPCv?j}T+c3~CK0A`NeRFs)>$j$srm3HfN^N*>aJMx> zaoh-v4nR~(5rDA?VZOAb*1OR4%HzW?_gKd4?Uk5m7Gh>;nq`>vT2`x=;g@$kYfa_x zf!-cI_Y6M)!f_%EMzY;z=oHsz#82LX&_g6KnFdYmLYh(~5Mr)F%%ub0*!)n%n3s1w z^&HX+Lu4UZ2hmc99t!=;vb48vWH@^U5zzHr=z0aB9*B@I>qD<3&wykQGOSyn#>P;H z`Gdjd9vXN;L?CI-JR3x#j|(a>!6VHx96Qojrh#Y#qO5g42YSO^s`nF<$Msj>Rv4(Q zL$WY-^!+)}AxY?Ge(aczUQEY;pAH>6W-3Gs^U28zGAvuYpD7j@|BZ9!U{+%M(1tMVmydj0ckItvdN~)aMr4;c$%m$R8Yks<&@(oc=~L_X#Z z88drA$6gc@TcIb+CnitK*MSLp>E&G?*K^cu!`U2eJnwook%eb7>jS2#Kkw|PKkwZ0 zqs(V7TH`7J)?_NLB$O&XrW1qo{;o5gRKaIJ$C zuXSLzzQu$PL?5w=&j*5N3^VMv|)8r4$79Bx>nhIPl{0P6emtFS&=0$|yAO>W%t zgM)(*)nKsOr^%Z3r}QAdM%a1149L;c_dFH^P3#rG$Sa>jtlG9z1Q>gt9!}~MYOL7L z0pXbW+sqTzXoS3v_bVR_fh;TSv?Uk&=`t3AI zFdhEhfpe6NNT1lx`q}iIqAaZYz#Hl>^ImY@Y>b(Sb?qs!mT`trHFiDKprE-uZ+51& zbO;wqOkS;SpktSdWnGrNk&@>bW^t&?X4iK*7P0O4AfKbs?O`xV!iI7dUZ ze9SESyu>C6=N*@ohk_8(QGZ_YLr3R=7OcP4Wx4w%*1c|_7YEqaqEEOhFmrAA6@3QF z^%G(lRhnkm&g>ge%CCazS&~5O0K-&CkgO0ZcLQn=5%}Zs&F6gPwK3yqx@{z)z3?Jgt?`;JXX0e&9PI z6_VgvH3`2r1K@XlS_0z}^54Z_KIUTV0R5iH3eLj26a_d{)K$ zo>YJezIjvO_j3T1^R+Ibl}$ORA4lb5QC4{pJaSaN;AMV{{63lB_q`l8qd{ADv8HXA z%G=iZ`et7{t($4vXPPBw`}J(wp}MxO7uZ15w!2tfm-Z{yKD{m}WVk27zMw&?z0tlT z7lLc%=a9lIs@p_|u@-X%TadV^GaP0%+`5?>JxxVolG%5tUPav)$&A>l(iK1=i4pe*DH2zyHOv#P4Bs z17`u}0{P7>eou?v$6|Z}$I0(&h3{%n7QU-Rp1|1rmKeV&7QUfHK73mXY%wI4RHs!h zO_rITtaerBCl@3uk~K-yJYugkpEtFnV*bu_+g>w_-d=0BncuMYnLjjNs-BrFs7_0! zoB7Fl`k6n%SH3=pPqM)e_pWaw2PB8!-<$QCs=>dAhTmd)AL=h9XPQ4xu1{`APP5;) z%kA;WEy;WAYP-t5&t7YP$UCCBNc=7!Z}I%1er!Rv4md(Twt^pd$Zrw9o#cZbd4f3y z|CZ^dQT#qAe)3Gw>?giM!Oxs+SHTwJ6ZzlJPx&H09iNd$5+i#>Q_FebJ|oz#Rj*90s$L!a5a*<^ z^)s0z5gOLP{GNmr66P~XG+*`Fn6G+;YWF@bIDh!px%i$N&R>kUcR#f?mxcM%_TK!= z?|8dAO8Wh#&v)e*{eE5T12tEV(XV-5-#AXc+sgTwUmD-M)W^5ET)yCko#XeJO3ap= z#-H~niJZB2|Kuy$F9z4^J)xBH&O^|e9~)mk&5w`M@8je2`vSU)6Hla(}~5+gU> zR}#Eu1PJ{M?Zz6vd5;5_p9pWmh~ zLVmZJ->(j6!B>HY0v8wHVUXpK-^4xwcqDL%$EB$GjqcID(|s&-#{riEj|cKw+$;Vc D8=lVg diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLParser.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLParser.java index fc2242dce..612b118ad 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLParser.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLParser.java @@ -13,18 +13,18 @@ public abstract class SCLParser { public static final boolean TRACE = false; private static final int INITIAL_CAPACITY = 16; - private static final int STATE_COUNT = 358; - private static final int TERMINAL_COUNT = 84; - private static final int NONTERMINAL_COUNT = 52; + private static final int STATE_COUNT = 357; + private static final int TERMINAL_COUNT = 85; + private static final int NONTERMINAL_COUNT = 51; private static final int PRODUCT_COUNT = 135; private static final int[] ACTION_ROW_ID = new int[STATE_COUNT]; private static final int[] ACTION_COLUMN_ID = new int[TERMINAL_COUNT]; - private static final short[] ACTION_TABLE = new short[6944]; - private static final int[] ERROR_TABLE = new int[940]; + private static final short[] ACTION_TABLE = new short[6765]; + private static final int[] ERROR_TABLE = new int[949]; private static final int[] GOTO_ROW_ID = new int[STATE_COUNT]; private static final int[] GOTO_COLUMN_ID = new int[NONTERMINAL_COUNT]; - private static final short[] GOTO_TABLE = new short[1708]; + private static final short[] GOTO_TABLE = new short[1647]; private static final int[] PRODUCT_LHS = new int[PRODUCT_COUNT]; private static final short STATE_MASK = (short)0x0fff; @@ -99,6 +99,7 @@ public abstract class SCLParser { "SELECT_DISTINCT", "TRANSFORMATION", "EQ", + "CHR_SELECT", "ATTACHED_DOT", "IN", "THEN", @@ -156,12 +157,11 @@ public abstract class SCLParser { "accessor", "case", "queryBlock", + "verboseChrQuery", "stringLiteral", "symbolWithoutMinus", "listQualifier", "chrQuery", - "verboseChrQuery", - "constraintSpec", "caseRhs", "guardedExpArrow", "equation", @@ -395,19 +395,19 @@ public abstract class SCLParser { return parse(0); } public Object parseCommands() { - return parse(342); + return parse(341); } public Object parseImport() { - return parse(350); + return parse(349); } public Object parseType() { - return parse(352); + return parse(351); } public Object parseExp() { - return parse(354); + return parse(353); } public Object parseEquationBlock() { - return parse(356); + return parse(355); } @@ -535,123 +535,123 @@ public abstract class SCLParser { case 59: return reduceSelect(); case 60: - return reduceEnforce(); + return reduceCHRSelect(); case 61: - return reduceVar(); + return reduceEnforce(); case 62: - return reduceHashedId(); + return reduceVar(); case 63: - return reduceBlank(); + return reduceHashedId(); case 64: - return reduceInteger(); + return reduceBlank(); case 65: - return reduceFloat(); + return reduceInteger(); case 66: - return reduceString(); + return reduceFloat(); case 67: - return reduceChar(); + return reduceString(); case 68: - return reduceTuple(); + return reduceChar(); case 69: - return reduceViewPattern(); + return reduceTuple(); case 70: - return reduceRightSection(); + return reduceViewPattern(); case 71: - return reduceLeftSection(); + return reduceRightSection(); case 72: - return reduceListLiteral(); + return reduceLeftSection(); case 73: - return reduceRange(); + return reduceListLiteral(); case 74: - return reduceListComprehension(); + return reduceRange(); case 75: - return reduceAs(); + return reduceListComprehension(); case 76: - return reduceRecord(); + return reduceAs(); case 77: - return reduceTransformation(); + return reduceRecord(); case 78: - return reduceEq(); + return reduceTransformation(); case 79: - return reduceRuleDeclarations(); + return reduceEq(); case 80: - return reduceStatements(); + return reduceRuleDeclarations(); case 81: - return reduceImportShowing(); + return reduceStatements(); case 82: - return reduceImportHiding(); + return reduceImportShowing(); case 83: - return reduceImportValueItem(); + return reduceImportHiding(); case 84: - return reduceFieldDescription(); + return reduceImportValueItem(); case 85: - return reduceGuardedExpEq(); + return reduceFieldDescription(); case 86: - return reduceFundep(); + return reduceGuardedExpEq(); case 87: - return reduceQueryRuleDeclaration(); + return reduceFundep(); case 88: - return reduceAnnotation(); + return reduceQueryRuleDeclaration(); case 89: - return reduceGuardQuery(); + return reduceAnnotation(); case 90: - return reduceEqualsQuery(); + return reduceGuardQuery(); case 91: - return reduceBindQuery(); + return reduceEqualsQuery(); case 92: - return reduceCompositeQuery(); + return reduceBindQuery(); case 93: - return reduceApply(); + return reduceCompositeQuery(); case 94: - return reduceSymbol(); + return reduceApply(); case 95: - return reduceEscapedId(); + return reduceSymbol(); case 96: - return reduceMinus(); + return reduceEscapedId(); case 97: - return reduceLess(); + return reduceMinus(); case 98: - return reduceGreater(); + return reduceLess(); case 99: - return reduceDot(); + return reduceGreater(); case 100: - return reduceFieldAccess(); + return reduceDot(); case 101: - return reduceIdAccessor(); + return reduceFieldAccess(); case 102: - return reduceStringAccessor(); + return reduceIdAccessor(); case 103: - return reduceExpAccessor(); + return reduceStringAccessor(); case 104: - return reduceCase(); + return reduceExpAccessor(); case 105: - return reduceQueryBlock(); + return reduceCase(); case 106: - return reduceStringLiteral(); + return reduceQueryBlock(); case 107: - return reduceSymbol(); + return reduceVerboseCHRQuery(); case 108: - return reduceEscapedId(); + return reduceStringLiteral(); case 109: - return reduceLess(); + return reduceSymbol(); case 110: - return reduceGreater(); + return reduceEscapedId(); case 111: - return reduceDot(); + return reduceLess(); case 112: - return reduceGuardQualifier(); + return reduceGreater(); case 113: - return reduceLetQualifier(); + return reduceDot(); case 114: - return reduceBindQualifier(); + return reduceGuardQualifier(); case 115: - return reduceThenQualifier(); + return reduceLetQualifier(); case 116: - return reduceCHRQuery(); + return reduceBindQualifier(); case 117: - return reduceVerboseCHRQuery(); + return reduceThenQualifier(); case 118: - return reduceConstraintSpec(); + return reduceCHRQuery(); case 119: return reduceSimpleCaseRhs(); case 120: @@ -824,7 +824,7 @@ public abstract class SCLParser { */ protected abstract Object reduceVerboseCHRStatement(); /** - * statement ::= CONSTRAINT constructor (WHERE constraintSpec)? + * statement ::= CONSTRAINT constructor */ protected abstract Object reduceConstraintStatement(); /** @@ -931,6 +931,10 @@ public abstract class SCLParser { * aexp ::= (SELECT | SELECT_FIRST | SELECT_DISTINCT) exp WHERE queryBlock */ protected abstract Object reduceSelect(); + /** + * aexp ::= CHR_SELECT exp WHERE verboseChrQuery + */ + protected abstract Object reduceCHRSelect(); /** * aexp ::= ENFORCE queryBlock */ @@ -1111,6 +1115,10 @@ public abstract class SCLParser { * queryBlock ::= LBRACE (query (SEMICOLON (query SEMICOLON)* query)?)? RBRACE */ protected abstract Object reduceQueryBlock(); + /** + * verboseChrQuery ::= LBRACE listQualifier (SEMICOLON listQualifier)* RBRACE + */ + protected abstract Object reduceVerboseCHRQuery(); /** * stringLiteral ::= BEGIN_STRING (SUSPEND_STRING exp CONTINUE_STRING)* END_STRING */ @@ -1135,14 +1143,6 @@ public abstract class SCLParser { * chrQuery ::= (listQualifier COMMA)* listQualifier */ protected abstract Object reduceCHRQuery(); - /** - * verboseChrQuery ::= LBRACE listQualifier (SEMICOLON listQualifier)* RBRACE - */ - protected abstract Object reduceVerboseCHRQuery(); - /** - * constraintSpec ::= LBRACE exp (SEMICOLON exp)* RBRACE - */ - protected abstract Object reduceConstraintSpec(); /** * caseRhs ::= ARROW exp (WHERE statements)? */ diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLParserImpl.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLParserImpl.java index 34f8d6a9f..dd614f964 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLParserImpl.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLParserImpl.java @@ -31,6 +31,7 @@ import org.simantics.scl.compiler.elaboration.expressions.EListComprehension; import org.simantics.scl.compiler.elaboration.expressions.EListLiteral; import org.simantics.scl.compiler.elaboration.expressions.ELiteral; import org.simantics.scl.compiler.elaboration.expressions.EMatch; +import org.simantics.scl.compiler.elaboration.expressions.EPreCHRSelect; import org.simantics.scl.compiler.elaboration.expressions.ERange; import org.simantics.scl.compiler.elaboration.expressions.ERealLiteral; import org.simantics.scl.compiler.elaboration.expressions.ERecord; @@ -1305,12 +1306,17 @@ public class SCLParserImpl extends SCLParser { return new IncludeStatement(name, value); } - @Override + /*@Override protected Object reduceConstraintSpec() { Expression[] expressions = new Expression[length()/2-1]; for(int i=0;i Foo 1 + True => Foo 2 + + True => Bar 3 + True => Bar 4 +-- +[(2,4), (2,3), (1,4), (1,3)] \ No newline at end of file diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHRSelect3.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHRSelect3.scl new file mode 100644 index 000000000..2be9b98c5 --- /dev/null +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHRSelect3.scl @@ -0,0 +1,21 @@ +module { + features = [chr] +} +import "StandardLibrary" + +main = () + where + constraint Edge Integer Integer + + True => Edge 2 3 + True => Edge 1 2 + True => Edge 3 4 + + when -Edge ?x ?y + [] = select ?z where + Edge ?z ?x + then print "removed \(?x) \(?y)" +-- +removed 1 2 +removed 2 3 +() \ No newline at end of file diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/InvalidLambda.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/InvalidLambda.scl index 95d8b03da..3cf6ed74b 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/InvalidLambda.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/InvalidLambda.scl @@ -1,4 +1,4 @@ main = \ /* no parameters */ -> 3 -- -2:30-2:32: Unexpected token '->' (ARROW). Expected one of ATTACHED_HASH, BEGIN_STRING, BLANK, CHAR, DO, ENFORCE, EQ, ESCAPED_SYMBOL, FLOAT, ID, IF, INTEGER, LAMBDA, LAMBDA_MATCH, LBRACKET, LET, LPAREN, MATCH, MDO, SELECT, SELECT_DISTINCT, SELECT_FIRST, TRANSFORMATION. \ No newline at end of file +2:30-2:32: Unexpected token '->' (ARROW). Expected one of ATTACHED_HASH, BEGIN_STRING, BLANK, CHAR, CHR_SELECT, DO, ENFORCE, EQ, ESCAPED_SYMBOL, FLOAT, ID, IF, INTEGER, LAMBDA, LAMBDA_MATCH, LBRACKET, LET, LPAREN, MATCH, MDO, SELECT, SELECT_DISTINCT, SELECT_FIRST, TRANSFORMATION. \ No newline at end of file diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/UnexpectedToken.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/UnexpectedToken.scl index 85637b16b..45f6b0853 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/UnexpectedToken.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/UnexpectedToken.scl @@ -1,4 +1,4 @@ a = = b = 4 -- -1:5-1:6: Unexpected token '=' (EQUALS). Expected one of ATTACHED_HASH, BEGIN_STRING, BLANK, CHAR, DO, ENFORCE, EQ, ESCAPED_SYMBOL, FLOAT, ID, IF, INTEGER, LAMBDA, LAMBDA_MATCH, LBRACKET, LET, LPAREN, MATCH, MDO, MINUS, SELECT, SELECT_DISTINCT, SELECT_FIRST, TRANSFORMATION. \ No newline at end of file +1:5-1:6: Unexpected token '=' (EQUALS). Expected one of ATTACHED_HASH, BEGIN_STRING, BLANK, CHAR, CHR_SELECT, DO, ENFORCE, EQ, ESCAPED_SYMBOL, FLOAT, ID, IF, INTEGER, LAMBDA, LAMBDA_MATCH, LBRACKET, LET, LPAREN, MATCH, MDO, MINUS, SELECT, SELECT_DISTINCT, SELECT_FIRST, TRANSFORMATION. \ No newline at end of file -- 2.43.2