OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 #ifndef VM_CLASS_FINALIZER_H_ | 5 #ifndef VM_CLASS_FINALIZER_H_ |
6 #define VM_CLASS_FINALIZER_H_ | 6 #define VM_CLASS_FINALIZER_H_ |
7 | 7 |
8 #include "vm/allocation.h" | 8 #include "vm/allocation.h" |
9 #include "vm/growable_array.h" | 9 #include "vm/growable_array.h" |
10 | 10 |
(...skipping 11 matching lines...) Expand all Loading... |
22 class Script; | 22 class Script; |
23 class Type; | 23 class Type; |
24 class UnresolvedClass; | 24 class UnresolvedClass; |
25 | 25 |
26 // Traverses all pending, unfinalized classes, validates and marks them as | 26 // Traverses all pending, unfinalized classes, validates and marks them as |
27 // finalized. | 27 // finalized. |
28 class ClassFinalizer : public AllStatic { | 28 class ClassFinalizer : public AllStatic { |
29 public: | 29 public: |
30 // Modes for type resolution and finalization. The ordering is relevant. | 30 // Modes for type resolution and finalization. The ordering is relevant. |
31 enum FinalizationKind { | 31 enum FinalizationKind { |
32 kIgnore, // Type is ignored and replaced by Dynamic. | 32 kIgnore, // Type is ignored and replaced by dynamic. |
33 kDoNotResolve, // Type resolution is postponed. | 33 kDoNotResolve, // Type resolution is postponed. |
34 kTryResolve, // Type resolution is attempted. | 34 kTryResolve, // Type resolution is attempted. |
35 kFinalize, // Type resolution and type finalization are | 35 kFinalize, // Type resolution and type finalization are |
36 // required; a malformed type is tolerated. | 36 // required; a malformed type is tolerated. |
37 kCanonicalize, // Same as kFinalize, but with canonicalization. | 37 kCanonicalize, // Same as kFinalize, but with canonicalization. |
38 kCanonicalizeForCreation, // Same as kCanonicalize, but do not tolerate | 38 kCanonicalizeForCreation, // Same as kCanonicalize, but do not tolerate |
39 // wrong number of type arguments. | 39 // wrong number of type arguments. |
40 kCanonicalizeWellFormed // Error-free resolution, finalization, and | 40 kCanonicalizeWellFormed // Error-free resolution, finalization, and |
41 // canonicalization are required; a malformed | 41 // canonicalization are required; a malformed |
42 // type is not tolerated. | 42 // type is not tolerated. |
(...skipping 77 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
120 static void ReportError(const Error& error); | 120 static void ReportError(const Error& error); |
121 static void ReportError(const Script& script, | 121 static void ReportError(const Script& script, |
122 intptr_t token_index, | 122 intptr_t token_index, |
123 const char* format, ...) PRINTF_ATTRIBUTE(3, 4); | 123 const char* format, ...) PRINTF_ATTRIBUTE(3, 4); |
124 static void ReportError(const char* format, ...) PRINTF_ATTRIBUTE(1, 2); | 124 static void ReportError(const char* format, ...) PRINTF_ATTRIBUTE(1, 2); |
125 }; | 125 }; |
126 | 126 |
127 } // namespace dart | 127 } // namespace dart |
128 | 128 |
129 #endif // VM_CLASS_FINALIZER_H_ | 129 #endif // VM_CLASS_FINALIZER_H_ |
OLD | NEW |