Flutter Engine
The Flutter Engine
Loading...
Searching...
No Matches
Classes | Public Member Functions | Static Public Member Functions | Static Public Attributes | Friends | List of all members
dart::Record Class Reference

#include <object.h>

Inheritance diagram for dart::Record:
dart::Instance dart::Object

Classes

struct  ArrayTraits
 

Public Member Functions

intptr_t num_fields () const
 
RecordShape shape () const
 
ObjectPtr FieldAt (intptr_t field_index) const
 
void SetFieldAt (intptr_t field_index, const Object &value) const
 
virtual bool CanonicalizeEquals (const Instance &other) const
 
virtual uint32_t CanonicalizeHash () const
 
virtual void CanonicalizeFieldsLocked (Thread *thread) const
 
RecordTypePtr GetRecordType () const
 
intptr_t GetFieldIndexByName (Thread *thread, const String &field_name) const
 
ArrayPtr GetFieldNames (Thread *thread) const
 
- Public Member Functions inherited from dart::Instance
virtual bool OperatorEquals (const Instance &other) const
 
bool IsIdenticalTo (const Instance &other) const
 
intptr_t SizeFromClass () const
 
InstancePtr Canonicalize (Thread *thread) const
 
virtual InstancePtr CanonicalizeLocked (Thread *thread) const
 
InstancePtr CopyShallowToOldSpace (Thread *thread) const
 
ObjectPtr GetField (const Field &field) const
 
void SetField (const Field &field, const Object &value) const
 
AbstractTypePtr GetType (Heap::Space space) const
 
virtual TypeArgumentsPtr GetTypeArguments () const
 
virtual void SetTypeArguments (const TypeArguments &value) const
 
bool IsInstanceOf (const AbstractType &other, const TypeArguments &other_instantiator_type_arguments, const TypeArguments &other_function_type_arguments) const
 
bool IsAssignableTo (const AbstractType &other, const TypeArguments &other_instantiator_type_arguments, const TypeArguments &other_function_type_arguments) const
 
bool IsValidNativeIndex (int index) const
 
intptr_t * NativeFieldsDataAddr () const
 
intptr_t GetNativeField (int index) const
 
void GetNativeFields (uint16_t num_fields, intptr_t *field_values) const
 
void SetNativeFields (uint16_t num_fields, const intptr_t *field_values) const
 
uint16_t NumNativeFields () const
 
void SetNativeField (int index, intptr_t value) const
 
bool IsCallable (Function *function) const
 
ObjectPtr Invoke (const String &selector, const Array &arguments, const Array &argument_names, bool respect_reflectable=true, bool check_is_entrypoint=false) const
 
ObjectPtr InvokeGetter (const String &selector, bool respect_reflectable=true, bool check_is_entrypoint=false) const
 
ObjectPtr InvokeSetter (const String &selector, const Instance &argument, bool respect_reflectable=true, bool check_is_entrypoint=false) const
 
ObjectPtr EvaluateCompiledExpression (const Class &klass, const ExternalTypedData &kernel_buffer, const Array &type_definitions, const Array &arguments, const TypeArguments &type_arguments) const
 
virtual ObjectPtr HashCode () const
 
IntegerPtr IdentityHashCode (Thread *thread) const
 
virtual bool IsPointer () const
 
- Public Member Functions inherited from dart::Object
virtual ~Object ()
 
ObjectPtr ptr () const
 
void operator= (ObjectPtr value)
 
bool IsCanonical () const
 
void SetCanonical () const
 
void ClearCanonical () const
 
bool IsImmutable () const
 
void SetImmutable () const
 
void ClearImmutable () const
 
intptr_t GetClassId () const
 
ClassPtr clazz () const
 
 CLASS_LIST_FOR_HANDLES (DEFINE_CLASS_TESTER)
 
bool IsNull () const
 
virtual const char * ToCString () const
 
void PrintJSON (JSONStream *stream, bool ref=true) const
 
virtual void PrintJSONImpl (JSONStream *stream, bool ref) const
 
void PrintImplementationFields (JSONStream *stream) const
 
virtual void PrintImplementationFieldsImpl (const JSONArray &jsarr_fields) const
 
virtual const char * JSONType () const
 
virtual StringPtr DictionaryName () const
 
bool IsNew () const
 
bool IsOld () const
 
