2010-09-15 Oliver Hunt <oliver@apple.com>
[WebKit-https.git] / JavaScriptCore / parser / Parser.h
1 /*
2  *  Copyright (C) 1999-2001 Harri Porten (porten@kde.org)
3  *  Copyright (C) 2001 Peter Kelly (pmk@post.com)
4  *  Copyright (C) 2003, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved.
5  *
6  *  This library is free software; you can redistribute it and/or
7  *  modify it under the terms of the GNU Library General Public
8  *  License as published by the Free Software Foundation; either
9  *  version 2 of the License, or (at your option) any later version.
10  *
11  *  This library is distributed in the hope that it will be useful,
12  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
13  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14  *  Library General Public License for more details.
15  *
16  *  You should have received a copy of the GNU Library General Public License
17  *  along with this library; see the file COPYING.LIB.  If not, write to
18  *  the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
19  *  Boston, MA 02110-1301, USA.
20  *
21  */
22
23 #ifndef Parser_h
24 #define Parser_h
25
26 #include "Debugger.h"
27 #include "ExceptionHelpers.h"
28 #include "Executable.h"
29 #include "JSGlobalObject.h"
30 #include "Lexer.h"
31 #include "Nodes.h"
32 #include "ParserArena.h"
33 #include "SourceProvider.h"
34 #include <wtf/Forward.h>
35 #include <wtf/Noncopyable.h>
36 #include <wtf/OwnPtr.h>
37 #include <wtf/RefPtr.h>
38
39 namespace JSC {
40
41     class FunctionBodyNode;
42     
43     class ProgramNode;
44     class UString;
45
46     template <typename T> struct ParserArenaData : ParserArenaDeletable { T data; };
47
48     class Parser : public Noncopyable {
49     public:
50         template <class ParsedNode>
51         PassRefPtr<ParsedNode> parse(JSGlobalData* globalData, JSGlobalObject* lexicalGlobalObject, Debugger*, ExecState*, const SourceCode& source, JSObject** exception);
52
53         void didFinishParsing(SourceElements*, ParserArenaData<DeclarationStacks::VarStack>*, 
54                               ParserArenaData<DeclarationStacks::FunctionStack>*, CodeFeatures features,
55                               int lastLine, int numConstants, IdentifierSet&);
56
57         ParserArena& arena() { return m_arena; }
58
59     private:
60         void parse(JSGlobalData*, int* errLine, UString* errMsg);
61
62         // Used to determine type of error to report.
63         bool isFunctionBodyNode(ScopeNode*) { return false; }
64         bool isFunctionBodyNode(FunctionBodyNode*) { return true; }
65
66         ParserArena m_arena;
67         const SourceCode* m_source;
68         SourceElements* m_sourceElements;
69         ParserArenaData<DeclarationStacks::VarStack>* m_varDeclarations;
70         ParserArenaData<DeclarationStacks::FunctionStack>* m_funcDeclarations;
71         IdentifierSet m_capturedVariables;
72         CodeFeatures m_features;
73         int m_lastLine;
74         int m_numConstants;
75     };
76
77     template <class ParsedNode>
78     PassRefPtr<ParsedNode> Parser::parse(JSGlobalData* globalData, JSGlobalObject* lexicalGlobalObject, Debugger* debugger, ExecState* debuggerExecState, const SourceCode& source, JSObject** exception)
79     {
80         ASSERT(exception && !*exception);
81         int errLine;
82         UString errMsg;
83
84         m_source = &source;
85         if (ParsedNode::scopeIsFunction)
86             globalData->lexer->setIsReparsing();
87         parse(globalData, &errLine, &errMsg);
88
89         RefPtr<ParsedNode> result;
90         if (m_sourceElements) {
91             result = ParsedNode::create(globalData,
92                 m_sourceElements,
93                 m_varDeclarations ? &m_varDeclarations->data : 0,
94                 m_funcDeclarations ? &m_funcDeclarations->data : 0,
95                 m_capturedVariables,
96                 source,
97                 m_features,
98                 m_numConstants);
99             result->setLoc(m_source->firstLine(), m_lastLine);
100         } else if (lexicalGlobalObject) {
101             // We can never see a syntax error when reparsing a function, since we should have
102             // reported the error when parsing the containing program or eval code. So if we're
103             // parsing a function body node, we assume that what actually happened here is that
104             // we ran out of stack while parsing. If we see an error while parsing eval or program
105             // code we assume that it was a syntax error since running out of stack is much less
106             // likely, and we are currently unable to distinguish between the two cases.
107             if (isFunctionBodyNode(static_cast<ParsedNode*>(0)))
108                 *exception = createStackOverflowError(lexicalGlobalObject);
109             else
110                 *exception = addErrorInfo(globalData, createSyntaxError(lexicalGlobalObject, errMsg), errLine, source);
111         }
112
113         m_arena.reset();
114
115         m_source = 0;
116         m_sourceElements = 0;
117         m_varDeclarations = 0;
118         m_funcDeclarations = 0;
119
120         if (debugger && !ParsedNode::scopeIsFunction)
121             debugger->sourceParsed(debuggerExecState, source, errLine, errMsg);
122         return result.release();
123     }
124
125 } // namespace JSC
126
127 #endif // Parser_h