-package org.simantics.scl.compiler.elaboration.expressions;\r
-\r
-import org.simantics.scl.compiler.elaboration.equation.EqBasic;\r
-import org.simantics.scl.compiler.elaboration.equation.EqGuard;\r
-import org.simantics.scl.compiler.elaboration.equation.Equation;\r
-import org.simantics.scl.compiler.elaboration.equation.EquationVisitor;\r
-import org.simantics.scl.compiler.elaboration.expressions.ERuleset.DatalogRule;\r
-import org.simantics.scl.compiler.elaboration.expressions.accessor.ExpressionAccessor;\r
-import org.simantics.scl.compiler.elaboration.expressions.accessor.FieldAccessor;\r
-import org.simantics.scl.compiler.elaboration.expressions.accessor.FieldAccessorVisitor;\r
-import org.simantics.scl.compiler.elaboration.expressions.accessor.IdAccessor;\r
-import org.simantics.scl.compiler.elaboration.expressions.accessor.StringAccessor;\r
-import org.simantics.scl.compiler.elaboration.expressions.list.ListAssignment;\r
-import org.simantics.scl.compiler.elaboration.expressions.list.ListGenerator;\r
-import org.simantics.scl.compiler.elaboration.expressions.list.ListGuard;\r
-import org.simantics.scl.compiler.elaboration.expressions.list.ListQualifierVisitor;\r
-import org.simantics.scl.compiler.elaboration.expressions.list.ListSeq;\r
-import org.simantics.scl.compiler.elaboration.expressions.list.ListThen;\r
-import org.simantics.scl.compiler.elaboration.query.QAlternative;\r
-import org.simantics.scl.compiler.elaboration.query.QAtom;\r
-import org.simantics.scl.compiler.elaboration.query.QConjunction;\r
-import org.simantics.scl.compiler.elaboration.query.QDisjunction;\r
-import org.simantics.scl.compiler.elaboration.query.QExists;\r
-import org.simantics.scl.compiler.elaboration.query.QIf;\r
-import org.simantics.scl.compiler.elaboration.query.QMapping;\r
-import org.simantics.scl.compiler.elaboration.query.QNegation;\r
-import org.simantics.scl.compiler.elaboration.query.Query;\r
-import org.simantics.scl.compiler.elaboration.query.QueryVisitor;\r
-\r
-\r
-public class StandardExpressionVisitor implements \r
-ExpressionVisitor, QueryVisitor, FieldAccessorVisitor, ListQualifierVisitor,\r
-EquationVisitor {\r
-\r
- @Override\r
- public void visit(EApply expression) {\r
- expression.function.accept(this);\r
- for(Expression parameter : expression.parameters)\r
- parameter.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EApplyType expression) {\r
- expression.expression.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EAsPattern expression) {\r
- expression.pattern.accept(this);\r
- }\r
- \r
- @Override\r
- public void visit(EBind expression) {\r
- expression.pattern.accept(this);\r
- expression.value.accept(this);\r
- expression.in.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EConstant expression) {\r
- }\r
-\r
- @Override\r
- public void visit(EEnforce expression) {\r
- expression.query.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EError expression) {\r
- }\r
-\r
- @Override\r
- public void visit(EExternalConstant expression) {\r
- }\r
-\r
- @Override\r
- public void visit(EFieldAccess expression) {\r
- expression.parent.accept(this);\r
- for(FieldAccessor accessor : expression.accessors)\r
- accessor.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EGetConstraint expression) {\r
- if(expression.evidence != null)\r
- expression.evidence.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EIf expression) {\r
- expression.condition.accept(this);\r
- expression.then_.accept(this);\r
- expression.else_.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EIntegerLiteral expression) {\r
- if(expression.constraint != null)\r
- expression.constraint.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ELambda expression) {\r
- for(Case case_ : expression.cases)\r
- visit(case_);\r
- }\r
-\r
- public void visit(Case case_) {\r
- for(Expression pattern : case_.patterns)\r
- pattern.accept(this);\r
- case_.value.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ELambdaType expression) {\r
- expression.value.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ELet expression) {\r
- for(Assignment assignment : expression.assignments)\r
- visit(assignment);\r
- }\r
-\r
- public void visit(Assignment assignment) {\r
- assignment.pattern.accept(this);\r
- assignment.value.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EListComprehension expression) {\r
- expression.head.accept(this);\r
- expression.qualifier.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EListLiteral expression) {\r
- for(Expression component : expression.components)\r
- component.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ELiteral expression) {\r
- }\r
-\r
- @Override\r
- public void visit(EMatch expression) {\r
- for(Expression s : expression.scrutinee)\r
- s.accept(this);\r
- for(Case case_ : expression.cases)\r
- visit(case_);\r
- }\r
-\r
- @Override\r
- public void visit(EPlaceholder expression) {\r
- expression.expression.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ERealLiteral expression) {\r
- if(expression.constraint != null)\r
- expression.constraint.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ERuleset expression) {\r
- for(DatalogRule rule : expression.rules)\r
- visit(rule);\r
- expression.in.accept(this);\r
- }\r
-\r
- public void visit(DatalogRule rule) {\r
- for(Expression parameter : rule.headParameters)\r
- parameter.accept(this);\r
- rule.body.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ESelect expression) {\r
- expression.query.accept(this);\r
- expression.expression.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ESimpleLambda expression) {\r
- expression.value.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ESimpleLet expression) {\r
- expression.value.accept(this);\r
- expression.in.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ETransformation expression) {\r
- expression.seed.accept(this);\r
- }\r
- \r
- @Override\r
- public void visit(ETypeAnnotation expression) {\r
- expression.value.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EVariable expression) {\r
- }\r
-\r
- @Override\r
- public void visit(EWhen expression) {\r
- expression.query.accept(this);\r
- expression.action.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(GuardedExpressionGroup expression) {\r
- for(GuardedExpression gexp : expression.expressions) {\r
- for(Expression guard : gexp.guards)\r
- guard.accept(this);\r
- gexp.value.accept(this);\r
- }\r
- }\r
-\r
- @Override\r
- public void visit(QAlternative query) {\r
- for(Query q : query.queries)\r
- q.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(QAtom query) {\r
- for(Expression parameter : query.parameters)\r
- parameter.accept(this);\r
- }\r
- \r
- @Override\r
- public void visit(QMapping query) {\r
- for(Expression parameter : query.parameters)\r
- parameter.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(QConjunction query) {\r
- for(Query q : query.queries)\r
- q.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(QDisjunction query) {\r
- for(Query q : query.queries)\r
- q.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(QExists query) {\r
- query.query.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(QNegation query) {\r
- query.query.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ExpressionAccessor accessor) {\r
- accessor.fieldName.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(IdAccessor accessor) {\r
- }\r
-\r
- @Override\r
- public void visit(StringAccessor accessor) {\r
- }\r
-\r
- @Override\r
- public void visit(ListAssignment qualifier) {\r
- qualifier.pattern.accept(this);\r
- qualifier.value.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ListGenerator qualifier) {\r
- qualifier.pattern.accept(this);\r
- qualifier.value.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ListGuard qualifier) {\r
- qualifier.condition.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ListSeq qualifier) {\r
- qualifier.a.accept(this);\r
- qualifier.b.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ListThen qualifier) {\r
- qualifier.left.accept(this);\r
- qualifier.transformer.accept(this);\r
- if(qualifier.by != null)\r
- qualifier.by.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(QIf query) {\r
- query.condition.accept(this);\r
- query.thenQuery.accept(this);\r
- query.elseQuery.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(ECoveringBranchPoint expression) {\r
- expression.expression.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EqBasic equation) {\r
- equation.left.accept(this);\r
- equation.right.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EqGuard equation) {\r
- equation.guard.accept(this);\r
- }\r
-\r
- @Override\r
- public void visit(EEquations expression) {\r
- for(Equation equation : expression.equations)\r
- equation.accept(this);\r
- }\r
-\r
-}\r
+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.chr.ast.CHRAstAtom;
+import org.simantics.scl.compiler.elaboration.chr.ast.CHRAstBinds;
+import org.simantics.scl.compiler.elaboration.chr.ast.CHRAstConjunction;
+import org.simantics.scl.compiler.elaboration.chr.ast.CHRAstEquals;
+import org.simantics.scl.compiler.elaboration.chr.ast.CHRAstNegation;
+import org.simantics.scl.compiler.elaboration.chr.ast.CHRAstQuery;
+import org.simantics.scl.compiler.elaboration.chr.ast.CHRAstQueryVisitor;
+import org.simantics.scl.compiler.elaboration.equation.EqBasic;
+import org.simantics.scl.compiler.elaboration.equation.EqGuard;
+import org.simantics.scl.compiler.elaboration.equation.Equation;
+import org.simantics.scl.compiler.elaboration.equation.EquationVisitor;
+import org.simantics.scl.compiler.elaboration.expressions.ERuleset.DatalogRule;
+import org.simantics.scl.compiler.elaboration.expressions.accessor.ExpressionAccessor;
+import org.simantics.scl.compiler.elaboration.expressions.accessor.FieldAccessorVisitor;
+import org.simantics.scl.compiler.elaboration.expressions.accessor.IdAccessor;
+import org.simantics.scl.compiler.elaboration.expressions.accessor.StringAccessor;
+import org.simantics.scl.compiler.elaboration.expressions.block.BindStatement;
+import org.simantics.scl.compiler.elaboration.expressions.block.CHRStatement;
+import org.simantics.scl.compiler.elaboration.expressions.block.GuardStatement;
+import org.simantics.scl.compiler.elaboration.expressions.block.IncludeStatement;
+import org.simantics.scl.compiler.elaboration.expressions.block.LetStatement;
+import org.simantics.scl.compiler.elaboration.expressions.block.RuleStatement;
+import org.simantics.scl.compiler.elaboration.expressions.block.Statement;
+import org.simantics.scl.compiler.elaboration.expressions.block.StatementVisitor;
+import org.simantics.scl.compiler.elaboration.expressions.list.ListAssignment;
+import org.simantics.scl.compiler.elaboration.expressions.list.ListGenerator;
+import org.simantics.scl.compiler.elaboration.expressions.list.ListGuard;
+import org.simantics.scl.compiler.elaboration.expressions.list.ListQualifierVisitor;
+import org.simantics.scl.compiler.elaboration.expressions.list.ListSeq;
+import org.simantics.scl.compiler.elaboration.expressions.list.ListThen;
+import org.simantics.scl.compiler.elaboration.expressions.records.FieldAssignment;
+import org.simantics.scl.compiler.elaboration.query.QAlternative;
+import org.simantics.scl.compiler.elaboration.query.QAtom;
+import org.simantics.scl.compiler.elaboration.query.QConjunction;
+import org.simantics.scl.compiler.elaboration.query.QDisjunction;
+import org.simantics.scl.compiler.elaboration.query.QExists;
+import org.simantics.scl.compiler.elaboration.query.QIf;
+import org.simantics.scl.compiler.elaboration.query.QMapping;
+import org.simantics.scl.compiler.elaboration.query.QNegation;
+import org.simantics.scl.compiler.elaboration.query.Query;
+import org.simantics.scl.compiler.elaboration.query.QueryVisitor;
+
+
+public class StandardExpressionVisitor implements
+ExpressionVisitor, QueryVisitor, FieldAccessorVisitor, ListQualifierVisitor,
+EquationVisitor, StatementVisitor, CHRAstQueryVisitor {
+
+ @Override
+ public void visit(EApply expression) {
+ expression.function.accept(this);
+ for(Expression parameter : expression.parameters)
+ parameter.accept(this);
+ }
+
+ @Override
+ public void visit(EApplyType expression) {
+ expression.expression.accept(this);
+ }
+
+ @Override
+ public void visit(EAsPattern expression) {
+ expression.pattern.accept(this);
+ }
+
+ @Override
+ public void visit(EBind expression) {
+ expression.pattern.accept(this);
+ expression.value.accept(this);
+ expression.in.accept(this);
+ }
+
+ @Override
+ public void visit(EConstant expression) {
+ }
+
+ @Override
+ public void visit(EEnforce expression) {
+ expression.query.accept(this);
+ }
+
+ @Override
+ public void visit(EError expression) {
+ }
+
+ @Override
+ public void visit(EExternalConstant expression) {
+ }
+
+ @Override
+ public void visit(EFieldAccess expression) {
+ expression.parent.accept(this);
+ expression.accessor.accept(this);
+ }
+
+ @Override
+ public void visit(EGetConstraint expression) {
+ if(expression.evidence != null)
+ expression.evidence.accept(this);
+ }
+
+ @Override
+ public void visit(EIf expression) {
+ expression.condition.accept(this);
+ expression.then_.accept(this);
+ if(expression.else_ != null)
+ expression.else_.accept(this);
+ }
+
+ @Override
+ public void visit(EIntegerLiteral expression) {
+ if(expression.constraint != null)
+ expression.constraint.accept(this);
+ }
+
+ @Override
+ public void visit(ELambda expression) {
+ for(Case case_ : expression.cases)
+ visit(case_);
+ }
+
+ @Override
+ public void visit(EViewPattern expression) {
+ expression.expression.accept(this);
+ expression.pattern.accept(this);
+ }
+
+ public void visit(Case case_) {
+ for(Expression pattern : case_.patterns)
+ pattern.accept(this);
+ case_.value.accept(this);
+ }
+
+ @Override
+ public void visit(ELambdaType expression) {
+ expression.value.accept(this);
+ }
+
+ @Override
+ public void visit(ELet expression) {
+ for(Assignment assignment : expression.assignments)
+ visit(assignment);
+ }
+
+ public void visit(Assignment assignment) {
+ assignment.pattern.accept(this);
+ assignment.value.accept(this);
+ }
+
+ @Override
+ public void visit(EListComprehension expression) {
+ expression.head.accept(this);
+ expression.qualifier.accept(this);
+ }
+
+ @Override
+ public void visit(EListLiteral expression) {
+ for(Expression component : expression.components)
+ component.accept(this);
+ }
+
+ @Override
+ public void visit(ELiteral expression) {
+ }
+
+ @Override
+ public void visit(EMatch expression) {
+ for(Expression s : expression.scrutinee)
+ s.accept(this);
+ for(Case case_ : expression.cases)
+ visit(case_);
+ }
+
+ @Override
+ public void visit(EPlaceholder expression) {
+ expression.expression.accept(this);
+ }
+
+ @Override
+ public void visit(ERealLiteral expression) {
+ if(expression.constraint != null)
+ expression.constraint.accept(this);
+ }
+
+ @Override
+ public void visit(ERuleset expression) {
+ for(DatalogRule rule : expression.rules)
+ visit(rule);
+ expression.in.accept(this);
+ }
+
+ public void visit(DatalogRule rule) {
+ for(Expression parameter : rule.headParameters)
+ parameter.accept(this);
+ rule.body.accept(this);
+ }
+
+ @Override
+ public void visit(ESelect expression) {
+ expression.query.accept(this);
+ expression.expression.accept(this);
+ }
+
+ @Override
+ public void visit(ECHRSelect expression) {
+ visit(expression.query);
+ expression.expression.accept(this);
+ }
+
+ @Override
+ public void visit(ESimpleLambda expression) {
+ expression.value.accept(this);
+ }
+
+ @Override
+ public void visit(ESimpleLet expression) {
+ expression.value.accept(this);
+ expression.in.accept(this);
+ }
+
+ @Override
+ public void visit(ETransformation expression) {
+ expression.seed.accept(this);
+ }
+
+ @Override
+ public void visit(ETypeAnnotation expression) {
+ expression.value.accept(this);
+ }
+
+ @Override
+ public void visit(EVar expression) {
+ }
+
+ @Override
+ public void visit(EVariable expression) {
+ }
+
+ @Override
+ public void visit(EWhen expression) {
+ expression.query.accept(this);
+ expression.action.accept(this);
+ }
+
+ @Override
+ public void visit(GuardedExpressionGroup expression) {
+ for(GuardedExpression gexp : expression.expressions) {
+ for(Expression guard : gexp.guards)
+ guard.accept(this);
+ gexp.value.accept(this);
+ }
+ }
+
+ @Override
+ public void visit(QAlternative query) {
+ for(Query q : query.queries)
+ q.accept(this);
+ }
+
+ @Override
+ public void visit(QAtom query) {
+ for(Expression parameter : query.parameters)
+ parameter.accept(this);
+ }
+
+ @Override
+ public void visit(QMapping query) {
+ for(Expression parameter : query.parameters)
+ parameter.accept(this);
+ }
+
+ @Override
+ public void visit(QConjunction query) {
+ for(Query q : query.queries)
+ q.accept(this);
+ }
+
+ @Override
+ public void visit(QDisjunction query) {
+ for(Query q : query.queries)
+ q.accept(this);
+ }
+
+ @Override
+ public void visit(QExists query) {
+ query.query.accept(this);
+ }
+
+ @Override
+ public void visit(QNegation query) {
+ query.query.accept(this);
+ }
+
+ @Override
+ public void visit(ExpressionAccessor accessor) {
+ accessor.fieldName.accept(this);
+ }
+
+ @Override
+ public void visit(IdAccessor accessor) {
+ }
+
+ @Override
+ public void visit(StringAccessor accessor) {
+ }
+
+ @Override
+ public void visit(ListAssignment qualifier) {
+ qualifier.pattern.accept(this);
+ qualifier.value.accept(this);
+ }
+
+ @Override
+ public void visit(ListGenerator qualifier) {
+ qualifier.pattern.accept(this);
+ qualifier.value.accept(this);
+ }
+
+ @Override
+ public void visit(ListGuard qualifier) {
+ qualifier.condition.accept(this);
+ }
+
+ @Override
+ public void visit(ListSeq qualifier) {
+ qualifier.a.accept(this);
+ qualifier.b.accept(this);
+ }
+
+ @Override
+ public void visit(ListThen qualifier) {
+ qualifier.left.accept(this);
+ qualifier.transformer.accept(this);
+ if(qualifier.by != null)
+ qualifier.by.accept(this);
+ }
+
+ @Override
+ public void visit(QIf query) {
+ query.condition.accept(this);
+ query.thenQuery.accept(this);
+ query.elseQuery.accept(this);
+ }
+
+ @Override
+ public void visit(ECoveringBranchPoint expression) {
+ expression.expression.accept(this);
+ }
+
+ @Override
+ public void visit(EqBasic equation) {
+ equation.left.accept(this);
+ equation.right.accept(this);
+ }
+
+ @Override
+ public void visit(EqGuard equation) {
+ equation.guard.accept(this);
+ }
+
+ @Override
+ public void visit(EEquations expression) {
+ for(Equation equation : expression.equations)
+ equation.accept(this);
+ }
+
+ public void visit(CHRQuery query) {
+ for(CHRLiteral literal : query.literals)
+ for(Expression parameter : literal.parameters)
+ parameter.accept(this);
+ }
+
+ public void visit(CHRRuleset ruleset) {
+ for(CHRRule rule : ruleset.rules) {
+ visit(rule.head);
+ visit(rule.body);
+ }
+ }
+
+ @Override
+ public void visit(ECHRRuleset expression) {
+ visit(expression.ruleset);
+ expression.in.accept(this);
+ }
+
+ @Override
+ public void visit(ECHRRulesetConstructor expression) {
+ visit(expression.ruleset);
+ }
+
+ @Override
+ public void visit(EBinary expression) {
+ expression.left.accept(this);
+ for(EBinaryRightSide right : expression.rights)
+ right.right.accept(this);
+ }
+
+ @Override
+ public void visit(EBlock expression) {
+ for(Statement stat : expression.statements)
+ stat.accept(this);
+ }
+
+ @Override
+ public void visit(EPreLet expression) {
+ for(LetStatement stat : expression.assignments) {
+ stat.pattern.accept(this);
+ stat.value.accept(this);
+ }
+ expression.in.accept(this);
+ }
+
+ @Override
+ public void visit(ERange expression) {
+ expression.from.accept(this);
+ expression.to.accept(this);
+ }
+
+ @Override
+ public void visit(ERecord expression) {
+ for(FieldAssignment assignment : expression.fields)
+ assignment.value.accept(this);
+
+ }
+
+ @Override
+ public void visit(EStringLiteral expression) {
+ for(Expression exp : expression.expressions)
+ exp.accept(this);
+ }
+
+ @Override
+ public void visit(BindStatement statement) {
+ statement.pattern.accept(this);
+ statement.value.accept(this);
+ }
+
+ @Override
+ public void visit(GuardStatement statement) {
+ statement.value.accept(this);
+ }
+
+ @Override
+ public void visit(LetStatement statement) {
+ statement.value.accept(this);
+ }
+
+ @Override
+ public void visit(RuleStatement statement) {
+ statement.head.accept(this);
+ statement.body.accept(this);
+ }
+
+ @Override
+ public void visit(IncludeStatement statement) {
+ statement.value.accept(this);
+ }
+
+ @Override
+ public void visit(CHRStatement statement) {
+ statement.body.accept(this);
+ statement.head.accept(this);
+ }
+
+ @Override
+ public void visit(CHRAstAtom query) {
+ query.expression.accept(this);
+ }
+
+ @Override
+ public void visit(CHRAstBinds query) {
+ query.left.accept(this);
+ query.right.accept(this);
+ }
+
+ @Override
+ public void visit(CHRAstConjunction query) {
+ for(CHRAstQuery conjunct : query.conjuncts)
+ conjunct.accept(this);
+ }
+
+ @Override
+ public void visit(CHRAstEquals query) {
+ query.left.accept(this);
+ query.right.accept(this);
+ }
+
+ @Override
+ public void visit(CHRAstNegation query) {
+ query.subquery.accept(this);
+ }
+}
Code Review / simantics / platform.git / blobdiff