bool InVMIsolateHeap () const
 
void Print () const
 

Static Public Member Functions

static intptr_t NumFields (RecordPtr ptr)
 
static intptr_t shape_offset ()
 
static intptr_t field_offset (intptr_t index)
 
static intptr_t field_index_at_offset (intptr_t offset_in_bytes)
 
static intptr_t InstanceSize ()
 
static intptr_t InstanceSize (intptr_t num_fields)
 
static RecordPtr New (RecordShape shape, Heap::Space space=Heap::kNew)
 
static intptr_t GetPositionalFieldIndexFromFieldName (const String &field_name)
 
- Static Public Member Functions inherited from dart::Instance
static bool NullIsAssignableTo (const AbstractType &other)
 
static bool NullIsAssignableTo (const AbstractType &other, const TypeArguments &other_instantiator_type_arguments, const TypeArguments &other_function_type_arguments)
 
static ObjectPtr EvaluateCompiledExpression (Thread *thread, const Object &receiver, const Library &library, const Class &klass, const ExternalTypedData &kernel_buffer, const Array &type_definitions, const Array &param_values, const TypeArguments &type_param_values)
 
static intptr_t UnroundedSize ()
 
static intptr_t InstanceSize ()
 
static InstancePtr New (const Class &cls, Heap::Space space=Heap::kNew)
 
static InstancePtr NewAlreadyFinalized (const Class &cls, Heap::Space space=Heap::kNew)
 
static intptr_t DataOffsetFor (intptr_t cid)
 
static intptr_t ElementSizeFor (intptr_t cid)
 
static intptr_t NextFieldOffset ()
 
static intptr_t NativeFieldsOffset ()
 
- Static Public Member Functions inherited from dart::Object
static ObjectPtr RawCast (ObjectPtr obj)
 
static constexpr bool ContainsCompressedPointers ()
 
static intptr_t tags_offset ()
 
static ObjectHandle ()
 
static ObjectHandle (Zone *zone)
 
static ObjectHandle (ObjectPtr ptr)
 
static ObjectHandle (Zone *zone, ObjectPtr ptr)
 
static ObjectZoneHandle ()
 
static ObjectZoneHandle (Zone *zone)
 
static ObjectZoneHandle (ObjectPtr ptr)
 
static ObjectZoneHandle (Zone *zone, ObjectPtr ptr)
 
static ObjectReadOnlyHandle ()
 
static ObjectPtr null ()
 
static void set_vm_isolate_snapshot_object_table (const Array &table)
 
static ClassPtr class_class ()
 
static ClassPtr dynamic_class ()
 
static ClassPtr void_class ()
 
static ClassPtr type_parameters_class ()
 
static ClassPtr type_arguments_class ()
 
static ClassPtr patch_class_class ()
 
static ClassPtr function_class ()
 
static ClassPtr closure_data_class ()
 
static ClassPtr ffi_trampoline_data_class ()
 
static ClassPtr field_class ()
 
static ClassPtr script_class ()
 
static ClassPtr library_class ()
 
static ClassPtr namespace_class ()
 
static ClassPtr kernel_program_info_class ()
 
static ClassPtr code_class ()
 
static ClassPtr instructions_class ()
 
static ClassPtr instructions_section_class ()
 
static ClassPtr instructions_table_class ()
 
static ClassPtr object_pool_class ()
 
static ClassPtr pc_descriptors_class ()
 
static ClassPtr code_source_map_class ()
 
static ClassPtr compressed_stackmaps_class ()
 
static ClassPtr var_descriptors_class ()
 
static ClassPtr exception_handlers_class ()
 
static ClassPtr context_class ()
 
static ClassPtr context_scope_class ()
 
static ClassPtr sentinel_class ()
 
static ClassPtr api_error_class ()
 
static ClassPtr language_error_class ()
 
static ClassPtr unhandled_exception_class ()
 
static ClassPtr unwind_error_class ()
 
static ClassPtr singletargetcache_class ()
 
static ClassPtr unlinkedcall_class ()
 
static ClassPtr monomorphicsmiablecall_class ()
 
static ClassPtr icdata_class ()
 
static ClassPtr megamorphic_cache_class ()
 
static ClassPtr subtypetestcache_class ()
 
static ClassPtr loadingunit_class ()
 
