void setJSHTMLDocumentVlinkColor(ExecState* exec, JSObject* thisObject, JSValue value) { JSHTMLDocument* castedThis = static_cast<JSHTMLDocument*>(thisObject); HTMLDocument* imp = static_cast<HTMLDocument*>(castedThis->impl()); imp->setVlinkColor(valueToStringWithNullCheck(exec, value)); }