X-Git-Url: https://git.saurik.com/cycript.git/blobdiff_plain/4de0686f54039cd5211daebcf5a51ad475594170..cee5e1fd5183c06f351c849d6c245b9a8a57e1d7:/Cycript.y.in diff --git a/Cycript.y.in b/Cycript.y.in index 0823b7a..3b7d21f 100644 --- a/Cycript.y.in +++ b/Cycript.y.in @@ -1,4 +1,4 @@ -/* Cycript - Remove Execution Server and Disassembler +/* Cycript - Inlining/Optimizing JavaScript Compiler * Copyright (C) 2009 Jay Freeman (saurik) */ @@ -46,8 +46,12 @@ %code requires { #include "Parser.hpp" -@begin ObjC -#include "ObjectiveC.hpp" +@begin ObjectiveC +#include "ObjectiveC/Syntax.hpp" +@end + +@begin E4X +#include "E4X/Syntax.hpp" @end typedef struct { @@ -62,8 +66,8 @@ typedef struct { CYAssignment *assignment_; CYBoolean *boolean_; CYClause *clause_; - CYCatch *catch_; - CYClassName *className_; + cy::Syntax::Catch *catch_; + CYComment *comment_; CYComprehension *comprehension_; CYCompound *compound_; CYDeclaration *declaration_; @@ -71,7 +75,6 @@ typedef struct { CYElement *element_; CYExpression *expression_; CYFalse *false_; - CYField *field_; CYFinally *finally_; CYForInitialiser *for_; CYForInInitialiser *forin_; @@ -91,11 +94,20 @@ typedef struct { CYTrue *true_; CYWord *word_; -@begin ObjC +@begin ObjectiveC + CYClassName *className_; + CYField *field_; CYMessage *message_; CYMessageParameter *messageParameter_; + CYProtocol *protocol_; CYSelectorPart *selector_; @end + +@begin E4X + CYAttribute *attribute_; + CYPropertyIdentifier *propertyIdentifier_; + CYSelector *selector_; +@end }; } YYSTYPE; @@ -124,7 +136,32 @@ int cylex(YYSTYPE *lvalp, cy::location *llocp, void *scanner); %parse-param { CYDriver &driver } %lex-param { void *scanner } +@begin E4X +%token XMLCDATA +%token XMLComment +%token XMLPI + +%token XMLAttributeValue +%token XMLName +%token XMLTagCharacters +%token XMLText +%token XMLWhitespace +@end + +@begin E4X +%token LeftRight "<>" +%token LeftSlashRight "" + +%token SlashRight "/>" +%token LeftSlash " Comment + %token OpenParen "(" %token CloseParen ")" @@ -266,6 +305,12 @@ int cylex(YYSTYPE *lvalp, cy::location *llocp, void *scanner); // Woah?! %token Each "each" +@begin E4X +// E4X Conditional +%token Namespace "namespace" +%token XML "xml" +@end + %token Identifier_ %token NumericLiteral %token StringLiteral @@ -279,7 +324,6 @@ int cylex(YYSTYPE *lvalp, cy::location *llocp, void *scanner); %type Arguments %type ArrayLiteral %type AssigneeExpression -%type AssigneeExpression_ %type AssigneeExpressionNoBF %type AssignmentExpression %type AssignmentExpression_ @@ -304,15 +348,6 @@ int cylex(YYSTYPE *lvalp, cy::location *llocp, void *scanner); %type CaseClause %type CaseClausesOpt %type CatchOpt -%type CategoryStatement -%type ClassExpression -%type ClassMessageDeclaration -%type ClassMessageDeclarationListOpt -%type ClassName -%type ClassNameOpt -%type ClassStatement -%type ClassSuperOpt -%type ClassFieldList %type ComprehensionList %type ComprehensionListOpt %type ConditionalExpression @@ -363,6 +398,8 @@ int cylex(YYSTYPE *lvalp, cy::location *llocp, void *scanner); %type LeftHandSideExpressionNoBF //%type LetStatement %type Literal +%type LiteralNoRE +%type LiteralRE %type LogicalANDExpression %type LogicalANDExpressionNoBF %type LogicalANDExpressionNoIn @@ -373,11 +410,6 @@ int cylex(YYSTYPE *lvalp, cy::location *llocp, void *scanner); %type MemberExpression %type MemberExpression_ %type MemberExpressionNoBF -%type MessageParameter -%type MessageParameters -%type MessageParameterList -%type MessageParameterListOpt -%type MessageScope %type MultiplicativeExpression %type MultiplicativeExpressionNoBF %type NewExpression @@ -388,27 +420,26 @@ int cylex(YYSTYPE *lvalp, cy::location *llocp, void *scanner); %type PostfixExpression %type PostfixExpressionNoBF %type PrimaryExpression -%type PrimaryExpression_ +%type PrimaryExpressionNo %type PrimaryExpressionNoBF +%type PrimaryExpressionNoRE +%type PrimaryExpressionBF %type Program %type PropertyName +%type PropertyName_ %type PropertyNameAndValueList %type PropertyNameAndValueList_ %type PropertyNameAndValueListOpt -%type RegularExpressionLiteral_ -%type RegularExpressionToken %type RelationalExpression %type RelationalExpression_ %type RelationalExpressionNoBF %type RelationalExpressionNoIn %type RelationalExpressionNoIn_ %type ReturnStatement -%type SelectorExpression -%type SelectorExpression_ -%type SelectorExpressionOpt %type ShiftExpression %type ShiftExpressionNoBF %type SourceElement +%type SourceElement_ %type SourceElements %type Statement %type Statement_ @@ -417,7 +448,6 @@ int cylex(YYSTYPE *lvalp, cy::location *llocp, void *scanner); %type SwitchStatement %type ThrowStatement %type TryStatement -%type TypeOpt %type UnaryExpression %type UnaryExpression_ %type UnaryExpressionNoBF @@ -430,14 +460,77 @@ int cylex(YYSTYPE *lvalp, cy::location *llocp, void *scanner); %type VariableStatement %type WhileStatement %type WithStatement -%type Word -%type WordOpt +@begin C +%type AssigneeExpressionNoRE +%type CallExpressionNoRE +%type LeftHandSideExpressionNoRE +%type MemberExpressionNoRE +%type NewExpressionNoRE +%type PostfixExpressionNoRE +%type UnaryAssigneeExpression +%type UnaryExpressionNoRE +@end + +@begin ObjectiveC +%type CategoryStatement +%type ClassExpression +%type ClassStatement +%type ClassSuperOpt +%type ClassFieldList +%type ClassMessageDeclaration +%type ClassMessageDeclarationListOpt +%type ClassName +%type ClassNameOpt +%type ClassProtocolListOpt +%type ClassProtocols +%type ClassProtocolsOpt %type MessageExpression +%type MessageParameter +%type MessageParameters +%type MessageParameterList +%type MessageParameterListOpt +%type MessageScope %type SelectorCall %type SelectorCall_ +%type SelectorExpression +%type SelectorExpression_ +%type SelectorExpressionOpt %type SelectorList +%type TypeOpt %type VariadicCall +%type Word +%type WordOpt +@end + +@begin E4X +%type PropertyIdentifier_ +%type PropertySelector +%type PropertySelector_ +%type QualifiedIdentifier +%type QualifiedIdentifier_ +%type WildcardIdentifier +%type XMLComment +%type XMLCDATA +%type XMLElement +%type XMLElementContent +%type XMLMarkup +%type XMLPI + +%type AttributeIdentifier +/* XXX: %type DefaultXMLNamespaceStatement */ +%type PropertyIdentifier +%type XMLListInitialiser +%type XMLInitialiser +@end + +%nonassoc Identifier_ "abstract" "boolean" "break" "byte" "case" "catch" "char" "class" "const" "continue" "debugger" "default" "delete" "do" "double" "each" "enum" "export" "extends" "false" "final" "finally" "float" /*"for"*/ "function" "goto" "implements" "import" /*"in"*/ /*"instanceof"*/ "int" "interface" "let" "long" "namespace" "native" "new" "null" "package" "private" "protected" "public" "return" "short" "super" "static" "switch" "synchronized" "this" "throw" "throws" "transient" "true" "try" "typeof" "var" "void" "volatile" "while" "with" "xml" "yield" + +%nonassoc "if" +%nonassoc "else" + +%nonassoc "++" "--" +%nonassoc "(" "[" %left "*" "/" "%" %left "+" "-" @@ -452,13 +545,16 @@ int cylex(YYSTYPE *lvalp, cy::location *llocp, void *scanner); %right "=" "*=" "/=" "%=" "+=" "-=" "<<=" ">>=" ">>>=" "&=" "^=" "|=" -%nonassoc "if" -%nonassoc "else" - %start Program %% +/* Lexer State {{{ */ +LexSetRegExp + : { driver.SetCondition(CYDriver::RegExpCondition); } + ; +/* }}} */ + StrictSemi : { driver.Warning(yylloc, "warning, automatic semi-colon insertion required"); } ; @@ -483,6 +579,7 @@ Terminator | ;*/ +@begin ObjectiveC NewLineOpt : "\n" | @@ -511,7 +608,7 @@ Word | "extends" { $$ = $1; } | "false" { $$ = $1; } | "finally" { $$ = $1; } - | "for" { $$ = $1; } + /* XXX: | "for" { $$ = $1; } */ | "function" { $$ = $1; } | "if" { $$ = $1; } | "import" { $$ = $1; } @@ -532,6 +629,7 @@ Word | "while" { $$ = $1; } | "with" { $$ = $1; } ; +@end Identifier : Identifier_ { $$ = $1; } @@ -572,21 +670,21 @@ IdentifierOpt | { $$ = NULL; } ; -RegularExpressionToken - : "/" { $$ = CYDriver::RegExStart; } - | "/=" { $$ = CYDriver::RegExRest; } +LiteralNoRE + : NullLiteral { $$ = $1; } + | BooleanLiteral { $$ = $1; } + | NumericLiteral { $$ = $1; } + | StringLiteral { $$ = $1; } + | "@" StringLiteral { $$ = $2; } ; -RegularExpressionLiteral_ - : RegularExpressionToken { driver.SetCondition($1); } RegularExpressionLiteral { $$ = $3; } +LiteralRE + : RegularExpressionLiteral { $$ = $1; } ; Literal - : NullLiteral { $$ = $1; } - | BooleanLiteral { $$ = $1; } - | NumericLiteral { $$ = $1; } - | StringLiteral { $$ = $1; } - | RegularExpressionLiteral_ { $$ = $1; } + : LiteralNoRE { $$ = $1; } + | LiteralRE { $$ = $1; } ; NullLiteral @@ -599,7 +697,20 @@ BooleanLiteral ; /* 11.1 Primary Expressions {{{ */ -PrimaryExpression_ +PrimaryExpression + : LexSetRegExp PrimaryExpressionNoRE { $$ = $2; } + ; + +PrimaryExpressionNoBF + : PrimaryExpressionNo { $$ = $1; } + ; + +PrimaryExpressionNoRE + : PrimaryExpressionBF { $$ = $1; } + | PrimaryExpressionNo { $$ = $1; } + ; + +PrimaryExpressionNo : "this" { $$ = $1; } | Identifier { $$ = new(driver.pool_) CYVariable($1); } | Literal { $$ = $1; } @@ -607,13 +718,8 @@ PrimaryExpression_ | "(" Expression ")" { $$ = $2; } ; -PrimaryExpression +PrimaryExpressionBF : ObjectLiteral { $$ = $1; } - | PrimaryExpression_ { $$ = $1; } - ; - -PrimaryExpressionNoBF - : PrimaryExpression_ { $$ = $1; } ; /* }}} */ /* 11.1.4 Array Initialiser {{{ */ @@ -627,12 +733,12 @@ Element ElementOpt : Element { $$ = $1; } - | { $$ = NULL; } + | LexSetRegExp { $$ = NULL; } ; ElementListOpt : ElementList { $$ = $1; } - | { $$ = NULL; } + | LexSetRegExp { $$ = NULL; } ; ElementList @@ -659,11 +765,15 @@ PropertyNameAndValueList : PropertyName ":" AssignmentExpression PropertyNameAndValueList_ { $$ = new(driver.pool_) CYProperty($1, $3, $4); } ; -PropertyName +PropertyName_ : Identifier { $$ = $1; } | StringLiteral { $$ = $1; } | NumericLiteral { $$ = $1; } ; + +PropertyName + : LexSetRegExp PropertyName_ { $$ = $2; } + ; /* }}} */ /* 11.2 Left-Hand-Side Expressions {{{ */ @@ -678,9 +788,9 @@ MemberAccess MemberExpression : PrimaryExpression { $$ = $1; } - | FunctionExpression { $$ = $1; } + | LexSetRegExp FunctionExpression { $$ = $2; } | MemberExpression MemberAccess { $2->SetLeft($1); $$ = $2; } - | MemberExpression_ { $$ = $1; } + | LexSetRegExp MemberExpression_ { $$ = $2; } ; MemberExpressionNoBF @@ -689,13 +799,22 @@ MemberExpressionNoBF | MemberExpression_ { $$ = $1; } ; +@begin C +MemberExpressionNoRE + : PrimaryExpressionNoRE { $$ = $1; } + | FunctionExpression { $$ = $1; } + | MemberExpressionNoRE MemberAccess { $2->SetLeft($1); $$ = $2; } + | MemberExpression_ { $$ = $1; } + ; +@end + NewExpression_ : "new" NewExpression { $$ = new(driver.pool_) CYNew($2, NULL); } ; NewExpression : MemberExpression { $$ = $1; } - | NewExpression_ { $$ = $1; } + | LexSetRegExp NewExpression_ { $$ = $2; } ; NewExpressionNoBF @@ -703,6 +822,13 @@ NewExpressionNoBF | NewExpression_ { $$ = $1; } ; +@begin C +NewExpressionNoRE + : MemberExpressionNoRE { $$ = $1; } + | NewExpression_ { $$ = $1; } + ; +@end + CallExpression : MemberExpression Arguments { $$ = new(driver.pool_) CYCall($1, $2); } | CallExpression Arguments { $$ = new(driver.pool_) CYCall($1, $2); } @@ -715,6 +841,14 @@ CallExpressionNoBF | CallExpressionNoBF MemberAccess { $2->SetLeft($1); $$ = $2; } ; +@begin C +CallExpressionNoRE + : MemberExpressionNoRE Arguments { $$ = new(driver.pool_) CYCall($1, $2); } + | CallExpressionNoRE Arguments { $$ = new(driver.pool_) CYCall($1, $2); } + | CallExpressionNoRE MemberAccess { $2->SetLeft($1); $$ = $2; } + ; +@end + ArgumentList_ : "," ArgumentList { $$ = $2; } | { $$ = NULL; } @@ -722,7 +856,7 @@ ArgumentList_ ArgumentListOpt : ArgumentList { $$ = $1; } - | { $$ = NULL; } + | LexSetRegExp { $$ = NULL; } ; ArgumentList @@ -742,6 +876,13 @@ LeftHandSideExpressionNoBF : NewExpressionNoBF { $$ = $1; } | CallExpressionNoBF { $$ = $1; } ; + +@begin C +LeftHandSideExpressionNoRE + : NewExpressionNoRE { $$ = $1; } + | CallExpressionNoRE { $$ = $1; } + ; +@end /* }}} */ /* 11.3 Postfix Expressions {{{ */ PostfixExpression @@ -755,6 +896,14 @@ PostfixExpressionNoBF | LeftHandSideExpressionNoBF "++" { $$ = new(driver.pool_) CYPostIncrement($1); } | LeftHandSideExpressionNoBF "--" { $$ = new(driver.pool_) CYPostDecrement($1); } ; + +@begin C +PostfixExpressionNoRE + : AssigneeExpressionNoRE { $$ = $1; } + | LeftHandSideExpressionNoRE "++" { $$ = new(driver.pool_) CYPostIncrement($1); } + | LeftHandSideExpressionNoRE "--" { $$ = new(driver.pool_) CYPostDecrement($1); } + ; +@end /* }}} */ /* 11.4 Unary Operators {{{ */ UnaryExpression_ @@ -773,13 +922,20 @@ UnaryExpression_ UnaryExpression : PostfixExpression { $$ = $1; } - | UnaryExpression_ { $$ = $1; } + | LexSetRegExp UnaryExpression_ { $$ = $2; } ; UnaryExpressionNoBF : PostfixExpressionNoBF { $$ = $1; } | UnaryExpression_ { $$ = $1; } ; + +@begin C +UnaryExpressionNoRE + : PostfixExpressionNoRE { $$ = $1; } + | UnaryExpression_ { $$ = $1; } + ; +@end /* }}} */ /* 11.5 Multiplicative Operators {{{ */ MultiplicativeExpression @@ -989,13 +1145,24 @@ AssignmentExpression_ AssigneeExpression : LeftHandSideExpression { $$ = $1; } - | AssigneeExpression_ { $$ = $1; } +@begin C + | LexSetRegExp UnaryAssigneeExpression { $$ = $2; } +@end ; AssigneeExpressionNoBF : LeftHandSideExpressionNoBF { $$ = $1; } - | AssigneeExpression_ { $$ = $1; } +@begin C + | UnaryAssigneeExpression { $$ = $1; } +@end + ; + +@begin C +AssigneeExpressionNoRE + : LeftHandSideExpressionNoRE { $$ = $1; } + | UnaryAssigneeExpression { $$ = $1; } ; +@end AssignmentExpression : ConditionalExpression { $$ = $1; } @@ -1036,12 +1203,12 @@ ExpressionNoIn_ ExpressionOpt : Expression { $$ = $1; } - | { $$ = NULL; } + | LexSetRegExp { $$ = NULL; } ; ExpressionNoInOpt : ExpressionNoIn { $$ = $1; } - | { $$ = NULL; } + | LexSetRegExp { $$ = NULL; } ; Expression @@ -1076,7 +1243,7 @@ Statement_ ; Statement - : Statement_ { $$ = $1; } + : LexSetRegExp Statement_ { $$ = $2; } ; /* }}} */ /* 12.1 Block {{{ */ @@ -1094,7 +1261,7 @@ StatementList StatementListOpt : StatementList { $$ = $1; } - | { $$ = NULL; } + | LexSetRegExp { $$ = NULL; } ; /* }}} */ /* 12.2 Variable Statement {{{ */ @@ -1192,7 +1359,7 @@ ForStatement ForStatementInitialiser : ExpressionNoInOpt { $$ = $1; } - | "var" VariableDeclarationListNoIn { $$ = $2; } + | LexSetRegExp "var" VariableDeclarationListNoIn { $$ = $3; } ; /* }}} */ /* 12.6.4 The for-in Statement {{{ */ @@ -1202,7 +1369,7 @@ ForInStatement ForInStatementInitialiser : LeftHandSideExpression { $$ = $1; } - | "var" VariableDeclarationNoIn { $$ = $2; } + | LexSetRegExp "var" VariableDeclarationNoIn { $$ = $3; } ; /* }}} */ @@ -1257,16 +1424,16 @@ LabelledStatement /* }}} */ /* 12.13 The throw Statement {{{ */ ThrowStatement - : "throw" Expression Terminator { $$ = new(driver.pool_) CYThrow($2); } + : "throw" Expression Terminator { $$ = new(driver.pool_) cy::Syntax::Throw($2); } ; /* }}} */ /* 12.14 The try Statement {{{ */ TryStatement - : "try" Block_ CatchOpt FinallyOpt { $$ = new(driver.pool_) CYTry($2, $3, $4); } + : "try" Block_ CatchOpt FinallyOpt { $$ = new(driver.pool_) cy::Syntax::Try($2, $3, $4); } ; CatchOpt - : "catch" "(" Identifier ")" Block_ { $$ = new(driver.pool_) CYCatch($3, $5); } + : "catch" "(" Identifier ")" Block_ { $$ = new(driver.pool_) cy::Syntax::Catch($3, $5); } | { $$ = NULL; } ; @@ -1306,19 +1473,24 @@ Program SourceElements : SourceElement SourceElements { $1->SetNext($2); $$ = $1; } - | { $$ = NULL; } + | LexSetRegExp { $$ = NULL; } ; -SourceElement +SourceElement_ : Statement_ { $$ = $1; } | FunctionDeclaration { $$ = $1; } ; + +SourceElement + : LexSetRegExp SourceElement_ { $$ = $2; } + ; /* }}} */ -@begin ObjC +@begin ObjectiveC /* Cycript (Objective-C): @class Declaration {{{ */ ClassSuperOpt - : ":" MemberExpressionNoBF { $$ = $2; } + /* XXX: why the hell did I choose MemberExpressionNoBF? */ + : ":" LexSetRegExp MemberExpressionNoBF { $$ = $3; } | { $$ = NULL; } ; @@ -1373,19 +1545,34 @@ ClassNameOpt | { $$ = NULL; } ; +// XXX: this should be AssignmentExpressionNoRight +ClassProtocols + : ShiftExpression ClassProtocolsOpt { $$ = new(driver.pool_) CYProtocol($1, $2); } + ; + +ClassProtocolsOpt + : "," ClassProtocols { $$ = $2; } + | { $$ = NULL; } + ; + +ClassProtocolListOpt + : "<" ClassProtocols ">" { $$ = $2; } + | { $$ = NULL; } + ; + ClassExpression - : "@class" ClassNameOpt ClassSuperOpt ClassFieldList ClassMessageDeclarationListOpt "@end" { $$ = new(driver.pool_) CYClassExpression($2, $3, $4, $5); } + : "@class" ClassNameOpt ClassSuperOpt ClassProtocolListOpt ClassFieldList ClassMessageDeclarationListOpt "@end" { $$ = new(driver.pool_) CYClassExpression($2, $3, $4, $5, $6); } ; ClassStatement - : "@class" ClassName ClassSuperOpt ClassFieldList ClassMessageDeclarationListOpt "@end" { $$ = new(driver.pool_) CYClassStatement($2, $3, $4, $5); } + : "@class" ClassName ClassSuperOpt ClassProtocolListOpt ClassFieldList ClassMessageDeclarationListOpt "@end" { $$ = new(driver.pool_) CYClassStatement($2, $3, $4, $5, $6); } ; CategoryStatement : "@class" ClassName ClassMessageDeclarationListOpt "@end" { $$ = new(driver.pool_) CYCategory($2, $3); } ; -PrimaryExpression +PrimaryExpressionBF : ClassExpression { $$ = $1; } ; @@ -1415,7 +1602,8 @@ SelectorList ; MessageExpression - : "[" AssignmentExpression SelectorList "]" { $$ = new(driver.pool_) CYSend($2, $3); } + : "[" AssignmentExpression SelectorList "]" { $$ = new(driver.pool_) CYSendDirect($2, $3); } + | "[" LexSetRegExp "super" SelectorList "]" { $$ = new(driver.pool_) CYSendSuper($4); } ; SelectorExpressionOpt @@ -1432,7 +1620,7 @@ SelectorExpression | Word { $$ = new(driver.pool_) CYSelectorPart($1, false, NULL); } ; -PrimaryExpression_ +PrimaryExpressionNo : MessageExpression { $$ = $1; } | "@selector" "(" SelectorExpression ")" { $$ = new(driver.pool_) CYSelector($3); } ; @@ -1441,8 +1629,8 @@ PrimaryExpression_ @begin C /* Cycript (C): Pointer Indirection/Addressing {{{ */ -AssigneeExpression_ - : "*" UnaryExpression { $$ = new(driver.pool_) CYIndirect($2); } +UnaryAssigneeExpression + : "*" UnaryExpressionNoRE { $$ = new(driver.pool_) CYIndirect($2); } ; UnaryExpression_ @@ -1456,6 +1644,183 @@ MemberAccess /* }}} */ @end +/* YUI: Documentation Comments {{{ */ +Statement_ + : Comment { $$ = $1; } + ; +/* }}} */ + +@begin E4X +/* Lexer State {{{ */ +LexPushRegExp + : { driver.PushCondition(CYDriver::RegExpCondition); } + ; + +LexPushXMLContent + : { driver.PushCondition(CYDriver::XMLContentCondition); } + ; + +LexPushXMLTag + : { driver.PushCondition(CYDriver::XMLTagCondition); } + ; + +LexPop + : { driver.PopCondition(); } + ; + +LexSetXMLContent + : { driver.SetCondition(CYDriver::XMLContentCondition); } + ; + +LexSetXMLTag + : { driver.SetCondition(CYDriver::XMLTagCondition); } + ; +/* }}} */ + +XMLWhitespaceOpt + : XMLWhitespace + | + ; + +/* 8.1 Context Keywords {{{ */ +Identifier + : "namespace" { $$ = $1; } + | "xml" { $$ = $1; } + ; +/* }}} */ +/* 8.3 XML Initialiser Input Elements {{{ */ +XMLMarkup + : XMLComment { $$ = $1; } + | XMLCDATA { $$ = $1; } + | XMLPI { $$ = $1; } + ; +/* }}} */ +/* 11.1 Primary Expressions {{{ */ +PrimaryExpressionNo + : PropertyIdentifier { $$ = new(driver.pool_) CYPropertyVariable($1); } + | XMLInitialiser { $$ = $1; } + | XMLListInitialiser { $$ = $1; } + ; + +PropertyIdentifier + : AttributeIdentifier { $$ = $1; } + | QualifiedIdentifier { $$ = $1; } + | WildcardIdentifier { $$ = $1; } + ; +/* }}} */ +/* 11.1.1 Attribute Identifiers {{{ */ +AttributeIdentifier + : "@" QualifiedIdentifier_ { $$ = new(driver.pool_) CYAttribute($2); } + ; + +PropertySelector_ + : PropertySelector { $$ = $1; } + | "[" Expression "]" { $$ = new(driver.pool_) CYSelector($2); } + ; + +PropertySelector + : Identifier { $$ = new(driver.pool_) CYSelector($1); } + | WildcardIdentifier { $$ = $1; } + ; +/* }}} */ +/* 11.1.2 Qualified Identifiers {{{ */ +QualifiedIdentifier_ + : PropertySelector_ { $$ = new(driver.pool_) CYQualified(NULL, $1); } + | QualifiedIdentifier { $$ = $1; } + ; + +QualifiedIdentifier + : PropertySelector "::" PropertySelector_ { $$ = new(driver.pool_) CYQualified($1, $3); } + ; +/* }}} */ +/* 11.1.3 Wildcard Identifiers {{{ */ +WildcardIdentifier + : "*" { $$ = new(driver.pool_) CYWildcard(); } + ; +/* }}} */ +/* 11.1.4 XML Initialiser {{{ */ +XMLInitialiser + : XMLMarkup { $$ = $1; } + | XMLElement { $$ = $1; } + ; + +XMLElement + : "<" XMLTagContent "/>" LexPop + | "<" XMLTagContent ">" LexSetXMLContent XMLElementContentOpt "" LexPop + ; + +XMLTagContent + : LexPushXMLTag XMLTagName XMLAttributes + ; + +XMLExpression + : "{" LexPushRegExp Expression "}" LexPop + ; + +XMLTagName + : XMLExpression + | XMLName + ; + +XMLAttributes_ + : XMLAttributes_ XMLAttribute + | + ; + +XMLAttributes + : XMLAttributes_ XMLWhitespace XMLExpression XMLWhitespaceOpt + | XMLAttributes_ XMLWhitespaceOpt + ; + +XMLAttributeValue_ + : XMLExpression + | XMLAttributeValue + ; + +XMLAttribute + : XMLWhitespace XMLName XMLWhitespaceOpt "=" XMLWhitespaceOpt XMLAttributeValue_ + ; + +XMLElementContent + : XMLExpression XMLElementContentOpt + | XMLMarkup XMLElementContentOpt + | XMLText XMLElementContentOpt + | XMLElement XMLElementContentOpt + ; + +XMLElementContentOpt + : XMLElementContent + | + ; +/* }}} */ +/* 11.1.5 XMLList Initialiser {{{ */ +XMLListInitialiser + : "<>" LexPushXMLContent XMLElementContent "" LexPop { $$ = new(driver.pool_) CYXMLList($3); } + ; +/* }}} */ +/* 11.2 Left-Hand-Side Expressions {{{ */ +PropertyIdentifier_ + : Identifier { $$ = $1; } + | PropertyIdentifier { $$ = $1; } + ; + +MemberAccess + : "." PropertyIdentifier { $$ = new(driver.pool_) CYPropertyMember(NULL, $2); } + | ".." PropertyIdentifier_ { $$ = new(driver.pool_) CYDescendantMember(NULL, $2); } + | "." "(" Expression ")" { $$ = new(driver.pool_) CYFilteringPredicate(NULL, $3); } + ; +/* }}} */ +/* 12.1 The default xml namespace Statement {{{ */ +/* XXX: DefaultXMLNamespaceStatement + : "default" "xml" "namespace" "=" Expression Terminator { $$ = new(driver.pool_) CYDefaultXMLNamespace($5); } + ; + +Statement_ + : DefaultXMLNamespaceStatement { $$ = $1; } + ; */ +/* }}} */ +@end + /* ECMAScript5: Object Literal Trailing Comma {{{ */ PropertyNameAndValueList_ : "," { $$ = NULL; } @@ -1481,7 +1846,7 @@ ComprehensionList : ForComprehension ComprehensionListOpt { $1->SetNext($2); $$ = $1; } ; -PrimaryExpression_ +PrimaryExpressionNo : "[" AssignmentExpression ComprehensionList "]" { $$ = new(driver.pool_) CYArrayComprehension($2, $3); } ; /* }}} */ @@ -1495,13 +1860,13 @@ LetStatement : "let" "(" VariableDeclarationList ")" Block_ { $$ = new(driver.pool_) CYLet($3, $5); } ; -Statement +Statement_ : LetStatement ; *//* }}} */ /* JavaScript FTW: Function Statements {{{ */ Statement - : FunctionDeclaration { driver.Warning(yylloc, "warning, FunctionDeclaration is a SourceElement, not a Statement"); } { $$ = $1; } + : LexSetRegExp FunctionDeclaration { driver.Warning(yylloc, "warning, FunctionDeclaration is a SourceElement, not a Statement"); } { $$ = $2; } ; /* }}} */