static ClassPtr weak_serialization_reference_class ()
 
static ClassPtr weak_array_class ()
 
static void InitNullAndBool (IsolateGroup *isolate_group)
 
static void Init (IsolateGroup *isolate_group)
 
static void InitVtables ()
 
static void FinishInit (IsolateGroup *isolate_group)
 
static void FinalizeVMIsolate (IsolateGroup *isolate_group)
 
static void FinalizeReadOnlyObject (ObjectPtr object)
 
static void Cleanup ()
 
static ErrorPtr Init (IsolateGroup *isolate_group, const uint8_t *kernel_buffer, intptr_t kernel_buffer_size)
 
static void MakeUnusedSpaceTraversable (const Object &obj, intptr_t original_size, intptr_t used_size)
 
static intptr_t InstanceSize ()
 
template<class FakeObject >
static void VerifyBuiltinVtable (intptr_t cid)
 
static void VerifyBuiltinVtables ()
 
static bool ShouldHaveImmutabilityBitSet (classid_t class_id)
 

Static Public Attributes

static constexpr intptr_t kBytesPerElement = kCompressedWordSize
 
static constexpr intptr_t kMaxElements = RecordShape::kMaxNumFields
 
- Static Public Attributes inherited from dart::Object
static constexpr intptr_t kHashBits = 30
 
static const ClassId kClassId = kObjectCid
 

Friends

class Class
 
class Object
 

Additional Inherited Members

- Public Types inherited from dart::Object
enum  NameVisibility { kInternalName = 0 , kScrubbedName , kUserVisibleName }
 
enum class  NameDisambiguation { kYes , kNo }
 
using UntaggedObjectType = UntaggedObject
 
using ObjectPtrType = ObjectPtr
 
- Protected Member Functions inherited from dart::Instance
virtual void PrintSharedInstanceJSON (JSONObject *jsobj, bool ref, bool include_id=true) const
 
- Protected Member Functions inherited from dart::Object
 Object ()
 
uword raw_value () const
 
void setPtr (ObjectPtr value, intptr_t default_cid)
 
void CheckHandle () const
 
cpp_vtable vtable () const
 
void set_vtable (cpp_vtable value)
 
bool Contains (uword addr) const
 
template<typename type , std::memory_order order = std::memory_order_relaxed>
type LoadPointer (type const *addr) const
 
template<typename type , std::memory_order order = std::memory_order_relaxed>
void StorePointer (type const *addr, type value) const
 
template<typename type , typename compressed_type , std::memory_order order = std::memory_order_relaxed>
void StoreCompressedPointer (compressed_type const *addr, type value) const
 
template<typename type >
void StorePointerUnaligned (type const *addr, type value, Thread *thread) const
 
void StoreSmi (SmiPtr const *addr, SmiPtr value) const
 
template<typename FieldType >
void StoreSimd128 (const FieldType *addr, simd128_value_t value) const
 
template<typename FieldType >
FieldType LoadNonPointer (const FieldType *addr) const
 
template<typename FieldType , std::memory_order order>
FieldType LoadNonPointer (const FieldType *addr) const
 
template<typename FieldType , typename ValueType >
void StoreNonPointer (const FieldType *addr, ValueType value) const
 
template<typename FieldType , typename ValueType , std::memory_order order>
void StoreNonPointer (const FieldType *addr, ValueType value) const
 
template<typename FieldType >
FieldType * UnsafeMutableNonPointer (const FieldType *addr) const
 
 CLASS_LIST (STORE_NON_POINTER_ILLEGAL_TYPE)
 
void UnimplementedMethod () const
 
void AddCommonObjectProperties (JSONObject *jsobj, const char *protocol_type, bool ref) const
 
- Static Protected Member Functions inherited from dart::Object
static DART_NOINLINE ObjectHandleImpl (Zone *zone, ObjectPtr ptr, intptr_t default_cid)
 
static DART_NOINLINE ObjectZoneHandleImpl (Zone *zone, ObjectPtr ptr, intptr_t default_cid)
 
static DART_NOINLINE ObjectReadOnlyHandleImpl (intptr_t cid)
 
static ObjectPtr Allocate (intptr_t cls_id, intptr_t size, Heap::Space space, bool compressed, uword ptr_field_start_offset, uword ptr_field_end_offset)
 
