OLD | NEW |
1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #ifndef V8_TYPES_H_ | 5 #ifndef V8_TYPES_H_ |
6 #define V8_TYPES_H_ | 6 #define V8_TYPES_H_ |
7 | 7 |
8 #include "handles.h" | 8 #include "src/handles.h" |
9 | 9 |
10 namespace v8 { | 10 namespace v8 { |
11 namespace internal { | 11 namespace internal { |
12 | 12 |
13 // SUMMARY | 13 // SUMMARY |
14 // | 14 // |
15 // A simple type system for compiler-internal use. It is based entirely on | 15 // A simple type system for compiler-internal use. It is based entirely on |
16 // union types, and all subtyping hence amounts to set inclusion. Besides the | 16 // union types, and all subtyping hence amounts to set inclusion. Besides the |
17 // obvious primitive types and some predefined unions, the type language also | 17 // obvious primitive types and some predefined unions, the type language also |
18 // can express class types (a.k.a. specific maps) and singleton types (i.e., | 18 // can express class types (a.k.a. specific maps) and singleton types (i.e., |
(...skipping 905 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
924 bool Narrows(BoundsImpl that) { | 924 bool Narrows(BoundsImpl that) { |
925 return that.lower->Is(this->lower) && this->upper->Is(that.upper); | 925 return that.lower->Is(this->lower) && this->upper->Is(that.upper); |
926 } | 926 } |
927 }; | 927 }; |
928 | 928 |
929 typedef BoundsImpl<ZoneTypeConfig> Bounds; | 929 typedef BoundsImpl<ZoneTypeConfig> Bounds; |
930 | 930 |
931 } } // namespace v8::internal | 931 } } // namespace v8::internal |
932 | 932 |
933 #endif // V8_TYPES_H_ | 933 #endif // V8_TYPES_H_ |
OLD | NEW |