blob: a5c9c667c0546f21fab3667320dee6cc9130ef4e [file] [log] [blame]
/*
* Copyright (C) 2010 Google, Inc. All Rights Reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
* PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
* OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#include "config.h"
#include "HTMLDocumentParser.h"
#include "DocumentFragment.h"
#include "Element.h"
#include "Frame.h"
#include "HTMLParserScheduler.h"
#include "HTMLTokenizer.h"
#include "HTMLPreloadScanner.h"
#include "HTMLScriptRunner.h"
#include "HTMLTreeBuilder.h"
#include "HTMLDocument.h"
#include "XSSAuditor.h"
#include <wtf/CurrentTime.h>
#if ENABLE(INSPECTOR)
#include "InspectorTimelineAgent.h"
#endif
namespace WebCore {
namespace {
class NestingLevelIncrementer : public Noncopyable {
public:
explicit NestingLevelIncrementer(int& counter)
: m_counter(&counter)
{
++(*m_counter);
}
~NestingLevelIncrementer()
{
--(*m_counter);
}
private:
int* m_counter;
};
} // namespace
HTMLDocumentParser::HTMLDocumentParser(HTMLDocument* document, bool reportErrors)
: ScriptableDocumentParser(document)
, m_tokenizer(new HTMLTokenizer)
, m_scriptRunner(new HTMLScriptRunner(document, this))
, m_treeBuilder(new HTMLTreeBuilder(m_tokenizer.get(), document, reportErrors))
, m_parserScheduler(new HTMLParserScheduler(this))
, m_endWasDelayed(false)
, m_writeNestingLevel(0)
{
begin();
}
// FIXME: Member variables should be grouped into self-initializing structs to
// minimize code duplication between these constructors.
HTMLDocumentParser::HTMLDocumentParser(DocumentFragment* fragment, FragmentScriptingPermission scriptingPermission)
: ScriptableDocumentParser(fragment->document())
, m_tokenizer(new HTMLTokenizer)
, m_treeBuilder(new HTMLTreeBuilder(m_tokenizer.get(), fragment, scriptingPermission))
, m_endWasDelayed(false)
, m_writeNestingLevel(0)
{
begin();
}
HTMLDocumentParser::~HTMLDocumentParser()
{
// FIXME: We'd like to ASSERT that normal operation of this class clears
// out any delayed actions, but we can't because we're unceremoniously
// deleted. If there were a required call to some sort of cancel function,
// then we could ASSERT some invariants here.
}
void HTMLDocumentParser::begin()
{
// FIXME: Should we reset the tokenizer?
}
void HTMLDocumentParser::stopParsing()
{
DocumentParser::stopParsing();
m_parserScheduler.clear(); // Deleting the scheduler will clear any timers.
}
bool HTMLDocumentParser::processingData() const
{
return isScheduledForResume() || inWrite();
}
void HTMLDocumentParser::pumpTokenizerIfPossible(SynchronousMode mode)
{
if (m_parserStopped || m_treeBuilder->isPaused())
return;
// Once a resume is scheduled, HTMLParserScheduler controls when we next pump.
if (isScheduledForResume()) {
ASSERT(mode == AllowYield);
return;
}
pumpTokenizer(mode);
}
bool HTMLDocumentParser::isScheduledForResume() const
{
return m_parserScheduler && m_parserScheduler->isScheduledForResume();
}
// Used by HTMLParserScheduler
void HTMLDocumentParser::resumeParsingAfterYield()
{
// We should never be here unless we can pump immediately. Call pumpTokenizer()
// directly so that ASSERTS will fire if we're wrong.
pumpTokenizer(AllowYield);
}
bool HTMLDocumentParser::runScriptsForPausedTreeBuilder()
{
ASSERT(m_treeBuilder->isPaused());
int scriptStartLine = 0;
RefPtr<Element> scriptElement = m_treeBuilder->takeScriptToProcess(scriptStartLine);
// We will not have a scriptRunner when parsing a DocumentFragment.
if (!m_scriptRunner)
return true;
return m_scriptRunner->execute(scriptElement.release(), scriptStartLine);
}
void HTMLDocumentParser::pumpTokenizer(SynchronousMode mode)
{
ASSERT(!m_parserStopped);
ASSERT(!m_treeBuilder->isPaused());
ASSERT(!isScheduledForResume());
// We tell the InspectorTimelineAgent about every pump, even if we
// end up pumping nothing. It can filter out empty pumps itself.
willPumpLexer();
HTMLParserScheduler::PumpSession session;
// FIXME: This loop body has is now too long and needs cleanup.
while (mode == ForceSynchronous || (!m_parserStopped && m_parserScheduler->shouldContinueParsing(session))) {
if (!m_tokenizer->nextToken(m_input.current(), m_token))
break;
m_treeBuilder->constructTreeFromToken(m_token);
m_token.clear();
// The parser will pause itself when waiting on a script to load or run.
if (!m_treeBuilder->isPaused())
continue;
// If we're paused waiting for a script, we try to execute scripts before continuing.
bool shouldContinueParsing = runScriptsForPausedTreeBuilder();
m_treeBuilder->setPaused(!shouldContinueParsing);
if (!shouldContinueParsing)
break;
}
if (isWaitingForScripts()) {
ASSERT(m_tokenizer->state() == HTMLTokenizer::DataState);
if (!m_preloadScanner) {
m_preloadScanner.set(new HTMLPreloadScanner(m_document));
m_preloadScanner->appendToEnd(m_input.current());
}
m_preloadScanner->scan();
}
didPumpLexer();
}
void HTMLDocumentParser::willPumpLexer()
{
#if ENABLE(INSPECTOR)
// FIXME: m_input.current().length() is only accurate if we
// end up parsing the whole buffer in this pump. We should pass how
// much we parsed as part of didWriteHTML instead of willWriteHTML.
if (InspectorTimelineAgent* timelineAgent = m_document->inspectorTimelineAgent())
timelineAgent->willWriteHTML(m_input.current().length(), m_tokenizer->lineNumber());
#endif
}
void HTMLDocumentParser::didPumpLexer()
{
#if ENABLE(INSPECTOR)
if (InspectorTimelineAgent* timelineAgent = m_document->inspectorTimelineAgent())
timelineAgent->didWriteHTML(m_tokenizer->lineNumber());
#endif
}
void HTMLDocumentParser::insert(const SegmentedString& source)
{
if (m_parserStopped)
return;
{
NestingLevelIncrementer nestingLevelIncrementer(m_writeNestingLevel);
SegmentedString excludedLineNumberSource(source);
excludedLineNumberSource.setExcludeLineNumbers();
m_input.insertAtCurrentInsertionPoint(excludedLineNumberSource);
pumpTokenizerIfPossible(ForceSynchronous);
}
endIfDelayed();
}
void HTMLDocumentParser::append(const SegmentedString& source)
{
if (m_parserStopped)
return;
{
NestingLevelIncrementer nestingLevelIncrementer(m_writeNestingLevel);
m_input.appendToEnd(source);
if (m_preloadScanner)
m_preloadScanner->appendToEnd(source);
if (m_writeNestingLevel > 1) {
// We've gotten data off the network in a nested write.
// We don't want to consume any more of the input stream now. Do
// not worry. We'll consume this data in a less-nested write().
return;
}
pumpTokenizerIfPossible(AllowYield);
}
endIfDelayed();
}
void HTMLDocumentParser::end()
{
ASSERT(!isScheduledForResume());
// NOTE: This pump should only ever emit buffered character tokens,
// so ForceSynchronous vs. AllowYield should be meaningless.
pumpTokenizerIfPossible(ForceSynchronous);
// Informs the the rest of WebCore that parsing is really finished (and deletes this).
m_treeBuilder->finished();
}
void HTMLDocumentParser::attemptToEnd()
{
// finish() indicates we will not receive any more data. If we are waiting on
// an external script to load, we can't finish parsing quite yet.
if (shouldDelayEnd()) {
m_endWasDelayed = true;
return;
}
end();
}
void HTMLDocumentParser::endIfDelayed()
{
if (!m_endWasDelayed || shouldDelayEnd())
return;
m_endWasDelayed = false;
end();
}
void HTMLDocumentParser::finish()
{
// We're not going to get any more data off the network, so we tell the
// input stream we've reached the end of file. finish() can be called more
// than once, if the first time does not call end().
if (!m_input.haveSeenEndOfFile())
m_input.markEndOfFile();
attemptToEnd();
}
bool HTMLDocumentParser::finishWasCalled()
{
return m_input.haveSeenEndOfFile();
}
// This function is virtual and just for the DocumentParser interface.
bool HTMLDocumentParser::isExecutingScript() const
{
return inScriptExecution();
}
// This function is non-virtual and used throughout the implementation.
bool HTMLDocumentParser::inScriptExecution() const
{
if (!m_scriptRunner)
return false;
return m_scriptRunner->inScriptExecution();
}
int HTMLDocumentParser::lineNumber() const
{
return m_tokenizer->lineNumber();
}
int HTMLDocumentParser::columnNumber() const
{
return m_tokenizer->columnNumber();
}
LegacyHTMLTreeBuilder* HTMLDocumentParser::htmlTreeBuilder() const
{
return m_treeBuilder->legacyTreeBuilder();
}
bool HTMLDocumentParser::isWaitingForScripts() const
{
return m_treeBuilder->isPaused();
}
void HTMLDocumentParser::resumeParsingAfterScriptExecution()
{
ASSERT(!inScriptExecution());
ASSERT(!m_treeBuilder->isPaused());
pumpTokenizerIfPossible(AllowYield);
endIfDelayed();
}
void HTMLDocumentParser::watchForLoad(CachedResource* cachedScript)
{
ASSERT(!cachedScript->isLoaded());
// addClient would call notifyFinished if the load were complete.
// Callers do not expect to be re-entered from this call, so they should
// not an already-loaded CachedResource.
cachedScript->addClient(this);
}
void HTMLDocumentParser::stopWatchingForLoad(CachedResource* cachedScript)
{
cachedScript->removeClient(this);
}
bool HTMLDocumentParser::shouldLoadExternalScriptFromSrc(const AtomicString& srcValue)
{
if (!xssAuditor())
return true;
return xssAuditor()->canLoadExternalScriptFromSrc(srcValue);
}
void HTMLDocumentParser::notifyFinished(CachedResource* cachedResource)
{
ASSERT(m_scriptRunner);
ASSERT(!inScriptExecution());
ASSERT(m_treeBuilder->isPaused());
// Note: We only ever wait on one script at a time, so we always know this
// is the one we were waiting on and can un-pause the tree builder.
m_treeBuilder->setPaused(false);
bool shouldContinueParsing = m_scriptRunner->executeScriptsWaitingForLoad(cachedResource);
m_treeBuilder->setPaused(!shouldContinueParsing);
if (shouldContinueParsing)
resumeParsingAfterScriptExecution();
}
void HTMLDocumentParser::executeScriptsWaitingForStylesheets()
{
// Document only calls this when the Document owns the DocumentParser
// so this will not be called in the DocumentFragment case.
ASSERT(m_scriptRunner);
// Ignore calls unless we have a script blocking the parser waiting on a
// stylesheet load. Otherwise we are currently parsing and this
// is a re-entrant call from encountering a </ style> tag.
if (!m_scriptRunner->hasScriptsWaitingForStylesheets())
return;
ASSERT(!m_scriptRunner->inScriptExecution());
ASSERT(m_treeBuilder->isPaused());
// Note: We only ever wait on one script at a time, so we always know this
// is the one we were waiting on and can un-pause the tree builder.
m_treeBuilder->setPaused(false);
bool shouldContinueParsing = m_scriptRunner->executeScriptsWaitingForStylesheets();
m_treeBuilder->setPaused(!shouldContinueParsing);
if (shouldContinueParsing)
resumeParsingAfterScriptExecution();
}
ScriptController* HTMLDocumentParser::script() const
{
return m_document->frame() ? m_document->frame()->script() : 0;
}
void HTMLDocumentParser::parseDocumentFragment(const String& source, DocumentFragment* fragment, FragmentScriptingPermission scriptingPermission)
{
HTMLDocumentParser parser(fragment, scriptingPermission);
parser.insert(source); // Use insert() so that the parser will not yield.
parser.finish();
ASSERT(!parser.processingData()); // Make sure we're done. <rdar://problem/3963151>
}
}