X-Git-Url: https://git.saurik.com/cycript.git/blobdiff_plain/36cd3cb9f6981266a7365d3a90a42d49349b5f91..e5bc40dbf98979310a3c9fd5d552c710b24d6762:/Cycript.y diff --git a/Cycript.y b/Cycript.y index 2c98974..9a3480d 100644 --- a/Cycript.y +++ b/Cycript.y @@ -1,7 +1,46 @@ +/* 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 YYSTACKEXPANDABLE 1 } %code requires { @@ -11,24 +50,32 @@ typedef struct { bool newline_; union { + bool bool_; + CYArgument *argument_; 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_; CYLiteral *literal_; - CYName *name_; + CYMessage *message_; + CYMessageParameter *messageParameter_; CYNull *null_; CYNumber *number_; - CYParameter *parameter_; CYProperty *property_; + CYPropertyName *propertyName_; + CYSelectorPart *selector_; CYSource *source_; CYStatement *statement_; CYString *string_; @@ -40,11 +87,14 @@ typedef struct { } +%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_; @@ -115,6 +165,10 @@ typedef struct { %token OpenBracket "[" %token CloseBracket "]" +%token AtClass "@class" +%token AtSelector "@selector" +%token AtEnd "@end" + %token Break "break" %token Case "case" %token Catch "catch" @@ -144,49 +198,106 @@ typedef struct { %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 ClassName +%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 @@ -194,70 +305,123 @@ typedef struct { %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 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 RelationalExpressionNoBF +%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 : ";" - | NewLine - | + | "\n" + | error { yyerrok; driver.errors_.pop_back(); } ; Terminator : ";" - | NewLine - | error { yyerrok; } + | "\n" + | error { if (yychar != 0 && yychar != cy::parser::token::CloseBrace && !yylval.newline_) YYABORT; else { yyerrok; driver.errors_.pop_back(); } } + ; + +CommaOpt + : "," + | ; NewLineOpt - : NewLine + : "\n" | ; @@ -268,32 +432,63 @@ WordOpt 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; } - | "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; } + | "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; } ; @@ -319,69 +514,56 @@ BooleanLiteral | "false" { $$ = $1; } ; -/* Objective-C Extensions {{{ */ -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_) CYMessage($2, $3); } - ; -/* }}} */ - /* 11.1 Primary Expressions {{{ */ -PrimaryExpression +PrimaryExpression_ : "this" { $$ = $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(driver.pool_) 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 @@ -400,17 +582,37 @@ PropertyName ; /* }}} */ +MemberExpression_ + : "new" MemberExpression Arguments { $$ = new(driver.pool_) CYNew($2, $3); } + ; + MemberExpression : 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_ { $$ = $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 { $$ = $1; } - | "new" NewExpression { $$ = new(driver.pool_) CYNew($2, NULL); } + | NewExpression_ { $$ = $1; } + ; + +NewExpressionNoBF + : MemberExpressionNoBF { $$ = $1; } + | NewExpression_ { $$ = $1; } ; CallExpression @@ -420,6 +622,13 @@ CallExpression | 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 { $$ = $2; } | { $$ = NULL; } @@ -441,7 +650,13 @@ Arguments LeftHandSideExpression : NewExpression { $$ = $1; } | CallExpression { $$ = $1; } - | "*" LeftHandSideExpression { $$ = new(driver.pool_) CYIndirect($2); } + | LeftHandSideExpression_ { $$ = $1; } + ; + +LeftHandSideExpressionNoBF + : NewExpressionNoBF { $$ = $1; } + | CallExpressionNoBF { $$ = $1; } + | LeftHandSideExpression_ { $$ = $1; } ; PostfixExpression @@ -450,9 +665,14 @@ PostfixExpression | LeftHandSideExpression "--" { $$ = new(driver.pool_) CYPostDecrement($1); } ; -UnaryExpression - : PostfixExpression { $$ = $1; } - | "delete" UnaryExpression { $$ = new(driver.pool_) CYDelete($2); } +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); } @@ -463,7 +683,16 @@ UnaryExpression | "-" 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 + : PostfixExpression { $$ = $1; } + | UnaryExpression_ { $$ = $1; } + ; + +UnaryExpressionNoBF + : PostfixExpressionNoBF { $$ = $1; } + | UnaryExpression_ { $$ = $1; } ; MultiplicativeExpression @@ -473,12 +702,25 @@ MultiplicativeExpression | 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(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(driver.pool_) CYShiftLeft($1, $3); } @@ -486,6 +728,13 @@ ShiftExpression | 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 { $$ = $1; } | RelationalExpression "<" ShiftExpression { $$ = new(driver.pool_) CYLess($1, $3); } @@ -496,6 +745,25 @@ RelationalExpression | 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 { $$ = $1; } | EqualityExpression "==" RelationalExpression { $$ = new(driver.pool_) CYEqual($1, $3); } @@ -504,36 +772,112 @@ EqualityExpression | 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(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(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(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(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(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(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 : ConditionalExpression { $$ = $1; } | LeftHandSideExpression "=" AssignmentExpression { $$ = new(driver.pool_) CYAssign($1, $3); } @@ -550,8 +894,45 @@ AssignmentExpression | 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 { $$ = $2; } + : "," Expression { $$ = new(driver.pool_) CYCompound($2); } + | { $$ = NULL; } + ; + +ExpressionNoIn_ + : "," ExpressionNoIn { $$ = new(driver.pool_) CYCompound($2); } | { $$ = NULL; } ; @@ -560,8 +941,21 @@ ExpressionOpt | { $$ = NULL; } ; +ExpressionNoInOpt + : ExpressionNoIn { $$ = $1; } + | { $$ = NULL; } + ; + Expression - : AssignmentExpression Expression_ { if ($1) { $1->SetNext($2); $$ = $1; } else $$ = $2; } + : 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 @@ -585,8 +979,12 @@ Block : "{" StatementListOpt "}" { $$ = $2 ?: new(driver.pool_) CYEmpty(); } ; -StatementListOpt +StatementList : Statement StatementListOpt { $1->SetNext($2); $$ = $1; } + ; + +StatementListOpt + : StatementList { $$ = $1; } | { $$ = NULL; } ; @@ -599,29 +997,51 @@ VariableDeclarationList_ | { $$ = NULL; } ; +VariableDeclarationListNoIn_ + : "," VariableDeclarationListNoIn { $$ = $2; } + | { $$ = NULL; } + ; + VariableDeclarationList : VariableDeclaration VariableDeclarationList_ { $$ = new(driver.pool_) CYDeclarations($1, $2); } ; +VariableDeclarationListNoIn + : VariableDeclarationNoIn VariableDeclarationListNoIn_ { $$ = new(driver.pool_) CYDeclarations($1, $2); } + ; + VariableDeclaration : Identifier InitialiserOpt { $$ = new(driver.pool_) CYDeclaration($1, $2); } ; +VariableDeclarationNoIn + : Identifier InitialiserNoInOpt { $$ = new(driver.pool_) CYDeclaration($1, $2); } + ; + InitialiserOpt : Initialiser { $$ = $1; } | { $$ = NULL; } ; +InitialiserNoInOpt + : InitialiserNoIn { $$ = $1; } + | { $$ = NULL; } + ; + Initialiser : "=" AssignmentExpression { $$ = $2; } ; +InitialiserNoIn + : "=" AssignmentExpressionNoIn { $$ = $2; } + ; + EmptyStatement : ";" { $$ = new(driver.pool_) CYEmpty(); } ; ExpressionStatement - : Expression Terminator { $$ = new(driver.pool_) CYExpress($1); } + : ExpressionNoBF Terminator { $$ = new(driver.pool_) CYExpress($1); } ; ElseStatementOpt @@ -653,8 +1073,8 @@ ForStatement ; ForStatementInitialiser - : ExpressionOpt { $$ = $1; } - | "var" VariableDeclarationList { $$ = $2; } + : ExpressionNoInOpt { $$ = $1; } + | "var" VariableDeclarationListNoIn { $$ = $2; } ; ForInStatement @@ -663,7 +1083,7 @@ ForInStatement ForInStatementInitialiser : LeftHandSideExpression { $$ = $1; } - | "var" VariableDeclaration { $$ = $2; } + | "var" VariableDeclarationNoIn { $$ = $2; } ; ContinueStatement @@ -740,7 +1160,7 @@ FormalParameterList_ ; FormalParameterList - : Identifier FormalParameterList_ { $$ = new(driver.pool_) CYParameter($1, $2); } + : Identifier FormalParameterList_ { $$ = new(driver.pool_) CYFunctionParameter($1, $2); } | { $$ = NULL; } ; @@ -749,7 +1169,7 @@ FunctionBody ; Program - : SourceElements { driver.source_.push_back($1); $$ = $1; } + : SourceElements { driver.source_ = $1; } ; SourceElements @@ -757,13 +1177,121 @@ SourceElements | { $$ = NULL; } ; -/*Command - : SourceElement { driver.source_.push_back($2); if (driver.filename_.empty() && false) YYACCEPT; $2->Show(std::cout); } - ;*/ - SourceElement : Statement { $$ = $1; } | 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; } + ; + +ClassDeclaration + : "@class" Identifier ClassSuperOpt ClassFieldList ClassMessageDeclarationListOpt "@end" { $$ = new CYClass($2, $3, $4, $5); } + | "@class" ClassName ClassMessageDeclarationListOpt "@end" { $$ = new CYCategory($2, $3); } + ; + +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); } + ; + %%