field-type.h

Go to the documentation of this file.

// Copyright 2016 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
 
#ifndef V8_OBJECTS_FIELD_TYPE_H_
#define V8_OBJECTS_FIELD_TYPE_H_
 
#include "src/handles/handles.h"
#include "src/objects/casting.h"
#include "src/objects/tagged.h"
 
namespace v8 {
namespace internal {
 
class FieldType;
 
class FieldType : public AllStatic {
 public:
  // If the GC can clear field types we must ensure that every store updates
  // field types.
  static constexpr bool kFieldTypesCanBeClearedOnGC = true;
 
  V8_EXPORT_PRIVATE static Tagged<FieldType> None();
  V8_EXPORT_PRIVATE static Tagged<FieldType> Any();
  V8_EXPORT_PRIVATE static DirectHandle<FieldType> None(Isolate* isolate);
  V8_EXPORT_PRIVATE static DirectHandle<FieldType> Any(Isolate* isolate);
  V8_EXPORT_PRIVATE static Tagged<FieldType> Class(Tagged<Map> map);
  V8_EXPORT_PRIVATE static DirectHandle<FieldType> Class(DirectHandle<Map> map,
                                                         Isolate* isolate);
 
  static bool NowContains(Tagged<FieldType> type, Tagged<Object> value);
 
  static bool NowContains(Tagged<FieldType> type, DirectHandle<Object> value) {
    return NowContains(type, *value);
  }
 
  static Tagged<Map> AsClass(Tagged<FieldType> type);
  static DirectHandle<Map> AsClass(DirectHandle<FieldType> type);
  static bool NowStable(Tagged<FieldType> type);
  static bool NowIs(Tagged<FieldType> type, Tagged<FieldType> other);
  static bool NowIs(Tagged<FieldType> type, DirectHandle<FieldType> other);
 
  V8_EXPORT_PRIVATE static bool Equals(Tagged<FieldType> type,
                                       Tagged<FieldType> other);
  V8_EXPORT_PRIVATE static void PrintTo(Tagged<FieldType> type,
                                        std::ostream& os);
};
 
bool IsClass(Tagged<FieldType> obj);
inline bool IsNone(Tagged<FieldType> obj) { return obj == FieldType::None(); }
inline bool IsAny(Tagged<FieldType> obj) { return obj == FieldType::Any(); }
 
}  // namespace internal
}  // namespace v8
 
#endif  // V8_OBJECTS_FIELD_TYPE_H_