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 #include "vm/object.h" | 5 #include "vm/object.h" |
6 | 6 |
7 #include "include/dart_api.h" | 7 #include "include/dart_api.h" |
8 #include "platform/assert.h" | 8 #include "platform/assert.h" |
9 #include "vm/assembler.h" | 9 #include "vm/assembler.h" |
10 #include "vm/cpu.h" | 10 #include "vm/cpu.h" |
(...skipping 13923 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
13934 // Shortcut unnecessary handle allocation below. | 13934 // Shortcut unnecessary handle allocation below. |
13935 return true; | 13935 return true; |
13936 } | 13936 } |
13937 const intptr_t num_type_args = cls.NumTypeArguments(); | 13937 const intptr_t num_type_args = cls.NumTypeArguments(); |
13938 const intptr_t from_index = num_type_args - num_type_params; | 13938 const intptr_t from_index = num_type_args - num_type_params; |
13939 const TypeArguments& type_args = TypeArguments::Handle(isolate, arguments()); | 13939 const TypeArguments& type_args = TypeArguments::Handle(isolate, arguments()); |
13940 const TypeArguments& other_type_args = TypeArguments::Handle( | 13940 const TypeArguments& other_type_args = TypeArguments::Handle( |
13941 isolate, other_type.arguments()); | 13941 isolate, other_type.arguments()); |
13942 if (type_args.IsNull()) { | 13942 if (type_args.IsNull()) { |
13943 // Ignore from_index. | 13943 // Ignore from_index. |
13944 return other_type_args.IsRaw(0, num_type_params); | 13944 return other_type_args.IsRaw(0, num_type_args); |
13945 } | 13945 } |
13946 if (other_type_args.IsNull()) { | 13946 if (other_type_args.IsNull()) { |
13947 // Ignore from_index. | 13947 // Ignore from_index. |
13948 return type_args.IsRaw(0, num_type_params); | 13948 return type_args.IsRaw(0, num_type_args); |
13949 } | 13949 } |
13950 if (!type_args.IsSubvectorEquivalent(other_type_args, | 13950 if (!type_args.IsSubvectorEquivalent(other_type_args, |
13951 from_index, | 13951 from_index, |
13952 num_type_params)) { | 13952 num_type_params)) { |
13953 return false; | 13953 return false; |
13954 } | 13954 } |
13955 #ifdef DEBUG | 13955 #ifdef DEBUG |
13956 if (from_index > 0) { | 13956 if (from_index > 0) { |
13957 // Verify that the type arguments of the super class match, since they | 13957 // Verify that the type arguments of the super class match, since they |
13958 // depend solely on the type parameters that were just verified to match. | 13958 // depend solely on the type parameters that were just verified to match. |
(...skipping 4887 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
18846 return tag_label.ToCString(); | 18846 return tag_label.ToCString(); |
18847 } | 18847 } |
18848 | 18848 |
18849 | 18849 |
18850 void UserTag::PrintJSONImpl(JSONStream* stream, bool ref) const { | 18850 void UserTag::PrintJSONImpl(JSONStream* stream, bool ref) const { |
18851 Instance::PrintJSONImpl(stream, ref); | 18851 Instance::PrintJSONImpl(stream, ref); |
18852 } | 18852 } |
18853 | 18853 |
18854 | 18854 |
18855 } // namespace dart | 18855 } // namespace dart |
OLD | NEW |