#include "config.h"
#include "InferredValue.h"
#include "JSCInlines.h"
namespace JSC {
const ClassInfo InferredValue::s_info = { "InferredValue", nullptr, nullptr, nullptr, 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);
auto locker = holdLock(*inferredValue);
if (inferredValue->m_set.hasBeenInvalidated()) {
if (inferredValue->m_cleanup && !inferredValue->m_cleanup->isOnList())
inferredValue->m_cleanup = nullptr;
return;
}
JSValue value = inferredValue->m_value.get();
if (!value)
return;
if (!value.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(vm, 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()
{
JSValue value = m_owner->m_value.get();
if (!value || !value.isCell())
return;
if (Heap::isMarked(value.asCell()))
return;
m_owner->invalidate(*m_owner->vm(), StringFireDetail("InferredValue clean-up during GC"));
}
}