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%2Fexpressions%2FEPreRuleset.java;h=41880a0224bd2fb960f9acd7cc3f05bf03c0c093;hp=74f24ebb82496048e0d1c5c599c20350c642f646;hb=e73c1660b2f4d2a03784451e9e6afe1552b00877;hpb=3303fe4a3b363e88662ac75a4f7e873ddb3ab352

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreRuleset.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreRuleset.java
index 74f24ebb8..41880a022 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreRuleset.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreRuleset.java
@@ -1,83 +1,88 @@
-package org.simantics.scl.compiler.elaboration.expressions;
-
-import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
-import org.simantics.scl.compiler.elaboration.expressions.ERuleset.DatalogRule;
-import org.simantics.scl.compiler.elaboration.expressions.block.RuleStatement;
-import org.simantics.scl.compiler.elaboration.relations.LocalRelation;
-import org.simantics.scl.compiler.errors.Locations;
-
-import gnu.trove.map.hash.THashMap;
-
-public class EPreRuleset extends ASTExpression {
-
-    RuleStatement[] statements;
-    Expression in;
-    
-    public EPreRuleset(RuleStatement[] statements, Expression in) {
-        this.statements = statements;
-        this.in = in;
-    }
-
-    @Override
-    public Expression resolve(TranslationContext context) {
-        THashMap<String, LocalRelation> relations = new THashMap<String, LocalRelation>(); 
-        DatalogRule[] rules = new DatalogRule[statements.length];
-        context.pushRelationFrame();
-        try {
-            for(int i=0;i<statements.length;++i) {
-                RuleStatement statement = statements[i];
-                Expression head = statement.head;
-                if(!(head instanceof EApply)) {
-                    context.getErrorLog().log(head.location, "Invalid rule head.");
-                    return new EError();
-                }
-                EApply apply = (EApply)head;
-                if(!(apply.function instanceof EVar)) {
-                    context.getErrorLog().log(head.location, "Invalid relation in rule head.");
-                    return new EError();
-                }
-                String relationName = ((EVar)apply.function).name;
-                LocalRelation relation = relations.get(relationName);
-                if(relation == null) {
-                    relation = new LocalRelation(relationName, apply.parameters.length);
-                    relations.put(relationName, relation);
-                    context.newRelation(relationName, relation);
-                }
-                else if(apply.parameters.length != relation.getArity()) {
-                    context.getErrorLog().log(apply.location, "Different rules have different relation arity.");
-                    return new EError();
-                }
-                rules[i] = new DatalogRule(relation, apply.parameters, statement.body);
-            }
-            for(DatalogRule rule : rules) {
-                context.pushExistentialFrame();
-                for(int i=0;i<rule.headParameters.length;++i)
-                    rule.headParameters[i] = rule.headParameters[i].resolve(context);
-                rule.body = rule.body.resolve(context);
-                rule.variables = context.popExistentialFrame();
-            }
-            return new ERuleset(
-                    relations.values().toArray(new LocalRelation[relations.size()]),
-                    rules,
-                    in.resolve(context));
-        } finally {
-            context.popRelationFrame();
-        }
-    }
-
-    @Override
-    public void setLocationDeep(long loc) {
-        if(location == Locations.NO_LOCATION) {
-            location = loc;
-            for(RuleStatement statement : statements)
-                statement.setLocationDeep(loc);
-            in.setLocationDeep(loc);
-        }
-    }
-    
-    @Override
-    public Expression accept(ExpressionTransformer transformer) {
-        return transformer.transform(this);
-    }
-
-}
+package org.simantics.scl.compiler.elaboration.expressions;
+
+import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
+import org.simantics.scl.compiler.elaboration.expressions.ERuleset.DatalogRule;
+import org.simantics.scl.compiler.elaboration.expressions.block.RuleStatement;
+import org.simantics.scl.compiler.elaboration.relations.LocalRelation;
+import org.simantics.scl.compiler.errors.Locations;
+
+import gnu.trove.map.hash.THashMap;
+
+public class EPreRuleset extends ASTExpression {
+
+    RuleStatement[] statements;
+    Expression in;
+    
+    public EPreRuleset(RuleStatement[] statements, Expression in) {
+        this.statements = statements;
+        this.in = in;
+    }
+
+    @Override
+    public Expression resolve(TranslationContext context) {
+        THashMap<String, LocalRelation> relations = new THashMap<String, LocalRelation>(); 
+        DatalogRule[] rules = new DatalogRule[statements.length];
+        context.pushRelationFrame();
+        try {
+            for(int i=0;i<statements.length;++i) {
+                RuleStatement statement = statements[i];
+                Expression head = statement.head;
+                if(!(head instanceof EApply)) {
+                    context.getErrorLog().log(head.location, "Invalid rule head.");
+                    return new EError();
+                }
+                EApply apply = (EApply)head;
+                if(!(apply.function instanceof EVar)) {
+                    context.getErrorLog().log(head.location, "Invalid relation in rule head.");
+                    return new EError();
+                }
+                String relationName = ((EVar)apply.function).name;
+                LocalRelation relation = relations.get(relationName);
+                if(relation == null) {
+                    relation = new LocalRelation(relationName, apply.parameters.length);
+                    relations.put(relationName, relation);
+                    context.newRelation(relationName, relation);
+                }
+                else if(apply.parameters.length != relation.getArity()) {
+                    context.getErrorLog().log(apply.location, "Different rules have different relation arity.");
+                    return new EError();
+                }
+                rules[i] = new DatalogRule(relation, apply.parameters, statement.body);
+            }
+            for(DatalogRule rule : rules) {
+                context.pushExistentialFrame();
+                for(int i=0;i<rule.headParameters.length;++i)
+                    rule.headParameters[i] = rule.headParameters[i].resolve(context);
+                rule.body = rule.body.resolve(context);
+                rule.variables = context.popExistentialFrame();
+            }
+            return new ERuleset(
+                    relations.values().toArray(new LocalRelation[relations.size()]),
+                    rules,
+                    in.resolve(context));
+        } finally {
+            context.popRelationFrame();
+        }
+    }
+
+    @Override
+    public void setLocationDeep(long loc) {
+        if(location == Locations.NO_LOCATION) {
+            location = loc;
+            for(RuleStatement statement : statements)
+                statement.setLocationDeep(loc);
+            in.setLocationDeep(loc);
+        }
+    }
+    
+    @Override
+    public Expression accept(ExpressionTransformer transformer) {
+        return transformer.transform(this);
+    }
+    
+    @Override
+    public int getSyntacticFunctionArity() {
+        return in.getSyntacticFunctionArity();
+    }
+
+}