property-cell.h 3.32 KB
Newer Older
1 2 3 4 5 6 7
// Copyright 2018 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_PROPERTY_CELL_H_
#define V8_OBJECTS_PROPERTY_CELL_H_

8
#include "src/objects/heap-object.h"
9 10 11 12 13 14 15

// Has to be the last include (doesn't have include guards):
#include "src/objects/object-macros.h"

namespace v8 {
namespace internal {

16 17 18 19
#include "torque-generated/src/objects/property-cell-tq.inc"

class PropertyCell
    : public TorqueGeneratedPropertyCell<PropertyCell, HeapObject> {
20 21
 public:
  // [name]: the name of the global property.
22
  DECL_GETTER(name, Name)
23

24
  // [property_details]: details of the global property.
25 26 27 28 29
  DECL_GETTER(property_details_raw, Smi)
  DECL_ACQUIRE_GETTER(property_details_raw, Smi)
  inline PropertyDetails property_details() const;
  inline PropertyDetails property_details(AcquireLoadTag tag) const;
  inline void UpdatePropertyDetailsExceptCellType(PropertyDetails details);
30

31
  // [value]: value of the global property.
32 33
  DECL_GETTER(value, Object)
  DECL_ACQUIRE_GETTER(value, Object)
34 35

  // [dependent_code]: code that depends on the type of the global property.
36
  DECL_ACCESSORS(dependent_code, DependentCode)
37

38 39 40 41 42
  // Changes the value and/or property details.
  // For global properties:
  inline void Transition(PropertyDetails new_details, Handle<Object> new_value);
  // For protectors:
  void InvalidateProtector();
43

44
  static PropertyCellType InitialType(Isolate* isolate, Object value);
45 46 47

  // Computes the new type of the cell's contents for the given value, but
  // without actually modifying the details.
48 49
  static PropertyCellType UpdatedType(Isolate* isolate, PropertyCell cell,
                                      Object value, PropertyDetails details);
50

51 52 53 54
  // Prepares property cell at given entry for receiving given value and sets
  // that value.  As a result the old cell could be invalidated and/or dependent
  // code could be deoptimized. Returns the (possibly new) property cell.
  static Handle<PropertyCell> PrepareForAndSetValue(
55 56
      Isolate* isolate, Handle<GlobalDictionary> dictionary,
      InternalIndex entry, Handle<Object> value, PropertyDetails details);
57

58 59
  void ClearAndInvalidate(ReadOnlyRoots roots);
  static Handle<PropertyCell> InvalidateAndReplaceEntry(
60
      Isolate* isolate, Handle<GlobalDictionary> dictionary,
61 62
      InternalIndex entry, PropertyDetails new_details,
      Handle<Object> new_value);
63

64 65 66
  // Whether or not the {details} and {value} fit together. This is an
  // approximation with false positives.
  static bool CheckDataIsCompatible(PropertyDetails details, Object value);
67 68 69 70

  DECL_PRINTER(PropertyCell)
  DECL_VERIFIER(PropertyCell)

71
  using BodyDescriptor = FixedBodyDescriptor<kNameOffset, kSize, kSize>;
72

73
  TQ_OBJECT_CONSTRUCTORS(PropertyCell)
74 75 76 77 78

 private:
  friend class Factory;

  DECL_SETTER(name, Name)
79 80 81 82 83 84 85 86 87 88
  DECL_SETTER(value, Object)
  DECL_RELEASE_SETTER(value, Object)
  DECL_SETTER(property_details_raw, Smi)
  DECL_RELEASE_SETTER(property_details_raw, Smi)

#ifdef DEBUG
  // Whether the property cell can transition to the given state. This is an
  // approximation with false positives.
  bool CanTransitionTo(PropertyDetails new_details, Object new_value) const;
#endif  // DEBUG
89 90 91 92 93 94 95 96
};

}  // namespace internal
}  // namespace v8

#include "src/objects/object-macros-undef.h"

#endif  // V8_OBJECTS_PROPERTY_CELL_H_