| 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 |