X-Git-Url: https://git.saurik.com/cycript.git/blobdiff_plain/cf7d4c691503f6711d7e407b2bc30100de19ce2e..2f8f4d8d0207f83fbdc1985ddc3eff1df496a4f5:/Cycript.y?ds=sidebyside diff --git a/Cycript.y b/Cycript.y index b039799..dd0ea51 100644 --- a/Cycript.y +++ b/Cycript.y @@ -1,52 +1,114 @@ +/* Cycript - Remove Execution Server and Disassembler + * Copyright (C) 2009 Jay Freeman (saurik) +*/ + +/* Modified BSD License {{{ */ +/* + * Redistribution and use in source and binary + * forms, with or without modification, are permitted + * provided that the following conditions are met: + * + * 1. Redistributions of source code must retain the + * above copyright notice, this list of conditions + * and the following disclaimer. + * 2. Redistributions in binary form must reproduce the + * above copyright notice, this list of conditions + * and the following disclaimer in the documentation + * and/or other materials provided with the + * distribution. + * 3. The name of the author may not be used to endorse + * or promote products derived from this software + * without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, + * BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF + * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, + * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT + * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR + * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF + * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR + * TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN + * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF + * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +*/ +/* }}} */ + %code top { #include "Cycript.tab.hh" -int cylex(YYSTYPE *lvalp, YYLTYPE *llocp, void *scanner); -#define scanner driver->scanner_ +#define scanner driver.scanner_ +#define YYSTACKEXPANDABLE 1 } %code requires { #include "Parser.hpp" + +typedef struct { + bool newline_; + + union { + bool bool_; + + CYArgument *argument_; + CYAssignment *assignment_; + CYBoolean *boolean_; + CYClause *clause_; + CYCatch *catch_; + CYClassName *className_; + CYCompound *compound_; + CYDeclaration *declaration_; + CYDeclarations *declarations_; + CYElement *element_; + CYExpression *expression_; + CYFalse *false_; + CYField *field_; + CYForInitialiser *for_; + CYForInInitialiser *forin_; + CYFunctionParameter *functionParameter_; + CYIdentifier *identifier_; + CYInfix *infix_; + CYLiteral *literal_; + CYMember *member_; + CYMessage *message_; + CYMessageParameter *messageParameter_; + CYNull *null_; + CYNumber *number_; + CYProperty *property_; + CYPropertyName *propertyName_; + CYSelectorPart *selector_; + CYSource *source_; + CYStatement *statement_; + CYString *string_; + CYThis *this_; + CYTrue *true_; + CYWord *word_; + }; +} YYSTYPE; + } -%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_; +%code provides { +int cylex(YYSTYPE *lvalp, cy::location *llocp, void *scanner); } %name-prefix "cy" %language "C++" %locations -%glr-parser + +%initial-action { + @$.begin.filename = @$.end.filename = &driver.filename_; +}; %defines %debug %error-verbose -%parse-param { CYParser *driver } +%parse-param { CYDriver &driver } %lex-param { void *scanner } %token Ampersand "&" @@ -63,6 +125,7 @@ int cylex(YYSTYPE *lvalp, YYLTYPE *llocp, void *scanner); %token Hyphen "-" %token HyphenEqual "-=" %token HyphenHyphen "--" +%token HyphenHyphen_ "\n--" %token HyphenRight "->" %token Left "<" %token LeftEqual "<=" @@ -77,6 +140,7 @@ int cylex(YYSTYPE *lvalp, YYLTYPE *llocp, void *scanner); %token Plus "+" %token PlusEqual "+=" %token PlusPlus "++" +%token PlusPlus_ "\n++" %token Right ">" %token RightEqual ">=" %token RightRight ">>" @@ -93,6 +157,7 @@ int cylex(YYSTYPE *lvalp, YYLTYPE *llocp, void *scanner); %token Comma "," %token Question "?" %token SemiColon ";" +%token NewLine "\n" %token OpenParen "(" %token CloseParen ")" @@ -103,6 +168,10 @@ int cylex(YYSTYPE *lvalp, YYLTYPE *llocp, void *scanner); %token OpenBracket "[" %token CloseBracket "]" +%token AtClass "@class" +%token AtSelector "@selector" +%token AtEnd "@end" + %token Break "break" %token Case "case" %token Catch "catch" @@ -132,49 +201,112 @@ int cylex(YYSTYPE *lvalp, YYLTYPE *llocp, void *scanner); %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 AssigneeExpression +%type AssigneeExpression_ +%type AssigneeExpressionNoBF %type AssignmentExpression +%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 CategoryStatement +%type ClassExpression +%type ClassMessageDeclaration +%type ClassMessageDeclarationListOpt +%type ClassName +%type ClassNameOpt +%type ClassSuperOpt +%type ClassFieldList %type ConditionalExpression +%type ConditionalExpressionNoBF +%type ConditionalExpressionNoIn %type ContinueStatement %type DefaultClause %type DoWhileStatement %type Element +%type ElementOpt %type ElementList -%type ElementList_ +%type ElementListOpt %type ElseStatementOpt %type EmptyStatement %type EqualityExpression +%type EqualityExpressionNoBF +%type EqualityExpressionNoIn %type Expression -%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 FormalParameterList +%type FormalParameterList_ %type FunctionBody %type FunctionDeclaration %type FunctionExpression @@ -182,52 +314,127 @@ int cylex(YYSTYPE *lvalp, YYLTYPE *llocp, void *scanner); %type IfStatement %type Initialiser %type InitialiserOpt +%type InitialiserNoIn +%type InitialiserNoInOpt %type IterationStatement %type LabelledStatement %type LeftHandSideExpression +%type LeftHandSideExpressionNoBF %type Literal %type LogicalANDExpression +%type LogicalANDExpressionNoBF +%type LogicalANDExpressionNoIn %type LogicalORExpression +%type LogicalORExpressionNoBF +%type LogicalORExpressionNoIn +%type MemberAccess %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 MessageExpression %type PostfixExpression +%type PostfixExpressionNoBF %type PrimaryExpression +%type PrimaryExpression_ +%type PrimaryExpressionNoBF %type Program -%type PropertyName +%type PropertyName %type PropertyNameAndValueList %type PropertyNameAndValueList_ %type PropertyNameAndValueListOpt %type RelationalExpression +%type RelationalExpression_ +%type RelationalExpressionNoBF +%type RelationalExpressionNoIn +%type RelationalExpressionNoIn_ %type ReturnStatement -%type SelectorCall -%type SelectorCall_ -%type SelectorList +%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 VariadicCall %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; +TerminatorOpt + : ";" + | "\n" + | error { yyerrok; driver.errors_.pop_back(); } + ; + +Terminator + : ";" + | "\n" + | error { if (yychar != 0 && yychar != cy::parser::token::CloseBrace && !yylval.newline_) YYABORT; else { yyerrok; driver.errors_.pop_back(); } } + ; + +CommaOpt + : "," + | + ; + +NewLineOpt + : "\n" + | + ; WordOpt : Word { $$ = $1; } @@ -236,32 +443,63 @@ WordOpt Word : Identifier { $$ = $1; } - | "break" { $$ = $1; } + | "abstract" { $$ = $1; } + | "boolean" { $$ = $1; } + | "break" NewLineOpt { $$ = $1; } + | "byte" { $$ = $1; } | "case" { $$ = $1; } | "catch" { $$ = $1; } - | "continue" { $$ = $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; } - | "in" { $$ = $1; } - | "instanceof" { $$ = $1; } + | "implements" { $$ = $1; } + | "import" { $$ = $1; } + /* XXX: | "in" { $$ = $1; } */ + /* XXX: | "instanceof" { $$ = $1; } */ + | "int" { $$ = $1; } + | "interface" { $$ = $1; } + | "long" { $$ = $1; } + | "native" { $$ = $1; } | "new" { $$ = $1; } | "null" { $$ = $1; } - | "return" { $$ = $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" { $$ = $1; } + | "throw" NewLineOpt { $$ = $1; } + | "throws" { $$ = $1; } + | "transient" { $$ = $1; } | "true" { $$ = $1; } | "try" { $$ = $1; } | "typeof" { $$ = $1; } | "var" { $$ = $1; } | "void" { $$ = $1; } + | "volatile" { $$ = $1; } | "while" { $$ = $1; } | "with" { $$ = $1; } ; @@ -287,69 +525,56 @@ BooleanLiteral | "false" { $$ = $1; } ; -/* Objective-C Extensions {{{ */ -VariadicCall - : "," AssignmentExpression VariadicCall { $$ = new CYArgument(NULL, $2, $3); } - | { $$ = NULL; } - ; - -SelectorCall_ - : SelectorCall { $$ = $1; } - | VariadicCall { $$ = $1; } - ; - -SelectorCall - : WordOpt ":" AssignmentExpression SelectorCall_ { $$ = new CYArgument($1 ?: new CYBlank(), $3, $4); } - ; - -SelectorList - : SelectorCall { $$ = $1; } - | Word { $$ = new CYArgument($1, NULL); } - ; - -MessageExpression - : "[" AssignmentExpression SelectorList "]" { $$ = new CYMessage($2, $3); } - ; -/* }}} */ - /* 11.1 Primary Expressions {{{ */ -PrimaryExpression +PrimaryExpression_ : "this" { $$ = $1; } - | Identifier { $$ = new CYVariable($1); } + | Identifier { $$ = new(driver.pool_) CYVariable($1); } | Literal { $$ = $1; } | ArrayLiteral { $$ = $1; } - | ObjectLiteral { $$ = $1; } | "(" Expression ")" { $$ = $2; } - | MessageExpression { $$ = $1; } + ; + +PrimaryExpression + : ObjectLiteral { $$ = $1; } + | PrimaryExpression_ { $$ = $1; } + ; + +PrimaryExpressionNoBF + : PrimaryExpression_ { $$ = $1; } ; /* }}} */ /* 11.1.4 Array Initialiser {{{ */ ArrayLiteral - : "[" ElementList "]" { $$ = $2; } + : "[" ElementListOpt "]" { $$ = new(driver.pool_) CYArray($2); } ; Element : AssignmentExpression { $$ = $1; } + ; + +ElementOpt + : Element { $$ = $1; } | { $$ = NULL; } ; -ElementList_ - : "," ElementList { $$ = $2; } +ElementListOpt + : ElementList { $$ = $1; } | { $$ = NULL; } ; ElementList - : Element ElementList_ { $$ = new CYElement($1, $2); } + : ElementOpt "," ElementListOpt { $$ = new(driver.pool_) CYElement($1, $3); } + | Element { $$ = new(driver.pool_) CYElement($1, NULL); } ; /* }}} */ /* 11.1.5 Object Initialiser {{{ */ ObjectLiteral - : "{" PropertyNameAndValueListOpt "}" { $$ = $2; } + : "{" PropertyNameAndValueListOpt "}" { $$ = new(driver.pool_) CYObject($2); } ; PropertyNameAndValueList_ : "," PropertyNameAndValueList { $$ = $2; } - | { $$ = NULL; } + | CommaOpt { $$ = NULL; } ; PropertyNameAndValueListOpt @@ -358,7 +583,7 @@ PropertyNameAndValueListOpt ; PropertyNameAndValueList - : PropertyName ":" AssignmentExpression PropertyNameAndValueList_ { $$ = new CYProperty($1, $3, $4); } + : PropertyName ":" AssignmentExpression PropertyNameAndValueList_ { $$ = new(driver.pool_) CYProperty($1, $3, $4); } ; PropertyName @@ -368,24 +593,52 @@ PropertyName ; /* }}} */ +MemberExpression_ + : "new" MemberExpression Arguments { $$ = new(driver.pool_) CYNew($2, $3); } + ; + +MemberAccess + : "[" Expression "]" { $$ = new(driver.pool_) CYDirectMember(NULL, $2); } + | "." Identifier { $$ = new(driver.pool_) CYDirectMember(NULL, new(driver.pool_) CYString($2)); } + ; + MemberExpression : PrimaryExpression { $$ = $1; } | FunctionExpression { $$ = $1; } - | MemberExpression "[" Expression "]" { $$ = new CYMember($1, $3); } - | MemberExpression "." Identifier { $$ = new CYMember($1, new CYString($3)); } - | "new" MemberExpression Arguments { $$ = new CYNew($2, $3); } + | MemberExpression MemberAccess { $2->SetLeft($1); $$ = $2; } + | MemberExpression_ { $$ = $1; } + ; + +MemberExpressionNoBF + : PrimaryExpressionNoBF { $$ = $1; } + | MemberExpressionNoBF MemberAccess { $2->SetLeft($1); $$ = $2; } + | MemberExpression_ { $$ = $1; } + ; + +NewExpression_ + : "new" NewExpression { $$ = new(driver.pool_) CYNew($2, NULL); } ; NewExpression : MemberExpression { $$ = $1; } - | "new" NewExpression { $$ = new CYNew($2, NULL); } + | NewExpression_ { $$ = $1; } + ; + +NewExpressionNoBF + : MemberExpressionNoBF { $$ = $1; } + | NewExpression_ { $$ = $1; } ; CallExpression - : MemberExpression Arguments { $$ = new CYCall($1, $2); } - | CallExpression Arguments { $$ = new CYCall($1, $2); } - | CallExpression "[" Expression "]" { $$ = new CYMember($1, $3); } - | CallExpression "." Identifier { $$ = new CYMember($1, new CYString($3)); } + : MemberExpression Arguments { $$ = new(driver.pool_) CYCall($1, $2); } + | CallExpression Arguments { $$ = new(driver.pool_) CYCall($1, $2); } + | CallExpression MemberAccess { $2->SetLeft($1); $$ = $2; } + ; + +CallExpressionNoBF + : MemberExpressionNoBF Arguments { $$ = new(driver.pool_) CYCall($1, $2); } + | CallExpressionNoBF Arguments { $$ = new(driver.pool_) CYCall($1, $2); } + | CallExpressionNoBF MemberAccess { $2->SetLeft($1); $$ = $2; } ; ArgumentList_ @@ -399,7 +652,7 @@ ArgumentListOpt ; ArgumentList - : AssignmentExpression ArgumentList_ { $$ = new CYArgument(NULL, $1, $2); } + : AssignmentExpression ArgumentList_ { $$ = new(driver.pool_) CYArgument(NULL, $1, $2); } ; Arguments @@ -411,113 +664,287 @@ LeftHandSideExpression | CallExpression { $$ = $1; } ; +LeftHandSideExpressionNoBF + : NewExpressionNoBF { $$ = $1; } + | CallExpressionNoBF { $$ = $1; } + ; + PostfixExpression - : LeftHandSideExpression { $$ = $1; } - | LeftHandSideExpression "++" { $$ = new CYPostIncrement($1); } - | LeftHandSideExpression "--" { $$ = new CYPostDecrement($1); } + : AssigneeExpression { $$ = $1; } + | LeftHandSideExpression "++" { $$ = new(driver.pool_) CYPostIncrement($1); } + | LeftHandSideExpression "--" { $$ = new(driver.pool_) CYPostDecrement($1); } + ; + +PostfixExpressionNoBF + : AssigneeExpressionNoBF { $$ = $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 { $$ = $1; } - | "delete" UnaryExpression { $$ = new CYDelete($2); } - | "void" UnaryExpression { $$ = new CYVoid($2); } - | "typeof" UnaryExpression { $$ = new CYTypeOf($2); } - | "++" UnaryExpression { $$ = new CYPreIncrement($2); } - | "--" UnaryExpression { $$ = new CYPreDecrement($2); } - | "+" UnaryExpression { $$ = $2; } - | "-" UnaryExpression { $$ = new CYNegate($2); } - | "~" UnaryExpression { $$ = new CYBitwiseNot($2); } - | "!" UnaryExpression { $$ = new CYLogicalNot($2); } - | "*" UnaryExpression { $$ = new CYIndirect($2); } - | "&" UnaryExpression { $$ = new CYAddressOf($2); } + | UnaryExpression_ { $$ = $1; } + ; + +UnaryExpressionNoBF + : PostfixExpressionNoBF { $$ = $1; } + | UnaryExpression_ { $$ = $1; } ; MultiplicativeExpression : UnaryExpression { $$ = $1; } - | MultiplicativeExpression "*" UnaryExpression { $$ = new CYMultiply($1, $3); } - | MultiplicativeExpression "/" UnaryExpression { $$ = new CYDivide($1, $3); } - | MultiplicativeExpression "%" UnaryExpression { $$ = new CYModulus($1, $3); } + | 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 { $$ = $1; } - | AdditiveExpression "+" MultiplicativeExpression { $$ = new CYAdd($1, $3); } - | AdditiveExpression "-" MultiplicativeExpression { $$ = new CYSubtract($1, $3); } + | 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 { $$ = $1; } - | ShiftExpression "<<" AdditiveExpression { $$ = new CYShiftLeft($1, $3); } - | ShiftExpression ">>" AdditiveExpression { $$ = new CYShiftRightSigned($1, $3); } - | ShiftExpression ">>>" AdditiveExpression { $$ = new CYShiftRightUnsigned($1, $3); } + | 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); } + ; + +RelationalExpressionNoIn_ + : "<" ShiftExpression { $$ = new(driver.pool_) CYLess(NULL, $2); } + | ">" ShiftExpression { $$ = new(driver.pool_) CYGreater(NULL, $2); } + | "<=" ShiftExpression { $$ = new(driver.pool_) CYLessOrEqual(NULL, $2); } + | ">=" ShiftExpression { $$ = new(driver.pool_) CYGreaterOrEqual(NULL, $2); } + | "instanceof" ShiftExpression { $$ = new(driver.pool_) CYInstanceOf(NULL, $2); } + ; + +RelationalExpression_ + : RelationalExpressionNoIn_ { $$ = $1; } + | "in" ShiftExpression { $$ = new(driver.pool_) CYIn(NULL, $2); } ; RelationalExpression : ShiftExpression { $$ = $1; } - | RelationalExpression "<" ShiftExpression { $$ = new CYLess($1, $3); } - | RelationalExpression ">" ShiftExpression { $$ = new CYGreater($1, $3); } - | RelationalExpression "<=" ShiftExpression { $$ = new CYLessOrEqual($1, $3); } - | RelationalExpression ">=" ShiftExpression { $$ = new CYGreaterOrEqual($1, $3); } - | RelationalExpression "instanceof" ShiftExpression { $$ = new CYInstanceOf($1, $3); } - | RelationalExpression "in" ShiftExpression { $$ = new CYIn($1, $3); } + | RelationalExpression RelationalExpression_ { $2->SetLeft($1); $$ = $2; } + ; + +RelationalExpressionNoIn + : ShiftExpression { $$ = $1; } + | RelationalExpressionNoIn RelationalExpressionNoIn_ { $2->SetLeft($1); $$ = $2; } + ; + +RelationalExpressionNoBF + : ShiftExpressionNoBF { $$ = $1; } + | RelationalExpressionNoBF RelationalExpression_ { $2->SetLeft($1); $$ = $2; } ; EqualityExpression : RelationalExpression { $$ = $1; } - | EqualityExpression "==" RelationalExpression { $$ = new CYEqual($1, $3); } - | EqualityExpression "!=" RelationalExpression { $$ = new CYNotEqual($1, $3); } - | EqualityExpression "===" RelationalExpression { $$ = new CYIdentical($1, $3); } - | EqualityExpression "!==" RelationalExpression { $$ = new CYNotIdentical($1, $3); } + | 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 { $$ = $1; } - | BitwiseANDExpression "&" EqualityExpression { $$ = new CYBitwiseAnd($1, $3); } + | 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 { $$ = $1; } - | BitwiseXORExpression "^" BitwiseANDExpression { $$ = new CYBitwiseXOr($1, $3); } + | 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 { $$ = $1; } - | BitwiseORExpression "|" BitwiseXORExpression { $$ = new CYBitwiseOr($1, $3); } + | 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 { $$ = $1; } - | LogicalANDExpression "&&" BitwiseORExpression { $$ = new CYLogicalAnd($1, $3); } + | 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 { $$ = $1; } - | LogicalORExpression "||" LogicalANDExpression { $$ = new CYLogicalOr($1, $3); } + | 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 { $$ = $1; } - | LogicalORExpression "?" AssignmentExpression ":" AssignmentExpression { $$ = new CYCondition($1, $3, $5); } + | LogicalORExpression "?" AssignmentExpression ":" AssignmentExpression { $$ = new(driver.pool_) CYCondition($1, $3, $5); } + ; + +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); } + ; + +AssignmentExpression_ + : "=" AssignmentExpression { $$ = new(driver.pool_) CYAssign(NULL, $2); } + | "*=" AssignmentExpression { $$ = new(driver.pool_) CYMultiplyAssign(NULL, $2); } + | "/=" AssignmentExpression { $$ = new(driver.pool_) CYDivideAssign(NULL, $2); } + | "%=" AssignmentExpression { $$ = new(driver.pool_) CYModulusAssign(NULL, $2); } + | "+=" AssignmentExpression { $$ = new(driver.pool_) CYAddAssign(NULL, $2); } + | "-=" AssignmentExpression { $$ = new(driver.pool_) CYSubtractAssign(NULL, $2); } + | "<<=" AssignmentExpression { $$ = new(driver.pool_) CYShiftLeftAssign(NULL, $2); } + | ">>=" AssignmentExpression { $$ = new(driver.pool_) CYShiftRightSignedAssign(NULL, $2); } + | ">>>=" AssignmentExpression { $$ = new(driver.pool_) CYShiftRightUnsignedAssign(NULL, $2); } + | "&=" AssignmentExpression { $$ = new(driver.pool_) CYBitwiseAndAssign(NULL, $2); } + | "^=" AssignmentExpression { $$ = new(driver.pool_) CYBitwiseXOrAssign(NULL, $2); } + | "|=" AssignmentExpression { $$ = new(driver.pool_) CYBitwiseOrAssign(NULL, $2); } + ; + +AssigneeExpression + : LeftHandSideExpression { $$ = $1; } + | AssigneeExpression_ { $$ = $1; } + ; + +AssigneeExpressionNoBF + : LeftHandSideExpressionNoBF { $$ = $1; } + | AssigneeExpression_ { $$ = $1; } ; AssignmentExpression : ConditionalExpression { $$ = $1; } - | LeftHandSideExpression "=" AssignmentExpression { $$ = new CYAssign($1, $3); } - | LeftHandSideExpression "*=" AssignmentExpression { $$ = new CYMultiplyAssign($1, $3); } - | LeftHandSideExpression "/=" AssignmentExpression { $$ = new CYDivideAssign($1, $3); } - | LeftHandSideExpression "%=" AssignmentExpression { $$ = new CYModulusAssign($1, $3); } - | LeftHandSideExpression "+=" AssignmentExpression { $$ = new CYAddAssign($1, $3); } - | LeftHandSideExpression "-=" AssignmentExpression { $$ = new CYSubtractAssign($1, $3); } - | LeftHandSideExpression "<<=" AssignmentExpression { $$ = new CYShiftLeftAssign($1, $3); } - | LeftHandSideExpression ">>=" AssignmentExpression { $$ = new CYShiftRightSignedAssign($1, $3); } - | LeftHandSideExpression ">>>=" AssignmentExpression { $$ = new CYShiftRightUnsignedAssign($1, $3); } - | LeftHandSideExpression "&=" AssignmentExpression { $$ = new CYBitwiseAndAssign($1, $3); } - | LeftHandSideExpression "^=" AssignmentExpression { $$ = new CYBitwiseXOrAssign($1, $3); } - | LeftHandSideExpression "|=" AssignmentExpression { $$ = new CYBitwiseOrAssign($1, $3); } + | AssigneeExpression AssignmentExpression_ { $2->SetLeft($1); $$ = $2; } + ; + +AssignmentExpressionNoIn + : ConditionalExpressionNoIn { $$ = $1; } + | AssigneeExpression "=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYAssign($1, $3); } + | AssigneeExpression "*=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYMultiplyAssign($1, $3); } + | AssigneeExpression "/=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYDivideAssign($1, $3); } + | AssigneeExpression "%=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYModulusAssign($1, $3); } + | AssigneeExpression "+=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYAddAssign($1, $3); } + | AssigneeExpression "-=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYSubtractAssign($1, $3); } + | AssigneeExpression "<<=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYShiftLeftAssign($1, $3); } + | AssigneeExpression ">>=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYShiftRightSignedAssign($1, $3); } + | AssigneeExpression ">>>=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYShiftRightUnsignedAssign($1, $3); } + | AssigneeExpression "&=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYBitwiseAndAssign($1, $3); } + | AssigneeExpression "^=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYBitwiseXOrAssign($1, $3); } + | AssigneeExpression "|=" AssignmentExpressionNoIn { $$ = new(driver.pool_) CYBitwiseOrAssign($1, $3); } + ; + +AssignmentExpressionNoBF + : ConditionalExpressionNoBF { $$ = $1; } + | AssigneeExpressionNoBF AssignmentExpression_ { $2->SetLeft($1); $$ = $2; } ; Expression_ - : "," Expression { $$ = $2; } + : "," Expression { $$ = new(driver.pool_) CYCompound($2); } + | { $$ = NULL; } + ; + +ExpressionNoIn_ + : "," ExpressionNoIn { $$ = new(driver.pool_) CYCompound($2); } | { $$ = NULL; } ; @@ -526,8 +953,21 @@ ExpressionOpt | { $$ = NULL; } ; +ExpressionNoInOpt + : ExpressionNoIn { $$ = $1; } + | { $$ = NULL; } + ; + Expression - : AssignmentExpression Expression_ { $1->SetNext($2); $$ = $1; } + : 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 @@ -548,16 +988,20 @@ Statement ; Block - : "{" StatementListOpt "}" { $$ = $2 ?: new CYEmpty(); } + : "{" StatementListOpt "}" { if ($2) $$ = new(driver.pool_) CYBlock($2); else $$ = new(driver.pool_) CYEmpty(); } ; -StatementListOpt +StatementList : Statement StatementListOpt { $1->SetNext($2); $$ = $1; } + ; + +StatementListOpt + : StatementList { $$ = $1; } | { $$ = NULL; } ; VariableStatement - : "var" VariableDeclarationList ";" { $$ = $2; } + : "var" VariableDeclarationList Terminator { $$ = $2; } ; VariableDeclarationList_ @@ -565,12 +1009,25 @@ VariableDeclarationList_ | { $$ = NULL; } ; +VariableDeclarationListNoIn_ + : "," VariableDeclarationListNoIn { $$ = $2; } + | { $$ = NULL; } + ; + VariableDeclarationList - : VariableDeclaration VariableDeclarationList_ { $$ = new CYDeclarations($1, $2); } + : VariableDeclaration VariableDeclarationList_ { $$ = new(driver.pool_) CYDeclarations($1, $2); } + ; + +VariableDeclarationListNoIn + : VariableDeclarationNoIn VariableDeclarationListNoIn_ { $$ = new(driver.pool_) CYDeclarations($1, $2); } ; VariableDeclaration - : Identifier InitialiserOpt { $$ = new CYDeclaration($1, $2); } + : Identifier InitialiserOpt { $$ = new(driver.pool_) CYDeclaration($1, $2); } + ; + +VariableDeclarationNoIn + : Identifier InitialiserNoInOpt { $$ = new(driver.pool_) CYDeclaration($1, $2); } ; InitialiserOpt @@ -578,25 +1035,34 @@ InitialiserOpt | { $$ = NULL; } ; +InitialiserNoInOpt + : InitialiserNoIn { $$ = $1; } + | { $$ = NULL; } + ; + Initialiser : "=" AssignmentExpression { $$ = $2; } ; +InitialiserNoIn + : "=" AssignmentExpressionNoIn { $$ = $2; } + ; + EmptyStatement - : ";" { $$ = new CYEmpty(); } + : ";" { $$ = new(driver.pool_) CYEmpty(); } ; ExpressionStatement - : Expression ";" { $$ = $1; } + : ExpressionNoBF Terminator { $$ = new(driver.pool_) CYExpress($1); } ; ElseStatementOpt : "else" Statement { $$ = $2; } - | { $$ = NULL; } + | %prec "if" { $$ = NULL; } ; IfStatement - : "if" "(" Expression ")" Statement ElseStatementOpt { $$ = new CYIf($3, $5, $6); } + : "if" "(" Expression ")" Statement ElseStatementOpt { $$ = new(driver.pool_) CYIf($3, $5, $6); } ; IterationStatement @@ -607,49 +1073,49 @@ IterationStatement ; DoWhileStatement - : "do" Statement "while" "(" Expression ")" ";" { $$ = new CYDoWhile($5, $2); } + : "do" Statement "while" "(" Expression ")" TerminatorOpt { $$ = new(driver.pool_) CYDoWhile($5, $2); } ; WhileStatement - : "while" "(" Expression ")" Statement { $$ = new CYWhile($3, $5); } + : "while" "(" Expression ")" Statement { $$ = new(driver.pool_) CYWhile($3, $5); } ; ForStatement - : "for" "(" ForStatementInitialiser ";" ExpressionOpt ";" ExpressionOpt ")" Statement { $$ = new CYFor($3, $5, $7, $9); } + : "for" "(" ForStatementInitialiser ";" ExpressionOpt ";" ExpressionOpt ")" Statement { $$ = new(driver.pool_) CYFor($3, $5, $7, $9); } ; ForStatementInitialiser - : ExpressionOpt { $$ = $1; } - | "var" VariableDeclarationList { $$ = $2; } + : ExpressionNoInOpt { $$ = $1; } + | "var" VariableDeclarationListNoIn { $$ = $2; } ; ForInStatement - : "for" "(" ForInStatementInitialiser "in" Expression ")" Statement { $$ = new CYForIn($3, $5, $7); } + : "for" "(" ForInStatementInitialiser "in" Expression ")" Statement { $$ = new(driver.pool_) CYForIn($3, $5, $7); } ; ForInStatementInitialiser : LeftHandSideExpression { $$ = $1; } - | "var" VariableDeclaration { $$ = $2; } + | "var" VariableDeclarationNoIn { $$ = $2; } ; ContinueStatement - : "continue" IdentifierOpt ";" { $$ = new CYContinue($2); } + : "continue" IdentifierOpt Terminator { $$ = new(driver.pool_) CYContinue($2); } ; BreakStatement - : "break" IdentifierOpt ";" { $$ = new CYBreak($2); } + : "break" IdentifierOpt Terminator { $$ = new(driver.pool_) CYBreak($2); } ; ReturnStatement - : "return" ExpressionOpt ";" { $$ = new CYReturn($2); } + : "return" ExpressionOpt Terminator { $$ = new(driver.pool_) CYReturn($2); } ; WithStatement - : "with" "(" Expression ")" Statement { $$ = new CYWith($3, $5); } + : "with" "(" Expression ")" Statement { $$ = new(driver.pool_) CYWith($3, $5); } ; SwitchStatement - : "switch" "(" Expression ")" CaseBlock { $$ = new CYSwitch($3, $5); } + : "switch" "(" Expression ")" CaseBlock { $$ = new(driver.pool_) CYSwitch($3, $5); } ; CaseBlock @@ -663,11 +1129,11 @@ CaseClausesOpt ; CaseClause - : "case" Expression ":" StatementListOpt { $$ = new CYClause($2, $4); } + : "case" Expression ":" StatementListOpt { $$ = new(driver.pool_) CYClause($2, $4); } ; DefaultClause - : "default" ":" StatementListOpt { $$ = new CYClause(NULL, $3); } + : "default" ":" StatementListOpt { $$ = new(driver.pool_) CYClause(NULL, $3); } ; LabelledStatement @@ -675,15 +1141,15 @@ LabelledStatement ; ThrowStatement - : "throw" Expression ";" { $$ = new CYThrow($2); } + : "throw" Expression Terminator { $$ = new(driver.pool_) CYThrow($2); } ; TryStatement - : "try" Block CatchOpt FinallyOpt { $$ = new CYTry($2, $3, $4); } + : "try" Block CatchOpt FinallyOpt { $$ = new(driver.pool_) CYTry($2, $3, $4); } ; CatchOpt - : "catch" "(" Identifier ")" Block { $$ = new CYCatch($3, $5); } + : "catch" "(" Identifier ")" Block { $$ = new(driver.pool_) CYCatch($3, $5); } | { $$ = NULL; } ; @@ -693,11 +1159,11 @@ FinallyOpt ; FunctionDeclaration - : "function" Identifier "(" FormalParameterList ")" "{" FunctionBody "}" { $$ = new CYFunction($2, $4, $7); } + : "function" Identifier "(" FormalParameterList ")" "{" FunctionBody "}" { $$ = new(driver.pool_) CYFunction($2, $4, $7); } ; FunctionExpression - : "function" IdentifierOpt "(" FormalParameterList ")" "{" FunctionBody "}" { $$ = new CYLambda($2, $4, $7); } + : "function" IdentifierOpt "(" FormalParameterList ")" "{" FunctionBody "}" { $$ = new(driver.pool_) CYLambda($2, $4, $7); } ; FormalParameterList_ @@ -706,7 +1172,7 @@ FormalParameterList_ ; FormalParameterList - : Identifier FormalParameterList_ { $$ = new CYParameter($1, $2); } + : Identifier FormalParameterList_ { $$ = new(driver.pool_) CYFunctionParameter($1, $2); } | { $$ = NULL; } ; @@ -715,7 +1181,7 @@ FunctionBody ; Program - : SourceElements { $$ = $1; } + : SourceElements { driver.source_ = $1; } ; SourceElements @@ -728,4 +1194,158 @@ SourceElement | FunctionDeclaration { $$ = $1; } ; +/* Objective-C Extensions {{{ */ +ClassSuperOpt + : ":" MemberExpressionNoBF { $$ = $2; } + | { $$ = NULL; } + ; + +ClassFieldList + : "{" "}" { $$ = NULL; } + ; + +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 { $2->SetNext($1); $$ = $2; } + | { $$ = NULL; } + ; + +ClassName + : Identifier { $$ = $1; } + | "(" AssignmentExpression ")" { $$ = $2; } + ; + +ClassNameOpt + : ClassName { $$ = $1; } + | { $$ = NULL; } + ; + +ClassExpression + : "@class" ClassNameOpt ClassSuperOpt ClassFieldList ClassMessageDeclarationListOpt "@end" { $$ = new CYClass($2, $3, $4, $5); } + ; + +CategoryStatement + : "@class" ClassName ClassMessageDeclarationListOpt "@end" { $$ = new CYCategory($2, $3); } + ; + +PrimaryExpression_ + : ClassExpression { $$ = $1; } + ; + +Statement + : CategoryStatement + ; + +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); } + ; +/* }}} */ + +AssigneeExpression_ + : "*" UnaryExpression { $$ = new(driver.pool_) CYIndirect($2); } + ; + +UnaryExpression_ + : "&" UnaryExpression { $$ = new(driver.pool_) CYAddressOf($2); } + ; + +MemberAccess + : "->" Identifier { $$ = new(driver.pool_) CYIndirectMember(NULL, new(driver.pool_) CYString($2)); } + ; + +/* + +IfComprehension + : "if" "(" Expression ")" + ; + +ForComprehension + : "for" "(" ForInStatementInitialiser "in" Expression ")" + ; + +ComprehensionListOpt + : ComprehensionList + | IfComprehension + | + ; + +ComprehensionList + : ForComprehension ComprehensionListOpt + ; + +PrimaryExpression_ + : "[" AssignmentExpression ComprehensionList "]" + ; + +*/ + %%