template<typename T >
static DART_FORCE_INLINE T::ObjectPtrType Allocate (Heap::Space space)
 
template<typename T >
static DART_FORCE_INLINE T::ObjectPtrType Allocate (Heap::Space space, intptr_t elements)
 
template<typename T >
static DART_FORCE_INLINE T::ObjectPtrType AllocateVariant (intptr_t class_id, Heap::Space space)
 
template<typename T >
static DART_FORCE_INLINE T::ObjectPtrType AllocateVariant (intptr_t class_id, Heap::Space space, intptr_t elements)
 
static constexpr intptr_t RoundedAllocationSize (intptr_t size)
 
static ObjectPtr Clone (const Object &orig, Heap::Space space, bool load_with_relaxed_atomics=false)
 
template<typename T >
static DART_FORCE_INLINE uword from_offset ()
 
template<typename T >
static DART_FORCE_INLINE uword to_offset (intptr_t length=0)
 
- Protected Attributes inherited from dart::Object
ObjectPtr ptr_
 

Detailed Description

Definition at line 11397 of file object.h.

Member Function Documentation

◆ CanonicalizeEquals()

bool dart::Record::CanonicalizeEquals ( const Instance other) const
virtual

Reimplemented from dart::Instance.

Definition at line 27860 of file object.cc.

27860 {
27861 if (this->ptr() == other.ptr()) {
27862 return true;
27863 }
27864
27865 if (!other.IsRecord() || other.IsNull()) {
27866 return false;
27867 }
27868
27869 const Record& other_rec = Record::Cast(other);
27870 if (shape() != other_rec.shape()) {
27871 return false;
27872 }
27873
27874 const intptr_t num_fields = this->num_fields();
27875 for (intptr_t i = 0; i < num_fields; ++i) {
27876 if (this->FieldAt(i) != other_rec.FieldAt(i)) {
27877 return false;
27878 }
27879 }
27880 return true;
27881}
ObjectPtr ptr() const
Definition object.h:332
RecordShape shape() const
Definition object.h:11404
intptr_t num_fields() const
Definition object.h:11399
ObjectPtr FieldAt(intptr_t field_index) const
Definition object.h:11407

◆ CanonicalizeFieldsLocked()

void dart::Record::CanonicalizeFieldsLocked ( Thread thread) const
virtual

Reimplemented from dart::Instance.

Definition at line 27901 of file object.cc.

27901 {
27902 Zone* zone = thread->zone();
27903 Instance& obj = Instance::Handle(zone);
27904 const intptr_t num_fields = this->num_fields();
27905 for (intptr_t i = 0; i < num_fields; ++i) {
27906 obj ^= FieldAt(i);
27907 obj = obj.CanonicalizeLocked(thread);
27908 SetFieldAt(i, obj);
27909 }
27910}
static Object & Handle()
Definition object.h:407
void SetFieldAt(intptr_t field_index, const Object &value) const
Definition object.h:11410

◆ CanonicalizeHash()

uint32_t dart::Record::CanonicalizeHash ( ) const
virtual

Reimplemented from dart::Instance.

Definition at line 27883 of file object.cc.

27883 {
27884 Thread* thread = Thread::Current();
27885 uint32_t hash = thread->heap()->GetCanonicalHash(ptr());
27886 if (hash != 0) {
27887 return hash;
27888 }
27889 hash = shape().AsInt();
27890 Instance& element = Instance::Handle();
27891 const intptr_t num_fields = this->num_fields();
27892 for (intptr_t i = 0; i < num_fields; ++i) {
27893 element ^= FieldAt(i);
27894 hash = CombineHashes(hash, element.CanonicalizeHash());
27895 }
27897 thread->heap()->SetCanonicalHash(ptr(), hash);
27898 return hash;
27899}
static uint32_t hash(const SkShaderBase::GradientInfo &v)
static constexpr intptr_t kHashBits
Definition object.h:323
intptr_t AsInt() const
Definition object.h:11296
static Thread * Current()
Definition thread.h:361
uint32_t CombineHashes(uint32_t hash, uint32_t other_hash)
Definition hash.h:12
uint32_t FinalizeHash(uint32_t hash, intptr_t hashbits=kBitsPerInt32)
Definition hash.h:20

◆ field_index_at_offset()

static intptr_t dart::Record::field_index_at_offset ( intptr_t  offset_in_bytes)
inlinestatic

