| // Copyright (c) 2019, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| import 'package:analyzer/src/dart/analysis/experiments.dart'; |
| import 'package:analyzer/src/error/codes.dart'; |
| import 'package:analyzer/src/generated/engine.dart'; |
| import 'package:test/test.dart'; |
| import 'package:test_reflective_loader/test_reflective_loader.dart'; |
| |
| import '../dart/resolution/driver_resolution.dart'; |
| |
| main() { |
| defineReflectiveSuite(() { |
| defineReflectiveTests(ConstEvalThrowsExceptionTest); |
| defineReflectiveTests(ConstEvalThrowsExceptionWithConstantUpdateTest); |
| defineReflectiveTests(ConstEvalThrowsExceptionWithUiAsCodeAndConstantsTest); |
| defineReflectiveTests(ConstEvalThrowsExceptionWithUIAsCodeTest); |
| }); |
| } |
| |
| /// TODO(paulberry): move other tests from [CheckedModeCompileTimeErrorCodeTest] |
| /// and [CompileTimeErrorCodeTestBase] to this class. |
| @reflectiveTest |
| class ConstEvalThrowsExceptionTest extends DriverResolutionTest { |
| test_CastError_intToDouble_constructor_importAnalyzedAfter() async { |
| // See dartbug.com/35993 |
| newFile('/test/lib/other.dart', content: ''' |
| class Foo { |
| final double value; |
| |
| const Foo(this.value); |
| } |
| |
| class Bar { |
| final Foo value; |
| |
| const Bar(this.value); |
| |
| const Bar.some() : this(const Foo(1)); |
| }'''); |
| await assertNoErrorsInCode(r''' |
| import 'other.dart'; |
| |
| void main() { |
| const foo = Foo(1); |
| const bar = Bar.some(); |
| print("$foo, $bar"); |
| } |
| '''); |
| var otherFileResult = |
| await resolveFile(convertPath('/test/lib/other.dart')); |
| expect(otherFileResult.errors, isEmpty); |
| } |
| |
| test_CastError_intToDouble_constructor_importAnalyzedBefore() async { |
| // See dartbug.com/35993 |
| newFile('/test/lib/other.dart', content: ''' |
| class Foo { |
| final double value; |
| |
| const Foo(this.value); |
| } |
| |
| class Bar { |
| final Foo value; |
| |
| const Bar(this.value); |
| |
| const Bar.some() : this(const Foo(1)); |
| }'''); |
| await assertNoErrorsInCode(r''' |
| import 'other.dart'; |
| |
| void main() { |
| const foo = Foo(1); |
| const bar = Bar.some(); |
| print("$foo, $bar"); |
| } |
| '''); |
| var otherFileResult = |
| await resolveFile(convertPath('/test/lib/other.dart')); |
| expect(otherFileResult.errors, isEmpty); |
| } |
| |
| test_default_constructor_arg_empty_map_importAnalyzedAfter() async { |
| newFile('/test/lib/other.dart', content: ''' |
| class C { |
| final Map<String, int> m; |
| const C({this.m = const <String, int>{}}) |
| : assert(m != null); |
| } |
| '''); |
| await assertNoErrorsInCode(''' |
| import 'other.dart'; |
| |
| main() { |
| var c = const C(); |
| } |
| '''); |
| var otherFileResult = |
| await resolveFile(convertPath('/test/lib/other.dart')); |
| expect(otherFileResult.errors, isEmpty); |
| } |
| |
| test_default_constructor_arg_empty_map_importAnalyzedBefore() async { |
| newFile('/test/lib/other.dart', content: ''' |
| class C { |
| final Map<String, int> m; |
| const C({this.m = const <String, int>{}}) |
| : assert(m != null); |
| } |
| '''); |
| await assertNoErrorsInCode(''' |
| import 'other.dart'; |
| |
| main() { |
| var c = const C(); |
| } |
| '''); |
| var otherFileResult = |
| await resolveFile(convertPath('/test/lib/other.dart')); |
| expect(otherFileResult.errors, isEmpty); |
| } |
| } |
| |
| @reflectiveTest |
| class ConstEvalThrowsExceptionWithConstantUpdateTest |
| extends ConstEvalThrowsExceptionTest { |
| @override |
| AnalysisOptionsImpl get analysisOptions => AnalysisOptionsImpl() |
| ..enabledExperiments = [ |
| EnableString.constant_update_2018, |
| ]; |
| |
| test_eqEq_nonPrimitiveRightOperand() async { |
| await assertNoErrorsInCode(''' |
| const c = const T.eq(1, const Object()); |
| class T { |
| final Object value; |
| const T.eq(Object o1, Object o2) : value = o1 == o2; |
| } |
| '''); |
| } |
| } |
| |
| @reflectiveTest |
| class ConstEvalThrowsExceptionWithUiAsCodeAndConstantsTest |
| extends ConstEvalThrowsExceptionWithUIAsCodeTest { |
| @override |
| AnalysisOptionsImpl get analysisOptions => AnalysisOptionsImpl() |
| ..enabledExperiments = [ |
| EnableString.control_flow_collections, |
| EnableString.spread_collections, |
| EnableString.constant_update_2018 |
| ]; |
| } |
| |
| @reflectiveTest |
| class ConstEvalThrowsExceptionWithUIAsCodeTest |
| extends ConstEvalThrowsExceptionTest { |
| @override |
| AnalysisOptionsImpl get analysisOptions => AnalysisOptionsImpl() |
| ..enabledExperiments = [ |
| EnableString.control_flow_collections, |
| EnableString.spread_collections, |
| ]; |
| |
| test_ifElement_false_thenNotEvaluated() async { |
| await assertErrorsInCode( |
| ''' |
| const dynamic nil = null; |
| const c = [if (1 < 0) nil + 1]; |
| ''', |
| analysisOptions.experimentStatus.constant_update_2018 |
| ? [] |
| : [ |
| error(CompileTimeErrorCode.NON_CONSTANT_LIST_ELEMENT, 37, 18), |
| ]); |
| } |
| |
| test_ifElement_nonBoolCondition_list() async { |
| await assertErrorsInCode( |
| ''' |
| const dynamic nonBool = 3; |
| const c = const [if (nonBool) 'a']; |
| ''', |
| analysisOptions.experimentStatus.constant_update_2018 |
| ? [ |
| error(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION, 48, 7), |
| ] |
| : [ |
| error(CompileTimeErrorCode.NON_CONSTANT_LIST_ELEMENT, 44, 16), |
| error(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION, 48, 7), |
| ]); |
| } |
| |
| test_ifElement_nonBoolCondition_map() async { |
| await assertErrorsInCode( |
| ''' |
| const dynamic nonBool = null; |
| const c = const {if (nonBool) 'a' : 1}; |
| ''', |
| analysisOptions.experimentStatus.constant_update_2018 |
| ? [ |
| error(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION, 51, 7), |
| ] |
| : [ |
| error(CompileTimeErrorCode.NON_CONSTANT_MAP_ELEMENT, 47, 20), |
| error(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION, 51, 7), |
| ]); |
| } |
| |
| test_ifElement_nonBoolCondition_set() async { |
| await assertErrorsInCode( |
| ''' |
| const dynamic nonBool = 'a'; |
| const c = const {if (nonBool) 3}; |
| ''', |
| analysisOptions.experimentStatus.constant_update_2018 |
| ? [ |
| error(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION, 50, 7), |
| ] |
| : [ |
| error(CompileTimeErrorCode.NON_CONSTANT_SET_ELEMENT, 46, 14), |
| error(CompileTimeErrorCode.CONST_EVAL_THROWS_EXCEPTION, 50, 7), |
| ]); |
| } |
| |
| test_ifElement_true_elseNotEvaluated() async { |
| await assertErrorsInCode( |
| ''' |
| const dynamic nil = null; |
| const c = [if (0 < 1) 3 else nil + 1]; |
| ''', |
| analysisOptions.experimentStatus.constant_update_2018 |
| ? [] |
| : [ |
| error(CompileTimeErrorCode.NON_CONSTANT_LIST_ELEMENT, 37, 25), |
| ]); |
| } |
| } |