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