| 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 RUNTIME_VM_CLASS_FINALIZER_H_ | 5 #ifndef RUNTIME_VM_CLASS_FINALIZER_H_ |
| 6 #define RUNTIME_VM_CLASS_FINALIZER_H_ | 6 #define RUNTIME_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 #include "vm/object.h" | 10 #include "vm/object.h" |
| (...skipping 17 matching lines...) Expand all Loading... |
| 28 // canonicalization are required. | 28 // canonicalization are required. |
| 29 }; | 29 }; |
| 30 | 30 |
| 31 // Finalize given type while parsing class cls. | 31 // Finalize given type while parsing class cls. |
| 32 // Also canonicalize type if applicable. | 32 // Also canonicalize type if applicable. |
| 33 static RawAbstractType* FinalizeType(const Class& cls, | 33 static RawAbstractType* FinalizeType(const Class& cls, |
| 34 const AbstractType& type, | 34 const AbstractType& type, |
| 35 FinalizationKind finalization, | 35 FinalizationKind finalization, |
| 36 PendingTypes* pending_types = NULL); | 36 PendingTypes* pending_types = NULL); |
| 37 | 37 |
| 38 // Finalize the types in the functions's signature while parsing class cls. |
| 39 static void FinalizeSignature(const Class& cls, const Function& function); |
| 40 |
| 38 // Allocate, finalize, and return a new malformed type as if it was declared | 41 // Allocate, finalize, and return a new malformed type as if it was declared |
| 39 // in class cls at the given token position. | 42 // in class cls at the given token position. |
| 40 // If not null, prepend prev_error to the error message built from the format | 43 // If not null, prepend prev_error to the error message built from the format |
| 41 // string and its arguments. | 44 // string and its arguments. |
| 42 static RawType* NewFinalizedMalformedType(const Error& prev_error, | 45 static RawType* NewFinalizedMalformedType(const Error& prev_error, |
| 43 const Script& script, | 46 const Script& script, |
| 44 TokenPosition type_pos, | 47 TokenPosition type_pos, |
| 45 const char* format, | 48 const char* format, |
| 46 ...) PRINTF_ATTRIBUTE(4, 5); | 49 ...) PRINTF_ATTRIBUTE(4, 5); |
| 47 | 50 |
| (...skipping 97 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 145 const AbstractType& type, | 148 const AbstractType& type, |
| 146 PendingTypes* pending_types); | 149 PendingTypes* pending_types); |
| 147 static void CheckTypeBounds(const Class& cls, const AbstractType& type); | 150 static void CheckTypeBounds(const Class& cls, const AbstractType& type); |
| 148 static void CheckTypeArgumentBounds(const Class& cls, | 151 static void CheckTypeArgumentBounds(const Class& cls, |
| 149 const TypeArguments& arguments, | 152 const TypeArguments& arguments, |
| 150 Error* bound_error); | 153 Error* bound_error); |
| 151 static void ResolveUpperBounds(const Class& cls); | 154 static void ResolveUpperBounds(const Class& cls); |
| 152 static void FinalizeUpperBounds(const Class& cls, | 155 static void FinalizeUpperBounds(const Class& cls, |
| 153 FinalizationKind finalization); | 156 FinalizationKind finalization); |
| 154 static void ResolveSignature(const Class& cls, const Function& function); | 157 static void ResolveSignature(const Class& cls, const Function& function); |
| 155 static void FinalizeSignature(const Class& cls, const Function& function); | |
| 156 static void ResolveAndFinalizeMemberTypes(const Class& cls); | 158 static void ResolveAndFinalizeMemberTypes(const Class& cls); |
| 157 static void PrintClassInformation(const Class& cls); | 159 static void PrintClassInformation(const Class& cls); |
| 158 static void CollectInterfaces(const Class& cls, | 160 static void CollectInterfaces(const Class& cls, |
| 159 GrowableArray<const Class*>* collected); | 161 GrowableArray<const Class*>* collected); |
| 160 | 162 |
| 161 static void MarkTypeMalformed(const Error& prev_error, | 163 static void MarkTypeMalformed(const Error& prev_error, |
| 162 const Script& script, | 164 const Script& script, |
| 163 const Type& type, | 165 const Type& type, |
| 164 const char* format, | 166 const char* format, |
| 165 va_list args); | 167 va_list args); |
| 166 static void ReportError(const Error& error); | 168 static void ReportError(const Error& error); |
| 167 static void ReportError(const Class& cls, | 169 static void ReportError(const Class& cls, |
| 168 TokenPosition token_pos, | 170 TokenPosition token_pos, |
| 169 const char* format, | 171 const char* format, |
| 170 ...) PRINTF_ATTRIBUTE(3, 4); | 172 ...) PRINTF_ATTRIBUTE(3, 4); |
| 171 static void ReportErrors(const Error& prev_error, | 173 static void ReportErrors(const Error& prev_error, |
| 172 const Class& cls, | 174 const Class& cls, |
| 173 TokenPosition token_pos, | 175 TokenPosition token_pos, |
| 174 const char* format, | 176 const char* format, |
| 175 ...) PRINTF_ATTRIBUTE(4, 5); | 177 ...) PRINTF_ATTRIBUTE(4, 5); |
| 176 | 178 |
| 177 // Verify implicit offsets recorded in the VM for direct access to fields of | 179 // Verify implicit offsets recorded in the VM for direct access to fields of |
| 178 // Dart instances (e.g: _TypedListView, _ByteDataView). | 180 // Dart instances (e.g: _TypedListView, _ByteDataView). |
| 179 static void VerifyImplicitFieldOffsets(); | 181 static void VerifyImplicitFieldOffsets(); |
| 180 }; | 182 }; |
| 181 | 183 |
| 182 } // namespace dart | 184 } // namespace dart |
| 183 | 185 |
| 184 #endif // RUNTIME_VM_CLASS_FINALIZER_H_ | 186 #endif // RUNTIME_VM_CLASS_FINALIZER_H_ |
| OLD | NEW |