Definition at line 11426 of file object.h.

11426 {
11427 const intptr_t index =
11428 (offset_in_bytes - OFFSET_OF_RETURNED_VALUE(UntaggedRecord, data)) /
11430 ASSERT(index >= 0);
11431 return index;
11432 }
static constexpr intptr_t kBytesPerElement
Definition object.h:11414
#define ASSERT(E)
static int8_t data[kExtLength]
#define OFFSET_OF_RETURNED_VALUE(type, accessor)
Definition globals.h:143

◆ field_offset()

static intptr_t dart::Record::field_offset ( intptr_t  index)
inlinestatic

Definition at line 11422 of file object.h.

11422 {
11423 return OFFSET_OF_RETURNED_VALUE(UntaggedRecord, data) +
11424 kBytesPerElement * index;
11425 }

◆ FieldAt()

ObjectPtr dart::Record::FieldAt ( intptr_t  field_index) const
inline

Definition at line 11407 of file object.h.

11407 {
11408 return untag()->field(field_index);
11409 }
raw_obj untag() -> num_entries()) VARIABLE_COMPRESSED_VISITOR(Array, Smi::Value(raw_obj->untag() ->length())) VARIABLE_COMPRESSED_VISITOR(TypedData, TypedData::ElementSizeInBytes(raw_obj->GetClassId()) *Smi::Value(raw_obj->untag() ->length())) VARIABLE_COMPRESSED_VISITOR(Record, RecordShape(raw_obj->untag() ->shape()).num_fields()) VARIABLE_NULL_VISITOR(CompressedStackMaps, CompressedStackMaps::PayloadSizeOf(raw_obj)) VARIABLE_NULL_VISITOR(OneByteString, Smi::Value(raw_obj->untag() ->length())) VARIABLE_NULL_VISITOR(TwoByteString, Smi::Value(raw_obj->untag() ->length())) intptr_t UntaggedField::VisitFieldPointers(FieldPtr raw_obj, ObjectPointerVisitor *visitor)

◆ GetFieldIndexByName()

intptr_t dart::Record::GetFieldIndexByName ( Thread thread,
const String field_name 
) const

Definition at line 27944 of file object.cc.

27945 {
27946 ASSERT(field_name.IsSymbol());
27947 const intptr_t field_index =
27949 const Array& field_names = Array::Handle(GetFieldNames(thread));
27950 const intptr_t num_positional_fields = num_fields() - field_names.Length();
27951 if ((field_index >= 0) && (field_index < num_positional_fields)) {
27952 return field_index;
27953 } else {
27954 for (intptr_t i = 0, n = field_names.Length(); i < n; ++i) {
27955 if (field_names.At(i) == field_name.ptr()) {
27956 return num_positional_fields + i;
27957 }
27958 }
27959 }
27960 return -1;
27961}
ArrayPtr GetFieldNames(Thread *thread) const
Definition object.h:11467
static intptr_t GetPositionalFieldIndexFromFieldName(const String &field_name)
Definition object.cc:27929

◆ GetFieldNames()

ArrayPtr dart::Record::GetFieldNames ( Thread thread) const
inline

Definition at line 11467 of file object.h.

11467 {
11468 return shape().GetFieldNames(thread);
11469 }
ArrayPtr GetFieldNames(Thread *thread) const
Definition object.cc:28069

◆ GetPositionalFieldIndexFromFieldName()

intptr_t dart::Record::GetPositionalFieldIndexFromFieldName ( const String field_name)
static

Definition at line 27929 of file object.cc.

27930 {
27931 if (field_name.IsOneByteString() && field_name.Length() >= 1 &&
27932 field_name.CharAt(0) == '$') {
27933 int64_t value = 0;
27934 const char* cstr = field_name.ToCString();
27935 if (OS::StringToInt64(cstr + 1 /* skip '$' */, &value)) {
27936 if (value >= 1 && value < kMaxElements) {
27937 return static_cast<intptr_t>(value - 1);
27938 }
27939 }
27940 }
27941 return -1;
27942}
static bool StringToInt64(const char *str, int64_t *value)
static constexpr intptr_t kMaxElements
Definition object.h:11415
uint8_t value

◆ GetRecordType()

RecordTypePtr dart::Record::GetRecordType ( ) const

