mirror of
https://gitee.com/BDWare/genparser
synced 2026-02-14 21:49:26 +00:00
initial commit
This commit is contained in:
CaiHQ
431
input/JavaScriptParser.g4
Normal file
431
input/JavaScriptParser.g4
Normal file
@@ -0,0 +1,431 @@
|
||||
/*
|
||||
* The MIT License (MIT)
|
||||
*
|
||||
* Copyright (c) 2014 by Bart Kiers (original author) and Alexandre Vitorelli (contributor -> ported to CSharp)
|
||||
* Copyright (c) 2017 by Ivan Kochurkin (Positive Technologies):
|
||||
added ECMAScript 6 support, cleared and transformed to the universal grammar.
|
||||
*
|
||||
* Permission is hereby granted, free of charge, to any person
|
||||
* obtaining a copy of this software and associated documentation
|
||||
* files (the "Software"), to deal in the Software without
|
||||
* restriction, including without limitation the rights to use,
|
||||
* copy, modify, merge, publish, distribute, sublicense, and/or sell
|
||||
* copies of the Software, and to permit persons to whom the
|
||||
* Software is furnished to do so, subject to the following
|
||||
* conditions:
|
||||
*
|
||||
* The above copyright notice and this permission notice shall be
|
||||
* included in all copies or substantial portions of the Software.
|
||||
*
|
||||
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
||||
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
|
||||
* OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
|
||||
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
|
||||
* HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
|
||||
* WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
|
||||
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
|
||||
* OTHER DEALINGS IN THE SOFTWARE.
|
||||
*/
|
||||
parser grammar JavaScriptParser;
|
||||
|
||||
options {
|
||||
tokenVocab=JavaScriptLexer;
|
||||
superClass=JavaScriptBaseParser;
|
||||
}
|
||||
|
||||
program
|
||||
: sourceElements? EOF
|
||||
;
|
||||
|
||||
sourceElement
|
||||
: exportStmt? statement
|
||||
;
|
||||
|
||||
exportStmt
|
||||
: Export StringLiteral versionName
|
||||
;
|
||||
|
||||
versionName: NumberVersionLiteral ('.' NumberVersionLiteral)* ;
|
||||
|
||||
statement
|
||||
: block
|
||||
| variableStatement
|
||||
| emptyStatement
|
||||
| expressionStatement
|
||||
| ifStatement
|
||||
| iterationStatement
|
||||
| continueStatement
|
||||
| breakStatement
|
||||
| returnStatement
|
||||
| withStatement
|
||||
| labelledStatement
|
||||
| switchStatement
|
||||
| throwStatement
|
||||
| tryStatement
|
||||
| debuggerStatement
|
||||
| functionDeclaration
|
||||
| classDeclaration
|
||||
;
|
||||
|
||||
block
|
||||
: '{' statementList? '}'
|
||||
;
|
||||
|
||||
statementList
|
||||
: statement+
|
||||
;
|
||||
|
||||
variableStatement
|
||||
: varModifier variableDeclarationList eos
|
||||
;
|
||||
|
||||
variableDeclarationList
|
||||
: variableDeclaration (',' variableDeclaration)*
|
||||
;
|
||||
|
||||
variableDeclaration
|
||||
: (Identifier | arrayLiteral | objectLiteral) ('=' singleExpression)? // ECMAScript 6: Array & Object Matching
|
||||
;
|
||||
|
||||
emptyStatement
|
||||
: SemiColon
|
||||
;
|
||||
|
||||
expressionStatement
|
||||
: {notOpenBraceAndNotFunction()}? expressionSequence eos
|
||||
;
|
||||
|
||||
ifStatement
|
||||
: If '(' expressionSequence ')' statement (Else statement)?
|
||||
;
|
||||
|
||||
|
||||
iterationStatement
|
||||
: Do statement While '(' expressionSequence ')' eos # DoStatement
|
||||
| While '(' expressionSequence ')' statement # WhileStatement
|
||||
| For '(' expressionSequence? ';' expressionSequence? ';' expressionSequence? ')' statement # ForStatement
|
||||
| For '(' varModifier variableDeclarationList ';' expressionSequence? ';' expressionSequence? ')'
|
||||
statement # ForVarStatement
|
||||
| For '(' singleExpression (In | Identifier{p("of")}?) expressionSequence ')' statement # ForInStatement
|
||||
| For '(' varModifier variableDeclaration (In | Identifier{p("of")}?) expressionSequence ')' statement # ForVarInStatement
|
||||
;
|
||||
|
||||
varModifier // let, const - ECMAScript 6
|
||||
: Var
|
||||
| Let
|
||||
| Const
|
||||
;
|
||||
|
||||
continueStatement
|
||||
: Continue ({notLineTerminator()}? Identifier)? eos
|
||||
;
|
||||
|
||||
breakStatement
|
||||
: Break ({notLineTerminator()}? Identifier)? eos
|
||||
;
|
||||
|
||||
returnStatement
|
||||
: Return ({notLineTerminator()}? expressionSequence)? eos
|
||||
;
|
||||
|
||||
withStatement
|
||||
: With '(' expressionSequence ')' statement
|
||||
;
|
||||
|
||||
switchStatement
|
||||
: Switch '(' expressionSequence ')' caseBlock
|
||||
;
|
||||
|
||||
caseBlock
|
||||
: '{' caseClauses? (defaultClause caseClauses?)? '}'
|
||||
;
|
||||
|
||||
caseClauses
|
||||
: caseClause+
|
||||
;
|
||||
|
||||
caseClause
|
||||
: Case expressionSequence ':' statementList?
|
||||
;
|
||||
|
||||
defaultClause
|
||||
: Default ':' statementList?
|
||||
;
|
||||
|
||||
labelledStatement
|
||||
: Identifier ':' statement
|
||||
;
|
||||
|
||||
throwStatement
|
||||
: Throw {notLineTerminator()}? expressionSequence eos
|
||||
;
|
||||
|
||||
tryStatement
|
||||
: Try block (catchProduction finallyProduction? | finallyProduction)
|
||||
;
|
||||
|
||||
catchProduction
|
||||
: Catch '(' Identifier ')' block
|
||||
;
|
||||
|
||||
finallyProduction
|
||||
: Finally block
|
||||
;
|
||||
|
||||
debuggerStatement
|
||||
: Debugger eos
|
||||
;
|
||||
|
||||
functionDeclaration
|
||||
: Function Identifier '(' formalParameterList? ')' '{' functionBody '}'
|
||||
;
|
||||
|
||||
classDeclaration
|
||||
: Class Identifier classTail
|
||||
;
|
||||
|
||||
classTail
|
||||
: (Extends singleExpression)? '{' classElement* '}'
|
||||
;
|
||||
|
||||
classElement
|
||||
: Static? methodDefinition
|
||||
;
|
||||
|
||||
methodDefinition
|
||||
: propertyName '(' formalParameterList? ')' '{' functionBody '}'
|
||||
| getter '(' ')' '{' functionBody '}'
|
||||
| setter '(' formalParameterList? ')' '{' functionBody '}'
|
||||
| generatorMethod
|
||||
;
|
||||
|
||||
generatorMethod
|
||||
: '*'? Identifier '(' formalParameterList? ')' '{' functionBody '}'
|
||||
;
|
||||
|
||||
formalParameterList
|
||||
: formalParameterArg (',' formalParameterArg)* (',' lastFormalParameterArg)?
|
||||
| lastFormalParameterArg
|
||||
| arrayLiteral // ECMAScript 6: Parameter Context Matching
|
||||
| objectLiteral // ECMAScript 6: Parameter Context Matching
|
||||
;
|
||||
|
||||
formalParameterArg
|
||||
: Identifier ('=' singleExpression)? // ECMAScript 6: Initialization
|
||||
;
|
||||
|
||||
lastFormalParameterArg // ECMAScript 6: Rest Parameter
|
||||
: Ellipsis Identifier
|
||||
;
|
||||
|
||||
functionBody
|
||||
: sourceElements?
|
||||
;
|
||||
|
||||
sourceElements
|
||||
: sourceElement+
|
||||
;
|
||||
|
||||
arrayLiteral
|
||||
: '[' ','* elementList? ','* ']'
|
||||
;
|
||||
|
||||
elementList
|
||||
: singleExpression (','+ singleExpression)* (','+ lastElement)?
|
||||
| lastElement
|
||||
;
|
||||
|
||||
lastElement // ECMAScript 6: Spread Operator
|
||||
: Ellipsis Identifier
|
||||
;
|
||||
|
||||
objectLiteral
|
||||
: '{' (propertyAssignment (',' propertyAssignment)*)? ','? '}'
|
||||
;
|
||||
|
||||
propertyAssignment
|
||||
: propertyName (':' |'=') singleExpression # PropertyExpressionAssignment
|
||||
| '[' singleExpression ']' ':' singleExpression # ComputedPropertyExpressionAssignment
|
||||
| getter '(' ')' '{' functionBody '}' # PropertyGetter
|
||||
| setter '(' Identifier ')' '{' functionBody '}' # PropertySetter
|
||||
| generatorMethod # MethodProperty
|
||||
| Identifier # PropertyShorthand
|
||||
;
|
||||
|
||||
propertyName
|
||||
: identifierName
|
||||
| StringLiteral
|
||||
| numericLiteral
|
||||
;
|
||||
|
||||
arguments
|
||||
: '('(
|
||||
singleExpression (',' singleExpression)* (',' lastArgument)? |
|
||||
lastArgument
|
||||
)?')'
|
||||
;
|
||||
|
||||
lastArgument // ECMAScript 6: Spread Operator
|
||||
: Ellipsis Identifier
|
||||
;
|
||||
|
||||
expressionSequence
|
||||
: singleExpression (',' singleExpression)*
|
||||
;
|
||||
|
||||
singleExpression
|
||||
: Function Identifier? '(' formalParameterList? ')' '{' functionBody '}' # FunctionExpression
|
||||
| Class Identifier? classTail # ClassExpression
|
||||
| singleExpression '[' expressionSequence ']' # MemberIndexExpression
|
||||
| singleExpression '.' identifierName # MemberDotExpression
|
||||
| singleExpression arguments # ArgumentsExpression
|
||||
| New singleExpression arguments? # NewExpression
|
||||
| singleExpression {notLineTerminator()}? '++' # PostIncrementExpression
|
||||
| singleExpression {notLineTerminator()}? '--' # PostDecreaseExpression
|
||||
| Delete singleExpression # DeleteExpression
|
||||
| Void singleExpression # VoidExpression
|
||||
| Typeof singleExpression # TypeofExpression
|
||||
| '++' singleExpression # PreIncrementExpression
|
||||
| '--' singleExpression # PreDecreaseExpression
|
||||
| '+' singleExpression # UnaryPlusExpression
|
||||
| '-' singleExpression # UnaryMinusExpression
|
||||
| '~' singleExpression # BitNotExpression
|
||||
| '!' singleExpression # NotExpression
|
||||
| singleExpression ('*' | '/' | '%') singleExpression # MultiplicativeExpression
|
||||
| singleExpression ('+' | '-') singleExpression # AdditiveExpression
|
||||
| singleExpression ('<<' | '>>' | '>>>') singleExpression # BitShiftExpression
|
||||
| singleExpression ('<' | '>' | '<=' | '>=') singleExpression # RelationalExpression
|
||||
| singleExpression Instanceof singleExpression # InstanceofExpression
|
||||
| singleExpression In singleExpression # InExpression
|
||||
| singleExpression ('==' | '!=' | '===' | '!==') singleExpression # EqualityExpression
|
||||
| singleExpression '&' singleExpression # BitAndExpression
|
||||
| singleExpression '^' singleExpression # BitXOrExpression
|
||||
| singleExpression '|' singleExpression # BitOrExpression
|
||||
| singleExpression '&&' singleExpression # LogicalAndExpression
|
||||
| singleExpression '||' singleExpression # LogicalOrExpression
|
||||
| singleExpression '?' singleExpression ':' singleExpression # TernaryExpression
|
||||
| singleExpression '=' singleExpression # AssignmentExpression
|
||||
| singleExpression assignmentOperator singleExpression # AssignmentOperatorExpression
|
||||
| singleExpression TemplateStringLiteral # TemplateStringExpression // ECMAScript 6
|
||||
| This # ThisExpression
|
||||
| Identifier # IdentifierExpression
|
||||
| Super # SuperExpression
|
||||
| literal # LiteralExpression
|
||||
| arrayLiteral # ArrayLiteralExpression
|
||||
| objectLiteral # ObjectLiteralExpression
|
||||
| '(' expressionSequence ')' # ParenthesizedExpression
|
||||
| arrowFunctionParameters '=>' arrowFunctionBody # ArrowFunctionExpression // ECMAScript 6
|
||||
;
|
||||
|
||||
arrowFunctionParameters
|
||||
: Identifier
|
||||
| '(' formalParameterList? ')'
|
||||
;
|
||||
|
||||
arrowFunctionBody
|
||||
: singleExpression
|
||||
| '{' functionBody '}'
|
||||
;
|
||||
|
||||
assignmentOperator
|
||||
: '*='
|
||||
| '/='
|
||||
| '%='
|
||||
| '+='
|
||||
| '-='
|
||||
| '<<='
|
||||
| '>>='
|
||||
| '>>>='
|
||||
| '&='
|
||||
| '^='
|
||||
| '|='
|
||||
;
|
||||
|
||||
literal
|
||||
: NullLiteral
|
||||
| BooleanLiteral
|
||||
| StringLiteral
|
||||
| TemplateStringLiteral
|
||||
| RegularExpressionLiteral
|
||||
| numericLiteral
|
||||
;
|
||||
|
||||
numericLiteral
|
||||
: DecimalLiteral
|
||||
| HexIntegerLiteral
|
||||
| OctalIntegerLiteral
|
||||
| OctalIntegerLiteral2
|
||||
| BinaryIntegerLiteral
|
||||
;
|
||||
|
||||
identifierName
|
||||
: Identifier
|
||||
| reservedWord
|
||||
;
|
||||
|
||||
reservedWord
|
||||
: keyword
|
||||
| NullLiteral
|
||||
| BooleanLiteral
|
||||
;
|
||||
|
||||
keyword
|
||||
: Break
|
||||
| Do
|
||||
| Instanceof
|
||||
| Typeof
|
||||
| Case
|
||||
| Else
|
||||
| New
|
||||
| Var
|
||||
| Catch
|
||||
| Finally
|
||||
| Return
|
||||
| Void
|
||||
| Continue
|
||||
| For
|
||||
| Switch
|
||||
| While
|
||||
| Debugger
|
||||
| Function
|
||||
| This
|
||||
| With
|
||||
| Default
|
||||
| If
|
||||
| Throw
|
||||
| Delete
|
||||
| In
|
||||
| Try
|
||||
|
||||
| Class
|
||||
| Enum
|
||||
| Extends
|
||||
| Super
|
||||
| Const
|
||||
| Export
|
||||
| Import
|
||||
| Implements
|
||||
| Let
|
||||
| Private
|
||||
| Public
|
||||
| Interface
|
||||
| Package
|
||||
| Protected
|
||||
| Static
|
||||
| Yield
|
||||
;
|
||||
|
||||
getter
|
||||
: Identifier{p("get")}? propertyName
|
||||
;
|
||||
|
||||
setter
|
||||
: Identifier{p("set")}? propertyName
|
||||
;
|
||||
|
||||
eos
|
||||
: SemiColon
|
||||
| EOF
|
||||
| {lineTerminatorAhead()}?
|
||||
| {closeBrace()}?
|
||||
;
|
||||
Reference in New Issue
Block a user