X-Git-Url: https://git.saurik.com/cycript.git/blobdiff_plain/1dbba6ccaecdd0572932cb02fe92a9154d2abe83..b09da87b6557610325d46e3294ea0b6aba69ebf0:/Cycript.y diff --git a/Cycript.y b/Cycript.y index f6ac4de..e51a0ec 100644 --- a/Cycript.y +++ b/Cycript.y @@ -1,596 +1,1250 @@ %code top { +#include "Cycript.tab.hh" +#define scanner driver.scanner_ +#define YYSTACKEXPANDABLE 1 +} + +%code requires { #include "Parser.hpp" -#include "Cycript.tab.h" -void cyerror(YYLTYPE *locp, CYParser *context, const char *msg); -int cylex(YYSTYPE *lvalp, YYLTYPE *llocp); + +typedef struct { + bool newline_; + + union { + bool bool_; + + CYArgument *argument_; + CYBoolean *boolean_; + CYClause *clause_; + CYCatch *catch_; + CYCompound *compound_; + CYDeclaration *declaration_; + CYDeclarations *declarations_; + CYElement *element_; + CYExpression *expression_; + CYFalse *false_; + CYField *field_; + CYForInitialiser *for_; + CYForInInitialiser *forin_; + CYFunctionParameter *functionParameter_; + CYIdentifier *identifier_; + CYLiteral *literal_; + CYMessage *message_; + CYMessageParameter *messageParameter_; + CYName *name_; + CYNull *null_; + CYNumber *number_; + CYProperty *property_; + CYSelectorPart *selector_; + CYSource *source_; + CYStatement *statement_; + CYString *string_; + CYThis *this_; + CYTrue *true_; + CYWord *word_; + }; +} YYSTYPE; + +} + +%code provides { +int cylex(YYSTYPE *lvalp, cy::location *llocp, void *scanner); } %name-prefix "cy" +%language "C++" %locations -%define api.pure -%glr-parser + +%initial-action { + @$.begin.filename = @$.end.filename = &driver.filename_; +}; %defines %debug %error-verbose -%parse-param { CYParser *context } - -%token CYTokenAmpersand "&" -%token CYTokenAmpersandAmpersand "&&" -%token CYTokenAmpersandEqual "&=" -%token CYTokenCarrot "^" -%token CYTokenCarrotEqual "^=" -%token CYTokenEqual "=" -%token CYTokenEqualEqual "==" -%token CYTokenEqualEqualEqual "===" -%token CYTokenExclamation "!" -%token CYTokenExclamationEqual "!=" -%token CYTokenExclamationEqualEqual "!==" -%token CYTokenHyphen "-" -%token CYTokenHyphenEqual "-=" -%token CYTokenHyphenHyphen "--" -%token CYTokenHyphenRight "->" -%token CYTokenLeft "<" -%token CYTokenLeftEqual "<=" -%token CYTokenLeftLeft "<<" -%token CYTokenLeftLeftEqual "<<=" -%token CYTokenPercent "%" -%token CYTokenPercentEqual "%=" -%token CYTokenPeriod "." -%token CYTokenPipe "|" -%token CYTokenPipeEqual "|=" -%token CYTokenPipePipe "||" -%token CYTokenPlus "+" -%token CYTokenPlusEqual "+=" -%token CYTokenPlusPlus "++" -%token CYTokenRight ">" -%token CYTokenRightEqual ">=" -%token CYTokenRightRight ">>" -%token CYTokenRightRightEqual ">>=" -%token CYTokenRightRightRight ">>>" -%token CYTokenRightRightRightEqual ">>>=" -%token CYTokenSlash "/" -%token CYTokenSlashEqual "/=" -%token CYTokenStar "*" -%token CYTokenStarEqual "*=" -%token CYTokenTilde "~" - -%token CYTokenColon ":" -%token CYTokenComma "," -%token CYTokenQuestion "?" -%token CYTokenSemiColon ";" - -%token CYTokenOpenParen "(" -%token CYTokenCloseParen ")" -%token CYTokenOpenBrace "{" -%token CYTokenCloseBrace "}" -%token CYTokenOpenBracket "[" -%token CYTokenCloseBracket "]" - -%token CYTokenBreak "break" -%token CYTokenCase "case" -%token CYTokenCatch "catch" -%token CYTokenContinue "continue" -%token CYTokenDefault "default" -%token CYTokenDelete "delete" -%token CYTokenDo "do" -%token CYTokenElse "else" -%token CYTokenFalse "false" -%token CYTokenFinally "finally" -%token CYTokenFor "for" -%token CYTokenFunction "function" -%token CYTokenIf "if" -%token CYTokenIn "in" -%token CYTokenInstanceOf "instanceof" -%token CYTokenNew "new" -%token CYTokenNull "null" -%token CYTokenReturn "return" -%token CYTokenSwitch "switch" -%token CYTokenThis "this" -%token CYTokenThrow "throw" -%token CYTokenTrue "true" -%token CYTokenTry "try" -%token CYTokenTypeOf "typeof" -%token CYTokenVar "var" -%token CYTokenVoid "void" -%token CYTokenWhile "while" -%token CYTokenWith "with" - -%token CYTokenIdentifier -%token CYTokenNumber -%token CYTokenString +%parse-param { CYDriver &driver } +%lex-param { void *scanner } + +%token Ampersand "&" +%token AmpersandAmpersand "&&" +%token AmpersandEqual "&=" +%token Carrot "^" +%token CarrotEqual "^=" +%token Equal "=" +%token EqualEqual "==" +%token EqualEqualEqual "===" +%token Exclamation "!" +%token ExclamationEqual "!=" +%token ExclamationEqualEqual "!==" +%token Hyphen "-" +%token HyphenEqual "-=" +%token HyphenHyphen "--" +%token HyphenHyphen_ "\n--" +%token HyphenRight "->" +%token Left "<" +%token LeftEqual "<=" +%token LeftLeft "<<" +%token LeftLeftEqual "<<=" +%token Percent "%" +%token PercentEqual "%=" +%token Period "." +%token Pipe "|" +%token PipeEqual "|=" +%token PipePipe "||" +%token Plus "+" +%token PlusEqual "+=" +%token PlusPlus "++" +%token PlusPlus_ "\n++" +%token Right ">" +%token RightEqual ">=" +%token RightRight ">>" +%token RightRightEqual ">>=" +%token RightRightRight ">>>" +%token RightRightRightEqual ">>>=" +%token Slash "/" +%token SlashEqual "/=" +%token Star "*" +%token StarEqual "*=" +%token Tilde "~" + +%token Colon ":" +%token Comma "," +%token Question "?" +%token SemiColon ";" +%token NewLine "\n" + +%token OpenParen "(" +%token CloseParen ")" + +%token OpenBrace "{" +%token CloseBrace "}" + +%token OpenBracket "[" +%token CloseBracket "]" + +%token AtClass "@class" +%token AtSelector "@selector" +%token AtEnd "@end" + +%token Break "break" +%token Case "case" +%token Catch "catch" +%token Continue "continue" +%token Default "default" +%token Delete "delete" +%token Do "do" +%token Else "else" +%token False "false" +%token Finally "finally" +%token For "for" +%token Function "function" +%token If "if" +%token In "in" +%token InstanceOf "instanceof" +%token New "new" +%token Null "null" +%token Return "return" +%token Switch "switch" +%token This "this" +%token Throw "throw" +%token True "true" +%token Try "try" +%token TypeOf "typeof" +%token Var "var" +%token Void "void" +%token While "while" +%token With "with" + +%token Abstract "abstract" +%token Boolean "boolean" +%token Byte "byte" +%token Char "char" +%token Class "class" +%token Const "const" +%token Debugger "debugger" +%token Double "double" +%token Enum "enum" +%token Export "export" +%token Extends "extends" +%token Final "final" +%token Float "float" +%token Goto "goto" +%token Implements "implements" +%token Import "import" +%token Int "int" +%token Interface "interface" +%token Long "long" +%token Native "native" +%token Package "package" +%token Private "private" +%token Protected "protected" +%token Public "public" +%token Short "short" +%token Static "static" +%token Super "super" +%token Synchronized "synchronized" +%token Throws "throws" +%token Transient "transient" +%token Volatile "volatile" + +%token Identifier +%token NumericLiteral +%token StringLiteral + +%type AdditiveExpression +%type AdditiveExpressionNoBF +%type ArgumentList +%type ArgumentList_ +%type ArgumentListOpt +%type Arguments +%type ArrayLiteral +%type AssignmentExpression +%type AssignmentExpressionNoBF +%type AssignmentExpressionNoIn +%type BitwiseANDExpression +%type BitwiseANDExpressionNoBF +%type BitwiseANDExpressionNoIn +%type Block +%type BooleanLiteral +%type BitwiseORExpression +%type BitwiseORExpressionNoBF +%type BitwiseORExpressionNoIn +%type BitwiseXORExpression +%type BitwiseXORExpressionNoBF +%type BitwiseXORExpressionNoIn +%type BreakStatement +%type CallExpression +%type CallExpressionNoBF +%type CaseBlock +%type CaseClause +%type CaseClausesOpt +%type CatchOpt +%type ClassDeclaration +%type ClassMessageDeclaration +%type ClassMessageDeclarationListOpt +%type ClassSuperOpt +%type ClassFieldList +%type ConditionalExpression +%type ConditionalExpressionNoBF +%type ConditionalExpressionNoIn +%type ContinueStatement +%type DefaultClause +%type DoWhileStatement +%type Element +%type ElementOpt +%type ElementList +%type ElementListOpt +%type ElseStatementOpt +%type EmptyStatement +%type EqualityExpression +%type EqualityExpressionNoBF +%type EqualityExpressionNoIn +%type Expression +%type ExpressionOpt +%type Expression_ +%type ExpressionNoBF +%type ExpressionNoIn +%type ExpressionNoIn_ +%type ExpressionNoInOpt +%type ExpressionStatement +%type FinallyOpt +%type ForStatement +%type ForStatementInitialiser +%type ForInStatement +%type ForInStatementInitialiser +%type FormalParameterList +%type FormalParameterList_ +%type FunctionBody +%type FunctionDeclaration +%type FunctionExpression +%type IdentifierOpt +%type IfStatement +%type Initialiser +%type InitialiserOpt +%type InitialiserNoIn +%type InitialiserNoInOpt +%type IterationStatement +%type LabelledStatement +%type LeftHandSideExpression +%type LeftHandSideExpression_ +%type LeftHandSideExpressionNoBF +%type Literal +%type LogicalANDExpression +%type LogicalANDExpressionNoBF +%type LogicalANDExpressionNoIn +%type LogicalORExpression +%type LogicalORExpressionNoBF +%type LogicalORExpressionNoIn +%type MemberExpression +%type MemberExpression_ +%type MemberExpressionNoBF +%type MessageParameter +%type MessageParameters +%type MessageParameterList +%type MessageParameterListOpt +%type MessageScope +%type MultiplicativeExpression +%type MultiplicativeExpressionNoBF +%type NewExpression +%type NewExpression_ +%type NewExpressionNoBF +%type NullLiteral +%type ObjectLiteral +%type PostfixExpression +%type PostfixExpressionNoBF +%type PrimaryExpression +%type PrimaryExpression_ +%type PrimaryExpressionNoBF +%type Program +%type PropertyName +%type PropertyNameAndValueList +%type PropertyNameAndValueList_ +%type PropertyNameAndValueListOpt +%type RelationalExpression +%type RelationalExpressionNoBF +%type RelationalExpressionNoIn +%type ReturnStatement +%type SelectorExpression +%type SelectorExpression_ +%type SelectorExpressionOpt +%type ShiftExpression +%type ShiftExpressionNoBF +%type SourceElement +%type SourceElements +%type Statement +%type StatementList +%type StatementListOpt +%type SwitchStatement +%type ThrowStatement +%type TryStatement +%type TypeOpt +%type UnaryExpression +%type UnaryExpression_ +%type UnaryExpressionNoBF +%type VariableDeclaration +%type VariableDeclarationNoIn +%type VariableDeclarationList +%type VariableDeclarationList_ +%type VariableDeclarationListNoIn +%type VariableDeclarationListNoIn_ +%type VariableStatement +%type WhileStatement +%type WithStatement +%type Word +%type WordOpt + +%type MessageExpression +%type SelectorCall +%type SelectorCall_ +%type SelectorList +%type VariadicCall + +%left "*" "/" "%" +%left "+" "-" +%left "<<" ">>" ">>>" +%left "<" ">" "<=" ">=" "instanceof" "in" +%left "==" "!=" "===" "!==" +%left "&" +%left "^" +%left "|" +%left "&&" +%left "||" + +%right "=" "*=" "/=" "%=" "+=" "-=" "<<=" ">>=" ">>>=" "&=" "^=" "|=" + +%nonassoc "if" +%nonassoc "else" + +%start Program %% -Start - : Program - ; - -IdentifierOpt - : Identifier - | - ; - -Identifier - : CYTokenIdentifier +TerminatorOpt + : ";" + | "\n" + | error { yyerrok; driver.errors_.pop_back(); } ; -Literal - : NullLiteral - | BooleanLiteral - | NumericLiteral - | StringLiteral +Terminator + : ";" + | "\n" + | error { if (yychar != 0 && yychar != cy::parser::token::CloseBrace && !yylval.newline_) YYABORT; else { yyerrok; driver.errors_.pop_back(); } } ; -NullLiteral - : "null" +CommaOpt + : "," + | ; -BooleanLiteral - : "true" - | "false" +NewLineOpt + : "\n" + | ; -NumericLiteral - : CYTokenNumber +WordOpt + : Word { $$ = $1; } + | { $$ = NULL; } + ; + +Word + : Identifier { $$ = $1; } + | "abstract" { $$ = $1; } + | "boolean" { $$ = $1; } + | "break" NewLineOpt { $$ = $1; } + | "byte" { $$ = $1; } + | "case" { $$ = $1; } + | "catch" { $$ = $1; } + | "char" { $$ = $1; } + | "class" { $$ = $1; } + | "const" { $$ = $1; } + | "continue" NewLineOpt { $$ = $1; } + | "debugger" { $$ = $1; } + | "default" { $$ = $1; } + | "delete" { $$ = $1; } + | "do" { $$ = $1; } + | "double" { $$ = $1; } + | "else" { $$ = $1; } + | "enum" { $$ = $1; } + | "export" { $$ = $1; } + | "extends" { $$ = $1; } + | "false" { $$ = $1; } + | "final" { $$ = $1; } + | "finally" { $$ = $1; } + | "float" { $$ = $1; } + | "for" { $$ = $1; } + | "function" { $$ = $1; } + | "goto" { $$ = $1; } + | "if" { $$ = $1; } + | "implements" { $$ = $1; } + | "import" { $$ = $1; } + /* XXX: | "in" { $$ = $1; } */ + /* XXX: | "instanceof" { $$ = $1; } */ + | "int" { $$ = $1; } + | "interface" { $$ = $1; } + | "long" { $$ = $1; } + | "native" { $$ = $1; } + | "new" { $$ = $1; } + | "null" { $$ = $1; } + | "package" { $$ = $1; } + | "private" { $$ = $1; } + | "protected" { $$ = $1; } + | "public" { $$ = $1; } + | "return" NewLineOpt { $$ = $1; } + | "short" { $$ = $1; } + | "static" { $$ = $1; } + | "super" { $$ = $1; } + | "switch" { $$ = $1; } + | "synchronized" { $$ = $1; } + | "this" { $$ = $1; } + | "throw" NewLineOpt { $$ = $1; } + | "throws" { $$ = $1; } + | "transient" { $$ = $1; } + | "true" { $$ = $1; } + | "try" { $$ = $1; } + | "typeof" { $$ = $1; } + | "var" { $$ = $1; } + | "void" { $$ = $1; } + | "volatile" { $$ = $1; } + | "while" { $$ = $1; } + | "with" { $$ = $1; } ; -StringLiteral - : CYTokenString +IdentifierOpt + : Identifier { $$ = $1; } + | { $$ = NULL; } ; -/* Objective-C Extensions {{{ */ -VariadicCall - : "," AssignmentExpression VariadicCall - | +Literal + : NullLiteral { $$ = $1; } + | BooleanLiteral { $$ = $1; } + | NumericLiteral { $$ = $1; } + | StringLiteral { $$ = $1; } ; -SelectorCall_ - : SelectorCall - | VariadicCall +NullLiteral + : "null" { $$ = $1; } ; -SelectorCall - : IdentifierOpt ":" AssignmentExpression SelectorCall_ +BooleanLiteral + : "true" { $$ = $1; } + | "false" { $$ = $1; } ; -SelectorList - : SelectorCall - | Identifier +/* 11.1 Primary Expressions {{{ */ +PrimaryExpression_ + : "this" { $$ = $1; } + | Identifier { $$ = new(driver.pool_) CYVariable($1); } + | Literal { $$ = $1; } + | ArrayLiteral { $$ = $1; } + | "(" Expression ")" { $$ = $2; } ; -ObjectiveCall - : "[" AssignmentExpression SelectorList "]" +PrimaryExpression + : ObjectLiteral { $$ = $1; } + | PrimaryExpression_ { $$ = $1; } ; -/* }}} */ -/* 11.1 Primary Expressions {{{ */ -PrimaryExpression - : "this" - | Identifier - | Literal - | ArrayLiteral - | ObjectLiteral - | "(" Expression ")" - | ObjectiveCall +PrimaryExpressionNoBF + : PrimaryExpression_ { $$ = $1; } ; /* }}} */ /* 11.1.4 Array Initialiser {{{ */ ArrayLiteral - : "[" ElementList "]" + : "[" ElementListOpt "]" { $$ = new(driver.pool_) CYArray($2); } ; Element - : AssignmentExpression - | + : AssignmentExpression { $$ = $1; } ; -ElementList_ - : "," ElementList - | +ElementOpt + : Element { $$ = $1; } + | { $$ = NULL; } + ; + +ElementListOpt + : ElementList { $$ = $1; } + | { $$ = NULL; } ; ElementList - : Element ElementList_ + : ElementOpt "," ElementListOpt { $$ = new(driver.pool_) CYElement($1, $3); } + | Element { $$ = new(driver.pool_) CYElement($1, NULL); } ; /* }}} */ /* 11.1.5 Object Initialiser {{{ */ ObjectLiteral - : "{" PropertyNameAndValueListOpt "}" + : "{" PropertyNameAndValueListOpt "}" { $$ = new(driver.pool_) CYObject($2); } ; PropertyNameAndValueList_ - : "," PropertyNameAndValueList - | + : "," PropertyNameAndValueList { $$ = $2; } + | CommaOpt { $$ = NULL; } ; PropertyNameAndValueListOpt - : PropertyNameAndValueList - | + : PropertyNameAndValueList { $$ = $1; } + | { $$ = NULL; } ; PropertyNameAndValueList - : PropertyName ":" AssignmentExpression PropertyNameAndValueList_ + : PropertyName ":" AssignmentExpression PropertyNameAndValueList_ { $$ = new(driver.pool_) CYProperty($1, $3, $4); } ; PropertyName - : Identifier - | StringLiteral - | NumericLiteral + : Identifier { $$ = $1; } + | StringLiteral { $$ = $1; } + | NumericLiteral { $$ = $1; } ; /* }}} */ +MemberExpression_ + : "new" MemberExpression Arguments { $$ = new(driver.pool_) CYNew($2, $3); } + ; + MemberExpression - : PrimaryExpression - | FunctionExpression - | MemberExpression "[" Expression "]" - | MemberExpression "." Identifier - | "new" MemberExpression Arguments + : PrimaryExpression { $$ = $1; } + | FunctionExpression { $$ = $1; } + | MemberExpression "[" Expression "]" { $$ = new(driver.pool_) CYMember($1, $3); } + | MemberExpression "." Identifier { $$ = new(driver.pool_) CYMember($1, new(driver.pool_) CYString($3)); } + | MemberExpression_ { $$ = $1; } + ; + +MemberExpressionNoBF + : PrimaryExpressionNoBF { $$ = $1; } + | MemberExpressionNoBF "[" Expression "]" { $$ = new(driver.pool_) CYMember($1, $3); } + | MemberExpressionNoBF "." Identifier { $$ = new(driver.pool_) CYMember($1, new(driver.pool_) CYString($3)); } + | MemberExpression_ { $$ = $1; } + ; + +NewExpression_ + : "new" NewExpression { $$ = new(driver.pool_) CYNew($2, NULL); } ; NewExpression - : MemberExpression - | "new" NewExpression + : MemberExpression { $$ = $1; } + | NewExpression_ { $$ = $1; } + ; + +NewExpressionNoBF + : MemberExpressionNoBF { $$ = $1; } + | NewExpression_ { $$ = $1; } ; CallExpression - : MemberExpression Arguments - | CallExpression Arguments - | CallExpression "[" Expression "]" - | CallExpression "." Identifier + : 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)); } + ; + +CallExpressionNoBF + : MemberExpressionNoBF Arguments { $$ = new(driver.pool_) CYCall($1, $2); } + | CallExpressionNoBF Arguments { $$ = new(driver.pool_) CYCall($1, $2); } + | CallExpressionNoBF "[" Expression "]" { $$ = new(driver.pool_) CYMember($1, $3); } + | CallExpressionNoBF "." Identifier { $$ = new(driver.pool_) CYMember($1, new(driver.pool_) CYString($3)); } ; ArgumentList_ - : "," ArgumentList - | + : "," ArgumentList { $$ = $2; } + | { $$ = NULL; } ; ArgumentListOpt - : ArgumentList - | + : ArgumentList { $$ = $1; } + | { $$ = NULL; } ; ArgumentList - : AssignmentExpression ArgumentList_ + : AssignmentExpression ArgumentList_ { $$ = new(driver.pool_) CYArgument(NULL, $1, $2); } ; Arguments - : "(" ArgumentListOpt ")" + : "(" ArgumentListOpt ")" { $$ = $2; } ; LeftHandSideExpression - : NewExpression - | CallExpression + : NewExpression { $$ = $1; } + | CallExpression { $$ = $1; } + | LeftHandSideExpression_ { $$ = $1; } + ; + +LeftHandSideExpressionNoBF + : NewExpressionNoBF { $$ = $1; } + | CallExpressionNoBF { $$ = $1; } + | LeftHandSideExpression_ { $$ = $1; } ; PostfixExpression - : LeftHandSideExpression - | LeftHandSideExpression "++" - | LeftHandSideExpression "--" + : LeftHandSideExpression { $$ = $1; } + | LeftHandSideExpression "++" { $$ = new(driver.pool_) CYPostIncrement($1); } + | LeftHandSideExpression "--" { $$ = new(driver.pool_) CYPostDecrement($1); } + ; + +PostfixExpressionNoBF + : LeftHandSideExpressionNoBF { $$ = $1; } + | LeftHandSideExpressionNoBF "++" { $$ = new(driver.pool_) CYPostIncrement($1); } + | LeftHandSideExpressionNoBF "--" { $$ = new(driver.pool_) CYPostDecrement($1); } + ; + +UnaryExpression_ + : "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); } + | "\n++" UnaryExpression { $$ = new(driver.pool_) CYPreIncrement($2); } + | "--" UnaryExpression { $$ = new(driver.pool_) CYPreDecrement($2); } + | "\n--" 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 - : PostfixExpression - | "delete" UnaryExpression - | "void" UnaryExpression - | "typeof" UnaryExpression - | "++" UnaryExpression - | "--" UnaryExpression - | "+" UnaryExpression - | "-" UnaryExpression - | "~" UnaryExpression - | "!" UnaryExpression - | "*" UnaryExpression - | "&" UnaryExpression + : PostfixExpression { $$ = $1; } + | UnaryExpression_ { $$ = $1; } + ; + +UnaryExpressionNoBF + : PostfixExpressionNoBF { $$ = $1; } + | UnaryExpression_ { $$ = $1; } ; MultiplicativeExpression - : UnaryExpression - | MultiplicativeExpression "*" UnaryExpression - | MultiplicativeExpression "/" UnaryExpression - | MultiplicativeExpression "%" UnaryExpression + : 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); } + ; + +MultiplicativeExpressionNoBF + : UnaryExpressionNoBF { $$ = $1; } + | MultiplicativeExpressionNoBF "*" UnaryExpression { $$ = new(driver.pool_) CYMultiply($1, $3); } + | MultiplicativeExpressionNoBF "/" UnaryExpression { $$ = new(driver.pool_) CYDivide($1, $3); } + | MultiplicativeExpressionNoBF "%" UnaryExpression { $$ = new(driver.pool_) CYModulus($1, $3); } ; AdditiveExpression - : MultiplicativeExpression - | AdditiveExpression "+" MultiplicativeExpression - | AdditiveExpression "-" MultiplicativeExpression + : MultiplicativeExpression { $$ = $1; } + | AdditiveExpression "+" MultiplicativeExpression { $$ = new(driver.pool_) CYAdd($1, $3); } + | AdditiveExpression "-" MultiplicativeExpression { $$ = new(driver.pool_) CYSubtract($1, $3); } + ; + +AdditiveExpressionNoBF + : MultiplicativeExpressionNoBF { $$ = $1; } + | AdditiveExpressionNoBF "+" MultiplicativeExpression { $$ = new(driver.pool_) CYAdd($1, $3); } + | AdditiveExpressionNoBF "-" MultiplicativeExpression { $$ = new(driver.pool_) CYSubtract($1, $3); } ; ShiftExpression - : AdditiveExpression - | ShiftExpression "<<" AdditiveExpression - | ShiftExpression ">>" AdditiveExpression - | ShiftExpression ">>>" AdditiveExpression + : 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); } + ; + +ShiftExpressionNoBF + : AdditiveExpressionNoBF { $$ = $1; } + | ShiftExpressionNoBF "<<" AdditiveExpression { $$ = new(driver.pool_) CYShiftLeft($1, $3); } + | ShiftExpressionNoBF ">>" AdditiveExpression { $$ = new(driver.pool_) CYShiftRightSigned($1, $3); } + | ShiftExpressionNoBF ">>>" AdditiveExpression { $$ = new(driver.pool_) CYShiftRightUnsigned($1, $3); } ; RelationalExpression - : ShiftExpression - | RelationalExpression "<" ShiftExpression - | RelationalExpression ">" ShiftExpression - | RelationalExpression "<=" ShiftExpression - | RelationalExpression ">=" ShiftExpression - | RelationalExpression "instanceof" ShiftExpression - | RelationalExpression "in" ShiftExpression + : 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); } + ; + +RelationalExpressionNoIn + : ShiftExpression { $$ = $1; } + | RelationalExpressionNoIn "<" ShiftExpression { $$ = new(driver.pool_) CYLess($1, $3); } + | RelationalExpressionNoIn ">" ShiftExpression { $$ = new(driver.pool_) CYGreater($1, $3); } + | RelationalExpressionNoIn "<=" ShiftExpression { $$ = new(driver.pool_) CYLessOrEqual($1, $3); } + | RelationalExpressionNoIn ">=" ShiftExpression { $$ = new(driver.pool_) CYGreaterOrEqual($1, $3); } + | RelationalExpressionNoIn "instanceof" ShiftExpression { $$ = new(driver.pool_) CYInstanceOf($1, $3); } + ; + +RelationalExpressionNoBF + : ShiftExpressionNoBF { $$ = $1; } + | RelationalExpressionNoBF "<" ShiftExpression { $$ = new(driver.pool_) CYLess($1, $3); } + | RelationalExpressionNoBF ">" ShiftExpression { $$ = new(driver.pool_) CYGreater($1, $3); } + | RelationalExpressionNoBF "<=" ShiftExpression { $$ = new(driver.pool_) CYLessOrEqual($1, $3); } + | RelationalExpressionNoBF ">=" ShiftExpression { $$ = new(driver.pool_) CYGreaterOrEqual($1, $3); } + | RelationalExpressionNoBF "instanceof" ShiftExpression { $$ = new(driver.pool_) CYInstanceOf($1, $3); } + | RelationalExpressionNoBF "in" ShiftExpression { $$ = new(driver.pool_) CYIn($1, $3); } ; EqualityExpression - : RelationalExpression - | EqualityExpression "==" RelationalExpression - | EqualityExpression "!=" RelationalExpression - | EqualityExpression "===" RelationalExpression - | EqualityExpression "!==" RelationalExpression + : 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); } + ; + +EqualityExpressionNoIn + : RelationalExpressionNoIn { $$ = $1; } + | EqualityExpressionNoIn "==" RelationalExpressionNoIn { $$ = new(driver.pool_) CYEqual($1, $3); } + | EqualityExpressionNoIn "!=" RelationalExpressionNoIn { $$ = new(driver.pool_) CYNotEqual($1, $3); } + | EqualityExpressionNoIn "===" RelationalExpressionNoIn { $$ = new(driver.pool_) CYIdentical($1, $3); } + | EqualityExpressionNoIn "!==" RelationalExpressionNoIn { $$ = new(driver.pool_) CYNotIdentical($1, $3); } + ; + +EqualityExpressionNoBF + : RelationalExpressionNoBF { $$ = $1; } + | EqualityExpressionNoBF "==" RelationalExpression { $$ = new(driver.pool_) CYEqual($1, $3); } + | EqualityExpressionNoBF "!=" RelationalExpression { $$ = new(driver.pool_) CYNotEqual($1, $3); } + | EqualityExpressionNoBF "===" RelationalExpression { $$ = new(driver.pool_) CYIdentical($1, $3); } + | EqualityExpressionNoBF "!==" RelationalExpression { $$ = new(driver.pool_) CYNotIdentical($1, $3); } ; BitwiseANDExpression - : EqualityExpression - | BitwiseANDExpression "&" EqualityExpression + : EqualityExpression { $$ = $1; } + | BitwiseANDExpression "&" EqualityExpression { $$ = new(driver.pool_) CYBitwiseAnd($1, $3); } + ; + +BitwiseANDExpressionNoIn + : EqualityExpressionNoIn { $$ = $1; } + | BitwiseANDExpressionNoIn "&" EqualityExpressionNoIn { $$ = new(driver.pool_) CYBitwiseAnd($1, $3); } + ; + +BitwiseANDExpressionNoBF + : EqualityExpressionNoBF { $$ = $1; } + | BitwiseANDExpressionNoBF "&" EqualityExpression { $$ = new(driver.pool_) CYBitwiseAnd($1, $3); } ; BitwiseXORExpression - : BitwiseANDExpression - | BitwiseXORExpression "^" BitwiseANDExpression + : BitwiseANDExpression { $$ = $1; } + | BitwiseXORExpression "^" BitwiseANDExpression { $$ = new(driver.pool_) CYBitwiseXOr($1, $3); } + ; + +BitwiseXORExpressionNoIn + : BitwiseANDExpressionNoIn { $$ = $1; } + | BitwiseXORExpressionNoIn "^" BitwiseANDExpressionNoIn { $$ = new(driver.pool_) CYBitwiseXOr($1, $3); } + ; + +BitwiseXORExpressionNoBF + : BitwiseANDExpressionNoBF { $$ = $1; } + | BitwiseXORExpressionNoBF "^" BitwiseANDExpression { $$ = new(driver.pool_) CYBitwiseXOr($1, $3); } ; BitwiseORExpression - : BitwiseXORExpression - | BitwiseORExpression "|" BitwiseXORExpression + : BitwiseXORExpression { $$ = $1; } + | BitwiseORExpression "|" BitwiseXORExpression { $$ = new(driver.pool_) CYBitwiseOr($1, $3); } + ; + +BitwiseORExpressionNoIn + : BitwiseXORExpressionNoIn { $$ = $1; } + | BitwiseORExpressionNoIn "|" BitwiseXORExpressionNoIn { $$ = new(driver.pool_) CYBitwiseOr($1, $3); } + ; + +BitwiseORExpressionNoBF + : BitwiseXORExpressionNoBF { $$ = $1; } + | BitwiseORExpressionNoBF "|" BitwiseXORExpression { $$ = new(driver.pool_) CYBitwiseOr($1, $3); } ; LogicalANDExpression - : BitwiseORExpression - | LogicalANDExpression "&&" BitwiseORExpression + : BitwiseORExpression { $$ = $1; } + | LogicalANDExpression "&&" BitwiseORExpression { $$ = new(driver.pool_) CYLogicalAnd($1, $3); } + ; + +LogicalANDExpressionNoIn + : BitwiseORExpressionNoIn { $$ = $1; } + | LogicalANDExpressionNoIn "&&" BitwiseORExpressionNoIn { $$ = new(driver.pool_) CYLogicalAnd($1, $3); } + ; + +LogicalANDExpressionNoBF + : BitwiseORExpressionNoBF { $$ = $1; } + | LogicalANDExpressionNoBF "&&" BitwiseORExpression { $$ = new(driver.pool_) CYLogicalAnd($1, $3); } ; LogicalORExpression - : LogicalANDExpression - | LogicalORExpression "||" LogicalANDExpression + : LogicalANDExpression { $$ = $1; } + | LogicalORExpression "||" LogicalANDExpression { $$ = new(driver.pool_) CYLogicalOr($1, $3); } + ; + +LogicalORExpressionNoIn + : LogicalANDExpressionNoIn { $$ = $1; } + | LogicalORExpressionNoIn "||" LogicalANDExpressionNoIn { $$ = new(driver.pool_) CYLogicalOr($1, $3); } + ; + +LogicalORExpressionNoBF + : LogicalANDExpressionNoBF { $$ = $1; } + | LogicalORExpressionNoBF "||" LogicalANDExpression { $$ = new(driver.pool_) CYLogicalOr($1, $3); } ; ConditionalExpression - : LogicalORExpression - | LogicalORExpression "?" AssignmentExpression ":" AssignmentExpression + : LogicalORExpression { $$ = $1; } + | LogicalORExpression "?" AssignmentExpression ":" AssignmentExpression { $$ = new(driver.pool_) CYCondition($1, $3, $5); } ; -AssignmentExpression - : ConditionalExpression - | LeftHandSideExpression AssignmentOperator AssignmentExpression +ConditionalExpressionNoIn + : LogicalORExpressionNoIn { $$ = $1; } + | LogicalORExpressionNoIn "?" AssignmentExpression ":" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYCondition($1, $3, $5); } + ; + +ConditionalExpressionNoBF + : LogicalORExpressionNoBF { $$ = $1; } + | LogicalORExpressionNoBF "?" AssignmentExpression ":" AssignmentExpression { $$ = new(driver.pool_) CYCondition($1, $3, $5); } ; -AssignmentOperator - : "=" - | "*=" - | "/=" - | "%=" - | "+=" - | "-=" - | "<<=" - | ">>=" - | ">>>=" - | "&=" - | "^=" - | "|=" +AssignmentExpression + : 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); } + ; + +AssignmentExpressionNoIn + : ConditionalExpressionNoIn { $$ = $1; } + | LeftHandSideExpression "=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYAssign($1, $3); } + | LeftHandSideExpression "*=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYMultiplyAssign($1, $3); } + | LeftHandSideExpression "/=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYDivideAssign($1, $3); } + | LeftHandSideExpression "%=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYModulusAssign($1, $3); } + | LeftHandSideExpression "+=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYAddAssign($1, $3); } + | LeftHandSideExpression "-=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYSubtractAssign($1, $3); } + | LeftHandSideExpression "<<=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYShiftLeftAssign($1, $3); } + | LeftHandSideExpression ">>=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYShiftRightSignedAssign($1, $3); } + | LeftHandSideExpression ">>>=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYShiftRightUnsignedAssign($1, $3); } + | LeftHandSideExpression "&=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYBitwiseAndAssign($1, $3); } + | LeftHandSideExpression "^=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYBitwiseXOrAssign($1, $3); } + | LeftHandSideExpression "|=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYBitwiseOrAssign($1, $3); } + ; + +AssignmentExpressionNoBF + : ConditionalExpressionNoBF { $$ = $1; } + | LeftHandSideExpressionNoBF "=" AssignmentExpression { $$ = new(driver.pool_) CYAssign($1, $3); } + | LeftHandSideExpressionNoBF "*=" AssignmentExpression { $$ = new(driver.pool_) CYMultiplyAssign($1, $3); } + | LeftHandSideExpressionNoBF "/=" AssignmentExpression { $$ = new(driver.pool_) CYDivideAssign($1, $3); } + | LeftHandSideExpressionNoBF "%=" AssignmentExpression { $$ = new(driver.pool_) CYModulusAssign($1, $3); } + | LeftHandSideExpressionNoBF "+=" AssignmentExpression { $$ = new(driver.pool_) CYAddAssign($1, $3); } + | LeftHandSideExpressionNoBF "-=" AssignmentExpression { $$ = new(driver.pool_) CYSubtractAssign($1, $3); } + | LeftHandSideExpressionNoBF "<<=" AssignmentExpression { $$ = new(driver.pool_) CYShiftLeftAssign($1, $3); } + | LeftHandSideExpressionNoBF ">>=" AssignmentExpression { $$ = new(driver.pool_) CYShiftRightSignedAssign($1, $3); } + | LeftHandSideExpressionNoBF ">>>=" AssignmentExpression { $$ = new(driver.pool_) CYShiftRightUnsignedAssign($1, $3); } + | LeftHandSideExpressionNoBF "&=" AssignmentExpression { $$ = new(driver.pool_) CYBitwiseAndAssign($1, $3); } + | LeftHandSideExpressionNoBF "^=" AssignmentExpression { $$ = new(driver.pool_) CYBitwiseXOrAssign($1, $3); } + | LeftHandSideExpressionNoBF "|=" AssignmentExpression { $$ = new(driver.pool_) CYBitwiseOrAssign($1, $3); } ; Expression_ - : "," Expression - | + : "," Expression { $$ = new(driver.pool_) CYCompound($2); } + | { $$ = NULL; } + ; + +ExpressionNoIn_ + : "," ExpressionNoIn { $$ = new(driver.pool_) CYCompound($2); } + | { $$ = NULL; } ; ExpressionOpt - : Expression - | + : Expression { $$ = $1; } + | { $$ = NULL; } + ; + +ExpressionNoInOpt + : ExpressionNoIn { $$ = $1; } + | { $$ = NULL; } ; Expression - : AssignmentExpression Expression_ + : AssignmentExpression Expression_ { if ($2) { $2->AddPrev($1); $$ = $2; } else $$ = $1; } + ; + +ExpressionNoIn + : AssignmentExpressionNoIn ExpressionNoIn_ { if ($2) { $2->AddPrev($1); $$ = $2; } else $$ = $1; } + ; + +ExpressionNoBF + : AssignmentExpressionNoBF Expression_ { if ($2) { $2->AddPrev($1); $$ = $2; } else $$ = $1; } ; Statement - : Block - | VariableStatement - | EmptyStatement - | ExpressionStatement - | IfStatement - | IterationStatement - | ContinueStatement - | BreakStatement - | ReturnStatement - | WithStatement - | LabelledStatement - | SwitchStatement - | ThrowStatement - | TryStatement + : Block { $$ = $1; } + | VariableStatement { $$ = $1; } + | EmptyStatement { $$ = $1; } + | ExpressionStatement { $$ = $1; } + | IfStatement { $$ = $1; } + | IterationStatement { $$ = $1; } + | ContinueStatement { $$ = $1; } + | BreakStatement { $$ = $1; } + | ReturnStatement { $$ = $1; } + | WithStatement { $$ = $1; } + | LabelledStatement { $$ = $1; } + | SwitchStatement { $$ = $1; } + | ThrowStatement { $$ = $1; } + | TryStatement { $$ = $1; } ; Block - : "{" StatementListOpt "}" + : "{" StatementListOpt "}" { $$ = $2 ?: new(driver.pool_) CYEmpty(); } + ; + +StatementList + : Statement StatementListOpt { $1->SetNext($2); $$ = $1; } ; StatementListOpt - : Statement StatementListOpt - | + : StatementList { $$ = $1; } + | { $$ = NULL; } ; VariableStatement - : "var" VariableDeclarationList ";" + : "var" VariableDeclarationList Terminator { $$ = $2; } ; VariableDeclarationList_ - : "," VariableDeclarationList - | + : "," VariableDeclarationList { $$ = $2; } + | { $$ = NULL; } + ; + +VariableDeclarationListNoIn_ + : "," VariableDeclarationListNoIn { $$ = $2; } + | { $$ = NULL; } ; VariableDeclarationList - : VariableDeclaration VariableDeclarationList_ + : VariableDeclaration VariableDeclarationList_ { $$ = new(driver.pool_) CYDeclarations($1, $2); } + ; + +VariableDeclarationListNoIn + : VariableDeclarationNoIn VariableDeclarationListNoIn_ { $$ = new(driver.pool_) CYDeclarations($1, $2); } ; VariableDeclaration - : Identifier InitialiserOpt + : Identifier InitialiserOpt { $$ = new(driver.pool_) CYDeclaration($1, $2); } + ; + +VariableDeclarationNoIn + : Identifier InitialiserNoInOpt { $$ = new(driver.pool_) CYDeclaration($1, $2); } ; InitialiserOpt - : Initialiser - | + : Initialiser { $$ = $1; } + | { $$ = NULL; } + ; + +InitialiserNoInOpt + : InitialiserNoIn { $$ = $1; } + | { $$ = NULL; } ; Initialiser - : "=" AssignmentExpression + : "=" AssignmentExpression { $$ = $2; } + ; + +InitialiserNoIn + : "=" AssignmentExpressionNoIn { $$ = $2; } ; EmptyStatement - : ";" + : ";" { $$ = new(driver.pool_) CYEmpty(); } ; ExpressionStatement - : Expression ";" + : ExpressionNoBF Terminator { $$ = new(driver.pool_) CYExpress($1); } ; ElseStatementOpt - : "else" Statement - | + : "else" Statement { $$ = $2; } + | %prec "if" { $$ = NULL; } ; IfStatement - : "if" "(" Expression ")" Statement ElseStatementOpt + : "if" "(" Expression ")" Statement ElseStatementOpt { $$ = new(driver.pool_) CYIf($3, $5, $6); } ; IterationStatement - : DoWhileStatement - | WhileStatement - | ForStatement - | ForInStatement + : DoWhileStatement { $$ = $1; } + | WhileStatement { $$ = $1; } + | ForStatement { $$ = $1; } + | ForInStatement { $$ = $1; } ; DoWhileStatement - : "do" Statement "while" "(" Expression ")" ";" + : "do" Statement "while" "(" Expression ")" TerminatorOpt { $$ = new(driver.pool_) CYDoWhile($5, $2); } ; WhileStatement - : "while" "(" Expression ")" Statement + : "while" "(" Expression ")" Statement { $$ = new(driver.pool_) CYWhile($3, $5); } ; ForStatement - : "for" "(" ForStatementInitialiser ";" ExpressionOpt ";" ExpressionOpt ")" Statement + : "for" "(" ForStatementInitialiser ";" ExpressionOpt ";" ExpressionOpt ")" Statement { $$ = new(driver.pool_) CYFor($3, $5, $7, $9); } ; ForStatementInitialiser - : ExpressionOpt - | "var" VariableDeclarationList + : ExpressionNoInOpt { $$ = $1; } + | "var" VariableDeclarationListNoIn { $$ = $2; } ; ForInStatement - : "for" "(" ForInStatementInitialiser "in" Expression ")" Statement + : "for" "(" ForInStatementInitialiser "in" Expression ")" Statement { $$ = new(driver.pool_) CYForIn($3, $5, $7); } ; ForInStatementInitialiser - : LeftHandSideExpression - | "var" VariableDeclaration + : LeftHandSideExpression { $$ = $1; } + | "var" VariableDeclarationNoIn { $$ = $2; } ; ContinueStatement - : "continue" IdentifierOpt ";" + : "continue" IdentifierOpt Terminator { $$ = new(driver.pool_) CYContinue($2); } ; BreakStatement - : "break" IdentifierOpt ";" + : "break" IdentifierOpt Terminator { $$ = new(driver.pool_) CYBreak($2); } ; ReturnStatement - : "return" ExpressionOpt ";" + : "return" ExpressionOpt Terminator { $$ = new(driver.pool_) CYReturn($2); } ; WithStatement - : "with" "(" Expression ")" Statement + : "with" "(" Expression ")" Statement { $$ = new(driver.pool_) CYWith($3, $5); } ; SwitchStatement - : "switch" "(" Expression ")" CaseBlock + : "switch" "(" Expression ")" CaseBlock { $$ = new(driver.pool_) CYSwitch($3, $5); } ; CaseBlock - : "{" CaseClausesOpt "}" + : "{" CaseClausesOpt "}" { $$ = $2; } ; CaseClausesOpt - : CaseClause CaseClausesOpt - | DefaultClause CaseClausesOpt - | + : CaseClause CaseClausesOpt { $1->SetNext($2); $$ = $1; } + | DefaultClause CaseClausesOpt { $1->SetNext($2); $$ = $1; } + | { $$ = NULL; } ; CaseClause - : "case" Expression ":" StatementListOpt + : "case" Expression ":" StatementListOpt { $$ = new(driver.pool_) CYClause($2, $4); } ; DefaultClause - : "default" ":" StatementListOpt + : "default" ":" StatementListOpt { $$ = new(driver.pool_) CYClause(NULL, $3); } ; LabelledStatement - : Identifier ":" Statement + : Identifier ":" Statement { $3->AddLabel($1); $$ = $3; } ; ThrowStatement - : "throw" Expression ";" + : "throw" Expression Terminator { $$ = new(driver.pool_) CYThrow($2); } ; TryStatement - : "try" Block CatchOpt FinallyOpt + : "try" Block CatchOpt FinallyOpt { $$ = new(driver.pool_) CYTry($2, $3, $4); } ; CatchOpt - : "catch" "(" Identifier ")" Block - | + : "catch" "(" Identifier ")" Block { $$ = new(driver.pool_) CYCatch($3, $5); } + | { $$ = NULL; } ; FinallyOpt - : "finally" Block - | + : "finally" Block { $$ = $2; } + | { $$ = NULL; } ; FunctionDeclaration - : "function" Identifier "(" FormalParameterList ")" "{" FunctionBody "}" + : "function" Identifier "(" FormalParameterList ")" "{" FunctionBody "}" { $$ = new(driver.pool_) CYFunction($2, $4, $7); } ; FunctionExpression - : "function" IdentifierOpt "(" FormalParameterList ")" "{" FunctionBody "}" + : "function" IdentifierOpt "(" FormalParameterList ")" "{" FunctionBody "}" { $$ = new(driver.pool_) CYLambda($2, $4, $7); } ; FormalParameterList_ - : "," FormalParameterList - | + : "," FormalParameterList { $$ = $2; } + | { $$ = NULL; } ; FormalParameterList - : Identifier FormalParameterList_ - | + : Identifier FormalParameterList_ { $$ = new(driver.pool_) CYFunctionParameter($1, $2); } + | { $$ = NULL; } ; FunctionBody - : SourceElements + : SourceElements { $$ = $1; } ; Program - : SourceElements + : SourceElements { driver.source_ = $1; } ; SourceElements - : SourceElement SourceElements - | + : SourceElement SourceElements { $1->SetNext($2); $$ = $1; } + | { $$ = NULL; } ; SourceElement - : Statement - | FunctionDeclaration + : Statement { $$ = $1; } + | FunctionDeclaration { $$ = $1; } ; -%% +/* Objective-C Extensions {{{ */ +ClassSuperOpt + : ":" MemberExpressionNoBF { $$ = $2; } + | { $$ = NULL; } + ; -#include +ClassFieldList + : "{" "}" { $$ = NULL; } + ; -void cyerror(YYLTYPE *locp, CYParser *context, const char *msg) { - fprintf(stderr, "err:%s\n", msg); -} +MessageScope + : "+" { $$ = false; } + | "-" { $$ = true; } + ; + +TypeOpt + : "(" Expression ")" { $$ = $2; } + | { $$ = NULL; } + ; + +MessageParameter + : Word ":" TypeOpt Identifier { $$ = new CYMessageParameter($1, $3, $4); } + ; + +MessageParameterListOpt + : MessageParameterList { $$ = $1; } + | { $$ = NULL; } + ; + +MessageParameterList + : MessageParameter MessageParameterListOpt { $1->SetNext($2); $$ = $1; } + ; + +MessageParameters + : MessageParameterList { $$ = $1; } + | Word { $$ = new CYMessageParameter($1, NULL, NULL); } + ; + +ClassMessageDeclaration + : MessageScope TypeOpt MessageParameters "{" FunctionBody "}" { $$ = new CYMessage($1, $2, $3, $5); } + ; + +ClassMessageDeclarationListOpt + : ClassMessageDeclarationListOpt ClassMessageDeclaration { if ($1) { $1->SetNext($2); $$ = $1; } else $$ = $2; } + | { $$ = NULL; } + ; + +ClassDeclaration + : "@class" Identifier ClassSuperOpt ClassFieldList ClassMessageDeclarationListOpt "@end" { $$ = new CYClass($2, $3, $4, $5); } + ; + +SourceElement + : ClassDeclaration { $$ = $1; } + ; + +VariadicCall + : "," AssignmentExpression VariadicCall { $$ = new(driver.pool_) CYArgument(NULL, $2, $3); } + | { $$ = NULL; } + ; + +SelectorCall_ + : SelectorCall { $$ = $1; } + | VariadicCall { $$ = $1; } + ; + +SelectorCall + : WordOpt ":" AssignmentExpression SelectorCall_ { $$ = new(driver.pool_) CYArgument($1 ?: new(driver.pool_) CYBlank(), $3, $4); } + ; + +SelectorList + : SelectorCall { $$ = $1; } + | Word { $$ = new(driver.pool_) CYArgument($1, NULL); } + ; + +MessageExpression + : "[" AssignmentExpression SelectorList "]" { $$ = new(driver.pool_) CYSend($2, $3); } + ; + +SelectorExpressionOpt + : SelectorExpression_ { $$ = $1; } + | { $$ = NULL; } + ; + +SelectorExpression_ + : WordOpt ":" SelectorExpressionOpt { $$ = new(driver.pool_) CYSelectorPart($1, true, $3); } + ; + +SelectorExpression + : SelectorExpression_ { $$ = $1; } + | Word { $$ = new(driver.pool_) CYSelectorPart($1, false, NULL); } + ; + +PrimaryExpression_ + : MessageExpression { $$ = $1; } + | "@selector" "(" SelectorExpression ")" { $$ = new CYSelector($3); } + ; +/* }}} */ + +LeftHandSideExpression_ + : "*" LeftHandSideExpression { $$ = new(driver.pool_) CYIndirect($2); } + ; + +UnaryExpression_ + : "&" UnaryExpression { $$ = new(driver.pool_) CYAddressOf($2); } + ; + +%%