OLD | NEW |
| (Empty) |
1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file | |
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.md file. | |
4 | |
5 library fletchc.fletch_codegen_registry; | |
6 | |
7 import 'package:compiler/src/compiler.dart' show | |
8 GlobalDependencyRegistry; | |
9 | |
10 import 'package:compiler/src/common/codegen.dart' show | |
11 CodegenRegistry; | |
12 | |
13 import 'package:compiler/src/common/registry.dart' show | |
14 Registry; | |
15 | |
16 import 'package:compiler/src/universe/selector.dart' show | |
17 Selector; | |
18 | |
19 import 'package:compiler/src/universe/use.dart' show | |
20 DynamicUse, | |
21 StaticUse; | |
22 | |
23 import 'package:compiler/src/elements/elements.dart' show | |
24 ClassElement, | |
25 Element, | |
26 FunctionElement, | |
27 LocalElement; | |
28 | |
29 import 'package:compiler/src/dart_types.dart' show | |
30 DartType, | |
31 InterfaceType; | |
32 | |
33 import 'fletch_compiler_implementation.dart' show | |
34 FletchCompilerImplementation; | |
35 | |
36 import 'fletch_enqueuer.dart' show | |
37 FletchEnqueuer; | |
38 | |
39 /// Represents ways a function can used as a closure. See also [Closurization] | |
40 /// in [./dynamic_call_enqueuer.dart]. | |
41 enum ClosureKind { | |
42 // Notes: | |
43 // | |
44 // * We don't need to distinguish between instance/static/top-level | |
45 // tear-offs. This information is implicit in the function whose usage is | |
46 // described.. | |
47 // | |
48 // * [localFunction] is sufficiently different from [tearOff], that it | |
49 // probably leads to less confusion having separate kinds; we don't normally | |
50 // refer to a local function closure as a "tear-off". But the information is | |
51 // implicit in the associated element. | |
52 // | |
53 // * [functionLike] is different from [tearOff] as the former will not imply | |
54 // a synthetic class (stubs are added to the enclosing/holder class) | |
55 // | |
56 // * [superTearOff] is probably redundant with [tearOff]. | |
57 | |
58 /// The result of getting a member function (this can be an instance, a | |
59 /// static, or top-level function). See also [functionLikeTearOff]. | |
60 tearOff, | |
61 | |
62 /// The "call" method of a class that has a call method (and thus implements | |
63 /// [Function]) | |
64 functionLike, | |
65 | |
66 /// The result of getting an instance method named "call" | |
67 functionLikeTearOff, | |
68 | |
69 /// A local function (aka closure) that has escaped | |
70 localFunction, | |
71 | |
72 /// The result of getting a super instance function | |
73 superTearOff, | |
74 } | |
75 | |
76 class FletchRegistry { | |
77 final FletchEnqueuer world; | |
78 | |
79 FletchRegistry(FletchCompilerImplementation compiler) | |
80 : world = compiler.enqueuer.codegen; | |
81 | |
82 void registerStaticUse(StaticUse staticUse) { | |
83 // TODO(ahe): Call a different method. | |
84 world.registerStaticUse(staticUse); | |
85 } | |
86 | |
87 void registerInstantiatedClass(ClassElement element) { | |
88 world.registerInstantiatedType(element.rawType); | |
89 } | |
90 | |
91 void registerDynamicUse(Selector selector) { | |
92 world.registerDynamicUse(new DynamicUse(selector, null)); | |
93 } | |
94 | |
95 void registerInstantiatedType(InterfaceType type) { | |
96 world.registerInstantiatedType(type); | |
97 } | |
98 | |
99 void registerIsCheck(DartType type) { | |
100 world.registerIsCheck(type); | |
101 } | |
102 | |
103 void registerLocalInvoke(LocalElement element, Selector selector) { | |
104 world.recordElementUsage(element, selector); | |
105 } | |
106 | |
107 void registerClosurization(FunctionElement function, ClosureKind kind) { | |
108 switch (kind) { | |
109 case ClosureKind.superTearOff: | |
110 case ClosureKind.tearOff: | |
111 assert(function.memberContext == function); | |
112 break; | |
113 | |
114 case ClosureKind.functionLike: | |
115 case ClosureKind.functionLikeTearOff: | |
116 assert(function.memberContext == function); | |
117 assert(function.isInstanceMember); | |
118 assert(function.name == "call"); | |
119 break; | |
120 | |
121 case ClosureKind.localFunction: | |
122 assert(function.memberContext != function); | |
123 } | |
124 world.dynamicCallEnqueuer.enqueueClosure(function, kind); | |
125 } | |
126 } | |
OLD | NEW |