1 package org.simantics.scl.compiler.elaboration.expressions;
\r
3 import java.util.ArrayList;
\r
5 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
\r
6 import org.simantics.scl.compiler.elaboration.errors.NotPatternException;
\r
7 import org.simantics.scl.compiler.elaboration.expressions.lhstype.FunctionDefinitionLhs;
\r
8 import org.simantics.scl.compiler.elaboration.expressions.lhstype.LhsType;
\r
9 import org.simantics.scl.compiler.elaboration.expressions.lhstype.PatternMatchingLhs;
\r
10 import org.simantics.scl.compiler.errors.Locations;
\r
12 public class EVar extends ASTExpression {
\r
13 public final String name;
\r
15 public EVar(long location, String name) {
\r
16 this.location = location;
\r
20 public EVar(String name) {
\r
21 this(Locations.NO_LOCATION, name);
\r
25 public EVar getPatternHead() {
\r
30 public LhsType getLhsType() throws NotPatternException {
\r
31 if(TranslationContext.isConstructorName(name))
\r
32 return new PatternMatchingLhs();
\r
34 return new FunctionDefinitionLhs(name);
\r
38 protected void collectVariableNames(PatternMatchingLhs lhsType)
\r
39 throws NotPatternException {
\r
40 if(!TranslationContext.isConstructorName(name))
\r
41 lhsType.variableNames.add(name);
\r
45 public Expression resolve(TranslationContext context) {
\r
46 return context.resolveExpression(location, name);
\r
50 public void getParameters(TranslationContext translationContext,
\r
51 ArrayList<Expression> parameters) {
\r
55 public Expression resolveAsPattern(TranslationContext context) {
\r
56 return context.resolvePattern(this);
\r
60 public int getFunctionDefinitionArity() throws NotPatternException {
\r
61 if(TranslationContext.isConstructorName(name))
\r
62 throw new NotPatternException(this);
\r
68 public boolean isConstructorApplication() {
\r
69 return TranslationContext.isConstructorName(name);
\r
73 public void setLocationDeep(long loc) {
\r
74 if(location == Locations.NO_LOCATION)
\r
79 public Expression accept(ExpressionTransformer transformer) {
\r
80 return transformer.transform(this);
\r