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 3 // found in the LICENSE file. 4 5 #include "src/property.h" 6 7 #include "src/field-type.h" 8 #include "src/handles-inl.h" 9 #include "src/objects-inl.h" 10 #include "src/objects/name-inl.h" 11 #include "src/ostreams.h" 12 13 namespace v8 { 14 namespace internal { 15 operator <<(std::ostream & os,const PropertyAttributes & attributes)16 std::ostream& operator<<(std::ostream& os, 17 const PropertyAttributes& attributes) { 18 os << "["; 19 os << (((attributes & READ_ONLY) == 0) ? "W" : "_"); // writable 20 os << (((attributes & DONT_ENUM) == 0) ? "E" : "_"); // enumerable 21 os << (((attributes & DONT_DELETE) == 0) ? "C" : "_"); // configurable 22 os << "]"; 23 return os; 24 } 25 Descriptor()26 Descriptor::Descriptor() : details_(Smi::kZero) {} 27 Descriptor(Handle<Name> key,MaybeObjectHandle value,PropertyKind kind,PropertyAttributes attributes,PropertyLocation location,PropertyConstness constness,Representation representation,int field_index)28 Descriptor::Descriptor(Handle<Name> key, MaybeObjectHandle value, 29 PropertyKind kind, PropertyAttributes attributes, 30 PropertyLocation location, PropertyConstness constness, 31 Representation representation, int field_index) 32 : key_(key), 33 value_(value), 34 details_(kind, attributes, location, constness, representation, 35 field_index) { 36 DCHECK(key->IsUniqueName()); 37 DCHECK_IMPLIES(key->IsPrivate(), !details_.IsEnumerable()); 38 } 39 Descriptor(Handle<Name> key,MaybeObjectHandle value,PropertyDetails details)40 Descriptor::Descriptor(Handle<Name> key, MaybeObjectHandle value, 41 PropertyDetails details) 42 : key_(key), value_(value), details_(details) { 43 DCHECK(key->IsUniqueName()); 44 DCHECK_IMPLIES(key->IsPrivate(), !details_.IsEnumerable()); 45 } 46 DataField(Isolate * isolate,Handle<Name> key,int field_index,PropertyAttributes attributes,Representation representation)47 Descriptor Descriptor::DataField(Isolate* isolate, Handle<Name> key, 48 int field_index, PropertyAttributes attributes, 49 Representation representation) { 50 return DataField(key, field_index, attributes, PropertyConstness::kMutable, 51 representation, MaybeObjectHandle(FieldType::Any(isolate))); 52 } 53 DataField(Handle<Name> key,int field_index,PropertyAttributes attributes,PropertyConstness constness,Representation representation,MaybeObjectHandle wrapped_field_type)54 Descriptor Descriptor::DataField(Handle<Name> key, int field_index, 55 PropertyAttributes attributes, 56 PropertyConstness constness, 57 Representation representation, 58 MaybeObjectHandle wrapped_field_type) { 59 DCHECK(wrapped_field_type->IsSmi() || wrapped_field_type->IsWeakHeapObject()); 60 PropertyDetails details(kData, attributes, kField, constness, representation, 61 field_index); 62 return Descriptor(key, wrapped_field_type, details); 63 } 64 DataConstant(Handle<Name> key,Handle<Object> value,PropertyAttributes attributes)65 Descriptor Descriptor::DataConstant(Handle<Name> key, Handle<Object> value, 66 PropertyAttributes attributes) { 67 return Descriptor(key, MaybeObjectHandle(value), kData, attributes, 68 kDescriptor, PropertyConstness::kConst, 69 value->OptimalRepresentation(), 0); 70 } 71 DataConstant(Isolate * isolate,Handle<Name> key,int field_index,Handle<Object> value,PropertyAttributes attributes)72 Descriptor Descriptor::DataConstant(Isolate* isolate, Handle<Name> key, 73 int field_index, Handle<Object> value, 74 PropertyAttributes attributes) { 75 if (FLAG_track_constant_fields) { 76 MaybeObjectHandle any_type(FieldType::Any(), isolate); 77 return DataField(key, field_index, attributes, PropertyConstness::kConst, 78 Representation::Tagged(), any_type); 79 80 } else { 81 return Descriptor(key, MaybeObjectHandle(value), kData, attributes, 82 kDescriptor, PropertyConstness::kConst, 83 value->OptimalRepresentation(), field_index); 84 } 85 } 86 AccessorConstant(Handle<Name> key,Handle<Object> foreign,PropertyAttributes attributes)87 Descriptor Descriptor::AccessorConstant(Handle<Name> key, 88 Handle<Object> foreign, 89 PropertyAttributes attributes) { 90 return Descriptor(key, MaybeObjectHandle(foreign), kAccessor, attributes, 91 kDescriptor, PropertyConstness::kConst, 92 Representation::Tagged(), 0); 93 } 94 95 // Outputs PropertyDetails as a dictionary details. PrintAsSlowTo(std::ostream & os)96 void PropertyDetails::PrintAsSlowTo(std::ostream& os) { 97 os << "("; 98 if (constness() == PropertyConstness::kConst) os << "const "; 99 os << (kind() == kData ? "data" : "accessor"); 100 os << ", dict_index: " << dictionary_index(); 101 os << ", attrs: " << attributes() << ")"; 102 } 103 104 // Outputs PropertyDetails as a descriptor array details. PrintAsFastTo(std::ostream & os,PrintMode mode)105 void PropertyDetails::PrintAsFastTo(std::ostream& os, PrintMode mode) { 106 os << "("; 107 if (constness() == PropertyConstness::kConst) os << "const "; 108 os << (kind() == kData ? "data" : "accessor"); 109 if (location() == kField) { 110 os << " field"; 111 if (mode & kPrintFieldIndex) { 112 os << " " << field_index(); 113 } 114 if (mode & kPrintRepresentation) { 115 os << ":" << representation().Mnemonic(); 116 } 117 } else { 118 os << " descriptor"; 119 } 120 if (mode & kPrintPointer) { 121 os << ", p: " << pointer(); 122 } 123 if (mode & kPrintAttributes) { 124 os << ", attrs: " << attributes(); 125 } 126 os << ")"; 127 } 128 129 #ifdef OBJECT_PRINT Print(bool dictionary_mode)130 void PropertyDetails::Print(bool dictionary_mode) { 131 StdoutStream os; 132 if (dictionary_mode) { 133 PrintAsSlowTo(os); 134 } else { 135 PrintAsFastTo(os, PrintMode::kPrintFull); 136 } 137 os << "\n" << std::flush; 138 } 139 #endif 140 141 } // namespace internal 142 } // namespace v8 143