Chromium Code Reviews| OLD | NEW |
|---|---|
| 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 library fasta.builder_accessors; | 5 library fasta.builder_accessors; |
| 6 | 6 |
| 7 export 'frontend_accessors.dart' show wrapInvalid; | 7 export 'package:kernel/frontend/accessors.dart' show wrapInvalid; |
| 8 | 8 |
| 9 import 'frontend_accessors.dart' show Accessor; | 9 import 'package:kernel/frontend/accessors.dart' |
| 10 show Accessor, buildIsNull, makeLet; | |
| 10 | 11 |
| 11 import 'package:kernel/ast.dart'; | 12 import 'package:kernel/ast.dart'; |
| 12 | 13 |
| 13 import '../errors.dart' show internalError; | 14 import '../errors.dart' show internalError; |
| 14 | 15 |
| 15 import '../builder/scope.dart' show AccessErrorBuilder, ProblemBuilder; | 16 import '../builder/scope.dart' show AccessErrorBuilder, ProblemBuilder; |
| 16 | 17 |
| 17 import 'frontend_accessors.dart' as kernel | 18 import 'package:kernel/frontend/accessors.dart' as kernel |
| 18 show | 19 show |
| 19 IndexAccessor, | 20 IndexAccessor, |
| 20 NullAwarePropertyAccessor, | 21 NullAwarePropertyAccessor, |
| 21 PropertyAccessor, | 22 PropertyAccessor, |
| 22 StaticAccessor, | 23 StaticAccessor, |
| 23 SuperIndexAccessor, | 24 SuperIndexAccessor, |
| 24 SuperPropertyAccessor, | 25 SuperPropertyAccessor, |
| 25 ThisIndexAccessor, | 26 ThisIndexAccessor, |
| 26 ThisPropertyAccessor, | 27 ThisPropertyAccessor, |
| 27 VariableAccessor; | 28 VariableAccessor; |
| 28 | 29 |
| 29 import 'frontend_accessors.dart' show buildIsNull, makeLet; | |
| 30 | |
| 31 import 'kernel_builder.dart' | 30 import 'kernel_builder.dart' |
| 32 show Builder, KernelClassBuilder, PrefixBuilder, TypeDeclarationBuilder; | 31 show Builder, KernelClassBuilder, PrefixBuilder, TypeDeclarationBuilder; |
| 33 | 32 |
| 34 import '../names.dart' show callName; | 33 import '../names.dart' show callName; |
| 35 | 34 |
| 36 abstract class BuilderHelper { | 35 abstract class BuilderHelper { |
| 37 Uri get uri; | 36 Uri get uri; |
| 38 | 37 |
| 39 Constructor lookupConstructor(Name name, {bool isSuper}); | 38 Constructor lookupConstructor(Name name, {bool isSuper}); |
| 40 | 39 |
| 41 Expression toSuperMethodInvocation(MethodInvocation node); | 40 Expression toSuperMethodInvocation(MethodInvocation node); |
| 42 | 41 |
| 43 Expression toValue(node); | 42 Expression toValue(node); |
| 44 | 43 |
| 45 Member lookupSuperMember(Name name, {bool isSetter: false}); | 44 Member lookupSuperMember(Name name, {bool isSetter: false}); |
| 46 | 45 |
| 47 builderToFirstExpression(Builder builder, String name, int charOffset); | 46 builderToFirstExpression(Builder builder, String name, int offset); |
| 48 | 47 |
| 49 finishSend(Object receiver, Arguments arguments, int charOffset); | 48 finishSend(Object receiver, Arguments arguments, int offset); |
| 50 | 49 |
| 51 Expression buildCompileTimeError(error, [int charOffset]); | 50 Expression buildCompileTimeError(error, [int offset]); |
| 52 | 51 |
| 53 Initializer buildCompileTimeErrorIntializer(error, [int charOffset]); | 52 Initializer buildCompileTimeErrorIntializer(error, [int offset]); |
| 54 | 53 |
| 55 Expression buildStaticInvocation(Procedure target, Arguments arguments); | 54 Expression buildStaticInvocation(Procedure target, Arguments arguments); |
| 56 | 55 |
| 57 Expression buildProblemExpression(ProblemBuilder builder, int charOffset); | 56 Expression buildProblemExpression(ProblemBuilder builder, int offset); |
| 58 | 57 |
| 59 Expression throwNoSuchMethodError( | 58 Expression throwNoSuchMethodError( |
| 60 String name, Arguments arguments, int charOffset, | 59 String name, Arguments arguments, int offset, |
| 61 {bool isSuper: false, isGetter: false, isSetter: false}); | 60 {bool isSuper: false, isGetter: false, isSetter: false}); |
| 62 } | 61 } |
| 63 | 62 |
| 64 abstract class BuilderAccessor implements Accessor { | 63 abstract class BuilderAccessor implements Accessor { |
|
ahe
2017/03/27 10:47:26
I'll rename this to FastaAccessor in the next CL.
| |
| 65 BuilderHelper get helper; | 64 BuilderHelper get helper; |
| 66 | 65 |
| 67 int get charOffset; | |
| 68 | |
| 69 String get plainNameForRead; | 66 String get plainNameForRead; |
| 70 | 67 |
| 71 Uri get uri => helper.uri; | 68 Uri get uri => helper.uri; |
| 72 | 69 |
| 73 String get plainNameForWrite => plainNameForRead; | 70 String get plainNameForWrite => plainNameForRead; |
| 74 | 71 |
| 75 Expression buildForEffect() => buildSimpleRead(); | 72 Expression buildForEffect() => buildSimpleRead(); |
| 76 | 73 |
| 77 Initializer buildFieldInitializer( | 74 Initializer buildFieldInitializer( |
| 78 Map<String, FieldInitializer> initializers) { | 75 Map<String, FieldInitializer> initializers) { |
| 79 // TODO(ahe): This error message is really bad. | 76 // TODO(ahe): This error message is really bad. |
| 80 return helper.buildCompileTimeErrorIntializer( | 77 return helper.buildCompileTimeErrorIntializer( |
| 81 "Can't use $plainNameForRead here.", charOffset); | 78 "Can't use $plainNameForRead here.", offset); |
| 82 } | 79 } |
| 83 | 80 |
| 84 Expression makeInvalidRead() { | 81 Expression makeInvalidRead() { |
| 85 return buildThrowNoSuchMethodError(new Arguments.empty(), isGetter: true); | 82 return buildThrowNoSuchMethodError(new Arguments.empty(), isGetter: true); |
| 86 } | 83 } |
| 87 | 84 |
| 88 Expression makeInvalidWrite(Expression value) { | 85 Expression makeInvalidWrite(Expression value) { |
| 89 return buildThrowNoSuchMethodError(new Arguments(<Expression>[value]), | 86 return buildThrowNoSuchMethodError(new Arguments(<Expression>[value]), |
| 90 isSetter: true); | 87 isSetter: true); |
| 91 } | 88 } |
| 92 | 89 |
| 93 /* Expression | BuilderAccessor */ doInvocation( | 90 /* Expression | BuilderAccessor */ doInvocation( |
| 94 int charOffset, Arguments arguments); | 91 int offset, Arguments arguments); |
| 95 | 92 |
| 96 /* Expression | BuilderAccessor */ buildPropertyAccess( | 93 /* Expression | BuilderAccessor */ buildPropertyAccess( |
| 97 IncompleteSend send, bool isNullAware) { | 94 IncompleteSend send, bool isNullAware) { |
| 98 if (send is SendAccessor) { | 95 if (send is SendAccessor) { |
| 99 return buildMethodInvocation( | 96 return buildMethodInvocation( |
| 100 buildSimpleRead(), send.name, send.arguments, send.charOffset, | 97 buildSimpleRead(), send.name, send.arguments, send.offset, |
| 101 isNullAware: isNullAware); | 98 isNullAware: isNullAware); |
| 102 } else { | 99 } else { |
| 103 return PropertyAccessor.make(helper, send.charOffset, buildSimpleRead(), | 100 return PropertyAccessor.make(helper, send.offset, buildSimpleRead(), |
| 104 send.name, null, null, isNullAware); | 101 send.name, null, null, isNullAware); |
| 105 } | 102 } |
| 106 } | 103 } |
| 107 | 104 |
| 108 /* Expression | BuilderAccessor */ buildThrowNoSuchMethodError( | 105 /* Expression | BuilderAccessor */ buildThrowNoSuchMethodError( |
| 109 Arguments arguments, | 106 Arguments arguments, |
| 110 {bool isSuper: false, | 107 {bool isSuper: false, |
| 111 isGetter: false, | 108 isGetter: false, |
| 112 isSetter: false, | 109 isSetter: false, |
| 113 String name, | 110 String name, |
| 114 int charOffset}) { | 111 int offset}) { |
| 115 return helper.throwNoSuchMethodError( | 112 return helper.throwNoSuchMethodError( |
| 116 name ?? plainNameForWrite, arguments, charOffset ?? this.charOffset, | 113 name ?? plainNameForWrite, arguments, offset ?? this.offset, |
| 117 isGetter: isGetter, isSetter: isSetter, isSuper: isSuper); | 114 isGetter: isGetter, isSetter: isSetter, isSuper: isSuper); |
| 118 } | 115 } |
| 119 | 116 |
| 120 bool get isThisPropertyAccessor => false; | 117 bool get isThisPropertyAccessor => false; |
| 121 } | 118 } |
| 122 | 119 |
| 123 abstract class CompileTimeErrorAccessor implements BuilderAccessor { | 120 abstract class CompileTimeErrorAccessor implements BuilderAccessor { |
| 121 @override | |
| 122 Expression get builtBinary => internalError("Unsupported operation."); | |
| 123 | |
| 124 @override | |
| 125 void set builtBinary(Expression expression) { | |
| 126 internalError("Unsupported operation."); | |
| 127 } | |
| 128 | |
| 129 @override | |
| 130 Expression get builtGetter => internalError("Unsupported operation."); | |
| 131 | |
| 132 @override | |
| 133 void set builtGetter(Expression expression) { | |
| 134 internalError("Unsupported operation."); | |
| 135 } | |
| 136 | |
| 124 Expression buildError(); | 137 Expression buildError(); |
| 125 | 138 |
| 126 Name get name => internalError("Unsupported operation."); | 139 Name get name => internalError("Unsupported operation."); |
| 127 | 140 |
| 128 String get plainNameForRead => name.name; | 141 String get plainNameForRead => name.name; |
| 129 | 142 |
| 130 withReceiver(Object receiver, {bool isNullAware}) => this; | 143 withReceiver(Object receiver, {bool isNullAware}) => this; |
| 131 | 144 |
| 132 Initializer buildFieldInitializer( | 145 Initializer buildFieldInitializer( |
| 133 Map<String, FieldInitializer> initializers) { | 146 Map<String, FieldInitializer> initializers) { |
| 134 return new LocalInitializer(new VariableDeclaration.forValue(buildError())); | 147 return new LocalInitializer(new VariableDeclaration.forValue(buildError())); |
| 135 } | 148 } |
| 136 | 149 |
| 137 doInvocation(int charOffset, Arguments arguments) => this; | 150 doInvocation(int offset, Arguments arguments) => this; |
| 138 | 151 |
| 139 buildPropertyAccess(IncompleteSend send, bool isNullAware) => this; | 152 buildPropertyAccess(IncompleteSend send, bool isNullAware) => this; |
| 140 | 153 |
| 141 buildThrowNoSuchMethodError(Arguments arguments, | 154 buildThrowNoSuchMethodError(Arguments arguments, |
| 142 {bool isSuper: false, | 155 {bool isSuper: false, |
| 143 isGetter: false, | 156 isGetter: false, |
| 144 isSetter: false, | 157 isSetter: false, |
| 145 String name, | 158 String name, |
| 146 int charOffset}) { | 159 int offset}) { |
| 147 return this; | 160 return this; |
| 148 } | 161 } |
| 149 | 162 |
| 150 Expression buildAssignment(Expression value, {bool voidContext: false}) { | 163 Expression buildAssignment(Expression value, {bool voidContext: false}) { |
| 151 return buildError(); | 164 return buildError(); |
| 152 } | 165 } |
| 153 | 166 |
| 154 Expression buildCompoundAssignment( | 167 Expression buildCompoundAssignment(Name binaryOperator, Expression value, |
| 155 Name binaryOperator, Expression value, int charOffset, | 168 {int offset: TreeNode.noOffset, |
| 156 {bool voidContext: false, Procedure interfaceTarget}) { | 169 bool voidContext: false, |
| 170 Procedure interfaceTarget}) { | |
| 157 return buildError(); | 171 return buildError(); |
| 158 } | 172 } |
| 159 | 173 |
| 160 Expression buildPrefixIncrement(Name binaryOperator, int charOffset, | 174 Expression buildPrefixIncrement(Name binaryOperator, |
| 161 {bool voidContext: false, Procedure interfaceTarget}) { | 175 {int offset: TreeNode.noOffset, |
| 176 bool voidContext: false, | |
| 177 Procedure interfaceTarget}) { | |
| 162 return buildError(); | 178 return buildError(); |
| 163 } | 179 } |
| 164 | 180 |
| 165 Expression buildPostfixIncrement(Name binaryOperator, int charOffset, | 181 Expression buildPostfixIncrement(Name binaryOperator, |
| 166 {bool voidContext: false, Procedure interfaceTarget}) { | 182 {int offset: TreeNode.noOffset, |
| 183 bool voidContext: false, | |
| 184 Procedure interfaceTarget}) { | |
| 167 return buildError(); | 185 return buildError(); |
| 168 } | 186 } |
| 169 | 187 |
| 170 Expression buildNullAwareAssignment(Expression value, DartType type, | 188 Expression buildNullAwareAssignment(Expression value, DartType type, |
| 171 {bool voidContext: false}) { | 189 {bool voidContext: false}) { |
| 172 return buildError(); | 190 return buildError(); |
| 173 } | 191 } |
| 174 | 192 |
| 175 Expression buildSimpleRead() => buildError(); | 193 Expression buildSimpleRead() => buildError(); |
| 176 | 194 |
| 177 Expression makeInvalidRead() => buildError(); | 195 Expression makeInvalidRead() => buildError(); |
| 178 | 196 |
| 179 Expression makeInvalidWrite(Expression value) => buildError(); | 197 Expression makeInvalidWrite(Expression value) => buildError(); |
| 180 } | 198 } |
| 181 | 199 |
| 182 class ThisAccessor extends BuilderAccessor { | 200 class ThisAccessor extends BuilderAccessor { |
| 183 final BuilderHelper helper; | 201 final BuilderHelper helper; |
| 184 | 202 |
| 185 final int charOffset; | 203 final int offset; |
| 186 | 204 |
| 187 final bool isInitializer; | 205 final bool isInitializer; |
| 188 | 206 |
| 189 final bool isSuper; | 207 final bool isSuper; |
| 190 | 208 |
| 191 ThisAccessor(this.helper, this.charOffset, this.isInitializer, | 209 ThisAccessor(this.helper, this.offset, this.isInitializer, |
| 192 {this.isSuper: false}); | 210 {this.isSuper: false}); |
| 193 | 211 |
| 212 @override | |
| 213 Expression get builtBinary => internalError("Unsupported operation."); | |
| 214 | |
| 215 @override | |
| 216 void set builtBinary(Expression expression) { | |
| 217 internalError("Unsupported operation."); | |
| 218 } | |
| 219 | |
| 220 @override | |
| 221 Expression get builtGetter => internalError("Unsupported operation."); | |
| 222 | |
| 223 @override | |
| 224 void set builtGetter(Expression expression) { | |
| 225 internalError("Unsupported operation."); | |
| 226 } | |
| 227 | |
| 194 String get plainNameForRead => internalError(isSuper ? "super" : "this"); | 228 String get plainNameForRead => internalError(isSuper ? "super" : "this"); |
| 195 | 229 |
| 196 Expression buildSimpleRead() { | 230 Expression buildSimpleRead() { |
| 197 if (!isSuper) { | 231 if (!isSuper) { |
| 198 return new ThisExpression(); | 232 return new ThisExpression(); |
| 199 } else { | 233 } else { |
| 200 return helper.buildCompileTimeError( | 234 return helper.buildCompileTimeError( |
| 201 "Can't use `super` as an expression.", charOffset); | 235 "Can't use `super` as an expression.", offset); |
| 202 } | 236 } |
| 203 } | 237 } |
| 204 | 238 |
| 205 Initializer buildFieldInitializer( | 239 Initializer buildFieldInitializer( |
| 206 Map<String, FieldInitializer> initializers) { | 240 Map<String, FieldInitializer> initializers) { |
| 207 String keyword = isSuper ? "super" : "this"; | 241 String keyword = isSuper ? "super" : "this"; |
| 208 return helper.buildCompileTimeErrorIntializer( | 242 return helper.buildCompileTimeErrorIntializer( |
| 209 "Can't use '$keyword' here, did you mean '$keyword()'?", charOffset); | 243 "Can't use '$keyword' here, did you mean '$keyword()'?", offset); |
| 210 } | 244 } |
| 211 | 245 |
| 212 buildPropertyAccess(IncompleteSend send, bool isNullAware) { | 246 buildPropertyAccess(IncompleteSend send, bool isNullAware) { |
| 213 if (isInitializer && send is SendAccessor) { | 247 if (isInitializer && send is SendAccessor) { |
| 214 return buildConstructorInitializer( | 248 return buildConstructorInitializer( |
| 215 send.charOffset, send.name, send.arguments); | 249 send.offset, send.name, send.arguments); |
| 216 } | 250 } |
| 217 if (send is SendAccessor) { | 251 if (send is SendAccessor) { |
| 218 // Notice that 'this' or 'super' can't be null. So we can ignore the | 252 // Notice that 'this' or 'super' can't be null. So we can ignore the |
| 219 // value of [isNullAware]. | 253 // value of [isNullAware]. |
| 220 MethodInvocation result = buildMethodInvocation( | 254 MethodInvocation result = buildMethodInvocation( |
| 221 new ThisExpression(), send.name, send.arguments, charOffset); | 255 new ThisExpression(), send.name, send.arguments, offset); |
| 222 return isSuper ? helper.toSuperMethodInvocation(result) : result; | 256 return isSuper ? helper.toSuperMethodInvocation(result) : result; |
| 223 } else { | 257 } else { |
| 224 if (isSuper) { | 258 if (isSuper) { |
| 225 Member getter = helper.lookupSuperMember(send.name); | 259 Member getter = helper.lookupSuperMember(send.name); |
| 226 Member setter = helper.lookupSuperMember(send.name, isSetter: true); | 260 Member setter = helper.lookupSuperMember(send.name, isSetter: true); |
| 227 return new SuperPropertyAccessor( | 261 return new SuperPropertyAccessor( |
| 228 helper, send.charOffset, send.name, getter, setter); | 262 helper, send.offset, send.name, getter, setter); |
| 229 } else { | 263 } else { |
| 230 return new ThisPropertyAccessor( | 264 return new ThisPropertyAccessor( |
| 231 helper, send.charOffset, send.name, null, null); | 265 helper, send.offset, send.name, null, null); |
| 232 } | 266 } |
| 233 } | 267 } |
| 234 } | 268 } |
| 235 | 269 |
| 236 doInvocation(int charOffset, Arguments arguments) { | 270 doInvocation(int offset, Arguments arguments) { |
| 237 if (isInitializer) { | 271 if (isInitializer) { |
| 238 return buildConstructorInitializer(charOffset, new Name(""), arguments); | 272 return buildConstructorInitializer(offset, new Name(""), arguments); |
| 239 } else { | 273 } else { |
| 240 return buildMethodInvocation( | 274 return buildMethodInvocation( |
| 241 new ThisExpression(), callName, arguments, charOffset); | 275 new ThisExpression(), callName, arguments, offset); |
| 242 } | 276 } |
| 243 } | 277 } |
| 244 | 278 |
| 245 Initializer buildConstructorInitializer( | 279 Initializer buildConstructorInitializer( |
| 246 int charOffset, Name name, Arguments arguments) { | 280 int offset, Name name, Arguments arguments) { |
| 247 Constructor constructor = helper.lookupConstructor(name, isSuper: isSuper); | 281 Constructor constructor = helper.lookupConstructor(name, isSuper: isSuper); |
| 248 Initializer result; | 282 Initializer result; |
| 249 if (constructor == null) { | 283 if (constructor == null) { |
| 250 result = new LocalInitializer(new VariableDeclaration.forValue( | 284 result = new LocalInitializer(new VariableDeclaration.forValue( |
| 251 buildThrowNoSuchMethodError(arguments, | 285 buildThrowNoSuchMethodError(arguments, |
| 252 isSuper: isSuper, name: name.name, charOffset: charOffset))); | 286 isSuper: isSuper, name: name.name, offset: offset))); |
| 253 } else if (isSuper) { | 287 } else if (isSuper) { |
| 254 result = new SuperInitializer(constructor, arguments); | 288 result = new SuperInitializer(constructor, arguments); |
| 255 } else { | 289 } else { |
| 256 result = new RedirectingInitializer(constructor, arguments); | 290 result = new RedirectingInitializer(constructor, arguments); |
| 257 } | 291 } |
| 258 return result..fileOffset = charOffset; | 292 return result..fileOffset = offset; |
| 259 } | 293 } |
| 260 | 294 |
| 261 Expression buildAssignment(Expression value, {bool voidContext: false}) { | 295 Expression buildAssignment(Expression value, {bool voidContext: false}) { |
| 262 return buildAssignmentError(); | 296 return buildAssignmentError(); |
| 263 } | 297 } |
| 264 | 298 |
| 265 Expression buildNullAwareAssignment(Expression value, DartType type, | 299 Expression buildNullAwareAssignment(Expression value, DartType type, |
| 266 {bool voidContext: false}) { | 300 {bool voidContext: false}) { |
| 267 return buildAssignmentError(); | 301 return buildAssignmentError(); |
| 268 } | 302 } |
| 269 | 303 |
| 270 Expression buildCompoundAssignment( | 304 Expression buildCompoundAssignment(Name binaryOperator, Expression value, |
| 271 Name binaryOperator, Expression value, int charOffset, | 305 {int offset: TreeNode.noOffset, |
| 272 {bool voidContext: false, Procedure interfaceTarget}) { | 306 bool voidContext: false, |
| 307 Procedure interfaceTarget}) { | |
| 273 return buildAssignmentError(); | 308 return buildAssignmentError(); |
| 274 } | 309 } |
| 275 | 310 |
| 276 Expression buildPrefixIncrement(Name binaryOperator, int charOffset, | 311 Expression buildPrefixIncrement(Name binaryOperator, |
| 277 {bool voidContext: false, Procedure interfaceTarget}) { | 312 {int offset: TreeNode.noOffset, |
| 313 bool voidContext: false, | |
| 314 Procedure interfaceTarget}) { | |
| 278 return buildAssignmentError(); | 315 return buildAssignmentError(); |
| 279 } | 316 } |
| 280 | 317 |
| 281 Expression buildPostfixIncrement(Name binaryOperator, int charOffset, | 318 Expression buildPostfixIncrement(Name binaryOperator, |
| 282 {bool voidContext: false, Procedure interfaceTarget}) { | 319 {int offset: TreeNode.noOffset, |
| 320 bool voidContext: false, | |
| 321 Procedure interfaceTarget}) { | |
| 283 return buildAssignmentError(); | 322 return buildAssignmentError(); |
| 284 } | 323 } |
| 285 | 324 |
| 286 Expression buildAssignmentError() { | 325 Expression buildAssignmentError() { |
| 287 String message = | 326 String message = |
| 288 isSuper ? "Can't assign to 'super'." : "Can't assign to 'this'."; | 327 isSuper ? "Can't assign to 'super'." : "Can't assign to 'this'."; |
| 289 return helper.buildCompileTimeError(message, charOffset); | 328 return helper.buildCompileTimeError(message, offset); |
| 290 } | 329 } |
| 291 | 330 |
| 292 toString() => "ThisAccessor($charOffset${isSuper ? ', super' : ''})"; | 331 toString() => "ThisAccessor($offset${isSuper ? ', super' : ''})"; |
| 293 } | 332 } |
| 294 | 333 |
| 295 abstract class IncompleteSend extends BuilderAccessor { | 334 abstract class IncompleteSend extends BuilderAccessor { |
| 296 final BuilderHelper helper; | 335 final BuilderHelper helper; |
| 297 | 336 |
| 298 final int charOffset; | 337 @override |
| 338 final int offset; | |
| 299 | 339 |
| 300 final Name name; | 340 final Name name; |
| 301 | 341 |
| 302 IncompleteSend(this.helper, this.charOffset, this.name); | 342 IncompleteSend(this.helper, this.offset, this.name); |
| 343 | |
| 344 @override | |
| 345 Expression get builtBinary => internalError("Unsupported operation."); | |
| 346 | |
| 347 @override | |
| 348 void set builtBinary(Expression expression) { | |
| 349 internalError("Unsupported operation."); | |
| 350 } | |
| 351 | |
| 352 @override | |
| 353 Expression get builtGetter => internalError("Unsupported operation."); | |
| 354 | |
| 355 @override | |
| 356 void set builtGetter(Expression expression) { | |
| 357 internalError("Unsupported operation."); | |
| 358 } | |
| 303 | 359 |
| 304 withReceiver(Object receiver, {bool isNullAware}); | 360 withReceiver(Object receiver, {bool isNullAware}); |
| 305 } | 361 } |
| 306 | 362 |
| 307 class IncompleteError extends IncompleteSend with CompileTimeErrorAccessor { | 363 class IncompleteError extends IncompleteSend with CompileTimeErrorAccessor { |
| 308 final Object error; | 364 final Object error; |
| 309 | 365 |
| 310 IncompleteError(BuilderHelper helper, int charOffset, this.error) | 366 IncompleteError(BuilderHelper helper, int offset, this.error) |
| 311 : super(helper, charOffset, null); | 367 : super(helper, offset, null); |
| 312 | 368 |
| 313 Expression buildError() { | 369 Expression buildError() { |
| 314 return helper.buildCompileTimeError(error, charOffset); | 370 return helper.buildCompileTimeError(error, offset); |
| 315 } | 371 } |
| 316 } | 372 } |
| 317 | 373 |
| 318 class SendAccessor extends IncompleteSend { | 374 class SendAccessor extends IncompleteSend { |
| 319 final Arguments arguments; | 375 final Arguments arguments; |
| 320 | 376 |
| 321 SendAccessor(BuilderHelper helper, int charOffset, Name name, this.arguments) | 377 SendAccessor(BuilderHelper helper, int offset, Name name, this.arguments) |
| 322 : super(helper, charOffset, name) { | 378 : super(helper, offset, name) { |
| 323 assert(arguments != null); | 379 assert(arguments != null); |
| 324 } | 380 } |
| 325 | 381 |
| 326 String get plainNameForRead => name.name; | 382 String get plainNameForRead => name.name; |
| 327 | 383 |
| 328 Expression buildSimpleRead() { | 384 Expression buildSimpleRead() { |
| 329 return internalError("Unhandled"); | 385 return internalError("Unhandled"); |
| 330 } | 386 } |
| 331 | 387 |
| 332 Expression buildAssignment(Expression value, {bool voidContext: false}) { | 388 Expression buildAssignment(Expression value, {bool voidContext: false}) { |
| 333 return internalError("Unhandled"); | 389 return internalError("Unhandled"); |
| 334 } | 390 } |
| 335 | 391 |
| 336 withReceiver(Object receiver, {bool isNullAware: false}) { | 392 withReceiver(Object receiver, {bool isNullAware: false}) { |
| 337 if (receiver is TypeDeclarationBuilder) { | 393 if (receiver is TypeDeclarationBuilder) { |
| 338 /// `SomeType?.toString` is the same as `SomeType.toString`, not | 394 /// `SomeType?.toString` is the same as `SomeType.toString`, not |
| 339 /// `(SomeType).toString`. | 395 /// `(SomeType).toString`. |
| 340 isNullAware = false; | 396 isNullAware = false; |
| 341 } | 397 } |
| 342 if (receiver is BuilderAccessor) { | 398 if (receiver is BuilderAccessor) { |
| 343 return receiver.buildPropertyAccess(this, isNullAware); | 399 return receiver.buildPropertyAccess(this, isNullAware); |
| 344 } | 400 } |
| 345 if (receiver is PrefixBuilder) { | 401 if (receiver is PrefixBuilder) { |
| 346 PrefixBuilder prefix = receiver; | 402 PrefixBuilder prefix = receiver; |
| 347 receiver = helper.builderToFirstExpression( | 403 receiver = helper.builderToFirstExpression( |
| 348 prefix.exports[name.name], "${prefix.name}.${name.name}", charOffset); | 404 prefix.exports[name.name], "${prefix.name}.${name.name}", offset); |
| 349 return helper.finishSend(receiver, arguments, charOffset); | 405 return helper.finishSend(receiver, arguments, offset); |
| 350 } | 406 } |
| 351 Expression result; | 407 Expression result; |
| 352 if (receiver is KernelClassBuilder) { | 408 if (receiver is KernelClassBuilder) { |
| 353 Builder builder = receiver.findStaticBuilder(name.name, charOffset, uri); | 409 Builder builder = receiver.findStaticBuilder(name.name, offset, uri); |
| 354 if (builder == null) { | 410 if (builder == null) { |
| 355 return buildThrowNoSuchMethodError(arguments); | 411 return buildThrowNoSuchMethodError(arguments); |
| 356 } | 412 } |
| 357 if (builder.hasProblem) { | 413 if (builder.hasProblem) { |
| 358 result = helper.buildProblemExpression(builder, charOffset); | 414 result = helper.buildProblemExpression(builder, offset); |
| 359 } else { | 415 } else { |
| 360 Member target = builder.target; | 416 Member target = builder.target; |
| 361 if (target != null) { | 417 if (target != null) { |
| 362 if (target is Field) { | 418 if (target is Field) { |
| 363 result = buildMethodInvocation(new StaticGet(target), callName, | 419 result = buildMethodInvocation(new StaticGet(target), callName, |
| 364 arguments, charOffset + (target.name?.name?.length ?? 0), | 420 arguments, offset + (target.name?.name?.length ?? 0), |
| 365 isNullAware: isNullAware); | 421 isNullAware: isNullAware); |
| 366 } else { | 422 } else { |
| 367 result = helper.buildStaticInvocation(target, arguments) | 423 result = helper.buildStaticInvocation(target, arguments) |
| 368 ..fileOffset = charOffset; | 424 ..fileOffset = offset; |
| 369 } | 425 } |
| 370 } else { | 426 } else { |
| 371 result = buildThrowNoSuchMethodError(arguments) | 427 result = buildThrowNoSuchMethodError(arguments)..fileOffset = offset; |
| 372 ..fileOffset = charOffset; | |
| 373 } | 428 } |
| 374 } | 429 } |
| 375 } else { | 430 } else { |
| 376 result = buildMethodInvocation( | 431 result = buildMethodInvocation( |
| 377 helper.toValue(receiver), name, arguments, charOffset, | 432 helper.toValue(receiver), name, arguments, offset, |
| 378 isNullAware: isNullAware); | 433 isNullAware: isNullAware); |
| 379 } | 434 } |
| 380 return result; | 435 return result; |
| 381 } | 436 } |
| 382 | 437 |
| 383 Expression buildNullAwareAssignment(Expression value, DartType type, | 438 Expression buildNullAwareAssignment(Expression value, DartType type, |
| 384 {bool voidContext: false}) { | 439 {bool voidContext: false}) { |
| 385 return internalError("Unhandled"); | 440 return internalError("Unhandled"); |
| 386 } | 441 } |
| 387 | 442 |
| 388 Expression buildCompoundAssignment( | 443 Expression buildCompoundAssignment(Name binaryOperator, Expression value, |
| 389 Name binaryOperator, Expression value, int charOffset, | 444 {int offset, bool voidContext: false, Procedure interfaceTarget}) { |
| 390 {bool voidContext: false, Procedure interfaceTarget}) { | |
| 391 return internalError("Unhandled"); | 445 return internalError("Unhandled"); |
| 392 } | 446 } |
| 393 | 447 |
| 394 Expression buildPrefixIncrement(Name binaryOperator, int charOffset, | 448 Expression buildPrefixIncrement(Name binaryOperator, |
| 395 {bool voidContext: false, Procedure interfaceTarget}) { | 449 {int offset, bool voidContext: false, Procedure interfaceTarget}) { |
| 396 return internalError("Unhandled"); | 450 return internalError("Unhandled"); |
| 397 } | 451 } |
| 398 | 452 |
| 399 Expression buildPostfixIncrement(Name binaryOperator, int charOffset, | 453 Expression buildPostfixIncrement(Name binaryOperator, |
| 400 {bool voidContext: false, Procedure interfaceTarget}) { | 454 {int offset, bool voidContext: false, Procedure interfaceTarget}) { |
| 401 return internalError("Unhandled"); | 455 return internalError("Unhandled"); |
| 402 } | 456 } |
| 403 | 457 |
| 404 Expression doInvocation(int charOffset, Arguments arguments) { | 458 Expression doInvocation(int offset, Arguments arguments) { |
| 405 return internalError("Unhandled"); | 459 return internalError("Unhandled"); |
| 406 } | 460 } |
| 407 | 461 |
| 408 toString() => "SendAccessor($charOffset, $name, $arguments)"; | 462 toString() => "SendAccessor($offset, $name, $arguments)"; |
| 409 } | 463 } |
| 410 | 464 |
| 411 class IncompletePropertyAccessor extends IncompleteSend { | 465 class IncompletePropertyAccessor extends IncompleteSend { |
| 412 IncompletePropertyAccessor(BuilderHelper helper, int charOffset, Name name) | 466 IncompletePropertyAccessor(BuilderHelper helper, int offset, Name name) |
| 413 : super(helper, charOffset, name); | 467 : super(helper, offset, name); |
| 414 | 468 |
| 415 String get plainNameForRead => name.name; | 469 String get plainNameForRead => name.name; |
| 416 | 470 |
| 417 Expression buildSimpleRead() => internalError("Unhandled"); | 471 Expression buildSimpleRead() => internalError("Unhandled"); |
| 418 | 472 |
| 419 Expression buildAssignment(Expression value, {bool voidContext: false}) { | 473 Expression buildAssignment(Expression value, {bool voidContext: false}) { |
| 420 return internalError("Unhandled"); | 474 return internalError("Unhandled"); |
| 421 } | 475 } |
| 422 | 476 |
| 423 withReceiver(Object receiver, {bool isNullAware: false}) { | 477 withReceiver(Object receiver, {bool isNullAware: false}) { |
| 424 if (receiver is TypeDeclarationBuilder) { | 478 if (receiver is TypeDeclarationBuilder) { |
| 425 /// For reasons beyond comprehension, `SomeType?.toString` is the same as | 479 /// For reasons beyond comprehension, `SomeType?.toString` is the same as |
| 426 /// `SomeType.toString`, not `(SomeType).toString`. WTAF!?! | 480 /// `SomeType.toString`, not `(SomeType).toString`. WTAF!?! |
| 427 // | 481 // |
| 428 isNullAware = false; | 482 isNullAware = false; |
| 429 } | 483 } |
| 430 if (receiver is BuilderAccessor) { | 484 if (receiver is BuilderAccessor) { |
| 431 return receiver.buildPropertyAccess(this, isNullAware); | 485 return receiver.buildPropertyAccess(this, isNullAware); |
| 432 } | 486 } |
| 433 if (receiver is PrefixBuilder) { | 487 if (receiver is PrefixBuilder) { |
| 434 PrefixBuilder prefix = receiver; | 488 PrefixBuilder prefix = receiver; |
| 435 return helper.builderToFirstExpression( | 489 return helper.builderToFirstExpression( |
| 436 prefix.exports[name.name], name.name, charOffset); | 490 prefix.exports[name.name], name.name, offset); |
| 437 } | 491 } |
| 438 if (receiver is KernelClassBuilder) { | 492 if (receiver is KernelClassBuilder) { |
| 439 Builder builder = receiver.findStaticBuilder(name.name, charOffset, uri); | 493 Builder builder = receiver.findStaticBuilder(name.name, offset, uri); |
| 440 if (builder == null) { | 494 if (builder == null) { |
| 441 // If we find a setter, [builder] is an [AccessErrorBuilder], not null. | 495 // If we find a setter, [builder] is an [AccessErrorBuilder], not null. |
| 442 return buildThrowNoSuchMethodError(new Arguments.empty(), | 496 return buildThrowNoSuchMethodError(new Arguments.empty(), |
| 443 isGetter: true); | 497 isGetter: true); |
| 444 } | 498 } |
| 445 Builder setter; | 499 Builder setter; |
| 446 if (builder.isSetter) { | 500 if (builder.isSetter) { |
| 447 setter = builder; | 501 setter = builder; |
| 448 } else if (builder.isGetter) { | 502 } else if (builder.isGetter) { |
| 449 setter = receiver.findStaticBuilder(name.name, charOffset, uri, | 503 setter = |
| 450 isSetter: true); | 504 receiver.findStaticBuilder(name.name, offset, uri, isSetter: true); |
| 451 } else if (builder.isField && !builder.isFinal) { | 505 } else if (builder.isField && !builder.isFinal) { |
| 452 setter = builder; | 506 setter = builder; |
| 453 } | 507 } |
| 454 return new StaticAccessor.fromBuilder( | 508 return new StaticAccessor.fromBuilder(helper, builder, offset, setter); |
| 455 helper, builder, charOffset, setter); | |
| 456 } | 509 } |
| 457 return PropertyAccessor.make(helper, charOffset, helper.toValue(receiver), | 510 return PropertyAccessor.make(helper, offset, helper.toValue(receiver), name, |
| 458 name, null, null, isNullAware); | 511 null, null, isNullAware); |
| 459 } | 512 } |
| 460 | 513 |
| 461 Expression buildNullAwareAssignment(Expression value, DartType type, | 514 Expression buildNullAwareAssignment(Expression value, DartType type, |
| 462 {bool voidContext: false}) { | 515 {bool voidContext: false}) { |
| 463 return internalError("Unhandled"); | 516 return internalError("Unhandled"); |
| 464 } | 517 } |
| 465 | 518 |
| 466 Expression buildCompoundAssignment( | 519 Expression buildCompoundAssignment(Name binaryOperator, Expression value, |
| 467 Name binaryOperator, Expression value, int charOffset, | 520 {int offset, bool voidContext: false, Procedure interfaceTarget}) { |
| 468 {bool voidContext: false, Procedure interfaceTarget}) { | |
| 469 return internalError("Unhandled"); | 521 return internalError("Unhandled"); |
| 470 } | 522 } |
| 471 | 523 |
| 472 Expression buildPrefixIncrement(Name binaryOperator, int charOffset, | 524 Expression buildPrefixIncrement(Name binaryOperator, |
| 473 {bool voidContext: false, Procedure interfaceTarget}) { | 525 {int offset, bool voidContext: false, Procedure interfaceTarget}) { |
| 474 return internalError("Unhandled"); | 526 return internalError("Unhandled"); |
| 475 } | 527 } |
| 476 | 528 |
| 477 Expression buildPostfixIncrement(Name binaryOperator, int charOffset, | 529 Expression buildPostfixIncrement(Name binaryOperator, |
| 478 {bool voidContext: false, Procedure interfaceTarget}) { | 530 {int offset, bool voidContext: false, Procedure interfaceTarget}) { |
| 479 return internalError("Unhandled"); | 531 return internalError("Unhandled"); |
| 480 } | 532 } |
| 481 | 533 |
| 482 Expression doInvocation(int charOffset, Arguments arguments) { | 534 Expression doInvocation(int offset, Arguments arguments) { |
| 483 return internalError("Unhandled"); | 535 return internalError("Unhandled"); |
| 484 } | 536 } |
| 485 | 537 |
| 486 toString() => "IncompletePropertyAccessor($charOffset, $name)"; | 538 toString() => "IncompletePropertyAccessor($offset, $name)"; |
| 487 } | 539 } |
| 488 | 540 |
| 489 class IndexAccessor extends kernel.IndexAccessor with BuilderAccessor { | 541 class IndexAccessor extends kernel.IndexAccessor with BuilderAccessor { |
| 490 final BuilderHelper helper; | 542 final BuilderHelper helper; |
| 491 | 543 |
| 492 IndexAccessor.internal(this.helper, int charOffset, Expression receiver, | 544 IndexAccessor.internal(this.helper, int offset, Expression receiver, |
| 493 Expression index, Procedure getter, Procedure setter) | 545 Expression index, Procedure getter, Procedure setter) |
| 494 : super.internal(receiver, index, getter, setter, charOffset); | 546 : super.internal(receiver, index, getter, setter, offset); |
| 495 | 547 |
| 496 String get plainNameForRead => "[]"; | 548 String get plainNameForRead => "[]"; |
| 497 | 549 |
| 498 String get plainNameForWrite => "[]="; | 550 String get plainNameForWrite => "[]="; |
| 499 | 551 |
| 500 Expression doInvocation(int charOffset, Arguments arguments) { | 552 Expression doInvocation(int offset, Arguments arguments) { |
| 501 return buildMethodInvocation( | 553 return buildMethodInvocation( |
| 502 buildSimpleRead(), callName, arguments, charOffset); | 554 buildSimpleRead(), callName, arguments, offset); |
| 503 } | 555 } |
| 504 | 556 |
| 505 toString() => "IndexAccessor()"; | 557 toString() => "IndexAccessor()"; |
| 506 | 558 |
| 507 static BuilderAccessor make( | 559 static BuilderAccessor make( |
| 508 BuilderHelper helper, | 560 BuilderHelper helper, |
| 509 int charOffset, | 561 int offset, |
| 510 Expression receiver, | 562 Expression receiver, |
| 511 Expression index, | 563 Expression index, |
| 512 Procedure getter, | 564 Procedure getter, |
| 513 Procedure setter) { | 565 Procedure setter) { |
| 514 if (receiver is ThisExpression) { | 566 if (receiver is ThisExpression) { |
| 515 return new ThisIndexAccessor(helper, charOffset, index, getter, setter); | 567 return new ThisIndexAccessor(helper, offset, index, getter, setter); |
| 516 } else { | 568 } else { |
| 517 return new IndexAccessor.internal( | 569 return new IndexAccessor.internal( |
| 518 helper, charOffset, receiver, index, getter, setter); | 570 helper, offset, receiver, index, getter, setter); |
| 519 } | 571 } |
| 520 } | 572 } |
| 521 } | 573 } |
| 522 | 574 |
| 523 class PropertyAccessor extends kernel.PropertyAccessor with BuilderAccessor { | 575 class PropertyAccessor extends kernel.PropertyAccessor with BuilderAccessor { |
| 524 final BuilderHelper helper; | 576 final BuilderHelper helper; |
| 525 | 577 |
| 526 PropertyAccessor.internal(this.helper, int charOffset, Expression receiver, | 578 PropertyAccessor.internal(this.helper, int offset, Expression receiver, |
| 527 Name name, Member getter, Member setter) | 579 Name name, Member getter, Member setter) |
| 528 : super.internal(receiver, name, getter, setter, charOffset); | 580 : super.internal(receiver, name, getter, setter, offset); |
| 529 | 581 |
| 530 String get plainNameForRead => name.name; | 582 String get plainNameForRead => name.name; |
| 531 | 583 |
| 532 bool get isThisPropertyAccessor => receiver is ThisExpression; | 584 bool get isThisPropertyAccessor => receiver is ThisExpression; |
| 533 | 585 |
| 534 Expression doInvocation(int charOffset, Arguments arguments) { | 586 Expression doInvocation(int offset, Arguments arguments) { |
| 535 return buildMethodInvocation(receiver, name, arguments, charOffset); | 587 return buildMethodInvocation(receiver, name, arguments, offset); |
| 536 } | 588 } |
| 537 | 589 |
| 538 toString() => "PropertyAccessor()"; | 590 toString() => "PropertyAccessor()"; |
| 539 | 591 |
| 540 static BuilderAccessor make( | 592 static BuilderAccessor make( |
| 541 BuilderHelper helper, | 593 BuilderHelper helper, |
| 542 int charOffset, | 594 int offset, |
| 543 Expression receiver, | 595 Expression receiver, |
| 544 Name name, | 596 Name name, |
| 545 Member getter, | 597 Member getter, |
| 546 Member setter, | 598 Member setter, |
| 547 bool isNullAware) { | 599 bool isNullAware) { |
| 548 if (receiver is ThisExpression) { | 600 if (receiver is ThisExpression) { |
| 549 return new ThisPropertyAccessor(helper, charOffset, name, getter, setter); | 601 return new ThisPropertyAccessor(helper, offset, name, getter, setter); |
| 550 } else { | 602 } else { |
| 551 return isNullAware | 603 return isNullAware |
| 552 ? new NullAwarePropertyAccessor( | 604 ? new NullAwarePropertyAccessor( |
| 553 helper, charOffset, receiver, name, getter, setter, null) | 605 helper, offset, receiver, name, getter, setter, null) |
| 554 : new PropertyAccessor.internal( | 606 : new PropertyAccessor.internal( |
| 555 helper, charOffset, receiver, name, getter, setter); | 607 helper, offset, receiver, name, getter, setter); |
| 556 } | 608 } |
| 557 } | 609 } |
| 558 } | 610 } |
| 559 | 611 |
| 560 class StaticAccessor extends kernel.StaticAccessor with BuilderAccessor { | 612 class StaticAccessor extends kernel.StaticAccessor with BuilderAccessor { |
| 561 final BuilderHelper helper; | 613 final BuilderHelper helper; |
| 562 | 614 |
| 563 StaticAccessor( | 615 StaticAccessor(this.helper, int offset, Member readTarget, Member writeTarget) |
| 564 this.helper, int charOffset, Member readTarget, Member writeTarget) | 616 : super(readTarget, writeTarget, offset) { |
| 565 : super(readTarget, writeTarget, charOffset) { | |
| 566 assert(readTarget != null || writeTarget != null); | 617 assert(readTarget != null || writeTarget != null); |
| 567 } | 618 } |
| 568 | 619 |
| 569 factory StaticAccessor.fromBuilder(BuilderHelper helper, Builder builder, | 620 factory StaticAccessor.fromBuilder(BuilderHelper helper, Builder builder, |
| 570 int charOffset, Builder builderSetter) { | 621 int offset, Builder builderSetter) { |
| 571 if (builder is AccessErrorBuilder) { | 622 if (builder is AccessErrorBuilder) { |
| 572 AccessErrorBuilder error = builder; | 623 AccessErrorBuilder error = builder; |
| 573 builder = error.builder; | 624 builder = error.builder; |
| 574 // We should only see an access error here if we've looked up a setter | 625 // We should only see an access error here if we've looked up a setter |
| 575 // when not explicitly looking for a setter. | 626 // when not explicitly looking for a setter. |
| 576 assert(builder.isSetter); | 627 assert(builder.isSetter); |
| 577 } else if (builder.target == null) { | 628 } else if (builder.target == null) { |
| 578 return internalError("Unhandled: ${builder}"); | 629 return internalError("Unhandled: ${builder}"); |
| 579 } | 630 } |
| 580 Member getter = builder.target.hasGetter ? builder.target : null; | 631 Member getter = builder.target.hasGetter ? builder.target : null; |
| 581 Member setter = builder.target.hasSetter ? builder.target : null; | 632 Member setter = builder.target.hasSetter ? builder.target : null; |
| 582 if (setter == null) { | 633 if (setter == null) { |
| 583 if (builderSetter?.target?.hasSetter ?? false) { | 634 if (builderSetter?.target?.hasSetter ?? false) { |
| 584 setter = builderSetter.target; | 635 setter = builderSetter.target; |
| 585 } | 636 } |
| 586 } | 637 } |
| 587 return new StaticAccessor(helper, charOffset, getter, setter); | 638 return new StaticAccessor(helper, offset, getter, setter); |
| 588 } | 639 } |
| 589 | 640 |
| 590 String get plainNameForRead => (readTarget ?? writeTarget).name.name; | 641 String get plainNameForRead => (readTarget ?? writeTarget).name.name; |
| 591 | 642 |
| 592 Expression doInvocation(int charOffset, Arguments arguments) { | 643 Expression doInvocation(int offset, Arguments arguments) { |
| 593 if (readTarget == null || isFieldOrGetter(readTarget)) { | 644 if (readTarget == null || isFieldOrGetter(readTarget)) { |
| 594 return buildMethodInvocation(buildSimpleRead(), callName, arguments, | 645 return buildMethodInvocation(buildSimpleRead(), callName, arguments, |
| 595 charOffset + (readTarget?.name?.name?.length ?? 0)); | 646 offset + (readTarget?.name?.name?.length ?? 0)); |
| 596 } else { | 647 } else { |
| 597 return helper.buildStaticInvocation(readTarget, arguments) | 648 return helper.buildStaticInvocation(readTarget, arguments) |
| 598 ..fileOffset = charOffset; | 649 ..fileOffset = offset; |
| 599 } | 650 } |
| 600 } | 651 } |
| 601 | 652 |
| 602 toString() => "StaticAccessor()"; | 653 toString() => "StaticAccessor()"; |
| 603 } | 654 } |
| 604 | 655 |
| 605 class SuperPropertyAccessor extends kernel.SuperPropertyAccessor | 656 class SuperPropertyAccessor extends kernel.SuperPropertyAccessor |
| 606 with BuilderAccessor { | 657 with BuilderAccessor { |
| 607 final BuilderHelper helper; | 658 final BuilderHelper helper; |
| 608 | 659 |
| 609 SuperPropertyAccessor( | 660 SuperPropertyAccessor( |
| 610 this.helper, int charOffset, Name name, Member getter, Member setter) | 661 this.helper, int offset, Name name, Member getter, Member setter) |
| 611 : super(name, getter, setter, charOffset); | 662 : super(name, getter, setter, offset); |
| 612 | 663 |
| 613 String get plainNameForRead => name.name; | 664 String get plainNameForRead => name.name; |
| 614 | 665 |
| 615 Expression doInvocation(int charOffset, Arguments arguments) { | 666 Expression doInvocation(int offset, Arguments arguments) { |
| 616 if (getter == null || isFieldOrGetter(getter)) { | 667 if (getter == null || isFieldOrGetter(getter)) { |
| 617 return buildMethodInvocation( | 668 return buildMethodInvocation( |
| 618 buildSimpleRead(), callName, arguments, charOffset); | 669 buildSimpleRead(), callName, arguments, offset); |
| 619 } else { | 670 } else { |
| 620 return new DirectMethodInvocation(new ThisExpression(), getter, arguments) | 671 return new DirectMethodInvocation(new ThisExpression(), getter, arguments) |
| 621 ..fileOffset = charOffset; | 672 ..fileOffset = offset; |
| 622 } | 673 } |
| 623 } | 674 } |
| 624 | 675 |
| 625 toString() => "SuperPropertyAccessor()"; | 676 toString() => "SuperPropertyAccessor()"; |
| 626 } | 677 } |
| 627 | 678 |
| 628 class ThisIndexAccessor extends kernel.ThisIndexAccessor with BuilderAccessor { | 679 class ThisIndexAccessor extends kernel.ThisIndexAccessor with BuilderAccessor { |
| 629 final BuilderHelper helper; | 680 final BuilderHelper helper; |
| 630 | 681 |
| 631 final int charOffset; | 682 ThisIndexAccessor(this.helper, int offset, Expression index, Procedure getter, |
| 632 | 683 Procedure setter) |
| 633 ThisIndexAccessor(this.helper, this.charOffset, Expression index, | 684 : super(index, getter, setter, offset); |
| 634 Procedure getter, Procedure setter) | |
| 635 : super(index, getter, setter); | |
| 636 | 685 |
| 637 String get plainNameForRead => "[]"; | 686 String get plainNameForRead => "[]"; |
| 638 | 687 |
| 639 String get plainNameForWrite => "[]="; | 688 String get plainNameForWrite => "[]="; |
| 640 | 689 |
| 641 Expression doInvocation(int charOffset, Arguments arguments) { | 690 Expression doInvocation(int offset, Arguments arguments) { |
| 642 return buildMethodInvocation( | 691 return buildMethodInvocation( |
| 643 buildSimpleRead(), callName, arguments, charOffset); | 692 buildSimpleRead(), callName, arguments, offset); |
| 644 } | 693 } |
| 645 | 694 |
| 646 toString() => "ThisIndexAccessor()"; | 695 toString() => "ThisIndexAccessor()"; |
| 647 } | 696 } |
| 648 | 697 |
| 649 class SuperIndexAccessor extends kernel.SuperIndexAccessor | 698 class SuperIndexAccessor extends kernel.SuperIndexAccessor |
| 650 with BuilderAccessor { | 699 with BuilderAccessor { |
| 651 final BuilderHelper helper; | 700 final BuilderHelper helper; |
| 652 | 701 |
| 653 final int charOffset; | 702 SuperIndexAccessor( |
| 654 | 703 this.helper, int offset, Expression index, Member getter, Member setter) |
| 655 SuperIndexAccessor(this.helper, this.charOffset, Expression index, | 704 : super(index, getter, setter, offset); |
| 656 Member getter, Member setter) | |
| 657 : super(index, getter, setter); | |
| 658 | 705 |
| 659 String get plainNameForRead => "[]"; | 706 String get plainNameForRead => "[]"; |
| 660 | 707 |
| 661 String get plainNameForWrite => "[]="; | 708 String get plainNameForWrite => "[]="; |
| 662 | 709 |
| 663 Expression doInvocation(int charOffset, Arguments arguments) { | 710 Expression doInvocation(int offset, Arguments arguments) { |
| 664 return buildMethodInvocation( | 711 return buildMethodInvocation( |
| 665 buildSimpleRead(), callName, arguments, charOffset); | 712 buildSimpleRead(), callName, arguments, offset); |
| 666 } | 713 } |
| 667 | 714 |
| 668 toString() => "SuperIndexAccessor()"; | 715 toString() => "SuperIndexAccessor()"; |
| 669 } | 716 } |
| 670 | 717 |
| 671 class ThisPropertyAccessor extends kernel.ThisPropertyAccessor | 718 class ThisPropertyAccessor extends kernel.ThisPropertyAccessor |
| 672 with BuilderAccessor { | 719 with BuilderAccessor { |
| 673 final BuilderHelper helper; | 720 final BuilderHelper helper; |
| 674 | 721 |
| 675 ThisPropertyAccessor( | 722 ThisPropertyAccessor( |
| 676 this.helper, int charOffset, Name name, Member getter, Member setter) | 723 this.helper, int offset, Name name, Member getter, Member setter) |
| 677 : super(name, getter, setter, charOffset); | 724 : super(name, getter, setter, offset); |
| 678 | 725 |
| 679 String get plainNameForRead => name.name; | 726 String get plainNameForRead => name.name; |
| 680 | 727 |
| 681 bool get isThisPropertyAccessor => true; | 728 bool get isThisPropertyAccessor => true; |
| 682 | 729 |
| 683 Expression doInvocation(int charOffset, Arguments arguments) { | 730 Expression doInvocation(int offset, Arguments arguments) { |
| 684 Member interfaceTarget = getter; | 731 Member interfaceTarget = getter; |
| 685 if (interfaceTarget is Field) { | 732 if (interfaceTarget is Field) { |
| 686 // TODO(ahe): In strong mode we should probably rewrite this to | 733 // TODO(ahe): In strong mode we should probably rewrite this to |
| 687 // `this.name.call(arguments)`. | 734 // `this.name.call(arguments)`. |
| 688 interfaceTarget = null; | 735 interfaceTarget = null; |
| 689 } | 736 } |
| 690 return buildMethodInvocation( | 737 return buildMethodInvocation(new ThisExpression(), name, arguments, offset); |
| 691 new ThisExpression(), name, arguments, charOffset); | |
| 692 } | 738 } |
| 693 | 739 |
| 694 toString() => "ThisPropertyAccessor()"; | 740 toString() => "ThisPropertyAccessor()"; |
| 695 } | 741 } |
| 696 | 742 |
| 697 class NullAwarePropertyAccessor extends kernel.NullAwarePropertyAccessor | 743 class NullAwarePropertyAccessor extends kernel.NullAwarePropertyAccessor |
| 698 with BuilderAccessor { | 744 with BuilderAccessor { |
| 699 final BuilderHelper helper; | 745 final BuilderHelper helper; |
| 700 | 746 |
| 701 final int charOffset; | 747 NullAwarePropertyAccessor(this.helper, int offset, Expression receiver, |
| 702 | |
| 703 NullAwarePropertyAccessor(this.helper, this.charOffset, Expression receiver, | |
| 704 Name name, Member getter, Member setter, DartType type) | 748 Name name, Member getter, Member setter, DartType type) |
| 705 : super(receiver, name, getter, setter, type); | 749 : super(receiver, name, getter, setter, type, offset); |
| 706 | 750 |
| 707 String get plainNameForRead => name.name; | 751 String get plainNameForRead => name.name; |
| 708 | 752 |
| 709 Expression doInvocation(int charOffset, Arguments arguments) { | 753 Expression doInvocation(int offset, Arguments arguments) { |
| 710 return internalError("Not implemented yet."); | 754 return internalError("Not implemented yet."); |
| 711 } | 755 } |
| 712 | 756 |
| 713 toString() => "NullAwarePropertyAccessor()"; | 757 toString() => "NullAwarePropertyAccessor()"; |
| 714 } | 758 } |
| 715 | 759 |
| 716 class VariableAccessor extends kernel.VariableAccessor with BuilderAccessor { | 760 class VariableAccessor extends kernel.VariableAccessor with BuilderAccessor { |
| 717 final BuilderHelper helper; | 761 final BuilderHelper helper; |
| 718 | 762 |
| 719 VariableAccessor(this.helper, int charOffset, VariableDeclaration variable, | 763 VariableAccessor(this.helper, int offset, VariableDeclaration variable, |
| 720 [DartType promotedType]) | 764 [DartType promotedType]) |
| 721 : super.internal(variable, charOffset, promotedType); | 765 : super(variable, promotedType, offset); |
| 722 | 766 |
| 723 String get plainNameForRead => variable.name; | 767 String get plainNameForRead => variable.name; |
| 724 | 768 |
| 725 Expression doInvocation(int charOffset, Arguments arguments) { | 769 Expression doInvocation(int offset, Arguments arguments) { |
| 726 // Normally the offset is at the start of the token, but in this case, | 770 // Normally the offset is at the start of the token, but in this case, |
| 727 // because we insert a '.call', we want it at the end instead. | 771 // because we insert a '.call', we want it at the end instead. |
| 728 return buildMethodInvocation(buildSimpleRead(), callName, arguments, | 772 return buildMethodInvocation(buildSimpleRead(), callName, arguments, |
| 729 charOffset + (variable.name?.length ?? 0)); | 773 offset + (variable.name?.length ?? 0)); |
| 730 } | 774 } |
| 731 | 775 |
| 732 toString() => "VariableAccessor()"; | 776 toString() => "VariableAccessor()"; |
| 733 } | 777 } |
| 734 | 778 |
| 735 bool isFieldOrGetter(Member member) { | 779 bool isFieldOrGetter(Member member) { |
| 736 return member is Field || (member is Procedure && member.isGetter); | 780 return member is Field || (member is Procedure && member.isGetter); |
| 737 } | 781 } |
| 738 | 782 |
| 739 Expression buildMethodInvocation( | 783 Expression buildMethodInvocation( |
| 740 Expression receiver, Name name, Arguments arguments, int charOffset, | 784 Expression receiver, Name name, Arguments arguments, int offset, |
| 741 {bool isNullAware: false}) { | 785 {bool isNullAware: false}) { |
| 742 if (isNullAware) { | 786 if (isNullAware) { |
| 743 VariableDeclaration variable = new VariableDeclaration.forValue(receiver); | 787 VariableDeclaration variable = new VariableDeclaration.forValue(receiver); |
| 744 return makeLet( | 788 return makeLet( |
| 745 variable, | 789 variable, |
| 746 new ConditionalExpression( | 790 new ConditionalExpression( |
| 747 buildIsNull(new VariableGet(variable)), | 791 buildIsNull(new VariableGet(variable)), |
| 748 new NullLiteral(), | 792 new NullLiteral(), |
| 749 new MethodInvocation(new VariableGet(variable), name, arguments) | 793 new MethodInvocation(new VariableGet(variable), name, arguments) |
| 750 ..fileOffset = charOffset, | 794 ..fileOffset = offset, |
| 751 const DynamicType())); | 795 const DynamicType())); |
| 752 } else { | 796 } else { |
| 753 return new MethodInvocation(receiver, name, arguments) | 797 return new MethodInvocation(receiver, name, arguments)..fileOffset = offset; |
| 754 ..fileOffset = charOffset; | |
| 755 } | 798 } |
| 756 } | 799 } |
| OLD | NEW |