#include "Cycript.tab.hh"
typedef cy::parser::token tk;
#define YY_EXTRA_TYPE CYDriver *
+#define N yylval->newline_ = yyextra->newline_; yyextra->newline_ = false; yyextra->restricted_ = false;
+#define R yyextra->restricted_ = true;
+#define L { bool restricted(yyextra->restricted_); yyextra->restricted_ = false; if (restricted) return tk::NewLine; else yyextra->newline_ = true; }
%}
%option prefix="cy"
%%
-"&" return tk::Ampersand;
-"&&" return tk::AmpersandAmpersand;
-"&=" return tk::AmpersandEqual;
-"^" return tk::Carrot;
-"^=" return tk::CarrotEqual;
-"=" return tk::Equal;
-"==" return tk::EqualEqual;
-"===" return tk::EqualEqualEqual;
-"!" return tk::Exclamation;
-"!=" return tk::ExclamationEqual;
-"!==" return tk::ExclamationEqualEqual;
-"-" return tk::Hyphen;
-"-=" return tk::HyphenEqual;
-"--" return tk::HyphenHyphen;
-"->" return tk::HyphenRight;
-"<" return tk::Left;
-"<=" return tk::LeftEqual;
-"<<" return tk::LeftLeft;
-"<<=" return tk::LeftLeftEqual;
-"%" return tk::Percent;
-"%=" return tk::PercentEqual;
-"." return tk::Period;
-"|" return tk::Pipe;
-"|=" return tk::PipeEqual;
-"||" return tk::PipePipe;
-"+" return tk::Plus;
-"+=" return tk::PlusEqual;
-"++" return tk::PlusPlus;
-">" return tk::Right;
-">=" return tk::RightEqual;
-">>" return tk::RightRight;
-">>=" return tk::RightRightEqual;
-">>>" return tk::RightRightRight;
-">>>=" return tk::RightRightRightEqual;
-"/" return tk::Slash;
-"/=" return tk::SlashEqual;
-"*" return tk::Star;
-"*=" return tk::StarEqual;
-"~" return tk::Tilde;
-
-":" return tk::Colon;
-"," return tk::Comma;
-"?" return tk::Question;
-";" return tk::SemiColon;
-
-"(" return tk::OpenParen;
-")" return tk::CloseParen;
-
-"{" return tk::OpenBrace;
-"}" return tk::CloseBrace;
-
-"[" return tk::OpenBracket;
-"]" return tk::CloseBracket;
-
-"break" yylval->word_ = new CYWord("break"); return tk::Break;
-"case" yylval->word_ = new CYWord("case"); return tk::Case;
-"catch" yylval->word_ = new CYWord("catch"); return tk::Catch;
-"continue" yylval->word_ = new CYWord("continue"); return tk::Continue;
-"default" yylval->word_ = new CYWord("default"); return tk::Default;
-"delete" yylval->word_ = new CYWord("delete"); return tk::Delete;
-"do" yylval->word_ = new CYWord("do"); return tk::Do;
-"else" yylval->word_ = new CYWord("else"); return tk::Else;
-"false" yylval->false_ = new CYFalse(); return tk::False;
-"finally" yylval->word_ = new CYWord("finally"); return tk::Finally;
-"for" yylval->word_ = new CYWord("for"); return tk::For;
-"function" yylval->word_ = new CYWord("function"); return tk::Function;
-"if" yylval->word_ = new CYWord("if"); return tk::If;
-"in" yylval->word_ = new CYWord("in"); return tk::In;
-"instanceof" yylval->word_ = new CYWord("instanceof"); return tk::InstanceOf;
-"new" yylval->word_ = new CYWord("new"); return tk::New;
-"null" yylval->null_ = new CYNull(); return tk::Null;
-"return" yylval->word_ = new CYWord("return"); return tk::Return;
-"switch" yylval->word_ = new CYWord("switch"); return tk::Switch;
-"this" yylval->this_ = new CYThis(); return tk::This;
-"throw" yylval->word_ = new CYWord("throw"); return tk::Throw;
-"true" yylval->true_ = new CYTrue(); return tk::True;
-"try" yylval->word_ = new CYWord("try"); return tk::Try;
-"typeof" yylval->word_ = new CYWord("typeof"); return tk::TypeOf;
-"var" yylval->word_ = new CYWord("var"); return tk::Var;
-"void" yylval->word_ = new CYWord("void"); return tk::Void;
-"while" yylval->word_ = new CYWord("while"); return tk::While;
-"with" yylval->word_ = new CYWord("with"); return tk::With;
-
-[a-zA-Z$_][a-zA-Z$_0-9]* yylval->identifier_ = new CYIdentifier(apr_pstrmemdup(yyextra->pool_, yytext, yyleng)); return tk::Identifier;
-
-(\.[0-9]+|(0|[1-9][0-9]*)(\.[0-9]*)?){Exponent}? yylval->number_ = new CYNumber(strtod(yytext, NULL)); return tk::NumericLiteral;
-
-0[xX][0-9a-fA-F]+ yylval->number_ = new CYNumber(strtoull(yytext + 2, NULL, 16)); return tk::NumericLiteral;
-
-0[bB][0-1]+ yylval->number_ = new CYNumber(strtoull(yytext + 2, NULL, 2)); return tk::NumericLiteral;
-
-\"([^"\\\n]|{Escape})*\" return tk::StringLiteral;
-'([^'\\\n]|{Escape})*' return tk::StringLiteral;
-
-[ \t\n] ;
+\/\/[^\n]* ;
+\/\*(\n|[^\*]|\*[^/])\*\/ if (memchr(yytext, '\n', yyleng) != NULL) L // XXX: supposedly I will be screwed on very very long multi-line comments and need to replace this with a manual lexer. http://websrv.cs.fsu.edu/~engelen/courses/COP5621/Pr2.pdf ; XXX: this rule doesn't work anyway, fucking A :(
+
+"&" N return tk::Ampersand;
+"&&" N return tk::AmpersandAmpersand;
+"&=" N return tk::AmpersandEqual;
+"^" N return tk::Carrot;
+"^=" N return tk::CarrotEqual;
+"=" N return tk::Equal;
+"==" N return tk::EqualEqual;
+"===" N return tk::EqualEqualEqual;
+"!" N return tk::Exclamation;
+"!=" N return tk::ExclamationEqual;
+"!==" N return tk::ExclamationEqualEqual;
+"-" N return tk::Hyphen;
+"-=" N return tk::HyphenEqual;
+"--" N return yylval->newline_ ? tk::HyphenHyphen_ : tk::HyphenHyphen;
+"->" N return tk::HyphenRight;
+"<" N return tk::Left;
+"<=" N return tk::LeftEqual;
+"<<" N return tk::LeftLeft;
+"<<=" N return tk::LeftLeftEqual;
+"%" N return tk::Percent;
+"%=" N return tk::PercentEqual;
+"." N return tk::Period;
+"|" N return tk::Pipe;
+"|=" N return tk::PipeEqual;
+"||" N return tk::PipePipe;
+"+" N return tk::Plus;
+"+=" N return tk::PlusEqual;
+"++" N return yylval->newline_ ? tk::PlusPlus_ : tk::PlusPlus;
+">" N return tk::Right;
+">=" N return tk::RightEqual;
+">>" N return tk::RightRight;
+">>=" N return tk::RightRightEqual;
+">>>" N return tk::RightRightRight;
+">>>=" N return tk::RightRightRightEqual;
+"/" N return tk::Slash;
+"/=" N return tk::SlashEqual;
+"*" N return tk::Star;
+"*=" N return tk::StarEqual;
+"~" N return tk::Tilde;
+
+":" N return tk::Colon;
+"," N return tk::Comma;
+"?" N return tk::Question;
+";" N return tk::SemiColon;
+
+"(" N return tk::OpenParen;
+")" N return tk::CloseParen;
+
+"{" N return tk::OpenBrace;
+"}" N return tk::CloseBrace;
+
+"[" N return tk::OpenBracket;
+"]" N return tk::CloseBracket;
+
+"break" N R yylval->word_ = new CYWord("break"); return tk::Break;
+"case" N yylval->word_ = new CYWord("case"); return tk::Case;
+"catch" N yylval->word_ = new CYWord("catch"); return tk::Catch;
+"continue" N R yylval->word_ = new CYWord("continue"); return tk::Continue;
+"default" N yylval->word_ = new CYWord("default"); return tk::Default;
+"delete" N yylval->word_ = new CYWord("delete"); return tk::Delete;
+"do" N yylval->word_ = new CYWord("do"); return tk::Do;
+"else" N yylval->word_ = new CYWord("else"); return tk::Else;
+"false" N yylval->false_ = new CYFalse(); return tk::False;
+"finally" N yylval->word_ = new CYWord("finally"); return tk::Finally;
+"for" N yylval->word_ = new CYWord("for"); return tk::For;
+"function" N yylval->word_ = new CYWord("function"); return tk::Function;
+"if" N yylval->word_ = new CYWord("if"); return tk::If;
+"in" N yylval->word_ = new CYWord("in"); return tk::In;
+"instanceof" N yylval->word_ = new CYWord("instanceof"); return tk::InstanceOf;
+"new" N yylval->word_ = new CYWord("new"); return tk::New;
+"null" N yylval->null_ = new CYNull(); return tk::Null;
+"return" N R yylval->word_ = new CYWord("return"); return tk::Return;
+"switch" N yylval->word_ = new CYWord("switch"); return tk::Switch;
+"this" N yylval->this_ = new CYThis(); return tk::This;
+"throw" N R yylval->word_ = new CYWord("throw"); return tk::Throw;
+"true" N yylval->true_ = new CYTrue(); return tk::True;
+"try" N yylval->word_ = new CYWord("try"); return tk::Try;
+"typeof" N yylval->word_ = new CYWord("typeof"); return tk::TypeOf;
+"var" N yylval->word_ = new CYWord("var"); return tk::Var;
+"void" N yylval->word_ = new CYWord("void"); return tk::Void;
+"while" N yylval->word_ = new CYWord("while"); return tk::While;
+"with" N yylval->word_ = new CYWord("with"); return tk::With;
+
+[a-zA-Z$_][a-zA-Z$_0-9]* yylval->identifier_ = new CYIdentifier(apr_pstrmemdup(yyextra->pool_, yytext, yyleng)); N return tk::Identifier;
+
+(\.[0-9]+|(0|[1-9][0-9]*)(\.[0-9]*)?){Exponent}? yylval->number_ = new CYNumber(strtod(yytext, NULL)); N return tk::NumericLiteral;
+
+0[xX][0-9a-fA-F]+ N yylval->number_ = new CYNumber(strtoull(yytext + 2, NULL, 16)); return tk::NumericLiteral;
+
+0[bB][0-1]+ N yylval->number_ = new CYNumber(strtoull(yytext + 2, NULL, 2)); return tk::NumericLiteral;
+
+\"([^"\\\n]|{Escape})*\" N return tk::StringLiteral;
+'([^'\\\n]|{Escape})*' N return tk::StringLiteral;
+
+\n L
+[ \t] ;
%%
%code requires {
#include "Parser.hpp"
-}
-%union {
- CYArgument *argument_;
- CYBoolean *boolean_;
- CYClause *clause_;
- CYCatch *catch_;
- CYDeclaration *declaration_;
- CYDeclarations *declarations_;
- CYElement *element_;
- CYExpression *expression_;
- CYFalse *false_;
- CYForInitialiser *for_;
- CYForInInitialiser *forin_;
- CYIdentifier *identifier_;
- CYLiteral *literal_;
- CYName *name_;
- CYNull *null_;
- CYNumber *number_;
- CYParameter *parameter_;
- CYProperty *property_;
- CYSource *source_;
- CYStatement *statement_;
- CYString *string_;
- CYThis *this_;
- CYTrue *true_;
- CYWord *word_;
+typedef struct {
+ bool newline_;
+
+ union {
+ CYArgument *argument_;
+ CYBoolean *boolean_;
+ CYClause *clause_;
+ CYCatch *catch_;
+ CYDeclaration *declaration_;
+ CYDeclarations *declarations_;
+ CYElement *element_;
+ CYExpression *expression_;
+ CYFalse *false_;
+ CYForInitialiser *for_;
+ CYForInInitialiser *forin_;
+ CYIdentifier *identifier_;
+ CYLiteral *literal_;
+ CYName *name_;
+ CYNull *null_;
+ CYNumber *number_;
+ CYParameter *parameter_;
+ CYProperty *property_;
+ CYSource *source_;
+ CYStatement *statement_;
+ CYString *string_;
+ CYThis *this_;
+ CYTrue *true_;
+ CYWord *word_;
+ };
+} YYSTYPE;
+
}
%name-prefix "cy"
%token Hyphen "-"
%token HyphenEqual "-="
%token HyphenHyphen "--"
+%token HyphenHyphen_ "\n--"
%token HyphenRight "->"
%token Left "<"
%token LeftEqual "<="
%token Plus "+"
%token PlusEqual "+="
%token PlusPlus "++"
+%token PlusPlus_ "\n++"
%token Right ">"
%token RightEqual ">="
%token RightRight ">>"
%token Comma ","
%token Question "?"
%token SemiColon ";"
+%token NewLine "\n"
%token OpenParen "("
%token CloseParen ")"
%type <property_> PropertyNameAndValueList
%type <property_> PropertyNameAndValueList_
%type <property_> PropertyNameAndValueListOpt
+%type <expression_> QExpressionOpt
+%type <identifier_> QIdentifierOpt
%type <expression_> RelationalExpression
%type <statement_> ReturnStatement
%type <argument_> SelectorCall
%type <word_> Word
%type <word_> WordOpt
+%nonassoc "if"
+%nonassoc "else"
+
%%
-%start Command;
+%start Program;
+
+Q
+ :
+ /*| NewLine*/
+ ;
+
+QTerminator
+ : Q Terminator
+ ;
+
+/*TerminatorOpt
+ : QTerminator
+ |
+ ;
+
+Terminator
+ : ";"
+ | NewLine
+ ;*/
+
+TerminatorOpt
+ : ";"
+ | NewLine
+ |
+ ;
+
+Terminator
+ : ";"
+ | NewLine
+ | error { yyerrok; }
+ ;
+
+NewLineOpt
+ : NewLine
+ |
+ ;
-WordOpt
+WordOpt /*Qq*/
: Word { $$ = $1; }
| { $$ = NULL; }
;
-Word
+Word /*Q*/
: Identifier { $$ = $1; }
- | "break" { $$ = $1; }
+ | "break" NewLineOpt { $$ = $1; }
| "case" { $$ = $1; }
| "catch" { $$ = $1; }
- | "continue" { $$ = $1; }
+ | "continue" NewLineOpt { $$ = $1; }
| "default" { $$ = $1; }
| "delete" { $$ = $1; }
| "do" { $$ = $1; }
| "instanceof" { $$ = $1; }
| "new" { $$ = $1; }
| "null" { $$ = $1; }
- | "return" { $$ = $1; }
+ | "return" NewLineOpt { $$ = $1; }
| "switch" { $$ = $1; }
| "this" { $$ = $1; }
- | "throw" { $$ = $1; }
+ | "throw" NewLineOpt { $$ = $1; }
| "true" { $$ = $1; }
| "try" { $$ = $1; }
| "typeof" { $$ = $1; }
| "with" { $$ = $1; }
;
-IdentifierOpt
+IdentifierOpt /*Q*/
: Identifier { $$ = $1; }
| { $$ = NULL; }
;
-Literal
+QIdentifierOpt
+ : Q Identifier { $$ = $2; }
+ | { $$ = NULL; }
+ ;
+
+Literal /*Q*/
: NullLiteral { $$ = $1; }
| BooleanLiteral { $$ = $1; }
| NumericLiteral { $$ = $1; }
| StringLiteral { $$ = $1; }
;
-NullLiteral
+NullLiteral /*Q*/
: "null" { $$ = $1; }
;
-BooleanLiteral
+BooleanLiteral /*Q*/
: "true" { $$ = $1; }
| "false" { $$ = $1; }
;
/* Objective-C Extensions {{{ */
-VariadicCall
- : "," AssignmentExpression VariadicCall { $$ = new(driver.pool_) CYArgument(NULL, $2, $3); }
+VariadicCall /*Qq*/
+ : "," Q AssignmentExpression VariadicCall { $$ = new(driver.pool_) CYArgument(NULL, $3, $4); }
| { $$ = NULL; }
;
-SelectorCall_
+SelectorCall_ /*Qq*/
: SelectorCall { $$ = $1; }
| VariadicCall { $$ = $1; }
;
-SelectorCall
- : WordOpt ":" AssignmentExpression SelectorCall_ { $$ = new(driver.pool_) CYArgument($1 ?: new(driver.pool_) CYBlank(), $3, $4); }
+SelectorCall /*Qq*/
+ : WordOpt ":" Q AssignmentExpression SelectorCall_ { $$ = new(driver.pool_) CYArgument($1 ?: new(driver.pool_) CYBlank(), $4, $5); }
;
-SelectorList
+SelectorList /*Qq*/
: SelectorCall { $$ = $1; }
- | Word { $$ = new(driver.pool_) CYArgument($1, NULL); }
+ | Word Q { $$ = new(driver.pool_) CYArgument($1, NULL); }
;
-MessageExpression
- : "[" AssignmentExpression SelectorList "]" { $$ = new(driver.pool_) CYMessage($2, $3); }
+MessageExpression /*Q*/
+ : "[" Q AssignmentExpression SelectorList "]" { $$ = new(driver.pool_) CYMessage($3, $4); }
;
/* }}} */
/* 11.1 Primary Expressions {{{ */
-PrimaryExpression
+PrimaryExpression /*Q*/
: "this" { $$ = $1; }
| Identifier { $$ = new(driver.pool_) CYVariable($1); }
| Literal { $$ = $1; }
| ArrayLiteral { $$ = $1; }
| ObjectLiteral { $$ = $1; }
- | "(" Expression ")" { $$ = $2; }
+ | "(" Q Expression ")" { $$ = $3; }
| MessageExpression { $$ = $1; }
;
/* }}} */
/* 11.1.4 Array Initialiser {{{ */
-ArrayLiteral
- : "[" ElementList "]" { $$ = $2; }
+ArrayLiteral /*Q*/
+ : "[" Q ElementList "]" { $$ = $3; }
;
-Element
+Element /*Qq*/
: AssignmentExpression { $$ = $1; }
| { $$ = NULL; }
;
-ElementList_
- : "," ElementList { $$ = $2; }
+ElementList_ /*Qq*/
+ : "," Q ElementList { $$ = $3; }
| { $$ = NULL; }
;
-ElementList
+ElementList /*Qq*/
: Element ElementList_ { $$ = new(driver.pool_) CYElement($1, $2); }
;
/* }}} */
/* 11.1.5 Object Initialiser {{{ */
-ObjectLiteral
+ObjectLiteral /*Q*/
: "{" PropertyNameAndValueListOpt "}" { $$ = $2; }
;
-PropertyNameAndValueList_
+PropertyNameAndValueList_ /*Qq*/
: "," PropertyNameAndValueList { $$ = $2; }
| { $$ = NULL; }
;
-PropertyNameAndValueListOpt
+PropertyNameAndValueListOpt /*q*/
: PropertyNameAndValueList { $$ = $1; }
- | { $$ = NULL; }
+ | Q { $$ = NULL; }
;
-PropertyNameAndValueList
- : PropertyName ":" AssignmentExpression PropertyNameAndValueList_ { $$ = new(driver.pool_) CYProperty($1, $3, $4); }
+PropertyNameAndValueList /*q*/
+ : PropertyName Q ":" Q AssignmentExpression PropertyNameAndValueList_ { $$ = new(driver.pool_) CYProperty($1, $5, $6); }
;
PropertyName
- : Identifier { $$ = $1; }
- | StringLiteral { $$ = $1; }
- | NumericLiteral { $$ = $1; }
+ : Q Identifier { $$ = $2; }
+ | Q StringLiteral { $$ = $2; }
+ | Q NumericLiteral { $$ = $2; }
;
/* }}} */
-MemberExpression
+MemberExpression /*Q*/
: PrimaryExpression { $$ = $1; }
| FunctionExpression { $$ = $1; }
- | MemberExpression "[" Expression "]" { $$ = new(driver.pool_) CYMember($1, $3); }
- | MemberExpression "." Identifier { $$ = new(driver.pool_) CYMember($1, new(driver.pool_) CYString($3)); }
- | "new" MemberExpression Arguments { $$ = new(driver.pool_) CYNew($2, $3); }
+ | MemberExpression Q "[" Q Expression "]" { $$ = new(driver.pool_) CYMember($1, $5); }
+ | MemberExpression Q "." Q Identifier { $$ = new(driver.pool_) CYMember($1, new(driver.pool_) CYString($5)); }
+ | "new" Q MemberExpression Arguments { $$ = new(driver.pool_) CYNew($3, $4); }
;
-NewExpression
+NewExpression /*Q*/
: MemberExpression { $$ = $1; }
- | "new" NewExpression { $$ = new(driver.pool_) CYNew($2, NULL); }
+ | "new" Q NewExpression { $$ = new(driver.pool_) CYNew($3, NULL); }
;
-CallExpression
+CallExpression /*Q*/
: MemberExpression Arguments { $$ = new(driver.pool_) CYCall($1, $2); }
| CallExpression Arguments { $$ = new(driver.pool_) CYCall($1, $2); }
- | CallExpression "[" Expression "]" { $$ = new(driver.pool_) CYMember($1, $3); }
- | CallExpression "." Identifier { $$ = new(driver.pool_) CYMember($1, new(driver.pool_) CYString($3)); }
+ | CallExpression Q "[" Q Expression "]" { $$ = new(driver.pool_) CYMember($1, $5); }
+ | CallExpression Q "." Q Identifier { $$ = new(driver.pool_) CYMember($1, new(driver.pool_) CYString($5)); }
;
-ArgumentList_
+ArgumentList_ /*Qq*/
: "," ArgumentList { $$ = $2; }
| { $$ = NULL; }
;
-ArgumentListOpt
+ArgumentListOpt /*q*/
: ArgumentList { $$ = $1; }
- | { $$ = NULL; }
+ | Q { $$ = NULL; }
;
-ArgumentList
- : AssignmentExpression ArgumentList_ { $$ = new(driver.pool_) CYArgument(NULL, $1, $2); }
+ArgumentList /*q*/
+ : Q AssignmentExpression ArgumentList_ { $$ = new(driver.pool_) CYArgument(NULL, $2, $3); }
;
Arguments
- : "(" ArgumentListOpt ")" { $$ = $2; }
+ : Q "(" ArgumentListOpt ")" { $$ = $3; }
;
-LeftHandSideExpression
+LeftHandSideExpression /*Q*/
: NewExpression { $$ = $1; }
| CallExpression { $$ = $1; }
- | "*" LeftHandSideExpression { $$ = new(driver.pool_) CYIndirect($2); }
+ | "*" Q LeftHandSideExpression { $$ = new(driver.pool_) CYIndirect($3); }
;
-PostfixExpression
+PostfixExpression /*Q*/
: LeftHandSideExpression { $$ = $1; }
| LeftHandSideExpression "++" { $$ = new(driver.pool_) CYPostIncrement($1); }
| LeftHandSideExpression "--" { $$ = new(driver.pool_) CYPostDecrement($1); }
;
-UnaryExpression
- : PostfixExpression { $$ = $1; }
- | "delete" UnaryExpression { $$ = new(driver.pool_) CYDelete($2); }
- | "void" UnaryExpression { $$ = new(driver.pool_) CYVoid($2); }
- | "typeof" UnaryExpression { $$ = new(driver.pool_) CYTypeOf($2); }
- | "++" UnaryExpression { $$ = new(driver.pool_) CYPreIncrement($2); }
- | "--" UnaryExpression { $$ = new(driver.pool_) CYPreDecrement($2); }
- | "+" UnaryExpression { $$ = $2; }
- | "-" UnaryExpression { $$ = new(driver.pool_) CYNegate($2); }
- | "~" UnaryExpression { $$ = new(driver.pool_) CYBitwiseNot($2); }
- | "!" UnaryExpression { $$ = new(driver.pool_) CYLogicalNot($2); }
- | "&" UnaryExpression { $$ = new(driver.pool_) CYAddressOf($2); }
+UnaryExpression /*Qq*/
+ : PostfixExpression Q { $$ = $1; }
+ | "delete" Q UnaryExpression { $$ = new(driver.pool_) CYDelete($3); }
+ | "void" Q UnaryExpression { $$ = new(driver.pool_) CYVoid($3); }
+ | "typeof" Q UnaryExpression { $$ = new(driver.pool_) CYTypeOf($3); }
+ | "++" Q UnaryExpression { $$ = new(driver.pool_) CYPreIncrement($3); }
+ | "\n++" Q UnaryExpression { $$ = new(driver.pool_) CYPreIncrement($3); }
+ | "--" Q UnaryExpression { $$ = new(driver.pool_) CYPreDecrement($3); }
+ | "\n--" Q UnaryExpression { $$ = new(driver.pool_) CYPreDecrement($3); }
+ | "+" Q UnaryExpression { $$ = $3; }
+ | "-" Q UnaryExpression { $$ = new(driver.pool_) CYNegate($3); }
+ | "~" Q UnaryExpression { $$ = new(driver.pool_) CYBitwiseNot($3); }
+ | "!" Q UnaryExpression { $$ = new(driver.pool_) CYLogicalNot($3); }
+ | "&" Q UnaryExpression { $$ = new(driver.pool_) CYAddressOf($3); }
;
-MultiplicativeExpression
+MultiplicativeExpression /*Qq*/
: UnaryExpression { $$ = $1; }
- | MultiplicativeExpression "*" UnaryExpression { $$ = new(driver.pool_) CYMultiply($1, $3); }
- | MultiplicativeExpression "/" UnaryExpression { $$ = new(driver.pool_) CYDivide($1, $3); }
- | MultiplicativeExpression "%" UnaryExpression { $$ = new(driver.pool_) CYModulus($1, $3); }
+ | MultiplicativeExpression "*" Q UnaryExpression { $$ = new(driver.pool_) CYMultiply($1, $4); }
+ | MultiplicativeExpression "/" Q UnaryExpression { $$ = new(driver.pool_) CYDivide($1, $4); }
+ | MultiplicativeExpression "%" Q UnaryExpression { $$ = new(driver.pool_) CYModulus($1, $4); }
;
-AdditiveExpression
+AdditiveExpression /*Qq*/
: MultiplicativeExpression { $$ = $1; }
- | AdditiveExpression "+" MultiplicativeExpression { $$ = new(driver.pool_) CYAdd($1, $3); }
- | AdditiveExpression "-" MultiplicativeExpression { $$ = new(driver.pool_) CYSubtract($1, $3); }
+ | AdditiveExpression "+" Q MultiplicativeExpression { $$ = new(driver.pool_) CYAdd($1, $4); }
+ | AdditiveExpression "-" Q MultiplicativeExpression { $$ = new(driver.pool_) CYSubtract($1, $4); }
;
-ShiftExpression
+ShiftExpression /*Qq*/
: AdditiveExpression { $$ = $1; }
- | ShiftExpression "<<" AdditiveExpression { $$ = new(driver.pool_) CYShiftLeft($1, $3); }
- | ShiftExpression ">>" AdditiveExpression { $$ = new(driver.pool_) CYShiftRightSigned($1, $3); }
- | ShiftExpression ">>>" AdditiveExpression { $$ = new(driver.pool_) CYShiftRightUnsigned($1, $3); }
+ | ShiftExpression "<<" Q AdditiveExpression { $$ = new(driver.pool_) CYShiftLeft($1, $4); }
+ | ShiftExpression ">>" Q AdditiveExpression { $$ = new(driver.pool_) CYShiftRightSigned($1, $4); }
+ | ShiftExpression ">>>" Q AdditiveExpression { $$ = new(driver.pool_) CYShiftRightUnsigned($1, $4); }
;
-RelationalExpression
+RelationalExpression /*Qq*/
: ShiftExpression { $$ = $1; }
- | RelationalExpression "<" ShiftExpression { $$ = new(driver.pool_) CYLess($1, $3); }
- | RelationalExpression ">" ShiftExpression { $$ = new(driver.pool_) CYGreater($1, $3); }
- | RelationalExpression "<=" ShiftExpression { $$ = new(driver.pool_) CYLessOrEqual($1, $3); }
- | RelationalExpression ">=" ShiftExpression { $$ = new(driver.pool_) CYGreaterOrEqual($1, $3); }
- | RelationalExpression "instanceof" ShiftExpression { $$ = new(driver.pool_) CYInstanceOf($1, $3); }
- | RelationalExpression "in" ShiftExpression { $$ = new(driver.pool_) CYIn($1, $3); }
+ | RelationalExpression "<" Q ShiftExpression { $$ = new(driver.pool_) CYLess($1, $4); }
+ | RelationalExpression ">" Q ShiftExpression { $$ = new(driver.pool_) CYGreater($1, $4); }
+ | RelationalExpression "<=" Q ShiftExpression { $$ = new(driver.pool_) CYLessOrEqual($1, $4); }
+ | RelationalExpression ">=" Q ShiftExpression { $$ = new(driver.pool_) CYGreaterOrEqual($1, $4); }
+ | RelationalExpression "instanceof" Q ShiftExpression { $$ = new(driver.pool_) CYInstanceOf($1, $4); }
+ | RelationalExpression "in" Q ShiftExpression { $$ = new(driver.pool_) CYIn($1, $4); }
;
-EqualityExpression
+EqualityExpression /*Qq*/
: RelationalExpression { $$ = $1; }
- | EqualityExpression "==" RelationalExpression { $$ = new(driver.pool_) CYEqual($1, $3); }
- | EqualityExpression "!=" RelationalExpression { $$ = new(driver.pool_) CYNotEqual($1, $3); }
- | EqualityExpression "===" RelationalExpression { $$ = new(driver.pool_) CYIdentical($1, $3); }
- | EqualityExpression "!==" RelationalExpression { $$ = new(driver.pool_) CYNotIdentical($1, $3); }
+ | EqualityExpression "==" Q RelationalExpression { $$ = new(driver.pool_) CYEqual($1, $4); }
+ | EqualityExpression "!=" Q RelationalExpression { $$ = new(driver.pool_) CYNotEqual($1, $4); }
+ | EqualityExpression "===" Q RelationalExpression { $$ = new(driver.pool_) CYIdentical($1, $4); }
+ | EqualityExpression "!==" Q RelationalExpression { $$ = new(driver.pool_) CYNotIdentical($1, $4); }
;
-BitwiseANDExpression
+BitwiseANDExpression /*Qq*/
: EqualityExpression { $$ = $1; }
- | BitwiseANDExpression "&" EqualityExpression { $$ = new(driver.pool_) CYBitwiseAnd($1, $3); }
+ | BitwiseANDExpression "&" Q EqualityExpression { $$ = new(driver.pool_) CYBitwiseAnd($1, $4); }
;
-BitwiseXORExpression
+BitwiseXORExpression /*Qq*/
: BitwiseANDExpression { $$ = $1; }
- | BitwiseXORExpression "^" BitwiseANDExpression { $$ = new(driver.pool_) CYBitwiseXOr($1, $3); }
+ | BitwiseXORExpression "^" Q BitwiseANDExpression { $$ = new(driver.pool_) CYBitwiseXOr($1, $4); }
;
-BitwiseORExpression
+BitwiseORExpression /*Qq*/
: BitwiseXORExpression { $$ = $1; }
- | BitwiseORExpression "|" BitwiseXORExpression { $$ = new(driver.pool_) CYBitwiseOr($1, $3); }
+ | BitwiseORExpression "|" Q BitwiseXORExpression { $$ = new(driver.pool_) CYBitwiseOr($1, $4); }
;
-LogicalANDExpression
+LogicalANDExpression /*Qq*/
: BitwiseORExpression { $$ = $1; }
- | LogicalANDExpression "&&" BitwiseORExpression { $$ = new(driver.pool_) CYLogicalAnd($1, $3); }
+ | LogicalANDExpression "&&" Q BitwiseORExpression { $$ = new(driver.pool_) CYLogicalAnd($1, $4); }
;
-LogicalORExpression
+LogicalORExpression /*Qq*/
: LogicalANDExpression { $$ = $1; }
- | LogicalORExpression "||" LogicalANDExpression { $$ = new(driver.pool_) CYLogicalOr($1, $3); }
+ | LogicalORExpression "||" Q LogicalANDExpression { $$ = new(driver.pool_) CYLogicalOr($1, $4); }
;
-ConditionalExpression
+ConditionalExpression /*Qq*/
: LogicalORExpression { $$ = $1; }
- | LogicalORExpression "?" AssignmentExpression ":" AssignmentExpression { $$ = new(driver.pool_) CYCondition($1, $3, $5); }
+ | LogicalORExpression "?" Q AssignmentExpression ":" Q AssignmentExpression { $$ = new(driver.pool_) CYCondition($1, $4, $7); }
;
-AssignmentExpression
+AssignmentExpression /*Qq*/
: ConditionalExpression { $$ = $1; }
- | LeftHandSideExpression "=" AssignmentExpression { $$ = new(driver.pool_) CYAssign($1, $3); }
- | LeftHandSideExpression "*=" AssignmentExpression { $$ = new(driver.pool_) CYMultiplyAssign($1, $3); }
- | LeftHandSideExpression "/=" AssignmentExpression { $$ = new(driver.pool_) CYDivideAssign($1, $3); }
- | LeftHandSideExpression "%=" AssignmentExpression { $$ = new(driver.pool_) CYModulusAssign($1, $3); }
- | LeftHandSideExpression "+=" AssignmentExpression { $$ = new(driver.pool_) CYAddAssign($1, $3); }
- | LeftHandSideExpression "-=" AssignmentExpression { $$ = new(driver.pool_) CYSubtractAssign($1, $3); }
- | LeftHandSideExpression "<<=" AssignmentExpression { $$ = new(driver.pool_) CYShiftLeftAssign($1, $3); }
- | LeftHandSideExpression ">>=" AssignmentExpression { $$ = new(driver.pool_) CYShiftRightSignedAssign($1, $3); }
- | LeftHandSideExpression ">>>=" AssignmentExpression { $$ = new(driver.pool_) CYShiftRightUnsignedAssign($1, $3); }
- | LeftHandSideExpression "&=" AssignmentExpression { $$ = new(driver.pool_) CYBitwiseAndAssign($1, $3); }
- | LeftHandSideExpression "^=" AssignmentExpression { $$ = new(driver.pool_) CYBitwiseXOrAssign($1, $3); }
- | LeftHandSideExpression "|=" AssignmentExpression { $$ = new(driver.pool_) CYBitwiseOrAssign($1, $3); }
- ;
-
-Expression_
- : "," Expression { $$ = $2; }
+ | LeftHandSideExpression Q "=" Q AssignmentExpression { $$ = new(driver.pool_) CYAssign($1, $5); }
+ | LeftHandSideExpression Q "*=" Q AssignmentExpression { $$ = new(driver.pool_) CYMultiplyAssign($1, $5); }
+ | LeftHandSideExpression Q "/=" Q AssignmentExpression { $$ = new(driver.pool_) CYDivideAssign($1, $5); }
+ | LeftHandSideExpression Q "%=" Q AssignmentExpression { $$ = new(driver.pool_) CYModulusAssign($1, $5); }
+ | LeftHandSideExpression Q "+=" Q AssignmentExpression { $$ = new(driver.pool_) CYAddAssign($1, $5); }
+ | LeftHandSideExpression Q "-=" Q AssignmentExpression { $$ = new(driver.pool_) CYSubtractAssign($1, $5); }
+ | LeftHandSideExpression Q "<<=" Q AssignmentExpression { $$ = new(driver.pool_) CYShiftLeftAssign($1, $5); }
+ | LeftHandSideExpression Q ">>=" Q AssignmentExpression { $$ = new(driver.pool_) CYShiftRightSignedAssign($1, $5); }
+ | LeftHandSideExpression Q ">>>=" Q AssignmentExpression { $$ = new(driver.pool_) CYShiftRightUnsignedAssign($1, $5); }
+ | LeftHandSideExpression Q "&=" Q AssignmentExpression { $$ = new(driver.pool_) CYBitwiseAndAssign($1, $5); }
+ | LeftHandSideExpression Q "^=" Q AssignmentExpression { $$ = new(driver.pool_) CYBitwiseXOrAssign($1, $5); }
+ | LeftHandSideExpression Q "|=" Q AssignmentExpression { $$ = new(driver.pool_) CYBitwiseOrAssign($1, $5); }
+ ;
+
+Expression_ /*Qq*/
+ : "," Q Expression { $$ = $3; }
| { $$ = NULL; }
;
-ExpressionOpt
+ExpressionOpt /*Qq*/
: Expression { $$ = $1; }
- | { $$ = NULL; }
+ | Q { $$ = NULL; }
+ ;
+
+QExpressionOpt /*q*/
+ : Q Expression { $$ = $2; }
+ | Q { $$ = NULL; }
;
-Expression
- : AssignmentExpression Expression_ { if ($1 == NULL) $$ = $2; else { $1->SetNext($2); $$ = $1; } }
+Expression /*Qq*/
+ : AssignmentExpression Expression_ { if ($1) { $1->SetNext($2); $$ = $1; } else $$ = $2; }
;
-Statement
- : Block { $$ = $1; }
- | VariableStatement { $$ = $1; }
- | EmptyStatement { $$ = $1; }
- | ExpressionStatement { $$ = $1; }
+Statement /*Qq*/
+ : Block Q { $$ = $1; }
+ | VariableStatement Q { $$ = $1; }
+ | EmptyStatement Q { $$ = $1; }
+ | ExpressionStatement Q { $$ = $1; }
| IfStatement { $$ = $1; }
| IterationStatement { $$ = $1; }
- | ContinueStatement { $$ = $1; }
- | BreakStatement { $$ = $1; }
- | ReturnStatement { $$ = $1; }
+ | ContinueStatement Q { $$ = $1; }
+ | BreakStatement Q { $$ = $1; }
+ | ReturnStatement Q { $$ = $1; }
| WithStatement { $$ = $1; }
| LabelledStatement { $$ = $1; }
- | SwitchStatement { $$ = $1; }
- | ThrowStatement { $$ = $1; }
- | TryStatement { $$ = $1; }
+ | SwitchStatement Q { $$ = $1; }
+ | ThrowStatement Q { $$ = $1; }
+ | TryStatement Q { $$ = $1; }
;
-Block
+Block /*Q*/
: "{" StatementListOpt "}" { $$ = $2 ?: new(driver.pool_) CYEmpty(); }
;
-StatementListOpt
+StatementListOpt /*Qq*/
: Statement StatementListOpt { $1->SetNext($2); $$ = $1; }
| { $$ = NULL; }
;
-VariableStatement
- : "var" VariableDeclarationList ";" { $$ = $2; }
+VariableStatement /*Q*/
+ : "var" VariableDeclarationList Terminator { $$ = $2; }
;
-VariableDeclarationList_
+VariableDeclarationList_ /*Qq*/
: "," VariableDeclarationList { $$ = $2; }
| { $$ = NULL; }
;
-VariableDeclarationList
+VariableDeclarationList /*q*/
: VariableDeclaration VariableDeclarationList_ { $$ = new(driver.pool_) CYDeclarations($1, $2); }
;
-VariableDeclaration
- : Identifier InitialiserOpt { $$ = new(driver.pool_) CYDeclaration($1, $2); }
+VariableDeclaration /*q*/
+ : Q Identifier InitialiserOpt { $$ = new(driver.pool_) CYDeclaration($2, $3); }
;
-InitialiserOpt
+InitialiserOpt /*q*/
: Initialiser { $$ = $1; }
- | { $$ = NULL; }
+ | Q { $$ = NULL; }
;
-Initialiser
- : "=" AssignmentExpression { $$ = $2; }
+Initialiser /*q*/
+ : Q "=" Q AssignmentExpression { $$ = $4; }
;
-EmptyStatement
+EmptyStatement /*Q*/
: ";" { $$ = new(driver.pool_) CYEmpty(); }
;
-ExpressionStatement
- : Expression ";" { $$ = new(driver.pool_) CYExpress($1); }
+ExpressionStatement /*Q*/
+ : Expression Terminator { $$ = new(driver.pool_) CYExpress($1); }
;
-ElseStatementOpt
- : "else" Statement { $$ = $2; }
- | { $$ = NULL; }
+ElseStatementOpt /*Qq*/
+ : "else" Q Statement { $$ = $3; }
+ | %prec "if" { $$ = NULL; }
;
-IfStatement
- : "if" "(" Expression ")" Statement ElseStatementOpt { $$ = new(driver.pool_) CYIf($3, $5, $6); }
+IfStatement /*Qq*/
+ : "if" Q "(" Q Expression ")" Q Statement ElseStatementOpt { $$ = new(driver.pool_) CYIf($5, $8, $9); }
;
-IterationStatement
- : DoWhileStatement { $$ = $1; }
+IterationStatement /*Qq*/
+ : DoWhileStatement Q { $$ = $1; }
| WhileStatement { $$ = $1; }
| ForStatement { $$ = $1; }
| ForInStatement { $$ = $1; }
;
-DoWhileStatement
- : "do" Statement "while" "(" Expression ")" ";" { $$ = new(driver.pool_) CYDoWhile($5, $2); }
+DoWhileStatement /*Q*/
+ : "do" Q Statement "while" Q "(" Q Expression ")" TerminatorOpt { $$ = new(driver.pool_) CYDoWhile($8, $3); }
;
-WhileStatement
- : "while" "(" Expression ")" Statement { $$ = new(driver.pool_) CYWhile($3, $5); }
+WhileStatement /*Qq*/
+ : "while" Q "(" Q Expression ")" Q Statement { $$ = new(driver.pool_) CYWhile($5, $8); }
;
-ForStatement
- : "for" "(" ForStatementInitialiser ";" ExpressionOpt ";" ExpressionOpt ")" Statement { $$ = new(driver.pool_) CYFor($3, $5, $7, $9); }
+ForStatement /*Qq*/
+ : "for" Q "(" Q ForStatementInitialiser ";" QExpressionOpt ";" QExpressionOpt ")" Q Statement { $$ = new(driver.pool_) CYFor($5, $7, $9, $12); }
;
-ForStatementInitialiser
+ForStatementInitialiser /*Qq*/
: ExpressionOpt { $$ = $1; }
| "var" VariableDeclarationList { $$ = $2; }
;
-ForInStatement
- : "for" "(" ForInStatementInitialiser "in" Expression ")" Statement { $$ = new(driver.pool_) CYForIn($3, $5, $7); }
+ForInStatement /*Qq*/
+ : "for" Q "(" Q ForInStatementInitialiser "in" Q Expression ")" Q Statement { $$ = new(driver.pool_) CYForIn($5, $8, $11); }
;
-ForInStatementInitialiser
- : LeftHandSideExpression { $$ = $1; }
+ForInStatementInitialiser /*Qq*/
+ : LeftHandSideExpression Q { $$ = $1; }
| "var" VariableDeclaration { $$ = $2; }
;
-ContinueStatement
- : "continue" IdentifierOpt ";" { $$ = new(driver.pool_) CYContinue($2); }
+ContinueStatement /*Q*/
+ : "continue" IdentifierOpt QTerminator { $$ = new(driver.pool_) CYContinue($2); }
;
-BreakStatement
- : "break" IdentifierOpt ";" { $$ = new(driver.pool_) CYBreak($2); }
+BreakStatement /*Q*/
+ : "break" IdentifierOpt QTerminator { $$ = new(driver.pool_) CYBreak($2); }
;
-ReturnStatement
- : "return" ExpressionOpt ";" { $$ = new(driver.pool_) CYReturn($2); }
+ReturnStatement /*Q*/
+ : "return" ExpressionOpt Terminator { $$ = new(driver.pool_) CYReturn($2); }
;
-WithStatement
- : "with" "(" Expression ")" Statement { $$ = new(driver.pool_) CYWith($3, $5); }
+WithStatement /*Qq*/
+ : "with" Q "(" Q Expression ")" Q Statement { $$ = new(driver.pool_) CYWith($5, $8); }
;
-SwitchStatement
- : "switch" "(" Expression ")" CaseBlock { $$ = new(driver.pool_) CYSwitch($3, $5); }
+SwitchStatement /*Qq*/
+ : "switch" Q "(" Q Expression ")" CaseBlock { $$ = new(driver.pool_) CYSwitch($5, $7); }
;
CaseBlock
- : "{" CaseClausesOpt "}" { $$ = $2; }
+ : Q "{" Q CaseClausesOpt "}" { $$ = $4; }
;
-CaseClausesOpt
+CaseClausesOpt /*Qq*/
: CaseClause CaseClausesOpt { $1->SetNext($2); $$ = $1; }
| DefaultClause CaseClausesOpt { $1->SetNext($2); $$ = $1; }
| { $$ = NULL; }
;
-CaseClause
- : "case" Expression ":" StatementListOpt { $$ = new(driver.pool_) CYClause($2, $4); }
+CaseClause /*Qq*/
+ : "case" Q Expression ":" StatementListOpt { $$ = new(driver.pool_) CYClause($3, $5); }
;
-DefaultClause
- : "default" ":" StatementListOpt { $$ = new(driver.pool_) CYClause(NULL, $3); }
+DefaultClause /*Qq*/
+ : "default" Q ":" StatementListOpt { $$ = new(driver.pool_) CYClause(NULL, $4); }
;
-LabelledStatement
- : Identifier ":" Statement { $3->AddLabel($1); $$ = $3; }
+LabelledStatement /*Qq*/
+ : Identifier Q ":" Q Statement { $5->AddLabel($1); $$ = $5; }
;
-ThrowStatement
- : "throw" Expression ";" { $$ = new(driver.pool_) CYThrow($2); }
+ThrowStatement /*Q*/
+ : "throw" Expression Terminator { $$ = new(driver.pool_) CYThrow($2); }
;
-TryStatement
+TryStatement /*Q*/
: "try" Block CatchOpt FinallyOpt { $$ = new(driver.pool_) CYTry($2, $3, $4); }
;
CatchOpt
- : "catch" "(" Identifier ")" Block { $$ = new(driver.pool_) CYCatch($3, $5); }
+ : Q "catch" Q "(" Q Identifier Q ")" Block { $$ = new(driver.pool_) CYCatch($6, $9); }
| { $$ = NULL; }
;
FinallyOpt
- : "finally" Block { $$ = $2; }
+ : Q "finally" Block { $$ = $3; }
| { $$ = NULL; }
;
-FunctionDeclaration
- : "function" Identifier "(" FormalParameterList ")" "{" FunctionBody "}" { $$ = new(driver.pool_) CYFunction($2, $4, $7); }
+FunctionDeclaration /*Q*/
+ : "function" Q Identifier Q "(" FormalParameterList Q ")" Q "{" FunctionBody "}" { $$ = new(driver.pool_) CYFunction($3, $6, $11); }
;
-FunctionExpression
- : "function" IdentifierOpt "(" FormalParameterList ")" "{" FunctionBody "}" { $$ = new(driver.pool_) CYLambda($2, $4, $7); }
+FunctionExpression /*Q*/
+ : "function" QIdentifierOpt Q "(" FormalParameterList Q ")" Q "{" FunctionBody "}" { $$ = new(driver.pool_) CYLambda($2, $5, $10); }
;
FormalParameterList_
- : "," FormalParameterList { $$ = $2; }
+ : Q "," FormalParameterList { $$ = $3; }
| { $$ = NULL; }
;
FormalParameterList
- : Identifier FormalParameterList_ { $$ = new(driver.pool_) CYParameter($1, $2); }
+ : Q Identifier FormalParameterList_ { $$ = new(driver.pool_) CYParameter($2, $3); }
| { $$ = NULL; }
;
-FunctionBody
- : SourceElements { $$ = $1; }
+FunctionBody /*q*/
+ : Q SourceElements { $$ = $2; }
;
Program
- : SourceElements { driver.source_ = $1; $$ = $1; }
+ : Q SourceElements { driver.source_.push_back($2); $$ = $2; }
;
-SourceElements
- : SourceElement SourceElements { $1->SetNext($2); $$ = $1; }
+SourceElements /*Qq*/
+ : SourceElement Q SourceElements { $1->SetNext($3); $$ = $1; }
| { $$ = NULL; }
;
-Command
- : SourceElement { driver.source_ = $1; YYACCEPT; }
- ;
+/*Command
+ : Q SourceElement { driver.source_.push_back($2); if (driver.filename_.empty() && false) YYACCEPT; $2->Show(std::cout); }
+ ;*/
-SourceElement
+SourceElement /*Qq*/
: Statement { $$ = $1; }
- | FunctionDeclaration { $$ = $1; }
+ | FunctionDeclaration Q { $$ = $1; }
;
%%