]> gerrit.simantics Code Review - simantics/platform.git/blob
a859782239caac40c50cf91e34935b43aa303b7e
[simantics/platform.git] /
1 package org.simantics.scl.compiler.elaboration.expressions;
2
3 import java.util.Arrays;
4
5 import org.simantics.scl.compiler.constants.SCLConstructor;
6 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
7 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext.ExistentialFrame;
8 import org.simantics.scl.compiler.elaboration.expressions.records.FieldAssignment;
9 import org.simantics.scl.compiler.elaboration.modules.SCLValue;
10 import org.simantics.scl.compiler.environment.AmbiguousNameException;
11 import org.simantics.scl.compiler.errors.Locations;
12
13 import gnu.trove.map.hash.THashMap;
14
15 public class ERecord extends ASTExpression {
16
17     public static final boolean DEBUG = false;
18     
19     public final EVar constructor;
20     public final FieldAssignment[] fields;
21     
22     public ERecord(EVar constructor, FieldAssignment[] fields) {
23         this.constructor = constructor;
24         this.fields = fields;
25     }
26
27     @Override
28     public Expression resolve(TranslationContext context) {
29         return resolve(context, false);
30     }
31     
32     @Override
33     public Expression resolveAsPattern(TranslationContext context) {
34         return resolve(context, true);
35     }
36     
37     public Expression resolve(TranslationContext context, boolean asPattern) {
38         SCLValue constructorValue; 
39         try {
40             constructorValue = context.getEnvironment().getLocalNamespace().getValue(constructor.name);
41         } catch (AmbiguousNameException e) {
42             context.getErrorLog().log(constructor.location, e.getMessage());
43             return new EError(constructor.location);
44         }
45         if(constructorValue == null) {
46             context.getErrorLog().log(constructor.location, "Couldn't resolve the record constructor " + constructor.name + ".");
47             return new EError(constructor.location);
48         }
49         if(!(constructorValue.getValue() instanceof SCLConstructor)) {
50             context.getErrorLog().log(constructor.location, "Value " + constructor.name + " is not a record constructor.");
51             return new EError(constructor.location);
52         }
53         String[] fieldNames = ((SCLConstructor)constructorValue.getValue()).recordFieldNames;
54         if(fieldNames == null) {
55             context.getErrorLog().log(constructor.location, "Value " + constructor.name + " is not a record constructor.");
56             return new EError(constructor.location);
57         }
58         Expression[] parameters = translateFieldsToFunctionParameters(context, fields, fieldNames, false);
59         if(parameters == null)
60             return new EError(location);
61         if(asPattern)
62             for(int i=0;i<parameters.length;++i) {
63                 Expression parameter = parameters[i];
64                 if(parameter == null)
65                     parameters[i] = Expressions.blank(null);
66                 else
67                     parameters[i] = parameter.resolveAsPattern(context);
68             }
69         else {
70             boolean error = false;
71             for(int i=0;i<parameters.length;++i) {
72                 Expression parameter = parameters[i];
73                 if(parameter == null) {
74                     ExistentialFrame frame = context.getCurrentExistentialFrame();
75                     if(frame == null || frame.disallowNewExistentials) {
76                         context.getErrorLog().log(location, "Field " + fieldNames[i] + " not defined.");
77                         error = true;
78                     }
79                     else
80                         parameters[i] = frame.createBlank(location); 
81                 }
82                 else
83                     parameters[i] = parameter.resolve(context);
84             }
85             if(error)
86                 return new EError(location);
87         }
88         EApply result = new EApply(new EConstant(constructorValue), parameters);
89         result.setLocationDeep(location);
90         return result;
91     }
92     
93     public static Expression[] translateFieldsToFunctionParameters(TranslationContext context, FieldAssignment[] fields, String[] fieldNames, boolean chrLiteral) {
94         if(DEBUG) {
95             System.out.println("translateFieldsToFunctionParameters");
96             System.out.println("    fieldNames = " + Arrays.toString(fieldNames));
97             System.out.print("    fields = {");
98             for(int i=0;i<fields.length;++i) {
99                 FieldAssignment field = fields[i];
100                 if(i > 0)
101                     System.out.print(", ");
102                 System.out.print(field.name);
103                 if(field.value != null) {
104                     System.out.print(" = ");
105                     System.out.print(field.value);
106                 }
107             }
108             System.out.println("}");
109         }
110         
111         THashMap<String,FieldAssignment> recordMap = new THashMap<String,FieldAssignment>(fields.length);
112         boolean error = false;
113         FieldAssignment wildcardField = null;
114         for(FieldAssignment field : fields) {
115             if(field.value == null) {
116                 String actualName = field.name;
117                 if(actualName.equals(FieldAssignment.WILDCARD)) {
118                     if(wildcardField != null)
119                         context.getErrorLog().log(field.location, "The record has more than one wildcard.");
120                     wildcardField = field;
121                     continue;
122                 }
123                 if(actualName.charAt(0) == '?')
124                     actualName = actualName.substring(1);
125                 String bestMatch = null;
126                 int bestMatchLength = 0;
127                 for(int i=0;i<fieldNames.length;++i) {
128                     String fieldName = fieldNames[i];
129                     if(actualName.startsWith(fieldName) && fieldName.length() > bestMatchLength) {
130                         bestMatch = fieldName;
131                         bestMatchLength = fieldName.length();
132                     }
133                 }
134                 if(bestMatch == null) {
135                     context.getErrorLog().log(field.location, "Invalid shorthand field " + field.name + " is defined twice.");
136                     error = true;
137                 }
138                 field.value = new EVar(field.location, field.name);
139                 field.name = bestMatch;
140             }
141             if(recordMap.put(field.name, field) != null) {
142                 context.getErrorLog().log(field.location, "Field " + field.name + " is defined more than once.");
143                 error = true;
144             }
145         }
146         if(error)
147             return null;
148         Expression[] parameters = new Expression[fieldNames.length];
149         for(int i=0;i<fieldNames.length;++i) {
150             FieldAssignment assignment = recordMap.remove(fieldNames[i]);
151             if(assignment != null)
152                 parameters[i] = assignment.value;
153             else if(wildcardField != null) {
154                 String variableName = fieldNames[i];
155                 if(chrLiteral)
156                     variableName = "?" + variableName;
157                 parameters[i] = new EVar(wildcardField.location, variableName);
158             }
159         }
160         if(!recordMap.isEmpty()) {
161             for(FieldAssignment field : recordMap.values())
162                 context.getErrorLog().log(field.location, "Field " + field.name + " is not defined in the constructor.");
163             return null;
164         }
165         if(DEBUG)
166             System.out.println(" => parameters = " + Arrays.toString(parameters));
167         return parameters;
168     }
169
170     @Override
171     public void setLocationDeep(long loc) {
172         if(location == Locations.NO_LOCATION) {
173             location = loc;
174             for(FieldAssignment field : fields)
175                 if(field.value != null)
176                     field.value.setLocationDeep(loc);
177         }
178     }
179     
180     @Override
181     public Expression accept(ExpressionTransformer transformer) {
182         return transformer.transform(this);
183     }
184     
185     @Override
186     public void accept(ExpressionVisitor visitor) {
187         visitor.visit(this);
188     }
189 }