-
Notifications
You must be signed in to change notification settings - Fork 1.6k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge 0c9067c into dev
- Loading branch information
Showing
26 changed files
with
666 additions
and
78 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
49 changes: 49 additions & 0 deletions
49
pkg/analysis_server/test/services/completion/dart/location/function_invocation_test.dart
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,49 @@ | ||
| // Copyright (c) 2024, 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:test_reflective_loader/test_reflective_loader.dart'; | ||
|
|
||
| import '../../../../client/completion_driver_test.dart'; | ||
|
|
||
| void main() { | ||
| defineReflectiveSuite(() { | ||
| defineReflectiveTests(FunctionInvocationTest); | ||
| }); | ||
| } | ||
|
|
||
| @reflectiveTest | ||
| class FunctionInvocationTest extends AbstractCompletionDriverTest | ||
| with FunctionInvocationTestCases {} | ||
|
|
||
| mixin FunctionInvocationTestCases on AbstractCompletionDriverTest { | ||
| Future<void> test_implicitCall() async { | ||
| await computeSuggestions(''' | ||
| extension E<T> on Comparator<T> { | ||
| Comparator<T> get inverse => (T a0, T b0) => this(^); | ||
| } | ||
| '''); | ||
| // TODO(brianwilkerson): `super` should not be suggested here. | ||
| assertResponse(r''' | ||
| suggestions | ||
| a0 | ||
| kind: parameter | ||
| b0 | ||
| kind: parameter | ||
| true | ||
| kind: keyword | ||
| false | ||
| kind: keyword | ||
| null | ||
| kind: keyword | ||
| this | ||
| kind: keyword | ||
| const | ||
| kind: keyword | ||
| super | ||
| kind: keyword | ||
| switch | ||
| kind: keyword | ||
| '''); | ||
| } | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
229 changes: 229 additions & 0 deletions
229
runtime/tests/vm/dart/dynamic_module_pragmas_il_test.dart
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,229 @@ | ||
| // Copyright (c) 2024, 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. | ||
|
|
||
| // Test for @pragma('dyn-module:extendable') and @pragma('dyn-module:can-be-overridden'). | ||
|
|
||
| import 'package:vm/testing/il_matchers.dart'; | ||
|
|
||
| @pragma('vm:never-inline') | ||
| void myprint(Object message) { | ||
| print(message); | ||
| } | ||
|
|
||
| abstract class A1 { | ||
| void foo(); | ||
| void bar(); | ||
| void baz(); | ||
| } | ||
|
|
||
| class B1 extends A1 { | ||
| void foo() { | ||
| myprint('B1.foo'); | ||
| } | ||
|
|
||
| void bar() { | ||
| myprint('B1.bar'); | ||
| } | ||
|
|
||
| @pragma('vm:never-inline') | ||
| void baz() { | ||
| myprint('B1.baz'); | ||
| } | ||
| } | ||
|
|
||
| class C1 extends B1 { | ||
| @pragma('vm:never-inline') | ||
| void baz() { | ||
| myprint('C1.baz'); | ||
| } | ||
| } | ||
|
|
||
| @pragma('vm:never-inline') | ||
| @pragma('vm:testing:print-flow-graph') | ||
| void callA1(A1 obj) { | ||
| obj.foo(); | ||
| obj.bar(); | ||
| obj.baz(); | ||
| } | ||
|
|
||
| @pragma('vm:never-inline') | ||
| @pragma('vm:testing:print-flow-graph') | ||
| void testIsA1(obj) { | ||
| myprint(obj is A1); | ||
| myprint(obj is B1); | ||
| myprint(obj is C1); | ||
| } | ||
|
|
||
| abstract class A2 { | ||
| void foo(); | ||
| void bar(); | ||
| void baz(); | ||
| } | ||
|
|
||
| @pragma('dyn-module:extendable') | ||
| class B2 extends A2 { | ||
| void foo() { | ||
| myprint('B2.foo'); | ||
| } | ||
|
|
||
| @pragma('dyn-module:can-be-overridden') | ||
| void bar() { | ||
| myprint('B2.bar'); | ||
| } | ||
|
|
||
| @pragma('vm:never-inline') | ||
| void baz() { | ||
| myprint('B2.baz'); | ||
| } | ||
| } | ||
|
|
||
| class C2 extends B2 { | ||
| @pragma('vm:never-inline') | ||
| void baz() { | ||
| myprint('C2.baz'); | ||
| } | ||
| } | ||
|
|
||
| class D2 extends B2 {} | ||
|
|
||
| @pragma('vm:never-inline') | ||
| @pragma('vm:testing:print-flow-graph') | ||
| void callA2(A2 obj) { | ||
| obj.foo(); | ||
| obj.bar(); | ||
| obj.baz(); | ||
| } | ||
|
|
||
| @pragma('vm:never-inline') | ||
| @pragma('vm:testing:print-flow-graph') | ||
| void testIsA2(obj) { | ||
| myprint(obj is A2); | ||
| myprint(obj is B2); | ||
| myprint(obj is C2); | ||
| } | ||
|
|
||
| List objs = [Object(), B1(), C1(), B2(), C2()]; | ||
|
|
||
| main() { | ||
| for (final obj in objs) { | ||
| testIsA1(obj); | ||
| testIsA2(obj); | ||
| if (obj is A1) { | ||
| callA1(obj); | ||
| } | ||
| if (obj is A2) { | ||
| callA2(obj); | ||
| } | ||
| } | ||
| } | ||
|
|
||
| void matchIL$callA1(FlowGraph graph) { | ||
| graph.dump(); | ||
| graph.match([ | ||
| match.block('Graph', []), | ||
| match.block('Function', [ | ||
| 'obj' << match.Parameter(index: 0), | ||
| match.CheckStackOverflow(), | ||
| match.MoveArgument(match.any), | ||
| match.StaticCall(match.any), | ||
| match.MoveArgument(match.any), | ||
| match.StaticCall(match.any), | ||
| 'cid' << match.LoadClassId('obj'), | ||
| match.MoveArgument('obj'), | ||
| match.DispatchTableCall('cid'), | ||
| match.DartReturn(match.any), | ||
| ]), | ||
| ]); | ||
| } | ||
|
|
||
| void matchIL$callA2(FlowGraph graph) { | ||
| graph.dump(); | ||
| graph.match([ | ||
| match.block('Graph', []), | ||
| match.block('Function', [ | ||
| 'obj' << match.Parameter(index: 0), | ||
| match.CheckStackOverflow(), | ||
| match.MoveArgument(match.any), | ||
| match.StaticCall(match.any), | ||
| 'cid1' << match.LoadClassId('obj'), | ||
| match.Branch(match.TestRange('cid1'), ifTrue: 'B7', ifFalse: 'B8'), | ||
| ]), | ||
| 'B7' << | ||
| match.block('Target', [ | ||
| match.MoveArgument('obj'), | ||
| match.DispatchTableCall('cid1'), | ||
| match.Goto('B9'), | ||
| ]), | ||
| 'B8' << | ||
| match.block('Target', [ | ||
| match.MoveArgument('obj'), | ||
| match.InstanceCall('obj'), | ||
| match.Goto('B9'), | ||
| ]), | ||
| 'B9' << | ||
| match.block('Join', [ | ||
| 'cid2' << match.LoadClassId('obj'), | ||
| match.Branch(match.TestRange('cid2'), ifTrue: 'B10', ifFalse: 'B11'), | ||
| ]), | ||
| 'B10' << | ||
| match.block('Target', [ | ||
| match.MoveArgument('obj'), | ||
| match.DispatchTableCall('cid2'), | ||
| match.Goto('B12'), | ||
| ]), | ||
| 'B11' << | ||
| match.block('Target', [ | ||
| match.MoveArgument('obj'), | ||
| match.InstanceCall('obj'), | ||
| match.Goto('B12'), | ||
| ]), | ||
| 'B12' << | ||
| match.block('Join', [ | ||
| match.DartReturn(match.any), | ||
| ]), | ||
| ]); | ||
| } | ||
|
|
||
| void matchIL$testIsA1(FlowGraph graph) { | ||
| graph.dump(); | ||
| graph.match([ | ||
| match.block('Graph', []), | ||
| match.block('Function', [ | ||
| 'obj' << match.Parameter(index: 0), | ||
| match.CheckStackOverflow(), | ||
| 'cid' << match.LoadClassId('obj'), | ||
| 'test1' << match.TestRange('cid'), | ||
| match.MoveArgument('test1'), | ||
| match.StaticCall('test1'), | ||
| match.MoveArgument('test1'), | ||
| match.StaticCall('test1'), | ||
| 'test2' << match.EqualityCompare('cid', match.any, kind: '=='), | ||
| match.MoveArgument('test2'), | ||
| match.StaticCall('test2'), | ||
| match.DartReturn(match.any), | ||
| ]), | ||
| ]); | ||
| } | ||
|
|
||
| void matchIL$testIsA2(FlowGraph graph) { | ||
| graph.dump(); | ||
| graph.match([ | ||
| match.block('Graph', []), | ||
| match.block('Function', [ | ||
| 'obj' << match.Parameter(index: 0), | ||
| match.CheckStackOverflow(), | ||
| 'test1' << match.InstanceOf('obj', match.any, match.any), | ||
| match.MoveArgument('test1'), | ||
| match.StaticCall('test1'), | ||
| 'test2' << match.InstanceOf('obj', match.any, match.any), | ||
| match.MoveArgument('test2'), | ||
| match.StaticCall('test2'), | ||
| 'cid' << match.LoadClassId('obj'), | ||
| 'test3' << match.EqualityCompare('cid', match.any, kind: '=='), | ||
| match.MoveArgument('test3'), | ||
| match.StaticCall('test3'), | ||
| match.DartReturn(match.any), | ||
| ]), | ||
| ]); | ||
| } |
Oops, something went wrong.