]> git.saurik.com Git - cycript.git/blob - Cycript.yy.in
be279e5d7c15e92111f139cc6e6898a9cccc925a
[cycript.git] / Cycript.yy.in
1 /* Cycript - Optimizing JavaScript Compiler/Runtime
2 * Copyright (C) 2009-2010 Jay Freeman (saurik)
3 */
4
5 /* GNU Lesser General Public License, Version 3 {{{ */
6 /*
7 * Cycript is free software: you can redistribute it and/or modify it under
8 * the terms of the GNU Lesser General Public License as published by the
9 * Free Software Foundation, either version 3 of the License, or (at your
10 * option) any later version.
11 *
12 * Cycript is distributed in the hope that it will be useful, but WITHOUT
13 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
15 * License for more details.
16 *
17 * You should have received a copy of the GNU Lesser General Public License
18 * along with Cycript. If not, see <http://www.gnu.org/licenses/>.
19 **/
20 /* }}} */
21
22 @if Bison23 %{
23
24 @if Bison24 %code top {
25 #define cyscanner driver.scanner_
26 #define YYSTACKEXPANDABLE 1
27 @if Bison23 #define yyerrok (yyerrstatus_ = 0)
28 @if Bison24 }
29
30 @if Bison24 %code requires {
31 #include "Parser.hpp"
32 #define CYNew new($pool)
33
34 @begin ObjectiveC
35 #include "ObjectiveC/Syntax.hpp"
36 @end
37
38 @begin E4X
39 #include "E4X/Syntax.hpp"
40 @end
41
42 typedef struct {
43 bool newline_;
44
45 union {
46 bool bool_;
47
48 CYDriver::Condition condition_;
49
50 CYArgument *argument_;
51 CYAssignment *assignment_;
52 CYBoolean *boolean_;
53 CYClause *clause_;
54 cy::Syntax::Catch *catch_;
55 CYComment *comment_;
56 CYComprehension *comprehension_;
57 CYCompound *compound_;
58 CYDeclaration *declaration_;
59 CYDeclarations *declarations_;
60 CYElement *element_;
61 CYExpression *expression_;
62 CYFalse *false_;
63 CYFinally *finally_;
64 CYForInitialiser *for_;
65 CYForInInitialiser *forin_;
66 CYFunctionParameter *functionParameter_;
67 CYIdentifier *identifier_;
68 CYInfix *infix_;
69 CYLiteral *literal_;
70 CYMember *member_;
71 CYNull *null_;
72 CYNumber *number_;
73 CYProgram *program_;
74 CYProperty *property_;
75 CYPropertyName *propertyName_;
76 CYRubyProc *rubyProc_;
77 CYStatement *statement_;
78 CYString *string_;
79 CYThis *this_;
80 CYTrue *true_;
81 CYWord *word_;
82
83 @begin ObjectiveC
84 CYClassName *className_;
85 CYField *field_;
86 CYMessage *message_;
87 CYMessageParameter *messageParameter_;
88 CYProtocol *protocol_;
89 CYSelectorPart *selector_;
90 @end
91
92 @begin E4X
93 CYAttribute *attribute_;
94 CYPropertyIdentifier *propertyIdentifier_;
95 CYSelector *selector_;
96 @end
97 };
98 } YYSTYPE;
99
100 #define YYSTYPE YYSTYPE
101 @if Bison24 }
102
103 @if Bison24 %code provides {
104 int cylex(YYSTYPE *, cy::location *, void *);
105 @if Bison24 }
106
107 @if Bison23 %}
108
109 %name-prefix="cy"
110
111 @if Bison23 %skeleton "lalr1.cc"
112 @if Bison24 %language "C++"
113
114 %initial-action {
115 @$.begin.filename = @$.end.filename = &driver.filename_;
116 };
117
118 %locations
119 %defines
120
121 //%glr-parser
122 //%expect 1
123
124 %error-verbose
125
126 %parse-param { CYDriver &driver }
127 %lex-param { void *cyscanner }
128
129 @begin E4X
130 %token XMLCDATA
131 %token XMLComment
132 %token XMLPI
133
134 %token XMLAttributeValue
135 %token XMLName
136 %token XMLTagCharacters
137 %token XMLText
138 %token XMLWhitespace
139 @end
140
141 @begin E4X
142 %token LeftRight "<>"
143 %token LeftSlashRight "</>"
144
145 %token SlashRight "/>"
146 %token LeftSlash "</"
147
148 %token ColonColon "::"
149 %token PeriodPeriod ".."
150 @end
151
152 @begin E4X ObjectiveC
153 %token At "@"
154 @end
155
156 %token Ampersand "&"
157 %token AmpersandAmpersand "&&"
158 %token AmpersandEqual "&="
159 %token Carrot "^"
160 %token CarrotEqual "^="
161 %token Equal "="
162 %token EqualEqual "=="
163 %token EqualEqualEqual "==="
164 %token EqualRight "=>"
165 %token Exclamation "!"
166 %token ExclamationEqual "!="
167 %token ExclamationEqualEqual "!=="
168 %token Hyphen "-"
169 %token HyphenEqual "-="
170 %token HyphenHyphen "--"
171 %token HyphenHyphen_ "\n--"
172 %token HyphenRight "->"
173 %token Left "<"
174 %token LeftEqual "<="
175 %token LeftLeft "<<"
176 %token LeftLeftEqual "<<="
177 %token Percent "%"
178 %token PercentEqual "%="
179 %token Period "."
180 %token PeriodPeriodPeriod "..."
181 %token Pipe "|"
182 %token PipeEqual "|="
183 %token PipePipe "||"
184 %token Plus "+"
185 %token PlusEqual "+="
186 %token PlusPlus "++"
187 %token PlusPlus_ "\n++"
188 %token Right ">"
189 %token RightEqual ">="
190 %token RightRight ">>"
191 %token RightRightEqual ">>="
192 %token RightRightRight ">>>"
193 %token RightRightRightEqual ">>>="
194 %token Slash "/"
195 %token SlashEqual "/="
196 %token Star "*"
197 %token StarEqual "*="
198 %token Tilde "~"
199
200 %token Colon ":"
201 %token Comma ","
202 %token Question "?"
203 %token SemiColon ";"
204 %token NewLine "\n"
205
206 %token <comment_> Comment
207
208 %token OpenParen "("
209 %token CloseParen ")"
210
211 %token OpenBrace "{"
212 %token OpenBrace_ "\n{"
213 %token OpenBrace__ ";{"
214 %token CloseBrace "}"
215
216 %token OpenBracket "["
217 %token CloseBracket "]"
218
219 @begin Java
220 %token AtClass "@class"
221 @end
222
223 @begin ObjectiveC
224 %token AtImplementation "@implementation"
225 %token AtImplementation_ ";@implementation"
226 %token AtImport "@import"
227 %token AtEnd "@end"
228 %token AtSelector "@selector"
229 @end
230
231 %token <false_> False "false"
232 %token <null_> Null "null"
233 %token <true_> True "true"
234
235 // ES3/ES5/WIE/JSC Reserved
236 %token <word_> Break "break"
237 %token <word_> Case "case"
238 %token <word_> Catch "catch"
239 %token <word_> Continue "continue"
240 %token <word_> Default "default"
241 %token <word_> Delete "delete"
242 %token <word_> Do "do"
243 %token <word_> Else "else"
244 %token <word_> Finally "finally"
245 %token <word_> For "for"
246 %token <word_> Function "function"
247 %token <word_> Function_ ";function"
248 %token <word_> If "if"
249 %token <word_> In "in"
250 %token <word_> In_ "!in"
251 %token <word_> InstanceOf "instanceof"
252 %token <word_> New "new"
253 %token <word_> Return "return"
254 %token <word_> Switch "switch"
255 %token <this_> This "this"
256 %token <word_> Throw "throw"
257 %token <word_> Try "try"
258 %token <word_> TypeOf "typeof"
259 %token <word_> Var "var"
260 %token <word_> Void "void"
261 %token <word_> While "while"
262 %token <word_> With "with"
263
264 // ES3/IE6 Future, ES5/JSC Reserved
265 %token <word_> Debugger "debugger"
266
267 // ES3/ES5/IE6 Future, JSC Reserved
268 %token <word_> Const "const"
269
270 // ES3/ES5/IE6/JSC Future
271 %token <word_> Class "class"
272 %token <word_> Enum "enum"
273 %token <word_> Export "export"
274 %token <word_> Extends "extends"
275 %token <word_> Import "import"
276 %token <word_> Super "super"
277
278 // ES3 Future, ES5 Strict Future
279 %token <identifier_> Implements "implements"
280 %token <identifier_> Interface "interface"
281 %token <identifier_> Package "package"
282 %token <identifier_> Private "private"
283 %token <identifier_> Protected "protected"
284 %token <identifier_> Public "public"
285 %token <identifier_> Static "static"
286
287 // ES3 Future
288 %token <identifier_> Abstract "abstract"
289 %token <identifier_> Boolean "boolean"
290 %token <identifier_> Byte "byte"
291 %token <identifier_> Char "char"
292 %token <identifier_> Double "double"
293 %token <identifier_> Final "final"
294 %token <identifier_> Float "float"
295 %token <identifier_> Goto "goto"
296 %token <identifier_> Int "int"
297 %token <identifier_> Long "long"
298 %token <identifier_> Native "native"
299 %token <identifier_> Short "short"
300 %token <identifier_> Synchronized "synchronized"
301 %token <identifier_> Throws "throws"
302 %token <identifier_> Transient "transient"
303 %token <identifier_> Volatile "volatile"
304
305 // ES5 Strict
306 %token <identifier_> Let "let"
307 %token <identifier_> Yield "yield"
308
309 // Woah?!
310 %token <identifier_> Each "each"
311 %token <identifier_> Of "of"
312
313 @begin E4X
314 // E4X Conditional
315 %token <identifier_> Namespace "namespace"
316 %token <identifier_> XML "xml"
317 @end
318
319 %token AutoComplete
320
321 %token <identifier_> Identifier_
322 %token <number_> NumericLiteral
323 %token <string_> StringLiteral
324 %token <literal_> RegularExpressionLiteral
325
326 %type <expression_> AdditiveExpression
327 %type <argument_> ArgumentList_
328 %type <argument_> ArgumentList
329 %type <argument_> ArgumentListOpt
330 %type <argument_> Arguments
331 %type <literal_> ArrayLiteral
332 %type <expression_> ArrowFunction
333 %type <functionParameter_> ArrowParameters
334 %type <expression_> AssignmentExpression
335 %type <identifier_> BindingIdentifier
336 %type <expression_> BitwiseANDExpression
337 %type <statement_> Block_
338 %type <statement_> Block
339 %type <boolean_> BooleanLiteral
340 %type <declaration_> BindingElement
341 %type <expression_> BitwiseORExpression
342 %type <expression_> BitwiseXORExpression
343 %type <statement_> BreakStatement
344 %type <statement_> BreakableStatement
345 %type <expression_> CallExpression_
346 %type <expression_> CallExpression
347 %type <clause_> CaseBlock
348 %type <clause_> CaseClause
349 %type <clause_> CaseClausesOpt
350 %type <catch_> CatchOpt
351 %type <comprehension_> ComprehensionList
352 %type <comprehension_> ComprehensionListOpt
353 %type <expression_> ConditionalExpression
354 %type <statement_> ContinueStatement
355 %type <statement_> ConciseBody
356 %type <statement_> DebuggerStatement
357 %type <statement_> Declaration__
358 %type <statement_> Declaration_
359 %type <statement_> Declaration
360 %type <clause_> DefaultClause
361 %type <expression_> Element
362 %type <expression_> ElementOpt
363 %type <element_> ElementList
364 %type <element_> ElementListOpt
365 %type <statement_> ElseStatementOpt
366 %type <statement_> EmptyStatement
367 %type <expression_> EqualityExpression
368 %type <compound_> Expression_
369 %type <compound_> Expression
370 %type <expression_> ExpressionOpt
371 %type <statement_> ExpressionStatement
372 %type <finally_> FinallyOpt
373 %type <comprehension_> ForComprehension
374 %type <for_> ForStatementInitialiser
375 %type <forin_> ForInStatementInitialiser
376 %type <declaration_> FormalParameter
377 %type <functionParameter_> FormalParameterList_
378 %type <functionParameter_> FormalParameterList
379 %type <functionParameter_> FormalParameterListOpt
380 %type <statement_> FunctionBody
381 %type <statement_> FunctionDeclaration
382 %type <expression_> FunctionExpression
383 %type <identifier_> Identifier
384 %type <identifier_> IdentifierOpt
385 %type <word_> IdentifierName
386 %type <comprehension_> IfComprehension
387 %type <statement_> IfStatement
388 %type <expression_> Initialiser
389 %type <expression_> InitialiserOpt
390 %type <statement_> IterationStatement
391 %type <statement_> LabelledStatement
392 %type <expression_> LeftHandSideExpression
393 %type <statement_> LetStatement
394 %type <statement_> LexicalDeclaration
395 %type <literal_> Literal
396 %type <literal_> LiteralNoRE
397 %type <expression_> LogicalANDExpression
398 %type <expression_> LogicalORExpression
399 %type <member_> MemberAccess
400 %type <expression_> MemberExpression_
401 %type <expression_> MemberExpression
402 %type <expression_> MultiplicativeExpression
403 %type <expression_> NewExpression
404 %type <null_> NullLiteral
405 %type <literal_> ObjectLiteral
406 %type <compound_> Parenthetical
407 %type <compound_> ParentheticalOpt
408 %type <expression_> PostfixExpression
409 %type <expression_> PrimaryExpression
410 %type <statement_> Program
411 %type <statement_> ProgramBody
412 %type <statement_> ProgramBodyOpt
413 %type <propertyName_> PropertyName_
414 %type <propertyName_> PropertyName
415 %type <property_> PropertyNameAndValueList_
416 %type <property_> PropertyNameAndValueList
417 %type <property_> PropertyNameAndValueListOpt
418 %type <expression_> RelationalExpression
419 %type <statement_> ReturnStatement
420 %type <rubyProc_> RubyProcExpression
421 %type <functionParameter_> RubyProcParameterList_
422 %type <functionParameter_> RubyProcParameterList
423 %type <functionParameter_> RubyProcParameters
424 %type <functionParameter_> RubyProcParametersOpt
425 %type <expression_> ShiftExpression
426 %type <declaration_> SingleNameBinding
427 %type <statement_> Statement__
428 %type <statement_> Statement_
429 %type <statement_> Statement
430 %type <statement_> StatementList
431 %type <statement_> StatementListOpt
432 %type <statement_> StatementListItem
433 %type <statement_> SwitchStatement
434 %type <statement_> ThrowStatement
435 %type <statement_> TryStatement
436 %type <expression_> UnaryExpression_
437 %type <expression_> UnaryExpression
438 %type <declaration_> VariableDeclaration
439 %type <declarations_> VariableDeclarationList_
440 %type <declarations_> VariableDeclarationList
441 %type <statement_> VariableStatement
442 %type <statement_> WithStatement
443 %type <word_> Word
444 %type <word_> WordOpt
445
446 @begin ObjectiveC
447 %type <statement_> CategoryStatement
448 %type <expression_> ClassExpression
449 %type <statement_> ClassStatement
450 %type <expression_> ClassSuperOpt
451 %type <field_> ClassFieldList
452 %type <message_> ClassMessageDeclaration
453 %type <message_> ClassMessageDeclarationListOpt
454 %type <className_> ClassName
455 %type <className_> ClassNameOpt
456 %type <protocol_> ClassProtocolListOpt
457 %type <protocol_> ClassProtocols
458 %type <protocol_> ClassProtocolsOpt
459 %type <expression_> MessageExpression
460 %type <messageParameter_> MessageParameter
461 %type <messageParameter_> MessageParameters
462 %type <messageParameter_> MessageParameterList
463 %type <messageParameter_> MessageParameterListOpt
464 %type <bool_> MessageScope
465 %type <argument_> SelectorCall_
466 %type <argument_> SelectorCall
467 %type <selector_> SelectorExpression_
468 %type <selector_> SelectorExpression
469 %type <selector_> SelectorExpressionOpt
470 %type <argument_> SelectorList
471 %type <word_> SelectorWordOpt
472 %type <expression_> TypeOpt
473 %type <argument_> VariadicCall
474 @end
475
476 @begin E4X
477 %type <propertyIdentifier_> PropertyIdentifier_
478 %type <selector_> PropertySelector_
479 %type <selector_> PropertySelector
480 %type <identifier_> QualifiedIdentifier_
481 %type <identifier_> QualifiedIdentifier
482 %type <identifier_> WildcardIdentifier
483 %type <identifier_> XMLComment
484 %type <identifier_> XMLCDATA
485 %type <identifier_> XMLElement
486 %type <identifier_> XMLElementContent
487 %type <identifier_> XMLMarkup
488 %type <identifier_> XMLPI
489
490 %type <attribute_> AttributeIdentifier
491 /* XXX: %type <statement_> DefaultXMLNamespaceStatement */
492 %type <expression_> PropertyIdentifier
493 %type <expression_> XMLListInitialiser
494 %type <expression_> XMLInitialiser
495 @end
496
497 %nonassoc ""
498 %left "++" "--"
499
500 %nonassoc "if"
501 %nonassoc "else"
502
503 %start Program
504
505 %%
506
507 /* Lexer State {{{ */
508 LexPushInOn
509 : { driver.in_.push(true); }
510 ;
511
512 LexPushInOff
513 : { driver.in_.push(false); }
514 ;
515
516 LexPopIn
517 : { driver.in_.pop(); }
518 ;
519
520 LexSetRegExp
521 : { driver.SetCondition(CYDriver::RegExpCondition); }
522 ;
523
524 LexNoBrace
525 : { if (yychar == yyempty_) driver.nobrace_ = true; else if (yychar == token::OpenBrace || yychar == token::OpenBrace_) yychar = token::OpenBrace__; }
526 ;
527
528 LexNoFunction
529 : { if (yychar == token::Function) yychar = token::Function_; }
530 ;
531
532 LexSetStatement
533 : LexNoBrace LexNoFunction
534 ;
535 /* }}} */
536
537 BRACE
538 : "{"
539 | "\n{"
540 ;
541
542 StrictSemi
543 : { driver.Warning(yylloc, "warning, automatic semi-colon insertion required"); }
544 ;
545
546 Terminator_
547 : ";"
548 | "\n" StrictSemi
549 ;
550
551 Terminator
552 : Terminator_
553 | error { if (yychar != yyeof_ && yychar != token::CloseBrace && !yylval.newline_) YYABORT; else { yyerrok; driver.errors_.pop_back(); } } StrictSemi
554 ;
555
556 TerminatorOpt
557 : Terminator_
558 | error { yyerrok; driver.errors_.pop_back(); } StrictSemi
559 ;
560
561 /*CommaOpt
562 : ","
563 |
564 ;*/
565
566 NewLineOpt
567 : "\n"
568 |
569 ;
570
571 IdentifierName
572 : Word { $$ = $1; }
573 ;
574
575 Word
576 : Identifier { $$ = $1; }
577 | "break" NewLineOpt { $$ = $1; }
578 | "case" { $$ = $1; }
579 | "catch" { $$ = $1; }
580 | "class" { $$ = $1; }
581 | "const" { $$ = $1; }
582 | "continue" NewLineOpt { $$ = $1; }
583 | "debugger" { $$ = $1; }
584 | "default" { $$ = $1; }
585 | "delete" { $$ = $1; }
586 | "do" { $$ = $1; }
587 | "else" { $$ = $1; }
588 | "enum" { $$ = $1; }
589 | "export" { $$ = $1; }
590 | "extends" { $$ = $1; }
591 | "false" { $$ = $1; }
592 | "finally" { $$ = $1; }
593 /* XXX: | "for" { $$ = $1; } */
594 | "function" { $$ = $1; }
595 | "if" { $$ = $1; }
596 | "import" { $$ = $1; }
597 /* XXX: | "in" { $$ = $1; } */
598 | "!in" { $$ = $1; }
599 /* XXX: | "instanceof" { $$ = $1; } */
600
601 // XXX: as it currently is not an Identifier
602 | "let" { $$ = $1; }
603
604 | "new" { $$ = $1; }
605 | "null" { $$ = $1; }
606 | "return" NewLineOpt { $$ = $1; }
607 | "super" { $$ = $1; }
608 | "switch" { $$ = $1; }
609 | "this" { $$ = $1; }
610 | "throw" NewLineOpt { $$ = $1; }
611 | "true" { $$ = $1; }
612 | "try" { $$ = $1; }
613 | "typeof" { $$ = $1; }
614 | "var" { $$ = $1; }
615 | "void" { $$ = $1; }
616 | "while" { $$ = $1; }
617 | "with" { $$ = $1; }
618 ;
619
620 WordOpt
621 : Word { $$ = $1; }
622 | { $$ = NULL; }
623 ;
624
625 @begin ObjectiveC
626 PrimaryExpression
627 : "@" LiteralNoRE { $$ = CYNew CYBox($2); }
628 | "@" ArrayLiteral { $$ = CYNew CYBox($2); }
629 | "@" ObjectLiteral { $$ = CYNew CYBox($2); }
630 | "@" Parenthetical { $$ = CYNew CYBox($2); }
631 ;
632 @end
633
634 Identifier
635 : Identifier_ { $$ = $1; }
636
637 | "implements" { $$ = $1; }
638 | "interface" { $$ = $1; }
639 | "package" { $$ = $1; }
640 | "private" { $$ = $1; }
641 | "protected" { $$ = $1; }
642 | "public" { $$ = $1; }
643 | "static" { $$ = $1; }
644
645 | "abstract" { $$ = $1; }
646 | "boolean" { $$ = $1; }
647 | "byte" { $$ = $1; }
648 | "char" { $$ = $1; }
649 | "double" { $$ = $1; }
650 | "final" { $$ = $1; }
651 | "float" { $$ = $1; }
652 | "goto" { $$ = $1; }
653 | "int" { $$ = $1; }
654 | "long" { $$ = $1; }
655 | "native" { $$ = $1; }
656 | "short" { $$ = $1; }
657 | "synchronized" { $$ = $1; }
658 | "throws" { $$ = $1; }
659 | "transient" { $$ = $1; }
660 | "volatile" { $$ = $1; }
661
662 // XXX: currently I only have this as Word
663 // | "let" { $$ = $1; }
664
665 | "yield" { $$ = $1; }
666
667 | "each" { $$ = $1; }
668 | "of" { $$ = $1; }
669 ;
670
671 IdentifierOpt
672 : Identifier { $$ = $1; }
673 | { $$ = NULL; }
674 ;
675
676 LiteralNoRE
677 : NullLiteral { $$ = $1; }
678 | BooleanLiteral { $$ = $1; }
679 | NumericLiteral { $$ = $1; }
680 | StringLiteral { $$ = $1; }
681 ;
682
683 Literal
684 : LiteralNoRE { $$ = $1; }
685 | RegularExpressionLiteral { $$ = $1; }
686 ;
687
688 NullLiteral
689 : "null" { $$ = $1; }
690 ;
691
692 BooleanLiteral
693 : "true" { $$ = $1; }
694 | "false" { $$ = $1; }
695 ;
696
697 /* 11.1 Primary Expressions {{{ */
698 Parenthetical
699 : "(" LexPushInOff Expression LexPopIn ")" { $$ = $3; }
700 ;
701
702 ParentheticalOpt
703 : Parenthetical { $$ = $1; }
704 | { $$ = NULL; }
705 ;
706
707 PrimaryExpression
708 : "this" { $$ = $1; }
709 | Identifier { $$ = CYNew CYVariable($1); }
710 | Literal { $$ = $1; }
711 | ArrayLiteral { $$ = $1; }
712 | ObjectLiteral { $$ = $1; }
713 | FunctionExpression { $$ = $1; }
714 | Parenthetical { $$ = $1; }
715 | AutoComplete { driver.mode_ = CYDriver::AutoPrimary; YYACCEPT; }
716 ;
717 /* }}} */
718 /* 11.1.4.1 Array Initialiser {{{ */
719 ArrayLiteral
720 : "[" LexPushInOff ElementListOpt LexPopIn "]" { $$ = CYNew CYArray($3); }
721 ;
722
723 Element
724 : AssignmentExpression { $$ = $1; }
725 ;
726
727 ElementOpt
728 : Element { $$ = $1; }
729 | LexSetRegExp { $$ = NULL; }
730 ;
731
732 ElementList
733 : ElementOpt "," ElementListOpt { $$ = CYNew CYElement($1, $3); }
734 | Element { $$ = CYNew CYElement($1, NULL); }
735 ;
736
737 ElementListOpt
738 : ElementList { $$ = $1; }
739 | LexSetRegExp { $$ = NULL; }
740 ;
741 /* }}} */
742 /* 11.1.5 Object Initialiser {{{ */
743 ObjectLiteral
744 : BRACE LexPushInOff PropertyNameAndValueListOpt LexPopIn "}" { $$ = CYNew CYObject($3); }
745 ;
746
747 PropertyNameAndValueList_
748 : "," PropertyNameAndValueList { $$ = $2; }
749 | { $$ = NULL; }
750 ;
751
752 PropertyNameAndValueList
753 : PropertyName ":" AssignmentExpression PropertyNameAndValueList_ { $$ = CYNew CYProperty($1, $3, $4); }
754 ;
755
756 PropertyNameAndValueListOpt
757 : PropertyNameAndValueList { $$ = $1; }
758 | { $$ = NULL; }
759 ;
760
761 PropertyName_
762 : IdentifierName { $$ = $1; }
763 | StringLiteral { $$ = $1; }
764 | NumericLiteral { $$ = $1; }
765 ;
766
767 PropertyName
768 : LexSetRegExp PropertyName_ { $$ = $2; }
769 ;
770 /* }}} */
771
772 /* 11.2 Left-Hand-Side Expressions {{{ */
773 MemberAccess
774 : "[" LexPushInOff Expression LexPopIn "]" { $$ = CYNew CYDirectMember(NULL, $3); }
775 | "." Identifier { $$ = CYNew CYDirectMember(NULL, CYNew CYString($2)); }
776 | "." AutoComplete { driver.mode_ = CYDriver::AutoDirect; YYACCEPT; }
777 ;
778
779 MemberExpression_
780 : MemberExpression { $$ = $1; }
781 //| "super" { $$ = $1; }
782 ;
783
784 MemberExpression
785 : LexSetRegExp PrimaryExpression { $$ = $2; }
786 | MemberExpression_ { driver.context_ = $1; } MemberAccess { $3->SetLeft($1); $$ = $3; }
787 | LexSetRegExp "new" MemberExpression Arguments { $$ = CYNew cy::Syntax::New($3, $4); }
788 ;
789
790 NewExpression
791 : MemberExpression { $$ = $1; }
792 | LexSetRegExp "new" NewExpression { $$ = CYNew cy::Syntax::New($3, NULL); }
793 ;
794
795 CallExpression_
796 : MemberExpression_
797 | CallExpression
798 ;
799
800 CallExpression
801 : CallExpression_ Arguments { $$ = CYNew CYCall($1, $2); }
802 | CallExpression { driver.context_ = $1; } MemberAccess { $3->SetLeft($1); $$ = $3; }
803 ;
804
805 Arguments
806 : "(" LexPushInOff ArgumentListOpt LexPopIn ")" { $$ = $3; }
807 ;
808
809 ArgumentList_
810 : "," ArgumentList { $$ = $2; }
811 | { $$ = NULL; }
812 ;
813
814 ArgumentList
815 : AssignmentExpression ArgumentList_ { $$ = CYNew CYArgument(NULL, $1, $2); }
816 ;
817
818 ArgumentListOpt
819 : ArgumentList { $$ = $1; }
820 | LexSetRegExp { $$ = NULL; }
821 ;
822
823 LeftHandSideExpression
824 : NewExpression { $$ = $1; }
825 | CallExpression { $$ = $1; }
826 ;
827 /* }}} */
828 /* 11.3 Postfix Expressions {{{ */
829 PostfixExpression
830 : %prec "" LeftHandSideExpression { $$ = $1; }
831 | LeftHandSideExpression "++" { $$ = CYNew CYPostIncrement($1); }
832 | LeftHandSideExpression "--" { $$ = CYNew CYPostDecrement($1); }
833 ;
834 /* }}} */
835 /* 11.4 Unary Operators {{{ */
836 UnaryExpression_
837 : "delete" UnaryExpression { $$ = CYNew CYDelete($2); }
838 | "void" UnaryExpression { $$ = CYNew CYVoid($2); }
839 | "typeof" UnaryExpression { $$ = CYNew CYTypeOf($2); }
840 | "++" UnaryExpression { $$ = CYNew CYPreIncrement($2); }
841 | "\n++" UnaryExpression { $$ = CYNew CYPreIncrement($2); }
842 | "--" UnaryExpression { $$ = CYNew CYPreDecrement($2); }
843 | "\n--" UnaryExpression { $$ = CYNew CYPreDecrement($2); }
844 | "+" UnaryExpression { $$ = CYNew CYAffirm($2); }
845 | "-" UnaryExpression { $$ = CYNew CYNegate($2); }
846 | "~" UnaryExpression { $$ = CYNew CYBitwiseNot($2); }
847 | "!" UnaryExpression { $$ = CYNew CYLogicalNot($2); }
848 ;
849
850 UnaryExpression
851 : PostfixExpression { $$ = $1; }
852 | LexSetRegExp UnaryExpression_ { $$ = $2; }
853 ;
854 /* }}} */
855 /* 11.5 Multiplicative Operators {{{ */
856 MultiplicativeExpression
857 : UnaryExpression { $$ = $1; }
858 | MultiplicativeExpression "*" UnaryExpression { $$ = CYNew CYMultiply($1, $3); }
859 | MultiplicativeExpression "/" UnaryExpression { $$ = CYNew CYDivide($1, $3); }
860 | MultiplicativeExpression "%" UnaryExpression { $$ = CYNew CYModulus($1, $3); }
861 ;
862 /* }}} */
863 /* 11.6 Additive Operators {{{ */
864 AdditiveExpression
865 : MultiplicativeExpression { $$ = $1; }
866 | AdditiveExpression "+" MultiplicativeExpression { $$ = CYNew CYAdd($1, $3); }
867 | AdditiveExpression "-" MultiplicativeExpression { $$ = CYNew CYSubtract($1, $3); }
868 ;
869 /* }}} */
870 /* 11.7 Bitwise Shift Operators {{{ */
871 ShiftExpression
872 : AdditiveExpression { $$ = $1; }
873 | ShiftExpression "<<" AdditiveExpression { $$ = CYNew CYShiftLeft($1, $3); }
874 | ShiftExpression ">>" AdditiveExpression { $$ = CYNew CYShiftRightSigned($1, $3); }
875 | ShiftExpression ">>>" AdditiveExpression { $$ = CYNew CYShiftRightUnsigned($1, $3); }
876 ;
877 /* }}} */
878 /* 11.8 Relational Operators {{{ */
879 RelationalExpression
880 : ShiftExpression { $$ = $1; }
881 | RelationalExpression "<" ShiftExpression { $$ = CYNew CYLess($1, $3); }
882 | RelationalExpression ">" ShiftExpression { $$ = CYNew CYGreater($1, $3); }
883 | RelationalExpression "<=" ShiftExpression { $$ = CYNew CYLessOrEqual($1, $3); }
884 | RelationalExpression ">=" ShiftExpression { $$ = CYNew CYGreaterOrEqual($1, $3); }
885 | RelationalExpression "instanceof" ShiftExpression { $$ = CYNew CYInstanceOf($1, $3); }
886 | RelationalExpression "in" ShiftExpression { $$ = CYNew CYIn($1, $3); }
887 ;
888 /* }}} */
889 /* 11.9 Equality Operators {{{ */
890 EqualityExpression
891 : RelationalExpression { $$ = $1; }
892 | EqualityExpression "==" RelationalExpression { $$ = CYNew CYEqual($1, $3); }
893 | EqualityExpression "!=" RelationalExpression { $$ = CYNew CYNotEqual($1, $3); }
894 | EqualityExpression "===" RelationalExpression { $$ = CYNew CYIdentical($1, $3); }
895 | EqualityExpression "!==" RelationalExpression { $$ = CYNew CYNotIdentical($1, $3); }
896 ;
897 /* }}} */
898 /* 11.10 Binary Bitwise Operators {{{ */
899 BitwiseANDExpression
900 : EqualityExpression { $$ = $1; }
901 | BitwiseANDExpression "&" EqualityExpression { $$ = CYNew CYBitwiseAnd($1, $3); }
902 ;
903
904 BitwiseXORExpression
905 : BitwiseANDExpression { $$ = $1; }
906 | BitwiseXORExpression "^" BitwiseANDExpression { $$ = CYNew CYBitwiseXOr($1, $3); }
907 ;
908
909 BitwiseORExpression
910 : BitwiseXORExpression { $$ = $1; }
911 | BitwiseORExpression "|" BitwiseXORExpression { $$ = CYNew CYBitwiseOr($1, $3); }
912 ;
913 /* }}} */
914 /* 11.11 Binary Logical Operators {{{ */
915 LogicalANDExpression
916 : BitwiseORExpression { $$ = $1; }
917 | LogicalANDExpression "&&" BitwiseORExpression { $$ = CYNew CYLogicalAnd($1, $3); }
918 ;
919
920 LogicalORExpression
921 : LogicalANDExpression { $$ = $1; }
922 | LogicalORExpression "||" LogicalANDExpression { $$ = CYNew CYLogicalOr($1, $3); }
923 ;
924 /* }}} */
925 /* 11.12 Conditional Operator ( ? : ) {{{ */
926 ConditionalExpression
927 : LogicalORExpression { $$ = $1; }
928 | LogicalORExpression "?" LexPushInOff AssignmentExpression LexPopIn ":" AssignmentExpression { $$ = CYNew CYCondition($1, $4, $7); }
929 ;
930 /* }}} */
931 /* 11.13 Assignment Operators {{{ */
932 AssignmentExpression
933 : ConditionalExpression { $$ = $1; }
934 | ArrowFunction { $$ = $1; }
935 | LeftHandSideExpression "=" AssignmentExpression { $$ = CYNew CYAssign($1, $3); }
936 | LeftHandSideExpression "*=" AssignmentExpression { $$ = CYNew CYMultiplyAssign($1, $3); }
937 | LeftHandSideExpression "/=" AssignmentExpression { $$ = CYNew CYDivideAssign($1, $3); }
938 | LeftHandSideExpression "%=" AssignmentExpression { $$ = CYNew CYModulusAssign($1, $3); }
939 | LeftHandSideExpression "+=" AssignmentExpression { $$ = CYNew CYAddAssign($1, $3); }
940 | LeftHandSideExpression "-=" AssignmentExpression { $$ = CYNew CYSubtractAssign($1, $3); }
941 | LeftHandSideExpression "<<=" AssignmentExpression { $$ = CYNew CYShiftLeftAssign($1, $3); }
942 | LeftHandSideExpression ">>=" AssignmentExpression { $$ = CYNew CYShiftRightSignedAssign($1, $3); }
943 | LeftHandSideExpression ">>>=" AssignmentExpression { $$ = CYNew CYShiftRightUnsignedAssign($1, $3); }
944 | LeftHandSideExpression "&=" AssignmentExpression { $$ = CYNew CYBitwiseAndAssign($1, $3); }
945 | LeftHandSideExpression "^=" AssignmentExpression { $$ = CYNew CYBitwiseXOrAssign($1, $3); }
946 | LeftHandSideExpression "|=" AssignmentExpression { $$ = CYNew CYBitwiseOrAssign($1, $3); }
947 ;
948 /* }}} */
949 /* 11.14 Comma Operator {{{ */
950 Expression_
951 : "," Expression { $$ = $2; }
952 | { $$ = CYNew CYCompound(); }
953 ;
954
955 Expression
956 : AssignmentExpression Expression_ { $2->AddPrev($1); $$ = $2; }
957 ;
958
959 ExpressionOpt
960 : Expression { $$ = $1; }
961 | LexSetRegExp { $$ = NULL; }
962 ;
963 /* }}} */
964
965 /* 12 Statements {{{ */
966 Statement__
967 : Block { $$ = $1; }
968 | VariableStatement { $$ = $1; }
969 | EmptyStatement { $$ = $1; }
970 | IfStatement { $$ = $1; }
971 | BreakableStatement { $$ = $1; }
972 | ContinueStatement { $$ = $1; }
973 | BreakStatement { $$ = $1; }
974 | ReturnStatement { $$ = $1; }
975 | WithStatement { $$ = $1; }
976 | LabelledStatement { $$ = $1; }
977 | ThrowStatement { $$ = $1; }
978 | TryStatement { $$ = $1; }
979 | DebuggerStatement { $$ = $1; }
980 ;
981
982 Statement_
983 : LexSetRegExp Statement__ { $$ = $2; }
984 | ExpressionStatement { $$ = $1; }
985 ;
986
987 Statement
988 : LexSetStatement Statement_ { $$ = $2; }
989 ;
990
991 Declaration__
992 : FunctionDeclaration { $$ = $1; }
993 | LexicalDeclaration { $$ = $1; }
994 ;
995
996 Declaration_
997 : LexSetRegExp Declaration__ { $$ = $2; }
998 ;
999
1000 Declaration
1001 : LexSetStatement Declaration_ { $$ = $2; }
1002 ;
1003
1004 BreakableStatement
1005 : IterationStatement { $$ = $1; }
1006 | SwitchStatement { $$ = $1; }
1007 ;
1008 /* }}} */
1009 /* 12.1 Block {{{ */
1010 Block_
1011 : BRACE StatementListOpt "}" { $$ = $2; }
1012 ;
1013
1014 Block
1015 : ";{" StatementListOpt "}" { $$ = CYNew CYBlock($2); }
1016 ;
1017
1018 StatementList
1019 : StatementListItem StatementListOpt { $1->SetNext($2); $$ = $1; }
1020 ;
1021
1022 StatementListOpt
1023 : StatementList { $$ = $1; }
1024 | LexSetRegExp { $$ = NULL; }
1025 ;
1026
1027 StatementListItem
1028 : Statement { $$ = $1; }
1029 | Declaration { $$ = $1; }
1030 ;
1031 /* }}} */
1032 /* 12.2 Declarations {{{ */
1033 BindingIdentifier
1034 : Identifier { $$ = $1; }
1035 ;
1036
1037 // XXX: BindingPattern
1038 /* }}} */
1039 /* 12.2.1 Let and Const Declarations {{{ */
1040 LexicalDeclaration
1041 : LetOrConst VariableDeclarationList Terminator { $$ = CYNew CYVar($2); }
1042 ;
1043
1044 LetOrConst
1045 : "let"
1046 | "const"
1047 ;
1048 /* }}} */
1049 /* 12.2.2 Variable Statement {{{ */
1050 VariableStatement
1051 : "var" VariableDeclarationList Terminator { $$ = CYNew CYVar($2); }
1052 ;
1053
1054 VariableDeclarationList_
1055 : "," VariableDeclarationList { $$ = $2; }
1056 | { $$ = NULL; }
1057 ;
1058
1059 VariableDeclarationList
1060 : VariableDeclaration VariableDeclarationList_ { $$ = CYNew CYDeclarations($1, $2); }
1061 ;
1062
1063 VariableDeclaration
1064 : BindingIdentifier InitialiserOpt { $$ = CYNew CYDeclaration($1, $2); }
1065 // XXX: | BindingPattern Initialiser { $$ = CYNew CYDeclaration($1, $2); }
1066 ;
1067
1068 Initialiser
1069 : "=" AssignmentExpression { $$ = $2; }
1070 ;
1071
1072 InitialiserOpt
1073 : Initialiser { $$ = $1; }
1074 | { $$ = NULL; }
1075 ;
1076 /* }}} */
1077 /* 12.2.4 Destructuring Binding Patterns {{{ */
1078 // XXX: *
1079
1080 BindingElement
1081 : SingleNameBinding { $$ = $1; }
1082 ;
1083
1084 SingleNameBinding
1085 : BindingIdentifier InitialiserOpt { $$ = CYNew CYDeclaration($1, $2); }
1086 ;
1087 /* }}} */
1088 /* 12.3 Empty Statement {{{ */
1089 EmptyStatement
1090 : ";" { $$ = CYNew CYEmpty(); }
1091 ;
1092 /* }}} */
1093 /* 12.4 Expression Statement {{{ */
1094 ExpressionStatement
1095 : Expression Terminator { $$ = CYNew CYExpress($1); }
1096 ;
1097 /* }}} */
1098 /* 12.5 The if Statement {{{ */
1099 ElseStatementOpt
1100 : "else" Statement { $$ = $2; }
1101 | %prec "if" { $$ = NULL; }
1102 ;
1103
1104 IfStatement
1105 : "if" "(" Expression ")" Statement ElseStatementOpt { $$ = CYNew CYIf($3, $5, $6); }
1106 ;
1107 /* }}} */
1108
1109 /* 12.6.1 The do-while Statement {{{ */
1110 IterationStatement
1111 : "do" Statement "while" "(" Expression ")" TerminatorOpt { $$ = CYNew CYDoWhile($5, $2); }
1112 ;
1113 /* }}} */
1114 /* 12.6.2 The while Statement {{{ */
1115 IterationStatement
1116 : "while" "(" Expression ")" Statement { $$ = CYNew CYWhile($3, $5); }
1117 ;
1118 /* }}} */
1119 /* 12.6.3 The for Statement {{{ */
1120 IterationStatement
1121 : "for" "(" LexPushInOn ForStatementInitialiser LexPopIn ";" ExpressionOpt ";" ExpressionOpt ")" Statement { $$ = CYNew CYFor($4, $7, $9, $11); }
1122 ;
1123
1124 ForStatementInitialiser
1125 : ExpressionOpt { $$ = $1; }
1126 | LexSetRegExp "var" VariableDeclarationList { $$ = CYNew CYForDeclarations($3); }
1127 ;
1128 /* }}} */
1129 /* 12.6.4 The for-in and for-of Statements {{{ */
1130 IterationStatement
1131 : "for" "(" LexPushInOn ForInStatementInitialiser LexPopIn "!in" Expression ")" Statement { $$ = CYNew CYForIn($4, $7, $9); }
1132 | "for" "(" LexPushInOn ForInStatementInitialiser LexPopIn "of" Expression ")" Statement { $$ = CYNew CYForOf($4, $7, $9); }
1133 ;
1134
1135 ForInStatementInitialiser
1136 : LeftHandSideExpression { $$ = $1; }
1137 | LexSetRegExp "var" VariableDeclaration { $$ = $3; }
1138 ;
1139 /* }}} */
1140
1141 /* 12.7 The continue Statement {{{ */
1142 ContinueStatement
1143 : "continue" IdentifierOpt Terminator { $$ = CYNew CYContinue($2); }
1144 ;
1145 /* }}} */
1146 /* 12.8 The break Statement {{{ */
1147 BreakStatement
1148 : "break" IdentifierOpt Terminator { $$ = CYNew CYBreak($2); }
1149 ;
1150 /* }}} */
1151 /* 12.9 The return Statement {{{ */
1152 ReturnStatement
1153 : "return" ExpressionOpt Terminator { $$ = CYNew CYReturn($2); }
1154 ;
1155 /* }}} */
1156 /* 12.10 The with Statement {{{ */
1157 WithStatement
1158 : "with" "(" Expression ")" Statement { $$ = CYNew CYWith($3, $5); }
1159 ;
1160 /* }}} */
1161
1162 /* 12.11 The switch Statement {{{ */
1163 SwitchStatement
1164 : "switch" "(" Expression ")" CaseBlock { $$ = CYNew CYSwitch($3, $5); }
1165 ;
1166
1167 CaseBlock
1168 : BRACE CaseClausesOpt "}" { $$ = $2; }
1169 ;
1170
1171 CaseClause
1172 : "case" Expression ":" StatementListOpt { $$ = CYNew CYClause($2, $4); }
1173 ;
1174
1175 CaseClausesOpt
1176 : CaseClause CaseClausesOpt { $1->SetNext($2); $$ = $1; }
1177 | DefaultClause CaseClausesOpt { $1->SetNext($2); $$ = $1; }
1178 | { $$ = NULL; }
1179 ;
1180
1181 DefaultClause
1182 : "default" ":" StatementListOpt { $$ = CYNew CYClause(NULL, $3); }
1183 ;
1184 /* }}} */
1185 /* 12.12 Labelled Statements {{{ */
1186 LabelledStatement
1187 : Identifier ":" Statement { $$ = CYNew CYLabel($1, $3); }
1188 ;
1189 /* }}} */
1190 /* 12.13 The throw Statement {{{ */
1191 ThrowStatement
1192 : "throw" Expression Terminator { $$ = CYNew cy::Syntax::Throw($2); }
1193 ;
1194 /* }}} */
1195 /* 12.14 The try Statement {{{ */
1196 TryStatement
1197 : "try" Block_ CatchOpt FinallyOpt { $$ = CYNew cy::Syntax::Try($2, $3, $4); }
1198 ;
1199
1200 CatchOpt
1201 : "catch" "(" Identifier ")" Block_ { $$ = CYNew cy::Syntax::Catch($3, $5); }
1202 | { $$ = NULL; }
1203 ;
1204
1205 FinallyOpt
1206 : "finally" Block_ { $$ = CYNew CYFinally($2); }
1207 | { $$ = NULL; }
1208 ;
1209 /* }}} */
1210 /* 12.14 The debugger Statement {{{ */
1211 DebuggerStatement
1212 : "debugger" Terminator { $$ = CYNew CYDebugger(); }
1213 ;
1214 /* }}} */
1215
1216 /* 13.1 Function Definitions {{{ */
1217 FunctionDeclaration
1218 : ";function" Identifier "(" FormalParameterListOpt ")" BRACE FunctionBody "}" { $$ = CYNew CYFunctionStatement($2, $4, $7); }
1219 ;
1220
1221 FunctionExpression
1222 : "function" IdentifierOpt "(" LexPushInOff FormalParameterListOpt LexPopIn ")" BRACE LexPushInOff FunctionBody LexPopIn "}" { $$ = CYNew CYFunctionExpression($2, $5, $10); }
1223 ;
1224
1225 FormalParameterList_
1226 : "," FormalParameterList { $$ = $2; }
1227 | { $$ = NULL; }
1228 ;
1229
1230 FormalParameterList
1231 // XXX: : FunctionRestParameter { $$ = $1; }
1232 : FormalParameter FormalParameterList_ { $$ = CYNew CYFunctionParameter($1, $2); }
1233 ;
1234
1235 FormalParameterListOpt
1236 : FormalParameterList
1237 | { $$ = NULL; }
1238 ;
1239
1240 /* XXX: FunctionRestParameter
1241 : "..." BindingIdentifier { $$ = CYNew CYFunctionRestParameter($2); }
1242 ;*/
1243
1244 FormalParameter
1245 : BindingElement { $$ = $1; }
1246 ;
1247
1248 FunctionBody
1249 : StatementListOpt { $$ = $1; }
1250 ;
1251 /* }}} */
1252 /* 13.2 Arrow Function Definitions {{{ */
1253 ArrowFunction
1254 : LexSetRegExp ArrowParameters "=>" LexNoBrace ConciseBody { $$ = CYNew CYFunctionExpression(NULL, $2, $5); }
1255 ;
1256
1257 ArrowParameters
1258 : BindingIdentifier { $$ = CYNew CYFunctionParameter(CYNew CYDeclaration($1)); }
1259 //| ParentheticalOpt { $$ = $1; }
1260 ;
1261
1262 ConciseBody
1263 : AssignmentExpression { $$ = CYNew CYReturn($1); }
1264 | ";{" LexPushInOff FunctionBody LexPopIn "}" { $$ = $3; }
1265 ;
1266 /* }}} */
1267 /* 14 Program {{{ */
1268 Program
1269 : ProgramBodyOpt { driver.program_ = CYNew CYProgram($1); }
1270 ;
1271
1272 ProgramBody
1273 : StatementList { $$ = $1; }
1274 ;
1275
1276 ProgramBodyOpt
1277 : ProgramBody { $$ = $1; }
1278 | { $$ = NULL; }
1279 ;
1280 /* }}} */
1281
1282 @begin ObjectiveC
1283 /* Cycript (Objective-C): @class Declaration {{{ */
1284 ClassSuperOpt
1285 /* XXX: why the hell did I choose MemberExpression? */
1286 : ":" LexSetRegExp MemberExpression { $$ = $3; }
1287 | { $$ = NULL; }
1288 ;
1289
1290 ClassField
1291 : Expression Identifier ";"
1292 ;
1293
1294 ClassFieldList
1295 : BRACE ClassFieldListOpt "}" { $$ = NULL; }
1296 ;
1297
1298 ClassFieldListOpt
1299 : ClassFieldListOpt ClassField
1300 |
1301 ;
1302
1303 MessageScope
1304 : "+" { $$ = false; }
1305 | "-" { $$ = true; }
1306 ;
1307
1308 TypeOpt
1309 : "(" Expression ")" { $$ = $2; }
1310 | "(" LexSetRegExp "void" ")" { $$ = NULL; }
1311 | { $$ = NULL; }
1312 ;
1313
1314 MessageParameter
1315 : Word ":" TypeOpt Identifier { $$ = CYNew CYMessageParameter($1, $3, $4); }
1316 ;
1317
1318 MessageParameterList
1319 : MessageParameter MessageParameterListOpt { $1->SetNext($2); $$ = $1; }
1320 ;
1321
1322 MessageParameterListOpt
1323 : MessageParameterList { $$ = $1; }
1324 | { $$ = NULL; }
1325 ;
1326
1327 MessageParameters
1328 : MessageParameterList { $$ = $1; }
1329 | Word { $$ = CYNew CYMessageParameter($1, NULL, NULL); }
1330 ;
1331
1332 ClassMessageDeclaration
1333 : MessageScope TypeOpt MessageParameters BRACE FunctionBody "}" { $$ = CYNew CYMessage($1, $2, $3, $5); }
1334 ;
1335
1336 ClassMessageDeclarationListOpt
1337 : ClassMessageDeclarationListOpt ClassMessageDeclaration { $2->SetNext($1); $$ = $2; }
1338 | ClassMessageDeclarationListOpt Comment { $$ = $1; }
1339 | { $$ = NULL; }
1340 ;
1341
1342 ClassName
1343 : Identifier { $$ = $1; }
1344 | "(" AssignmentExpression ")" { $$ = $2; }
1345 ;
1346
1347 ClassNameOpt
1348 : ClassName { $$ = $1; }
1349 | { $$ = NULL; }
1350 ;
1351
1352 // XXX: this should be AssignmentExpressionNoRight
1353 ClassProtocols
1354 : ShiftExpression ClassProtocolsOpt { $$ = CYNew CYProtocol($1, $2); }
1355 ;
1356
1357 ClassProtocolsOpt
1358 : "," ClassProtocols { $$ = $2; }
1359 | { $$ = NULL; }
1360 ;
1361
1362 ClassProtocolListOpt
1363 : "<" ClassProtocols ">" { $$ = $2; }
1364 | { $$ = NULL; }
1365 ;
1366
1367 ClassExpression
1368 : "@implementation" LexPushInOff ClassNameOpt ClassSuperOpt ClassProtocolListOpt ClassFieldList ClassMessageDeclarationListOpt LexPopIn "@end" { $$ = CYNew CYClassExpression($3, $4, $5, $6, $7); }
1369 ;
1370
1371 ClassStatement
1372 : ";@implementation" ClassName ClassSuperOpt ClassProtocolListOpt ClassFieldList ClassMessageDeclarationListOpt "@end" { $$ = CYNew CYClassStatement($2, $3, $4, $5, $6); }
1373 ;
1374
1375 CategoryName
1376 : "(" WordOpt ")"
1377 ;
1378
1379 CategoryStatement
1380 : ";@implementation" ClassName CategoryName ClassMessageDeclarationListOpt "@end" { $$ = CYNew CYCategory($2, $4); }
1381 ;
1382
1383 PrimaryExpression
1384 : ClassExpression { $$ = $1; }
1385 ;
1386
1387 Statement__
1388 : ClassStatement { $$ = $1; }
1389 | CategoryStatement { $$ = $1; }
1390 ;
1391 /* }}} */
1392 /* Cycript (Objective-C): Send Message {{{ */
1393 VariadicCall
1394 : "," AssignmentExpression VariadicCall { $$ = CYNew CYArgument(NULL, $2, $3); }
1395 | { $$ = NULL; }
1396 ;
1397
1398 SelectorWordOpt
1399 : WordOpt { driver.contexts_.back().words_.push_back($1); } { $$ = $1; }
1400 | AutoComplete { driver.mode_ = CYDriver::AutoMessage; YYACCEPT; }
1401 ;
1402
1403 SelectorCall_
1404 : SelectorCall { $$ = $1; }
1405 | VariadicCall { $$ = $1; }
1406 ;
1407
1408 SelectorCall
1409 : SelectorWordOpt ":" AssignmentExpression SelectorCall_ { $$ = CYNew CYArgument($1 ?: CYNew CYBlank(), $3, $4); }
1410 ;
1411
1412 SelectorList
1413 : SelectorCall { $$ = $1; }
1414 | Word { $$ = CYNew CYArgument($1, NULL); }
1415 ;
1416
1417 MessageExpression
1418 : "[" LexPushInOff AssignmentExpression { driver.contexts_.push_back($3); } SelectorList LexPopIn "]" { driver.contexts_.pop_back(); } { $$ = CYNew CYSendDirect($3, $5); }
1419 | "[" LexPushInOff LexSetRegExp "super" { driver.context_ = NULL; } SelectorList LexPopIn "]" { $$ = CYNew CYSendSuper($6); }
1420 ;
1421
1422 SelectorExpression_
1423 : WordOpt ":" SelectorExpressionOpt { $$ = CYNew CYSelectorPart($1, true, $3); }
1424 ;
1425
1426 SelectorExpression
1427 : SelectorExpression_ { $$ = $1; }
1428 | Word { $$ = CYNew CYSelectorPart($1, false, NULL); }
1429 ;
1430
1431 SelectorExpressionOpt
1432 : SelectorExpression_ { $$ = $1; }
1433 | { $$ = NULL; }
1434 ;
1435
1436 PrimaryExpression
1437 : MessageExpression { $$ = $1; }
1438 | "@selector" "(" LexPushInOff SelectorExpression LexPopIn ")" { $$ = CYNew CYSelector($4); }
1439 ;
1440 /* }}} */
1441 /* Cycript (Objective-C): @import Directive {{{ */
1442 PathName
1443 : "/" PathName
1444 | "." PathName
1445 | Word PathName
1446 |
1447 ;
1448
1449 ImportPath
1450 : "<" PathName ">"
1451 | StringLiteral
1452 ;
1453
1454 StatementListItem
1455 : "@import" ImportPath { $$ = CYNew CYImport(); }
1456 ;
1457 /* }}} */
1458 @end
1459
1460 @begin C
1461 /* Cycript (C): Pointer Indirection/Addressing {{{ */
1462 LeftHandSideExpression
1463 : LexSetRegExp "*" UnaryExpression { $$ = CYNew CYIndirect($3); }
1464 ;
1465
1466 UnaryExpression_
1467 : "&" UnaryExpression { $$ = CYNew CYAddressOf($2); }
1468 ;
1469
1470 MemberAccess
1471 : "->" "[" Expression "]" { $$ = CYNew CYIndirectMember(NULL, $3); }
1472 | "->" Identifier { $$ = CYNew CYIndirectMember(NULL, CYNew CYString($2)); }
1473 | "->" AutoComplete { driver.mode_ = CYDriver::AutoIndirect; YYACCEPT; }
1474 ;
1475 /* }}} */
1476 @end
1477
1478 /* YUI: Documentation Comments {{{ */
1479 Statement__
1480 : Comment { $$ = $1; }
1481 ;
1482 /* }}} */
1483
1484 @begin E4X
1485 /* Lexer State {{{ */
1486 LexPushRegExp
1487 : { driver.PushCondition(CYDriver::RegExpCondition); }
1488 ;
1489
1490 LexPushXMLContent
1491 : { driver.PushCondition(CYDriver::XMLContentCondition); }
1492 ;
1493
1494 LexPushXMLTag
1495 : { driver.PushCondition(CYDriver::XMLTagCondition); }
1496 ;
1497
1498 LexPop
1499 : { driver.PopCondition(); }
1500 ;
1501
1502 LexSetXMLContent
1503 : { driver.SetCondition(CYDriver::XMLContentCondition); }
1504 ;
1505
1506 LexSetXMLTag
1507 : { driver.SetCondition(CYDriver::XMLTagCondition); }
1508 ;
1509 /* }}} */
1510
1511 XMLWhitespaceOpt
1512 : XMLWhitespace
1513 |
1514 ;
1515
1516 /* 8.1 Context Keywords {{{ */
1517 Identifier
1518 : "namespace" { $$ = $1; }
1519 | "xml" { $$ = $1; }
1520 ;
1521 /* }}} */
1522 /* 8.3 XML Initialiser Input Elements {{{ */
1523 XMLMarkup
1524 : XMLComment { $$ = $1; }
1525 | XMLCDATA { $$ = $1; }
1526 | XMLPI { $$ = $1; }
1527 ;
1528 /* }}} */
1529 /* 11.1 Primary Expressions {{{ */
1530 PrimaryExpression
1531 : PropertyIdentifier { $$ = CYNew CYPropertyVariable($1); }
1532 | XMLInitialiser { $$ = $1; }
1533 | XMLListInitialiser { $$ = $1; }
1534 ;
1535
1536 PropertyIdentifier
1537 : AttributeIdentifier { $$ = $1; }
1538 | QualifiedIdentifier { $$ = $1; }
1539 | WildcardIdentifier { $$ = $1; }
1540 ;
1541 /* }}} */
1542 /* 11.1.1 Attribute Identifiers {{{ */
1543 AttributeIdentifier
1544 : "@" QualifiedIdentifier_ { $$ = CYNew CYAttribute($2); }
1545 ;
1546
1547 PropertySelector_
1548 : PropertySelector { $$ = $1; }
1549 | "[" LexPushInOff Expression LexPopIn "]" { $$ = CYNew CYSelector($3); }
1550 ;
1551
1552 PropertySelector
1553 : Identifier { $$ = CYNew CYSelector($1); }
1554 | WildcardIdentifier { $$ = $1; }
1555 ;
1556 /* }}} */
1557 /* 11.1.2 Qualified Identifiers {{{ */
1558 QualifiedIdentifier_
1559 : PropertySelector_ { $$ = CYNew CYQualified(NULL, $1); }
1560 | QualifiedIdentifier { $$ = $1; }
1561 ;
1562
1563 QualifiedIdentifier
1564 : PropertySelector "::" PropertySelector_ { $$ = CYNew CYQualified($1, $3); }
1565 ;
1566 /* }}} */
1567 /* 11.1.3 Wildcard Identifiers {{{ */
1568 WildcardIdentifier
1569 : "*" { $$ = CYNew CYWildcard(); }
1570 ;
1571 /* }}} */
1572 /* 11.1.4 XML Initialiser {{{ */
1573 XMLInitialiser
1574 : XMLMarkup { $$ = $1; }
1575 | XMLElement { $$ = $1; }
1576 ;
1577
1578 XMLElement
1579 : "<" LexPushInOff XMLTagContent LexPop LexPopIn "/>"
1580 | "<" LexPushInOff XMLTagContent ">" LexSetXMLContent XMLElementContentOpt "</" LexSetXMLTag XMLTagName XMLWhitespaceOpt LexPop LexPopIn ">"
1581 ;
1582
1583 XMLTagContent
1584 : LexPushXMLTag XMLTagName XMLAttributes
1585 ;
1586
1587 XMLExpression
1588 : BRACE LexPushRegExp Expression LexPop "}"
1589 ;
1590
1591 XMLTagName
1592 : XMLExpression
1593 | XMLName
1594 ;
1595
1596 XMLAttributes_
1597 : XMLAttributes_ XMLAttribute
1598 |
1599 ;
1600
1601 XMLAttributes
1602 : XMLAttributes_ XMLWhitespace XMLExpression XMLWhitespaceOpt
1603 | XMLAttributes_ XMLWhitespaceOpt
1604 ;
1605
1606 XMLAttributeValue_
1607 : XMLExpression
1608 | XMLAttributeValue
1609 ;
1610
1611 XMLAttribute
1612 : XMLWhitespace XMLName XMLWhitespaceOpt "=" XMLWhitespaceOpt XMLAttributeValue_
1613 ;
1614
1615 XMLElementContent
1616 : XMLExpression XMLElementContentOpt
1617 | XMLMarkup XMLElementContentOpt
1618 | XMLText XMLElementContentOpt
1619 | XMLElement XMLElementContentOpt
1620 ;
1621
1622 XMLElementContentOpt
1623 : XMLElementContent
1624 |
1625 ;
1626 /* }}} */
1627 /* 11.1.5 XMLList Initialiser {{{ */
1628 XMLListInitialiser
1629 : "<>" LexPushInOff LexPushXMLContent XMLElementContent LexPop LexPopIn "</>" { $$ = CYNew CYXMLList($4); }
1630 ;
1631 /* }}} */
1632 /* 11.2 Left-Hand-Side Expressions {{{ */
1633 PropertyIdentifier_
1634 : Identifier { $$ = $1; }
1635 | PropertyIdentifier { $$ = $1; }
1636 ;
1637
1638 MemberAccess
1639 : "." PropertyIdentifier { $$ = CYNew CYPropertyMember(NULL, $2); }
1640 | ".." PropertyIdentifier_ { $$ = CYNew CYDescendantMember(NULL, $2); }
1641 | "." "(" Expression ")" { $$ = CYNew CYFilteringPredicate(NULL, $3); }
1642 ;
1643 /* }}} */
1644 /* 12.1 The default xml namespace Statement {{{ */
1645 /* XXX: DefaultXMLNamespaceStatement
1646 : "default" "xml" "namespace" "=" Expression Terminator { $$ = CYNew CYDefaultXMLNamespace($5); }
1647 ;
1648
1649 Statement__
1650 : DefaultXMLNamespaceStatement { $$ = $1; }
1651 ; */
1652 /* }}} */
1653 @end
1654
1655 /* ECMAScript5: Object Literal Trailing Comma {{{ */
1656 PropertyNameAndValueList_
1657 : "," { $$ = NULL; }
1658 ;
1659 /* }}} */
1660
1661 /* JavaScript 1.7: Array Comprehensions {{{ */
1662 IfComprehension
1663 : "if" "(" Expression ")" { $$ = CYNew CYIfComprehension($3); }
1664 ;
1665
1666 ForComprehension
1667 : "for" "(" LexPushInOn Identifier LexPopIn "!in" Expression ")" { $$ = CYNew CYForInComprehension($4, $7); }
1668 | "for" "each" "(" LexPushInOn Identifier LexPopIn "!in" Expression ")" { $$ = CYNew CYForOfComprehension($5, $8); }
1669 ;
1670
1671 ComprehensionList
1672 : ForComprehension ComprehensionListOpt { $1->SetNext($2); $$ = $1; }
1673 ;
1674
1675 ComprehensionListOpt
1676 : ComprehensionList { $$ = $1; }
1677 | IfComprehension { $$ = $1; }
1678 | { $$ = NULL; }
1679 ;
1680
1681 PrimaryExpression
1682 : "[" LexPushInOff AssignmentExpression ComprehensionList LexPopIn "]" { $$ = CYNew CYArrayComprehension($3, $4); }
1683 ;
1684 /* }}} */
1685 /* JavaScript 1.7: for each {{{ */
1686 IterationStatement
1687 : "for" "each" "(" LexPushInOn ForInStatementInitialiser LexPopIn "!in" Expression ")" Statement { $$ = CYNew CYForOf($5, $8, $10); }
1688 ;
1689 /* }}} */
1690 /* JavaScript 1.7: let Statements {{{ */
1691 LetStatement
1692 : "let" "(" VariableDeclarationList ")" Statement { $$ = CYNew CYLetStatement($3, $5); }
1693 ;
1694
1695 Statement__
1696 : LetStatement
1697 ;
1698 /* }}} */
1699
1700 /* JavaScript FTW: Ruby Blocks {{{ */
1701 RubyProcParameterList_
1702 : "," RubyProcParameterList { $$ = $2; }
1703 | { $$ = NULL; }
1704 ;
1705
1706 RubyProcParameterList
1707 : Identifier RubyProcParameterList_ { $$ = CYNew CYFunctionParameter(CYNew CYDeclaration($1), $2); }
1708 | { $$ = NULL; }
1709 ;
1710
1711 RubyProcParameters
1712 : "|" RubyProcParameterList "|" { $$ = $2; }
1713 | "||" { $$ = NULL; }
1714 ;
1715
1716 RubyProcParametersOpt
1717 : RubyProcParameters
1718 | { $$ = NULL; }
1719 ;
1720
1721 RubyProcExpression
1722 : "{" RubyProcParametersOpt StatementListOpt "}" { $$ = CYNew CYRubyProc($2, $3); }
1723 ;
1724
1725 PrimaryExpression
1726 : "{" LexPushInOff RubyProcParameters StatementListOpt LexPopIn "}" { $$ = CYNew CYRubyProc($3, $4); }
1727 ;
1728
1729 CallExpression
1730 : CallExpression_ RubyProcExpression { $$ = CYNew CYRubyBlock($1, $2); }
1731 ;
1732 /* }}} */
1733
1734 %%