2010-07-08 Oliver Hunt <oliver@apple.com>
[WebKit-https.git] / JavaScriptCore / parser / SyntaxChecker.h
1 /*
2  * Copyright (C) 2010 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
14  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
15  * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
17  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
18  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
19  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
20  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
21  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
22  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
23  * THE POSSIBILITY OF SUCH DAMAGE.
24  */
25
26 #ifndef SyntaxChecker_h
27 #define SyntaxChecker_h
28
29 namespace JSC {
30 class SyntaxChecker {
31 public:
32     SyntaxChecker(JSGlobalData* , Lexer*)
33     {
34     }
35
36     typedef SyntaxChecker FunctionBodyBuilder;
37
38     typedef int Expression;
39     typedef int SourceElements;
40     typedef int Arguments;
41     typedef int Comma;
42     struct Property {
43         ALWAYS_INLINE Property(void* = 0)
44             : type((PropertyNode::Type)0)
45         {
46         }
47         ALWAYS_INLINE Property(const Identifier* ident, PropertyNode::Type ty)
48         : name(ident)
49         , type(ty)
50         {
51         }
52         ALWAYS_INLINE Property(PropertyNode::Type ty)
53             : name(0)
54             , type(ty)
55         {
56         }
57         ALWAYS_INLINE bool operator!() { return !type; }
58         const Identifier* name;
59         PropertyNode::Type type;
60     };
61     typedef int PropertyList;
62     typedef int ElementList;
63     typedef int ArgumentsList;
64     typedef int FormalParameterList;
65     typedef int FunctionBody;
66     typedef int Statement;
67     typedef int ClauseList;
68     typedef int Clause;
69     typedef int ConstDeclList;
70     typedef int BinaryOperand;
71     
72     static const bool CreatesAST = false;
73
74     int createSourceElements() { return 1; }
75     int makeFunctionCallNode(int, int, int, int, int) { return 1; }
76     void appendToComma(int, int) { }
77     int createCommaExpr(int, int) { return 1; }
78     int makeAssignNode(int, Operator, int, bool, bool, int, int, int) { return 1; }
79     int makePrefixNode(int, Operator, int, int, int) { return 1; }
80     int makePostfixNode(int, Operator, int, int, int) { return 1; }
81     int makeTypeOfNode(int) { return 1; }
82     int makeDeleteNode(int, int, int, int) { return 1; }
83     int makeNegateNode(int) { return 1; }
84     int makeBitwiseNotNode(int) { return 1; }
85     int createLogicalNot(int) { return 1; }
86     int createUnaryPlus(int) { return 1; }
87     int createVoid(int) { return 1; }
88     int thisExpr() { return 1; }
89     int createResolve(const Identifier*, int) { return 1; }
90     int createObjectLiteral() { return 1; }
91     int createObjectLiteral(int) { return 1; }
92     int createArray(int) { return 1; }
93     int createArray(int, int) { return 1; }
94     int createNumberExpr(double) { return 1; }
95     int createString(const Identifier*) { return 1; }
96     int createBoolean(bool) { return 1; }
97     int createNull() { return 1; }
98     int createBracketAccess(int, int, bool, int, int, int) { return 1; }
99     int createDotAccess(int, const Identifier&, int, int, int) { return 1; }
100     int createRegex(const Identifier&, const Identifier&, int) { return 1; }
101     int createNewExpr(int, int, int, int, int) { return 1; }
102     int createNewExpr(int, int, int) { return 1; }
103     int createConditionalExpr(int, int, int) { return 1; }
104     int createAssignResolve(const Identifier&, int, bool, int, int, int) { return 1; }
105     int createFunctionExpr(const Identifier*, int, int, int, int, int, int) { return 1; }
106     int createFunctionBody() { return 1; }
107     int createArguments() { return 1; }
108     int createArguments(int) { return 1; }
109     int createArgumentsList(int) { return 1; }
110     int createArgumentsList(int, int) { return 1; }
111     template <bool complete> Property createProperty(const Identifier* name, int, PropertyNode::Type type)
112     {
113         ASSERT(name);
114         if (!complete)
115             return Property(type);
116         return Property(name, type);
117     }
118     template <bool complete> Property createProperty(JSGlobalData* globalData, double name, int, PropertyNode::Type type)
119     {
120         if (!complete)
121             return Property(type);
122         return Property(&globalData->parser->arena().identifierArena().makeNumericIdentifier(globalData, name), type);
123     }
124     int createPropertyList(Property) { return 1; }
125     int createPropertyList(Property, int) { return 1; }
126     int createElementList(int, int) { return 1; }
127     int createElementList(int, int, int) { return 1; }
128     int createFormalParameterList(const Identifier&) { return 1; }
129     int createFormalParameterList(int, const Identifier&) { return 1; }
130     int createClause(int, int) { return 1; }
131     int createClauseList(int) { return 1; }
132     int createClauseList(int, int) { return 1; }
133     void setUsesArguments(int) { }
134     int createFuncDeclStatement(const Identifier*, int, int, int, int, int, int) { return 1; }
135     int createBlockStatement(int, int, int) { return 1; }
136     int createExprStatement(int, int, int) { return 1; }
137     int createIfStatement(int, int, int, int) { return 1; }
138     int createIfStatement(int, int, int, int, int) { return 1; }
139     int createForLoop(int, int, int, int, bool, int, int) { return 1; }
140     int createForInLoop(const Identifier*, int, int, int, int, int, int, int, int, int, int) { return 1; }
141     int createForInLoop(int, int, int, int, int, int, int, int) { return 1; }
142     int createEmptyStatement() { return 1; }
143     int createVarStatement(int, int, int) { return 1; }
144     int createReturnStatement(int, int, int, int, int) { return 1; }
145     int createBreakStatement(int, int, int, int) { return 1; }
146     int createBreakStatement(const Identifier*, int, int, int, int) { return 1; }
147     int createContinueStatement(int, int, int, int) { return 1; }
148     int createContinueStatement(const Identifier*, int, int, int, int) { return 1; }
149     int createTryStatement(int, const Identifier*, bool, int, int, int, int) { return 1; }
150     int createSwitchStatement(int, int, int, int, int, int) { return 1; }
151     int createWhileStatement(int, int, int, int) { return 1; }
152     int createWithStatement(int, int, int, int, int, int) { return 1; }
153     int createDoWhileStatement(int, int, int, int) { return 1; }
154     int createLabelStatement(const Identifier*, int, int, int) { return 1; }
155     int createThrowStatement(int, int, int, int, int) { return 1; }
156     int createDebugger(int, int) { return 1; }
157     int createConstStatement(int, int, int) { return 1; }
158     int appendConstDecl(int, const Identifier*, int) { return 1; }
159     template <bool strict> Property createGetterOrSetterProperty(PropertyNode::Type type, const Identifier* name, int, int, int, int, int, int)
160     {
161         ASSERT(name);
162         if (!strict)
163             return Property(type);
164         return Property(name, type);
165     }
166
167     void appendStatement(int, int) { }
168     void addVar(const Identifier*, bool) { }
169     int combineCommaNodes(int, int) { return 1; }
170     int evalCount() const { return 0; }
171     void appendBinaryExpressionInfo(int& operandStackDepth, int, int, int, int, bool) { operandStackDepth++; }
172     
173     // Logic to handle datastructures used during parsing of binary expressions
174     void operatorStackPop(int& operatorStackDepth) { operatorStackDepth--; }
175     bool operatorStackHasHigherPrecedence(int&, int) { return true; }
176     BinaryOperand getFromOperandStack(int) { return 1; }
177     void shrinkOperandStackBy(int& operandStackDepth, int amount) { operandStackDepth -= amount; }
178     void appendBinaryOperation(int& operandStackDepth, int&, BinaryOperand, BinaryOperand) { operandStackDepth++; }
179     void operatorStackAppend(int& operatorStackDepth, int, int) { operatorStackDepth++; }
180     int popOperandStack(int&) { return 1; }
181     
182     void appendUnaryToken(int&, int, int) { }
183     int unaryTokenStackLastType(int&) { ASSERT_NOT_REACHED(); return 1; }
184     int unaryTokenStackLastStart(int&) { ASSERT_NOT_REACHED(); return 1; }
185     void unaryTokenStackRemoveLast(int&) { }
186     
187     void assignmentStackAppend(int, int, int, int, int, Operator) { }
188     int createAssignment(int, int, int, int, int) { ASSERT_NOT_REACHED(); return 1; }
189     const Identifier& getName(const Property& property) { ASSERT(property.name); return *property.name; }
190     PropertyNode::Type getType(const Property& property) { return property.type; }
191 };
192
193 }
194
195 #endif