#include "config.h"
#include "InferredValue.h"
#include "JSCInlines.h"
namespace JSC {
const ClassInfo InferredValue::s_info = { "InferredValue", 0, 0, CREATE_METHOD_TABLE(InferredValue) };
InferredValue* InferredValue::create(VM& vm)
{
InferredValue* result = new (NotNull, allocateCell<InferredValue>(vm.heap)) InferredValue(vm);
result->finishCreation(vm);
return result;
}
void InferredValue::destroy(JSCell* cell)
{
InferredValue* inferredValue = static_cast<InferredValue*>(cell);
inferredValue->InferredValue::~InferredValue();
}
Structure* InferredValue::createStructure(VM& vm, JSGlobalObject* globalObject, JSValue prototype)
{
return Structure::create(vm, globalObject, prototype, TypeInfo(CellType, StructureFlags), info());
}
void InferredValue::visitChildren(JSCell* cell, SlotVisitor& visitor)
{
InferredValue* inferredValue = jsCast<InferredValue*>(cell);
if (inferredValue->m_set.hasBeenInvalidated()) {
inferredValue->m_cleanup = nullptr;
return;
}
if (!inferredValue->m_value)
return;
if (!inferredValue->m_value.get().isCell())
return;
if (!inferredValue->m_cleanup)
inferredValue->m_cleanup = std::make_unique<ValueCleanup>(inferredValue);
visitor.addUnconditionalFinalizer(inferredValue->m_cleanup.get());
}
InferredValue::InferredValue(VM& vm)
: Base(vm, vm.inferredValueStructure.get())
, m_set(ClearWatchpoint)
{
}
InferredValue::~InferredValue()
{
}
void InferredValue::notifyWriteSlow(VM& vm, JSValue value, const FireDetail& detail)
{
ASSERT(!!value);
switch (m_set.state()) {
case ClearWatchpoint:
m_value.set(vm, this, value);
m_set.startWatching();
return;
case IsWatched:
ASSERT(!!m_value);
if (m_value.get() == value)
return;
invalidate(detail);
return;
case IsInvalidated:
ASSERT_NOT_REACHED();
return;
}
ASSERT_NOT_REACHED();
}
void InferredValue::notifyWriteSlow(VM& vm, JSValue value, const char* reason)
{
notifyWriteSlow(vm, value, StringFireDetail(reason));
}
InferredValue::ValueCleanup::ValueCleanup(InferredValue* owner)
: m_owner(owner)
{
}
InferredValue::ValueCleanup::~ValueCleanup()
{
}
void InferredValue::ValueCleanup::finalizeUnconditionally()
{
ASSERT(m_owner->m_value);
ASSERT(m_owner->m_value.get().isCell());
if (Heap::isMarked(m_owner->m_value.get().asCell()))
return;
m_owner->invalidate(StringFireDetail("InferredValue clean-up during GC"));
}
}