Definition at line 27912 of file object.cc.

27912 {
27913 Zone* const zone = Thread::Current()->zone();
27914 const intptr_t num_fields = this->num_fields();
27915 const Array& field_types =
27917 Instance& obj = Instance::Handle(zone);
27918 AbstractType& type = AbstractType::Handle(zone);
27919 for (intptr_t i = 0; i < num_fields; ++i) {
27920 obj ^= FieldAt(i);
27921 type = obj.GetType(Heap::kNew);
27922 field_types.SetAt(i, type);
27923 }
27926 return RecordType::Cast(type).ptr();
27927}
static ArrayPtr New(intptr_t len, Heap::Space space=Heap::kNew)
Definition object.h:10933
static AbstractTypePtr FinalizeType(const AbstractType &type, FinalizationKind finalization=kCanonicalize)
@ kNew
Definition heap.h:38
@ kOld
Definition heap.h:39
static RecordTypePtr New(RecordShape shape, const Array &field_types, Nullability nullability=Nullability::kLegacy, Heap::Space space=Heap::kOld)
Definition object.cc:27541
Zone * zone() const

◆ InstanceSize() [1/2]

static intptr_t dart::Record::InstanceSize ( )
inlinestatic

Definition at line 11434 of file object.h.

11434 {
11435 ASSERT(sizeof(UntaggedRecord) ==
11436 OFFSET_OF_RETURNED_VALUE(UntaggedRecord, data));
11437 return 0;
11438 }

◆ InstanceSize() [2/2]

static intptr_t dart::Record::InstanceSize ( intptr_t  num_fields)
inlinestatic

Definition at line 11440 of file object.h.

11440 {
11441 return RoundedAllocationSize(sizeof(UntaggedRecord) +
11443 }
static constexpr intptr_t RoundedAllocationSize(intptr_t size)
Definition object.h:758

◆ New()

RecordPtr dart::Record::New ( RecordShape  shape,
Heap::Space  space = Heap::kNew 
)
static

Definition at line 27823 of file object.cc.

27823 {
27824 const intptr_t num_fields = shape.num_fields();
27825 ASSERT(num_fields >= 0);
27826 auto raw = Object::Allocate<Record>(space, num_fields);
27827 NoSafepointScope no_safepoint;
27828 raw->untag()->set_shape(shape.AsSmi());
27829 return raw;
27830}
intptr_t num_fields() const
Definition object.h:11288
SmiPtr AsSmi() const
Definition object.h:11294

◆ num_fields()

intptr_t dart::Record::num_fields ( ) const
inline

Definition at line 11399 of file object.h.

11399{ return NumFields(ptr()); }
static intptr_t NumFields(RecordPtr ptr)
Definition object.h:11400

◆ NumFields()

static intptr_t dart::Record::NumFields ( RecordPtr  ptr)
inlinestatic

Definition at line 11400 of file object.h.

11400 {
11401 return RecordShape(ptr->untag()->shape()).num_fields();
11402 }
UntaggedObject * untag() const

◆ SetFieldAt()

void dart::Record::SetFieldAt ( intptr_t  field_index,
const Object value 
) const
inline

Definition at line 11410 of file object.h.

11410 {
11411 untag()->set_field(field_index, value.ptr());
11412 }

◆ shape()

RecordShape dart::Record::shape ( ) const
inline

Definition at line 11404 of file object.h.

11404{ return RecordShape(untag()->shape()); }

◆ shape_offset()

static intptr_t dart::Record::shape_offset ( )
inlinestatic

Definition at line 11405 of file object.h.

11405{ return OFFSET_OF(UntaggedRecord, shape_); }
#define OFFSET_OF(type, field)
Definition globals.h:138

Friends And Related Symbol Documentation

◆ Class

friend class Class
friend

Definition at line 11473 of file object.h.

◆ Object

friend class Object
friend

Definition at line 11474 of file object.h.

Member Data Documentation

◆ kBytesPerElement

constexpr intptr_t dart::Record::kBytesPerElement = kCompressedWordSize
staticconstexpr

Definition at line 11414 of file object.h.

◆ kMaxElements

constexpr intptr_t dart::Record::kMaxElements = RecordShape::kMaxNumFields
staticconstexpr

Definition at line 11415 of file object.h.


The documentation for this class was generated from the following files: