Function parameters should be parsed in the same parser arena as the function body
[WebKit-https.git] / Source / JavaScriptCore / parser / NodeConstructors.h
1 /*
2  *  Copyright (C) 2009, 2013 Apple Inc. All rights reserved.
3  *
4  *  This library is free software; you can redistribute it and/or
5  *  modify it under the terms of the GNU Library General Public
6  *  License as published by the Free Software Foundation; either
7  *  version 2 of the License, or (at your option) any later version.
8  *
9  *  This library is distributed in the hope that it will be useful,
10  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
11  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12  *  Library General Public License for more details.
13  *
14  *  You should have received a copy of the GNU Library General Public License
15  *  along with this library; see the file COPYING.LIB.  If not, write to
16  *  the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
17  *  Boston, MA 02110-1301, USA.
18  *
19  */
20
21 #ifndef NodeConstructors_h
22 #define NodeConstructors_h
23
24 #include "Nodes.h"
25 #include "Lexer.h"
26 #include "Parser.h"
27
28 namespace JSC {
29
30     inline void* ParserArenaFreeable::operator new(size_t size, ParserArena& parserArena)
31     {
32         return parserArena.allocateFreeable(size);
33     }
34
35     inline void* ParserArenaDeletable::operator new(size_t size, ParserArena& parserArena)
36     {
37         return parserArena.allocateDeletable(size);
38     }
39
40     inline ParserArenaRoot::ParserArenaRoot(ParserArena& parserArena)
41     {
42         m_arena.swap(parserArena);
43     }
44
45     inline Node::Node(const JSTokenLocation& location)
46         : m_position(location.line, location.startOffset, location.lineStartOffset)
47         , m_endOffset(-1)
48     {
49         ASSERT(location.startOffset >= location.lineStartOffset);
50     }
51
52     inline ExpressionNode::ExpressionNode(const JSTokenLocation& location, ResultType resultType)
53         : Node(location)
54         , m_resultType(resultType)
55     {
56     }
57
58     inline StatementNode::StatementNode(const JSTokenLocation& location)
59         : Node(location)
60         , m_next(nullptr)
61         , m_lastLine(-1)
62     {
63     }
64
65     inline ConstantNode::ConstantNode(const JSTokenLocation& location, ResultType resultType)
66         : ExpressionNode(location, resultType)
67     {
68     }
69
70     inline NullNode::NullNode(const JSTokenLocation& location)
71         : ConstantNode(location, ResultType::nullType())
72     {
73     }
74
75     inline BooleanNode::BooleanNode(const JSTokenLocation& location, bool value)
76         : ConstantNode(location, ResultType::booleanType())
77         , m_value(value)
78     {
79     }
80
81     inline NumberNode::NumberNode(const JSTokenLocation& location, double value)
82         : ConstantNode(location, JSValue(value).isInt32() ? ResultType::numberTypeIsInt32() : ResultType::numberType())
83         , m_value(value)
84     {
85     }
86
87     inline DoubleNode::DoubleNode(const JSTokenLocation& location, double value)
88         : NumberNode(location, value)
89     {
90     }
91
92     inline IntegerNode::IntegerNode(const JSTokenLocation& location, double value)
93         : DoubleNode(location, value)
94     {
95     }
96
97     inline StringNode::StringNode(const JSTokenLocation& location, const Identifier& value)
98         : ConstantNode(location, ResultType::stringType())
99         , m_value(value)
100     {
101     }
102
103 #if ENABLE(ES6_TEMPLATE_LITERAL_SYNTAX)
104     inline TemplateExpressionListNode::TemplateExpressionListNode(ExpressionNode* node)
105         : m_node(node)
106     {
107     }
108
109     inline TemplateExpressionListNode::TemplateExpressionListNode(TemplateExpressionListNode* previous, ExpressionNode* node)
110         : m_node(node)
111     {
112         previous->m_next = this;
113     }
114
115     inline TemplateStringNode::TemplateStringNode(const JSTokenLocation& location, const Identifier& cooked, const Identifier& raw)
116         : ExpressionNode(location)
117         , m_cooked(cooked)
118         , m_raw(raw)
119     {
120     }
121
122     inline TemplateStringListNode::TemplateStringListNode(TemplateStringNode* node)
123         : m_node(node)
124     {
125     }
126
127     inline TemplateStringListNode::TemplateStringListNode(TemplateStringListNode* previous, TemplateStringNode* node)
128         : m_node(node)
129     {
130         previous->m_next = this;
131     }
132
133     inline TemplateLiteralNode::TemplateLiteralNode(const JSTokenLocation& location, TemplateStringListNode* templateStrings)
134         : ExpressionNode(location)
135         , m_templateStrings(templateStrings)
136         , m_templateExpressions(nullptr)
137     {
138     }
139
140     inline TemplateLiteralNode::TemplateLiteralNode(const JSTokenLocation& location, TemplateStringListNode* templateStrings, TemplateExpressionListNode* templateExpressions)
141         : ExpressionNode(location)
142         , m_templateStrings(templateStrings)
143         , m_templateExpressions(templateExpressions)
144     {
145     }
146
147     inline TaggedTemplateNode::TaggedTemplateNode(const JSTokenLocation& location, ExpressionNode* tag, TemplateLiteralNode* templateLiteral)
148         : ExpressionNode(location)
149         , m_tag(tag)
150         , m_templateLiteral(templateLiteral)
151     {
152     }
153 #endif
154
155     inline RegExpNode::RegExpNode(const JSTokenLocation& location, const Identifier& pattern, const Identifier& flags)
156         : ExpressionNode(location)
157         , m_pattern(pattern)
158         , m_flags(flags)
159     {
160     }
161
162     inline ThisNode::ThisNode(const JSTokenLocation& location, ThisTDZMode thisTDZMode)
163         : ExpressionNode(location)
164         , m_shouldAlwaysEmitTDZCheck(thisTDZMode == ThisTDZMode::AlwaysCheck)
165     {
166     }
167
168     inline SuperNode::SuperNode(const JSTokenLocation& location)
169         : ExpressionNode(location)
170     {
171     }
172
173     inline ResolveNode::ResolveNode(const JSTokenLocation& location, const Identifier& ident, const JSTextPosition& start)
174         : ExpressionNode(location)
175         , m_ident(ident)
176         , m_start(start)
177     {
178         ASSERT(m_start.offset >= m_start.lineStartOffset);
179     }
180
181     inline ElementNode::ElementNode(int elision, ExpressionNode* node)
182         : m_next(0)
183         , m_elision(elision)
184         , m_node(node)
185     {
186     }
187
188     inline ElementNode::ElementNode(ElementNode* l, int elision, ExpressionNode* node)
189         : m_next(0)
190         , m_elision(elision)
191         , m_node(node)
192     {
193         l->m_next = this;
194     }
195
196     inline ArrayNode::ArrayNode(const JSTokenLocation& location, int elision)
197         : ExpressionNode(location)
198         , m_element(0)
199         , m_elision(elision)
200         , m_optional(true)
201     {
202     }
203
204     inline ArrayNode::ArrayNode(const JSTokenLocation& location, ElementNode* element)
205         : ExpressionNode(location)
206         , m_element(element)
207         , m_elision(0)
208         , m_optional(false)
209     {
210     }
211
212     inline ArrayNode::ArrayNode(const JSTokenLocation& location, int elision, ElementNode* element)
213         : ExpressionNode(location)
214         , m_element(element)
215         , m_elision(elision)
216         , m_optional(true)
217     {
218     }
219
220     inline PropertyNode::PropertyNode(const Identifier& name, ExpressionNode* assign, Type type, PutType putType, SuperBinding superBinding = SuperBinding::NotNeeded)
221         : m_name(&name)
222         , m_assign(assign)
223         , m_type(type)
224         , m_needsSuperBinding(superBinding == SuperBinding::Needed)
225         , m_putType(putType)
226     {
227     }
228
229     inline PropertyNode::PropertyNode(ExpressionNode* name, ExpressionNode* assign, Type type, PutType putType)
230         : m_name(0)
231         , m_expression(name)
232         , m_assign(assign)
233         , m_type(type)
234         , m_needsSuperBinding(false)
235         , m_putType(putType)
236     {
237     }
238
239     inline PropertyListNode::PropertyListNode(const JSTokenLocation& location, PropertyNode* node)
240         : ExpressionNode(location)
241         , m_node(node)
242         , m_next(0)
243     {
244     }
245
246     inline PropertyListNode::PropertyListNode(const JSTokenLocation& location, PropertyNode* node, PropertyListNode* list)
247         : ExpressionNode(location)
248         , m_node(node)
249         , m_next(0)
250     {
251         list->m_next = this;
252     }
253
254     inline ObjectLiteralNode::ObjectLiteralNode(const JSTokenLocation& location)
255         : ExpressionNode(location)
256         , m_list(0)
257     {
258     }
259
260     inline ObjectLiteralNode::ObjectLiteralNode(const JSTokenLocation& location, PropertyListNode* list)
261         : ExpressionNode(location)
262         , m_list(list)
263     {
264     }
265
266     inline BracketAccessorNode::BracketAccessorNode(const JSTokenLocation& location, ExpressionNode* base, ExpressionNode* subscript, bool subscriptHasAssignments)
267         : ExpressionNode(location)
268         , m_base(base)
269         , m_subscript(subscript)
270         , m_subscriptHasAssignments(subscriptHasAssignments)
271     {
272     }
273
274     inline DotAccessorNode::DotAccessorNode(const JSTokenLocation& location, ExpressionNode* base, const Identifier& ident)
275         : ExpressionNode(location)
276         , m_base(base)
277         , m_ident(ident)
278     {
279     }
280     
281     
282     inline SpreadExpressionNode::SpreadExpressionNode(const JSTokenLocation& location, ExpressionNode* expression)
283         : ExpressionNode(location)
284         , m_expression(expression)
285     {
286     }
287
288     inline ArgumentListNode::ArgumentListNode(const JSTokenLocation& location, ExpressionNode* expr)
289         : ExpressionNode(location)
290         , m_next(0)
291         , m_expr(expr)
292     {
293     }
294
295     inline ArgumentListNode::ArgumentListNode(const JSTokenLocation& location, ArgumentListNode* listNode, ExpressionNode* expr)
296         : ExpressionNode(location)
297         , m_next(0)
298         , m_expr(expr)
299     {
300         listNode->m_next = this;
301     }
302
303     inline ArgumentsNode::ArgumentsNode()
304         : m_listNode(0)
305     {
306     }
307
308     inline ArgumentsNode::ArgumentsNode(ArgumentListNode* listNode)
309         : m_listNode(listNode)
310     {
311     }
312
313     inline NewExprNode::NewExprNode(const JSTokenLocation& location, ExpressionNode* expr)
314         : ExpressionNode(location)
315         , m_expr(expr)
316         , m_args(0)
317     {
318     }
319
320     inline NewExprNode::NewExprNode(const JSTokenLocation& location, ExpressionNode* expr, ArgumentsNode* args)
321         : ExpressionNode(location)
322         , m_expr(expr)
323         , m_args(args)
324     {
325     }
326
327     inline EvalFunctionCallNode::EvalFunctionCallNode(const JSTokenLocation& location, ArgumentsNode* args, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
328         : ExpressionNode(location)
329         , ThrowableExpressionData(divot, divotStart, divotEnd)
330         , m_args(args)
331     {
332     }
333
334     inline FunctionCallValueNode::FunctionCallValueNode(const JSTokenLocation& location, ExpressionNode* expr, ArgumentsNode* args, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
335         : ExpressionNode(location)
336         , ThrowableExpressionData(divot, divotStart, divotEnd)
337         , m_expr(expr)
338         , m_args(args)
339     {
340         ASSERT(divot.offset >= divotStart.offset);
341     }
342
343     inline FunctionCallResolveNode::FunctionCallResolveNode(const JSTokenLocation& location, const Identifier& ident, ArgumentsNode* args, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
344         : ExpressionNode(location)
345         , ThrowableExpressionData(divot, divotStart, divotEnd)
346         , m_ident(ident)
347         , m_args(args)
348     {
349     }
350
351     inline FunctionCallBracketNode::FunctionCallBracketNode(const JSTokenLocation& location, ExpressionNode* base, ExpressionNode* subscript, bool subscriptHasAssignments, ArgumentsNode* args, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
352         : ExpressionNode(location)
353         , ThrowableSubExpressionData(divot, divotStart, divotEnd)
354         , m_base(base)
355         , m_subscript(subscript)
356         , m_args(args)
357         , m_subscriptHasAssignments(subscriptHasAssignments)
358     {
359     }
360
361     inline FunctionCallDotNode::FunctionCallDotNode(const JSTokenLocation& location, ExpressionNode* base, const Identifier& ident, ArgumentsNode* args, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
362         : ExpressionNode(location)
363         , ThrowableSubExpressionData(divot, divotStart, divotEnd)
364         , m_base(base)
365         , m_ident(ident)
366         , m_args(args)
367     {
368     }
369
370     inline BytecodeIntrinsicNode::BytecodeIntrinsicNode(const JSTokenLocation& location, EmitterType emitter, const Identifier& ident, ArgumentsNode* args, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
371         : ExpressionNode(location)
372         , ThrowableExpressionData(divot, divotStart, divotEnd)
373         , m_emitter(emitter)
374         , m_ident(ident)
375         , m_args(args)
376     {
377     }
378
379     inline CallFunctionCallDotNode::CallFunctionCallDotNode(const JSTokenLocation& location, ExpressionNode* base, const Identifier& ident, ArgumentsNode* args, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
380         : FunctionCallDotNode(location, base, ident, args, divot, divotStart, divotEnd)
381     {
382     }
383
384     inline ApplyFunctionCallDotNode::ApplyFunctionCallDotNode(const JSTokenLocation& location, ExpressionNode* base, const Identifier& ident, ArgumentsNode* args, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
385         : FunctionCallDotNode(location, base, ident, args, divot, divotStart, divotEnd)
386     {
387     }
388
389     inline PostfixNode::PostfixNode(const JSTokenLocation& location, ExpressionNode* expr, Operator oper, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
390         : PrefixNode(location, expr, oper, divot, divotStart, divotEnd)
391     {
392     }
393
394     inline DeleteResolveNode::DeleteResolveNode(const JSTokenLocation& location, const Identifier& ident, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
395         : ExpressionNode(location)
396         , ThrowableExpressionData(divot, divotStart, divotEnd)
397         , m_ident(ident)
398     {
399     }
400
401     inline DeleteBracketNode::DeleteBracketNode(const JSTokenLocation& location, ExpressionNode* base, ExpressionNode* subscript, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
402         : ExpressionNode(location)
403         , ThrowableExpressionData(divot, divotStart, divotEnd)
404         , m_base(base)
405         , m_subscript(subscript)
406     {
407     }
408
409     inline DeleteDotNode::DeleteDotNode(const JSTokenLocation& location, ExpressionNode* base, const Identifier& ident, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
410         : ExpressionNode(location)
411         , ThrowableExpressionData(divot, divotStart, divotEnd)
412         , m_base(base)
413         , m_ident(ident)
414     {
415     }
416
417     inline DeleteValueNode::DeleteValueNode(const JSTokenLocation& location, ExpressionNode* expr)
418         : ExpressionNode(location)
419         , m_expr(expr)
420     {
421     }
422
423     inline VoidNode::VoidNode(const JSTokenLocation& location, ExpressionNode* expr)
424         : ExpressionNode(location)
425         , m_expr(expr)
426     {
427     }
428
429     inline TypeOfResolveNode::TypeOfResolveNode(const JSTokenLocation& location, const Identifier& ident)
430         : ExpressionNode(location, ResultType::stringType())
431         , m_ident(ident)
432     {
433     }
434
435     inline TypeOfValueNode::TypeOfValueNode(const JSTokenLocation& location, ExpressionNode* expr)
436         : ExpressionNode(location, ResultType::stringType())
437         , m_expr(expr)
438     {
439     }
440
441     inline PrefixNode::PrefixNode(const JSTokenLocation& location, ExpressionNode* expr, Operator oper, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
442         : ExpressionNode(location)
443         , ThrowablePrefixedSubExpressionData(divot, divotStart, divotEnd)
444         , m_expr(expr)
445         , m_operator(oper)
446     {
447     }
448
449     inline UnaryOpNode::UnaryOpNode(const JSTokenLocation& location, ResultType type, ExpressionNode* expr, OpcodeID opcodeID)
450         : ExpressionNode(location, type)
451         , m_expr(expr)
452         , m_opcodeID(opcodeID)
453     {
454     }
455
456     inline UnaryPlusNode::UnaryPlusNode(const JSTokenLocation& location, ExpressionNode* expr)
457         : UnaryOpNode(location, ResultType::numberType(), expr, op_to_number)
458     {
459     }
460
461     inline NegateNode::NegateNode(const JSTokenLocation& location, ExpressionNode* expr)
462         : UnaryOpNode(location, ResultType::numberType(), expr, op_negate)
463     {
464     }
465
466     inline BitwiseNotNode::BitwiseNotNode(const JSTokenLocation& location, ExpressionNode* expr)
467         : ExpressionNode(location, ResultType::forBitOp())
468         , m_expr(expr)
469     {
470     }
471
472     inline LogicalNotNode::LogicalNotNode(const JSTokenLocation& location, ExpressionNode* expr)
473         : UnaryOpNode(location, ResultType::booleanType(), expr, op_not)
474     {
475     }
476
477     inline BinaryOpNode::BinaryOpNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, OpcodeID opcodeID, bool rightHasAssignments)
478         : ExpressionNode(location)
479         , m_expr1(expr1)
480         , m_expr2(expr2)
481         , m_opcodeID(opcodeID)
482         , m_rightHasAssignments(rightHasAssignments)
483     {
484     }
485
486     inline BinaryOpNode::BinaryOpNode(const JSTokenLocation& location, ResultType type, ExpressionNode* expr1, ExpressionNode* expr2, OpcodeID opcodeID, bool rightHasAssignments)
487         : ExpressionNode(location, type)
488         , m_expr1(expr1)
489         , m_expr2(expr2)
490         , m_opcodeID(opcodeID)
491         , m_rightHasAssignments(rightHasAssignments)
492     {
493     }
494
495     inline MultNode::MultNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
496         : BinaryOpNode(location, ResultType::numberType(), expr1, expr2, op_mul, rightHasAssignments)
497     {
498     }
499
500     inline DivNode::DivNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
501         : BinaryOpNode(location, ResultType::numberType(), expr1, expr2, op_div, rightHasAssignments)
502     {
503     }
504
505
506     inline ModNode::ModNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
507         : BinaryOpNode(location, ResultType::numberType(), expr1, expr2, op_mod, rightHasAssignments)
508     {
509     }
510
511     inline AddNode::AddNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
512         : BinaryOpNode(location, ResultType::forAdd(expr1->resultDescriptor(), expr2->resultDescriptor()), expr1, expr2, op_add, rightHasAssignments)
513     {
514     }
515
516     inline SubNode::SubNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
517         : BinaryOpNode(location, ResultType::numberType(), expr1, expr2, op_sub, rightHasAssignments)
518     {
519     }
520
521     inline LeftShiftNode::LeftShiftNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
522         : BinaryOpNode(location, ResultType::forBitOp(), expr1, expr2, op_lshift, rightHasAssignments)
523     {
524     }
525
526     inline RightShiftNode::RightShiftNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
527         : BinaryOpNode(location, ResultType::forBitOp(), expr1, expr2, op_rshift, rightHasAssignments)
528     {
529     }
530
531     inline UnsignedRightShiftNode::UnsignedRightShiftNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
532         : BinaryOpNode(location, ResultType::numberType(), expr1, expr2, op_urshift, rightHasAssignments)
533     {
534     }
535
536     inline LessNode::LessNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
537         : BinaryOpNode(location, ResultType::booleanType(), expr1, expr2, op_less, rightHasAssignments)
538     {
539     }
540
541     inline GreaterNode::GreaterNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
542         : BinaryOpNode(location, ResultType::booleanType(), expr1, expr2, op_greater, rightHasAssignments)
543     {
544     }
545
546     inline LessEqNode::LessEqNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
547         : BinaryOpNode(location, ResultType::booleanType(), expr1, expr2, op_lesseq, rightHasAssignments)
548     {
549     }
550
551     inline GreaterEqNode::GreaterEqNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
552         : BinaryOpNode(location, ResultType::booleanType(), expr1, expr2, op_greatereq, rightHasAssignments)
553     {
554     }
555
556     inline ThrowableBinaryOpNode::ThrowableBinaryOpNode(const JSTokenLocation& location, ResultType type, ExpressionNode* expr1, ExpressionNode* expr2, OpcodeID opcodeID, bool rightHasAssignments)
557         : BinaryOpNode(location, type, expr1, expr2, opcodeID, rightHasAssignments)
558     {
559     }
560
561     inline ThrowableBinaryOpNode::ThrowableBinaryOpNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, OpcodeID opcodeID, bool rightHasAssignments)
562         : BinaryOpNode(location, expr1, expr2, opcodeID, rightHasAssignments)
563     {
564     }
565
566     inline InstanceOfNode::InstanceOfNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
567         : ThrowableBinaryOpNode(location, ResultType::booleanType(), expr1, expr2, op_instanceof, rightHasAssignments)
568     {
569     }
570
571     inline InNode::InNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
572         : ThrowableBinaryOpNode(location, expr1, expr2, op_in, rightHasAssignments)
573     {
574     }
575
576     inline EqualNode::EqualNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
577         : BinaryOpNode(location, ResultType::booleanType(), expr1, expr2, op_eq, rightHasAssignments)
578     {
579     }
580
581     inline NotEqualNode::NotEqualNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
582         : BinaryOpNode(location, ResultType::booleanType(), expr1, expr2, op_neq, rightHasAssignments)
583     {
584     }
585
586     inline StrictEqualNode::StrictEqualNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
587         : BinaryOpNode(location, ResultType::booleanType(), expr1, expr2, op_stricteq, rightHasAssignments)
588     {
589     }
590
591     inline NotStrictEqualNode::NotStrictEqualNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
592         : BinaryOpNode(location, ResultType::booleanType(), expr1, expr2, op_nstricteq, rightHasAssignments)
593     {
594     }
595
596     inline BitAndNode::BitAndNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
597         : BinaryOpNode(location, ResultType::forBitOp(), expr1, expr2, op_bitand, rightHasAssignments)
598     {
599     }
600
601     inline BitOrNode::BitOrNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
602         : BinaryOpNode(location, ResultType::forBitOp(), expr1, expr2, op_bitor, rightHasAssignments)
603     {
604     }
605
606     inline BitXOrNode::BitXOrNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, bool rightHasAssignments)
607         : BinaryOpNode(location, ResultType::forBitOp(), expr1, expr2, op_bitxor, rightHasAssignments)
608     {
609     }
610
611     inline LogicalOpNode::LogicalOpNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, LogicalOperator oper)
612         : ExpressionNode(location, ResultType::forLogicalOp(expr1->resultDescriptor(), expr2->resultDescriptor()))
613         , m_expr1(expr1)
614         , m_expr2(expr2)
615         , m_operator(oper)
616     {
617     }
618
619     inline ConditionalNode::ConditionalNode(const JSTokenLocation& location, ExpressionNode* logical, ExpressionNode* expr1, ExpressionNode* expr2)
620         : ExpressionNode(location)
621         , m_logical(logical)
622         , m_expr1(expr1)
623         , m_expr2(expr2)
624     {
625     }
626
627     inline ReadModifyResolveNode::ReadModifyResolveNode(const JSTokenLocation& location, const Identifier& ident, Operator oper, ExpressionNode*  right, bool rightHasAssignments, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
628         : ExpressionNode(location)
629         , ThrowableExpressionData(divot, divotStart, divotEnd)
630         , m_ident(ident)
631         , m_right(right)
632         , m_operator(oper)
633         , m_rightHasAssignments(rightHasAssignments)
634     {
635     }
636
637     inline AssignResolveNode::AssignResolveNode(const JSTokenLocation& location, const Identifier& ident, ExpressionNode* right, AssignmentContext assignmentContext)
638         : ExpressionNode(location)
639         , m_ident(ident)
640         , m_right(right)
641         , m_assignmentContext(assignmentContext)
642     {
643     }
644
645
646     inline ReadModifyBracketNode::ReadModifyBracketNode(const JSTokenLocation& location, ExpressionNode* base, ExpressionNode* subscript, Operator oper, ExpressionNode* right, bool subscriptHasAssignments, bool rightHasAssignments, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
647         : ExpressionNode(location)
648         , ThrowableSubExpressionData(divot, divotStart, divotEnd)
649         , m_base(base)
650         , m_subscript(subscript)
651         , m_right(right)
652         , m_operator(oper)
653         , m_subscriptHasAssignments(subscriptHasAssignments)
654         , m_rightHasAssignments(rightHasAssignments)
655     {
656     }
657
658     inline AssignBracketNode::AssignBracketNode(const JSTokenLocation& location, ExpressionNode* base, ExpressionNode* subscript, ExpressionNode* right, bool subscriptHasAssignments, bool rightHasAssignments, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
659         : ExpressionNode(location)
660         , ThrowableExpressionData(divot, divotStart, divotEnd)
661         , m_base(base)
662         , m_subscript(subscript)
663         , m_right(right)
664         , m_subscriptHasAssignments(subscriptHasAssignments)
665         , m_rightHasAssignments(rightHasAssignments)
666     {
667     }
668
669     inline AssignDotNode::AssignDotNode(const JSTokenLocation& location, ExpressionNode* base, const Identifier& ident, ExpressionNode* right, bool rightHasAssignments, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
670         : ExpressionNode(location)
671         , ThrowableExpressionData(divot, divotStart, divotEnd)
672         , m_base(base)
673         , m_ident(ident)
674         , m_right(right)
675         , m_rightHasAssignments(rightHasAssignments)
676     {
677     }
678
679     inline ReadModifyDotNode::ReadModifyDotNode(const JSTokenLocation& location, ExpressionNode* base, const Identifier& ident, Operator oper, ExpressionNode* right, bool rightHasAssignments, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
680         : ExpressionNode(location)
681         , ThrowableSubExpressionData(divot, divotStart, divotEnd)
682         , m_base(base)
683         , m_ident(ident)
684         , m_right(right)
685         , m_operator(oper)
686         , m_rightHasAssignments(rightHasAssignments)
687     {
688     }
689
690     inline AssignErrorNode::AssignErrorNode(const JSTokenLocation& location, const JSTextPosition& divot, const JSTextPosition& divotStart, const JSTextPosition& divotEnd)
691         : ExpressionNode(location)
692         , ThrowableExpressionData(divot, divotStart, divotEnd)
693     {
694     }
695
696     inline CommaNode::CommaNode(const JSTokenLocation& location, ExpressionNode* expr)
697         : ExpressionNode(location)
698         , m_expr(expr)
699         , m_next(nullptr)
700     {
701     }
702
703     inline ConstStatementNode::ConstStatementNode(const JSTokenLocation& location, ConstDeclNode* next)
704         : StatementNode(location)
705         , m_next(next)
706     {
707     }
708
709     inline SourceElements::SourceElements()
710         : m_head(nullptr)
711         , m_tail(nullptr)
712     {
713     }
714
715     inline EmptyStatementNode::EmptyStatementNode(const JSTokenLocation& location)
716         : StatementNode(location)
717     {
718     }
719
720     inline DebuggerStatementNode::DebuggerStatementNode(const JSTokenLocation& location)
721         : StatementNode(location)
722     {
723     }
724     
725     inline ExprStatementNode::ExprStatementNode(const JSTokenLocation& location, ExpressionNode* expr)
726         : StatementNode(location)
727         , m_expr(expr)
728     {
729     }
730
731     inline DeclarationStatement::DeclarationStatement(const JSTokenLocation& location, ExpressionNode* expr)
732         : StatementNode(location)
733         , m_expr(expr)
734     {
735     }
736
737     inline EmptyVarExpression::EmptyVarExpression(const JSTokenLocation& location, const Identifier& ident)
738         : ExpressionNode(location)
739         , m_ident(ident)
740     {
741     }
742
743     inline EmptyLetExpression::EmptyLetExpression(const JSTokenLocation& location, const Identifier& ident)
744         : ExpressionNode(location)
745         , m_ident(ident)
746     {
747     }
748     
749     inline IfElseNode::IfElseNode(const JSTokenLocation& location, ExpressionNode* condition, StatementNode* ifBlock, StatementNode* elseBlock)
750         : StatementNode(location)
751         , m_condition(condition)
752         , m_ifBlock(ifBlock)
753         , m_elseBlock(elseBlock)
754     {
755     }
756
757     inline DoWhileNode::DoWhileNode(const JSTokenLocation& location, StatementNode* statement, ExpressionNode* expr)
758         : StatementNode(location)
759         , m_statement(statement)
760         , m_expr(expr)
761     {
762     }
763
764     inline WhileNode::WhileNode(const JSTokenLocation& location, ExpressionNode* expr, StatementNode* statement)
765         : StatementNode(location)
766         , m_expr(expr)
767         , m_statement(statement)
768     {
769     }
770
771     inline ForNode::ForNode(const JSTokenLocation& location, ExpressionNode* expr1, ExpressionNode* expr2, ExpressionNode* expr3, StatementNode* statement, VariableEnvironment& lexicalVariables)
772         : StatementNode(location)
773         , VariableEnvironmentNode(lexicalVariables)
774         , m_expr1(expr1)
775         , m_expr2(expr2)
776         , m_expr3(expr3)
777         , m_statement(statement)
778     {
779         ASSERT(statement);
780     }
781
782     inline ContinueNode::ContinueNode(const JSTokenLocation& location, const Identifier& ident)
783         : StatementNode(location)
784         , m_ident(ident)
785     {
786     }
787     
788     inline BreakNode::BreakNode(const JSTokenLocation& location, const Identifier& ident)
789         : StatementNode(location)
790         , m_ident(ident)
791     {
792     }
793     
794     inline ReturnNode::ReturnNode(const JSTokenLocation& location, ExpressionNode* value)
795         : StatementNode(location)
796         , m_value(value)
797     {
798     }
799
800     inline WithNode::WithNode(const JSTokenLocation& location, ExpressionNode* expr, StatementNode* statement, const JSTextPosition& divot, uint32_t expressionLength)
801         : StatementNode(location)
802         , m_expr(expr)
803         , m_statement(statement)
804         , m_divot(divot)
805         , m_expressionLength(expressionLength)
806     {
807     }
808
809     inline LabelNode::LabelNode(const JSTokenLocation& location, const Identifier& name, StatementNode* statement)
810         : StatementNode(location)
811         , m_name(name)
812         , m_statement(statement)
813     {
814     }
815
816     inline ThrowNode::ThrowNode(const JSTokenLocation& location, ExpressionNode* expr)
817         : StatementNode(location)
818         , m_expr(expr)
819     {
820     }
821
822     inline TryNode::TryNode(const JSTokenLocation& location, StatementNode* tryBlock, const Identifier& thrownValueIdent, StatementNode* catchBlock, StatementNode* finallyBlock)
823         : StatementNode(location)
824         , m_tryBlock(tryBlock)
825         , m_thrownValueIdent(thrownValueIdent)
826         , m_catchBlock(catchBlock)
827         , m_finallyBlock(finallyBlock)
828     {
829     }
830
831     inline FunctionParameters::FunctionParameters()
832     {
833     }
834
835     inline FuncExprNode::FuncExprNode(const JSTokenLocation& location, const Identifier& ident, FunctionBodyNode* body, const SourceCode& source)
836         : ExpressionNode(location)
837         , m_body(body)
838     {
839         m_body->finishParsing(source, ident, FunctionExpression);
840     }
841
842     inline FuncDeclNode::FuncDeclNode(const JSTokenLocation& location, const Identifier& ident, FunctionBodyNode* body, const SourceCode& source)
843         : StatementNode(location)
844         , m_body(body)
845     {
846         m_body->finishParsing(source, ident, FunctionDeclaration);
847     }
848
849 #if ENABLE(ES6_CLASS_SYNTAX)
850     inline ClassDeclNode::ClassDeclNode(const JSTokenLocation& location, ExpressionNode* classDeclaration)
851         : StatementNode(location)
852         , m_classDeclaration(classDeclaration)
853     {
854     }
855
856     inline ClassExprNode::ClassExprNode(const JSTokenLocation& location, const Identifier& name, ExpressionNode* constructorExpression, ExpressionNode* classHeritage, PropertyListNode* instanceMethods, PropertyListNode* staticMethods)
857         : ExpressionNode(location)
858         , m_name(name)
859         , m_constructorExpression(constructorExpression)
860         , m_classHeritage(classHeritage)
861         , m_instanceMethods(instanceMethods)
862         , m_staticMethods(staticMethods)
863     {
864     }
865 #endif
866
867     inline CaseClauseNode::CaseClauseNode(ExpressionNode* expr, SourceElements* statements)
868         : m_expr(expr)
869         , m_statements(statements)
870     {
871     }
872
873     inline ClauseListNode::ClauseListNode(CaseClauseNode* clause)
874         : m_clause(clause)
875         , m_next(0)
876     {
877     }
878
879     inline ClauseListNode::ClauseListNode(ClauseListNode* clauseList, CaseClauseNode* clause)
880         : m_clause(clause)
881         , m_next(0)
882     {
883         clauseList->m_next = this;
884     }
885
886     inline CaseBlockNode::CaseBlockNode(ClauseListNode* list1, CaseClauseNode* defaultClause, ClauseListNode* list2)
887         : m_list1(list1)
888         , m_defaultClause(defaultClause)
889         , m_list2(list2)
890     {
891     }
892
893     inline SwitchNode::SwitchNode(const JSTokenLocation& location, ExpressionNode* expr, CaseBlockNode* block, VariableEnvironment& lexicalVariables)
894         : StatementNode(location)
895         , VariableEnvironmentNode(lexicalVariables)
896         , m_expr(expr)
897         , m_block(block)
898     {
899     }
900
901     inline ConstDeclNode::ConstDeclNode(const JSTokenLocation& location, const Identifier& ident, ExpressionNode* init)
902         : ExpressionNode(location)
903         , m_ident(ident)
904         , m_next(0)
905         , m_init(init)
906     {
907     }
908
909     inline BlockNode::BlockNode(const JSTokenLocation& location, SourceElements* statements, VariableEnvironment& lexicalVariables)
910         : StatementNode(location)
911         , VariableEnvironmentNode(lexicalVariables)
912         , m_statements(statements)
913     {
914     }
915
916     inline EnumerationNode::EnumerationNode(const JSTokenLocation& location, ExpressionNode* lexpr, ExpressionNode* expr, StatementNode* statement, VariableEnvironment& lexicalVariables)
917         : StatementNode(location)
918         , VariableEnvironmentNode(lexicalVariables)
919         , m_lexpr(lexpr)
920         , m_expr(expr)
921         , m_statement(statement)
922     {
923         ASSERT(lexpr);
924     }
925     
926     inline ForInNode::ForInNode(const JSTokenLocation& location, ExpressionNode* lexpr, ExpressionNode* expr, StatementNode* statement, VariableEnvironment& lexicalVariables)
927         : EnumerationNode(location, lexpr, expr, statement, lexicalVariables)
928     {
929     }
930     
931     inline ForOfNode::ForOfNode(const JSTokenLocation& location, ExpressionNode* lexpr, ExpressionNode* expr, StatementNode* statement, VariableEnvironment& lexicalVariables)
932         : EnumerationNode(location, lexpr, expr, statement, lexicalVariables)
933     {
934     }
935     
936     inline DestructuringPatternNode::DestructuringPatternNode()
937     {
938     }
939
940     inline ArrayPatternNode::ArrayPatternNode()
941         : DestructuringPatternNode()
942     {
943     }
944     
945     inline ObjectPatternNode::ObjectPatternNode()
946         : DestructuringPatternNode()
947     {
948     }
949     
950     inline BindingNode::BindingNode(const Identifier& boundProperty, const JSTextPosition& start, const JSTextPosition& end, AssignmentContext context)
951         : DestructuringPatternNode()
952         , m_divotStart(start)
953         , m_divotEnd(end)
954         , m_boundProperty(boundProperty)
955         , m_bindingContext(context)
956     {
957     }
958     
959     inline DestructuringAssignmentNode::DestructuringAssignmentNode(const JSTokenLocation& location, DestructuringPatternNode* bindings, ExpressionNode* initializer)
960         : ExpressionNode(location)
961         , m_bindings(bindings)
962         , m_initializer(initializer)
963     {
964     }
965     
966 } // namespace JSC
967
968 #endif // NodeConstructors_h