dart::VerifyObjectVisitor Class Reference

#include <verifier.h>

Inheritance diagram for dart::VerifyObjectVisitor:

Public Member Functions
	VerifyObjectVisitor (IsolateGroup *isolate_group, ObjectSet *allocated_set, MarkExpectation mark_expectation)
void	VisitObject (ObjectPtr obj) override
Public Member Functions inherited from dart::ObjectVisitor
	ObjectVisitor ()
virtual	~ObjectVisitor ()
virtual void	VisitObject (ObjectPtr obj)=0

Detailed Description

Definition at line 23 of file verifier.h.

Constructor & Destructor Documentation

VerifyObjectVisitor()

dart::VerifyObjectVisitor::VerifyObjectVisitor ( IsolateGroup *  isolate_group, ObjectSet *  allocated_set, MarkExpectation  mark_expectation  )

inline

Definition at line 25 of file verifier.h.

      : isolate_group_(isolate_group),
        allocated_set_(allocated_set),
        mark_expectation_(mark_expectation) {}

Member Function Documentation

VisitObject()

void dart::VerifyObjectVisitor::VisitObject ( ObjectPtr  obj )

overridevirtual

Implements dart::ObjectVisitor.

Definition at line 19 of file verifier.cc.

                                                   {
  ASSERT(obj->IsHeapObject());
  uword addr = UntaggedObject::ToAddr(obj);
  if (obj->IsFreeListElement() || obj->IsForwardingCorpse()) {
    if (obj->IsOldObject() && obj->untag()->IsMarked()) {
      FATAL("Marked free list element encountered %#" Px "\n", addr);
    }
  } else {
    switch (mark_expectation_) {
      case kForbidMarked:
        if (obj->IsOldObject() && obj->untag()->IsMarked()) {
          FATAL("Marked object encountered %#" Px "\n", addr);
        }
        break;
      case kAllowMarked:
        break;
      case kRequireMarked:
        if (obj->IsOldObject() && !obj->untag()->IsMarked()) {
          FATAL("Unmarked object encountered %#" Px "\n", addr);
        }
        break;
    }
    allocated_set_->Add(obj);
  }
  obj->Validate(isolate_group_);
}

---

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

• third_party/dart-lang/sdk/runtime/vm/heap/verifier.h
• third_party/dart-lang/sdk/runtime/vm/heap/verifier.cc