| 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 library kernel.transformations.insert_covariance_checks; | 4 library kernel.transformations.insert_covariance_checks; |
| 5 | 5 |
| 6 import '../class_hierarchy.dart'; | 6 import '../class_hierarchy.dart'; |
| 7 import '../clone.dart'; | 7 import '../clone.dart'; |
| 8 import '../core_types.dart'; | 8 import '../core_types.dart'; |
| 9 import '../kernel.dart'; | 9 import '../kernel.dart'; |
| 10 import '../log.dart'; | 10 import '../log.dart'; |
| (...skipping 360 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 371 if (unsafeInputs == null) { | 371 if (unsafeInputs == null) { |
| 372 return new VariableGet(cloneParameter); // No check needed. | 372 return new VariableGet(cloneParameter); // No check needed. |
| 373 } | 373 } |
| 374 // Change the actual parameter type to the safe type, and cast to the | 374 // Change the actual parameter type to the safe type, and cast to the |
| 375 // type declared on the original parameter. | 375 // type declared on the original parameter. |
| 376 // Use the cloner to map function type parameters to the cloned | 376 // Use the cloner to map function type parameters to the cloned |
| 377 // function type parameters (in case the function is generic). | 377 // function type parameters (in case the function is generic). |
| 378 var targetType = cloneParameter.type; | 378 var targetType = cloneParameter.type; |
| 379 cloneParameter.type = cloner.visitType(getSafeType(unsafeInputs)); | 379 cloneParameter.type = cloner.visitType(getSafeType(unsafeInputs)); |
| 380 return new AsExpression(new VariableGet(cloneParameter), targetType) | 380 return new AsExpression(new VariableGet(cloneParameter), targetType) |
| 381 ..fileOffset = parameter.fileOffset; | 381 ..fileOffset = parameter.fileOffset; |
| 382 } | 382 } |
| 383 | 383 |
| 384 // TODO: Insert checks for type parameter bounds. | 384 // TODO: Insert checks for type parameter bounds. |
| 385 var types = checkedFunction.typeParameters | 385 var types = checkedFunction.typeParameters |
| 386 .map((p) => new TypeParameterType(p)) | 386 .map((p) => new TypeParameterType(p)) |
| 387 .toList(); | 387 .toList(); |
| 388 var positional = function.positionalParameters.map(getParameter).toList(); | 388 var positional = function.positionalParameters.map(getParameter).toList(); |
| 389 var named = function.namedParameters | 389 var named = function.namedParameters |
| 390 .map((p) => new NamedExpression(p.name, getParameter(p))) | 390 .map((p) => new NamedExpression(p.name, getParameter(p))) |
| 391 .toList(); | 391 .toList(); |
| (...skipping 19 matching lines...) Expand all Loading... |
| 411 } | 411 } |
| 412 } | 412 } |
| 413 | 413 |
| 414 void generateCheckedFieldSetter(Field field) { | 414 void generateCheckedFieldSetter(Field field) { |
| 415 var parameter = getFieldSetterParameter(field); | 415 var parameter = getFieldSetterParameter(field); |
| 416 var unsafeTypes = unsafeParameterTypes[parameter]; | 416 var unsafeTypes = unsafeParameterTypes[parameter]; |
| 417 Expression argument = new VariableGet(parameter); | 417 Expression argument = new VariableGet(parameter); |
| 418 if (unsafeTypes != null) { | 418 if (unsafeTypes != null) { |
| 419 var castType = substitute(field.type, ownSubstitution); | 419 var castType = substitute(field.type, ownSubstitution); |
| 420 argument = new AsExpression(argument, castType) | 420 argument = new AsExpression(argument, castType) |
| 421 ..fileOffset = field.fileOffset; | 421 ..fileOffset = field.fileOffset; |
| 422 var inputType = substitute(getSafeType(unsafeTypes), ownSubstitution); | 422 var inputType = substitute(getSafeType(unsafeTypes), ownSubstitution); |
| 423 parameter.type = inputType; | 423 parameter.type = inputType; |
| 424 } | 424 } |
| 425 | 425 |
| 426 Statement body = field.isInExternalLibrary | 426 Statement body = field.isInExternalLibrary |
| 427 ? null | 427 ? null |
| 428 : new ExpressionStatement( | 428 : new ExpressionStatement( |
| 429 new DirectPropertySet(new ThisExpression(), field, argument)); | 429 new DirectPropertySet(new ThisExpression(), field, argument)); |
| 430 | 430 |
| 431 var setter = new Procedure( | 431 var setter = new Procedure( |
| (...skipping 84 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 516 @override | 516 @override |
| 517 visitPropertySet(PropertySet node) { | 517 visitPropertySet(PropertySet node) { |
| 518 var target = getChecked(node.receiver, node.interfaceTarget); | 518 var target = getChecked(node.receiver, node.interfaceTarget); |
| 519 if (target != null) { | 519 if (target != null) { |
| 520 node.interfaceTarget = target; | 520 node.interfaceTarget = target; |
| 521 node.name = target.name; | 521 node.name = target.name; |
| 522 } | 522 } |
| 523 node.visitChildren(this); | 523 node.visitChildren(this); |
| 524 } | 524 } |
| 525 } | 525 } |
| OLD | NEW |