2018-11-18 08:00:07 +03:00
//! es2019 parser
//!
//! # Features
//!
//! ## Heavily tested
//!
//! Passes almost all tests from [tc39/test262][].
//!
//! ## Error reporting
//!
//! ```sh
//! error: 'implements', 'interface', 'let', 'package', 'private', 'protected', 'public', 'static', or 'yield' cannot be used as an identifier in strict mode
//! --> invalid.js:3:10
//! |
//! 3 | function yield() {
//! | ^^^^^
//! ```
//!
2019-11-17 12:36:47 +03:00
//! ## Error recovery
//!
//! The parser can recover from some parsing erros. For example, parser returns
//! `Ok(Module)` for the code below, while emitting error to handler.
//!
//! ```ts
//! const CONST = 9000 % 2;
//! const enum D {
//! // Comma is requied, but parser can recover because of the newline.
//! d = 10
//! g = CONST
//! }
//! ```
//!
2019-11-06 07:14:44 +03:00
//! # Example (lexer)
//!
//! See `lexer.rs` in examples directory.
//!
//! # Example (parser)
2018-11-18 08:00:07 +03:00
//!
//! ```
//! #[macro_use]
//! extern crate swc_common;
//! extern crate swc_ecma_parser;
2019-02-12 09:30:11 +03:00
//! use std::sync::Arc;
2018-11-18 08:00:07 +03:00
//! use swc_common::{
//! errors::{ColorConfig, Handler},
//! FileName, FilePathMapping, SourceMap,
//! };
2019-11-06 07:14:44 +03:00
//! use swc_ecma_parser::{lexer::Lexer, Parser, Session, SourceFileInput, Syntax};
2018-11-18 08:00:07 +03:00
//!
//! fn main() {
//! swc_common::GLOBALS.set(&swc_common::Globals::new(), || {
2019-11-06 07:14:44 +03:00
//! let cm: Arc<SourceMap> = Default::default();
2018-11-18 08:00:07 +03:00
//! let handler =
2019-11-17 12:36:47 +03:00
//! Handler::with_tty_emitter(ColorConfig::Auto, true, false,
//! Some(cm.clone()));
2018-11-18 08:00:07 +03:00
//!
2019-01-07 13:43:47 +03:00
//! let session = Session { handler: &handler };
2018-11-18 08:00:07 +03:00
//!
//! // Real usage
//! // let fm = cm
//! // .load_file(Path::new("test.js"))
//! // .expect("failed to load test.js");
//!
2019-11-06 07:14:44 +03:00
//!
2018-11-18 08:00:07 +03:00
//! let fm = cm.new_source_file(
//! FileName::Custom("test.js".into()),
//! "function foo() {}".into(),
//! );
2019-11-06 07:14:44 +03:00
//! let lexer = Lexer::new(
2019-01-08 10:34:35 +03:00
//! session,
//! Syntax::Es(Default::default()),
2019-11-17 12:36:47 +03:00
//! Default::default(),
2019-01-08 10:34:35 +03:00
//! SourceFileInput::from(&*fm),
2019-11-06 07:14:44 +03:00
//! None,
2019-01-08 10:34:35 +03:00
//! );
2018-11-18 08:00:07 +03:00
//!
2019-11-06 07:14:44 +03:00
//! let mut parser = Parser::new_from(session, lexer);
//!
//!
2019-01-07 13:43:47 +03:00
//! let _module = parser
//! .parse_module()
2019-01-17 17:17:16 +03:00
//! .map_err(|mut e| {
2019-01-07 13:43:47 +03:00
//! e.emit();
//! ()
//! })
//! .expect("failed to parser module");
2018-11-18 08:00:07 +03:00
//! });
//! }
//! ```
//!
//!
//! [tc39/test262]:https://github.com/tc39/test262
2019-01-17 17:17:16 +03:00
#![ cfg_attr(any(test, feature = " fold " ), feature(specialization)) ]
#![ cfg_attr(test, feature(box_syntax)) ]
2018-12-21 10:54:36 +03:00
#![ cfg_attr(test, feature(test)) ]
2018-01-12 10:53:06 +03:00
#![ deny(unreachable_patterns) ]
#![ deny(unsafe_code) ]
2018-09-16 14:25:41 +03:00
pub use self ::{
lexer ::input ::{ Input , SourceFileInput } ,
parser ::* ,
} ;
2018-12-30 07:06:13 +03:00
use serde ::{ Deserialize , Serialize } ;
2019-11-17 12:36:47 +03:00
use swc_common ::{ errors ::Handler , Span } ;
2018-01-12 10:53:06 +03:00
#[ macro_use ]
mod macros ;
2018-01-22 04:45:08 +03:00
mod error ;
2019-11-06 07:14:44 +03:00
pub mod lexer ;
2018-01-21 11:47:37 +03:00
mod parser ;
2019-12-15 02:08:13 +03:00
pub mod token ;
2018-01-21 11:47:37 +03:00
2019-11-26 04:08:48 +03:00
#[ derive(Debug, Clone, Copy, Deserialize, Serialize) ]
2019-01-07 13:43:47 +03:00
#[ serde(tag = " syntax " ) ]
2018-12-30 05:57:27 +03:00
pub enum Syntax {
2019-01-07 13:43:47 +03:00
/// Standard
2019-01-08 10:34:35 +03:00
#[ serde(rename = " ecmascript " ) ]
Es ( EsConfig ) ,
#[ serde(rename = " typescript " ) ]
Typescript ( TsConfig ) ,
2018-12-30 05:57:27 +03:00
}
2018-12-30 07:06:13 +03:00
2019-01-07 13:43:47 +03:00
impl Default for Syntax {
fn default ( ) -> Self {
2019-01-08 10:34:35 +03:00
Syntax ::Es ( Default ::default ( ) )
2018-12-30 07:06:13 +03:00
}
}
2018-12-30 05:57:27 +03:00
impl Syntax {
2020-02-09 21:22:51 +03:00
/// Should we parse jsx?
2018-12-30 05:57:27 +03:00
pub fn jsx ( self ) -> bool {
match self {
2019-01-08 10:34:35 +03:00
Syntax ::Es ( EsConfig { jsx : true , .. } )
| Syntax ::Typescript ( TsConfig { tsx : true , .. } ) = > true ,
2018-12-30 05:57:27 +03:00
_ = > false ,
}
}
2019-01-07 13:43:47 +03:00
2020-01-31 18:59:47 +03:00
pub fn optional_chaining ( self ) -> bool {
match self {
Syntax ::Es ( EsConfig {
optional_chaining : true ,
..
} )
| Syntax ::Typescript ( TsConfig { .. } ) = > true ,
_ = > false ,
}
}
2019-02-10 06:07:40 +03:00
pub fn dynamic_import ( self ) -> bool {
match self {
Syntax ::Es ( EsConfig {
dynamic_import : true ,
..
} )
| Syntax ::Typescript ( TsConfig {
dynamic_import : true ,
..
} ) = > true ,
_ = > false ,
}
}
2019-01-07 13:43:47 +03:00
pub fn fn_bind ( self ) -> bool {
match self {
2019-01-08 10:34:35 +03:00
Syntax ::Es ( EsConfig { fn_bind : true , .. } ) = > true ,
2019-01-07 13:43:47 +03:00
_ = > false ,
}
}
pub fn num_sep ( self ) -> bool {
match self {
2019-12-23 08:35:58 +03:00
Syntax ::Es ( EsConfig { num_sep : true , .. } ) | Syntax ::Typescript ( .. ) = > true ,
2019-01-07 13:43:47 +03:00
_ = > false ,
}
}
pub fn decorators ( self ) -> bool {
match self {
2019-01-08 10:34:35 +03:00
Syntax ::Es ( EsConfig {
2019-01-07 13:43:47 +03:00
decorators : true , ..
} )
2019-01-08 10:34:35 +03:00
| Syntax ::Typescript ( TsConfig {
decorators : true , ..
} ) = > true ,
2019-01-07 13:43:47 +03:00
_ = > false ,
}
}
pub fn class_private_methods ( self ) -> bool {
match self {
2019-01-08 10:34:35 +03:00
Syntax ::Es ( EsConfig {
2019-01-07 13:43:47 +03:00
class_private_methods : true ,
..
} ) = > true ,
_ = > false ,
}
}
pub fn class_private_props ( self ) -> bool {
match self {
2019-01-08 10:34:35 +03:00
Syntax ::Es ( EsConfig {
2019-01-07 13:43:47 +03:00
class_private_props : true ,
..
2020-02-09 21:22:51 +03:00
} )
| Syntax ::Typescript ( .. ) = > true ,
2019-01-07 13:43:47 +03:00
_ = > false ,
}
}
pub fn class_props ( self ) -> bool {
if self . typescript ( ) {
return true ;
}
match self {
2019-01-08 10:34:35 +03:00
Syntax ::Es ( EsConfig {
2019-01-07 13:43:47 +03:00
class_props : true , ..
} ) = > true ,
_ = > false ,
}
}
pub fn decorators_before_export ( self ) -> bool {
match self {
2019-01-08 10:34:35 +03:00
Syntax ::Es ( EsConfig {
2019-01-07 13:43:47 +03:00
decorators_before_export : true ,
..
2019-03-09 03:07:15 +03:00
} )
| Syntax ::Typescript ( .. ) = > true ,
2019-01-07 13:43:47 +03:00
_ = > false ,
}
}
/// Should we pare typescript?
pub fn typescript ( self ) -> bool {
match self {
2019-01-08 10:34:35 +03:00
Syntax ::Typescript ( .. ) = > true ,
2019-01-07 13:43:47 +03:00
_ = > false ,
}
}
2019-02-12 09:30:11 +03:00
pub fn export_default_from ( self ) -> bool {
match self {
Syntax ::Es ( EsConfig {
export_default_from : true ,
..
} ) = > true ,
_ = > false ,
}
}
2019-02-18 08:01:56 +03:00
pub fn export_namespace_from ( self ) -> bool {
match self {
Syntax ::Es ( EsConfig {
export_namespace_from : true ,
..
2020-02-10 05:30:25 +03:00
} )
| Syntax ::Typescript ( .. ) = > true ,
2019-02-18 08:01:56 +03:00
_ = > false ,
}
}
2019-12-24 11:01:32 +03:00
pub fn nullish_coalescing ( self ) -> bool {
match self {
Syntax ::Es ( EsConfig {
nullish_coalescing : true ,
..
} )
| Syntax ::Typescript ( .. ) = > true ,
_ = > false ,
}
}
2020-01-01 00:57:34 +03:00
pub fn import_meta ( self ) -> bool {
match self {
Syntax ::Es ( EsConfig {
import_meta : true , ..
} )
| Syntax ::Typescript ( .. ) = > true ,
_ = > false ,
}
}
2020-02-05 04:05:23 +03:00
pub fn top_level_await ( self ) -> bool {
match self {
Syntax ::Es ( EsConfig {
top_level_await : true ,
..
} )
| Syntax ::Typescript ( .. ) = > true ,
_ = > false ,
}
}
2018-12-30 05:57:27 +03:00
}
2019-11-26 04:08:48 +03:00
#[ derive(Debug, Clone, Copy, Default, Serialize, Deserialize) ]
2019-02-10 06:07:40 +03:00
#[ serde(deny_unknown_fields, rename_all = " camelCase " ) ]
2019-01-08 10:34:35 +03:00
pub struct TsConfig {
2019-01-08 12:27:38 +03:00
#[ serde(default) ]
2019-01-08 10:34:35 +03:00
pub tsx : bool ,
2019-01-08 12:27:38 +03:00
#[ serde(default) ]
2019-01-08 10:34:35 +03:00
pub decorators : bool ,
2019-02-10 06:07:40 +03:00
#[ serde(default) ]
pub dynamic_import : bool ,
2019-01-08 10:34:35 +03:00
}
2019-11-17 12:36:47 +03:00
#[ derive(Debug, Clone, Copy, Serialize, Deserialize, PartialOrd, Ord, PartialEq, Eq) ]
pub enum JscTarget {
#[ serde(rename = " es3 " ) ]
Es3 ,
#[ serde(rename = " es5 " ) ]
Es5 ,
#[ serde(rename = " es2015 " ) ]
Es2015 ,
#[ serde(rename = " es2016 " ) ]
Es2016 ,
#[ serde(rename = " es2017 " ) ]
Es2017 ,
#[ serde(rename = " es2018 " ) ]
Es2018 ,
#[ serde(rename = " es2019 " ) ]
Es2019 ,
}
impl Default for JscTarget {
fn default ( ) -> Self {
JscTarget ::Es3
}
}
2019-11-26 04:08:48 +03:00
#[ derive(Debug, Clone, Copy, Default, Serialize, Deserialize) ]
2019-02-10 06:07:40 +03:00
#[ serde(deny_unknown_fields, rename_all = " camelCase " ) ]
2019-01-08 10:34:35 +03:00
pub struct EsConfig {
2019-01-08 12:27:38 +03:00
#[ serde(default) ]
2019-01-08 10:34:35 +03:00
pub jsx : bool ,
2018-01-21 11:47:37 +03:00
/// Support numeric separator.
2019-12-24 11:01:32 +03:00
/// Stage 3.
2019-01-08 10:34:35 +03:00
#[ serde(rename = " numericSeparator " ) ]
2019-01-08 12:27:38 +03:00
#[ serde(default) ]
2018-01-21 11:47:37 +03:00
pub num_sep : bool ,
2019-01-08 10:34:35 +03:00
#[ serde(rename = " classPrivateProperty " ) ]
2019-01-08 12:27:38 +03:00
#[ serde(default) ]
2019-01-07 13:43:47 +03:00
pub class_private_props : bool ,
2019-01-08 10:34:35 +03:00
#[ serde(rename = " privateMethod " ) ]
2019-01-08 12:27:38 +03:00
#[ serde(default) ]
2019-01-07 13:43:47 +03:00
pub class_private_methods : bool ,
2019-01-08 10:34:35 +03:00
#[ serde(rename = " classProperty " ) ]
2019-01-08 12:27:38 +03:00
#[ serde(default) ]
2019-01-07 13:43:47 +03:00
pub class_props : bool ,
2018-01-21 11:47:37 +03:00
/// Support function bind expression.
2019-01-08 10:34:35 +03:00
#[ serde(rename = " functionBind " ) ]
2019-01-08 12:27:38 +03:00
#[ serde(default) ]
2018-01-21 11:47:37 +03:00
pub fn_bind : bool ,
2019-01-07 13:43:47 +03:00
/// Enable decorators.
2019-01-08 12:27:38 +03:00
#[ serde(default) ]
2019-01-07 13:43:47 +03:00
pub decorators : bool ,
/// babel: `decorators.decoratorsBeforeExport`
///
/// Effective only if `decorator` is true.
2019-01-08 10:34:35 +03:00
#[ serde(rename = " decoratorsBeforeExport " ) ]
2019-01-08 12:27:38 +03:00
#[ serde(default) ]
2019-01-07 13:43:47 +03:00
pub decorators_before_export : bool ,
2019-02-10 06:07:40 +03:00
2019-02-12 09:30:11 +03:00
#[ serde(default) ]
pub export_default_from : bool ,
2019-02-18 08:01:56 +03:00
#[ serde(default) ]
pub export_namespace_from : bool ,
2019-02-10 06:07:40 +03:00
#[ serde(default) ]
pub dynamic_import : bool ,
2019-12-24 11:01:32 +03:00
/// Stage 3.
#[ serde(default) ]
pub nullish_coalescing : bool ,
2020-01-01 00:57:34 +03:00
2020-01-31 18:59:47 +03:00
#[ serde(default) ]
pub optional_chaining : bool ,
2020-01-01 00:57:34 +03:00
/// Stage 3.
#[ serde(default) ]
pub import_meta : bool ,
2020-02-05 04:05:23 +03:00
/// Stage 3.
#[ serde(default) ]
pub top_level_await : bool ,
2018-01-26 15:53:30 +03:00
}
2018-01-21 11:47:37 +03:00
2019-11-06 07:14:44 +03:00
/// Syntactic context.
2019-02-12 09:30:11 +03:00
#[ derive(Debug, Clone, Copy, Default) ]
2019-11-06 07:14:44 +03:00
pub struct Context {
2018-01-21 11:47:37 +03:00
/// Is in module code?
2018-01-26 15:53:30 +03:00
module : bool ,
strict : bool ,
include_in_expr : bool ,
/// If true, await expression is parsed, and "await" is treated as a
/// keyword.
in_async : bool ,
/// If true, yield expression is parsed, and "yield" is treated as a
/// keyword.
in_generator : bool ,
2019-11-17 12:36:47 +03:00
is_continue_allowed : bool ,
is_break_allowed : bool ,
2019-01-07 13:43:47 +03:00
in_type : bool ,
/// Typescript extension.
in_declare : bool ,
2019-11-17 12:36:47 +03:00
span_of_fn_name : Option < Span > ,
2019-01-07 13:43:47 +03:00
2019-02-12 16:05:46 +03:00
/// If true, `:` should not be treated as a type annotation.
in_cond_expr : bool ,
2018-01-26 15:53:30 +03:00
in_function : bool ,
in_parameters : bool ,
2018-12-30 05:57:27 +03:00
2019-01-07 13:43:47 +03:00
in_method : bool ,
in_class_prop : bool ,
in_property_name : bool ,
2018-12-30 05:57:27 +03:00
in_forced_jsx_context : bool ,
2018-01-21 11:47:37 +03:00
}
2018-01-22 04:45:08 +03:00
#[ derive(Clone, Copy) ]
2018-01-21 11:47:37 +03:00
pub struct Session < ' a > {
2018-01-22 04:45:08 +03:00
pub handler : & ' a Handler ,
}
#[ cfg(test) ]
2019-11-23 17:03:19 +03:00
fn with_test_sess < F , Ret > ( src : & str , f : F ) -> Result < Ret , ::testing ::StdErr >
2018-01-22 04:45:08 +03:00
where
2019-11-17 07:21:53 +03:00
F : FnOnce ( Session < '_ > , SourceFileInput < '_ > ) -> Result < Ret , ( ) > ,
2018-01-22 04:45:08 +03:00
{
2018-11-17 06:30:49 +03:00
use swc_common ::FileName ;
2018-01-23 15:38:48 +03:00
2019-01-20 05:08:26 +03:00
::testing ::run_test ( false , | cm , handler | {
2018-11-17 06:30:49 +03:00
let fm = cm . new_source_file ( FileName ::Real ( " testing " . into ( ) ) , src . into ( ) ) ;
2018-01-23 15:38:48 +03:00
2019-01-07 13:43:47 +03:00
f ( Session { handler : & handler } , ( & * fm ) . into ( ) )
2018-11-17 06:30:49 +03:00
} )
2018-01-21 11:47:37 +03:00
}