Module `Js_parser.Parser_env`Source

Sourcemodule SSet : Flow_set.S with type elt = string

Sourcemodule Lex_mode : sig ... end

Sourcetype token_sink_result = {

token_loc : Loc.t;
token : Token.t;
token_context : Lex_mode.t;

}

Sourcetype parse_options = {

components : bool;
enums : bool;
(*
enable parsing of Flow enums
*)
esproposal_decorators : bool;
(*
enable parsing of decorators
*)
types : bool;
(*
enable parsing of Flow types
*)
use_strict : bool;
(*
treat the file as strict, without needing a "use strict" directive
*)
module_ref_prefix : string option;
module_ref_prefix_LEGACY_INTEROP : string option;

}

Sourceval default_parse_options : parse_options

Sourcetype env

Sourcetype allowed_super =

| No_super
| Super_prop
| Super_prop_or_call

Source

val init_env : 
  ?token_sink:(token_sink_result -> unit) option ->
  ?parse_options:parse_options option ->
  File_key.t option ->
  string ->
  env

Sourceval in_strict_mode : env -> bool

Sourceval last_loc : env -> Loc.t option

Sourceval last_token : env -> Token.t option

Sourceval in_export : env -> bool

Sourceval in_export_default : env -> bool

Sourceval labels : env -> SSet.t

Sourceval comments : env -> Loc.t Flow_ast.Comment.t list

Sourceval in_loop : env -> bool

Sourceval in_switch : env -> bool

Sourceval in_formal_parameters : env -> bool

Sourceval in_function : env -> bool

Sourceval allow_yield : env -> bool

Sourceval allow_await : env -> bool

Sourceval allow_directive : env -> bool

Sourceval allow_super : env -> allowed_super

Sourceval has_simple_parameters : env -> bool

Sourceval no_in : env -> bool

Sourceval no_call : env -> bool

Sourceval no_let : env -> bool

Sourceval no_anon_function_type : env -> bool

Sourceval no_conditional_type : env -> bool

Sourceval no_new : env -> bool

Sourceval errors : env -> (Loc.t * Parse_error.t) list

Sourceval parse_options : env -> parse_options

Sourceval source : env -> File_key.t option

Sourceval should_parse_types : env -> bool

Sourceval error_at : env -> (Loc.t * Parse_error.t) -> unit

Sourceval error : env -> Parse_error.t -> unit

Sourceval error_unexpected : ?expected:string -> env -> unit

Sourceval error_on_decorators : env -> (Loc.t * 'a) list -> unit

Sourceval error_nameless_declaration : env -> string -> unit

Sourceval strict_error : env -> Parse_error.t -> unit

Sourceval strict_error_at : env -> (Loc.t * Parse_error.t) -> unit

Sourceval function_as_statement_error_at : env -> Loc.t -> unit

Sourceval error_list : env -> (Loc.t * Parse_error.t) list -> unit

Sourceval enter_class : env -> unit

Sourceval exit_class : env -> unit

Sourceval add_declared_private : env -> string -> unit

Sourceval add_used_private : env -> string -> Loc.t -> unit

Sourceval consume_comments_until : env -> Loc.position -> unit

Sourceval with_strict : bool -> env -> env

Sourceval with_in_formal_parameters : bool -> env -> env

Sourceval with_in_function : bool -> env -> env

Sourceval with_allow_yield : bool -> env -> env

Sourceval with_allow_await : bool -> env -> env

Sourceval with_allow_directive : bool -> env -> env

Sourceval with_allow_super : allowed_super -> env -> env

Sourceval with_no_let : bool -> env -> env

Sourceval with_in_loop : bool -> env -> env

Sourceval with_no_in : bool -> env -> env

Sourceval with_no_anon_function_type : bool -> env -> env

Sourceval with_no_conditional_type : bool -> env -> env

Sourceval with_no_new : bool -> env -> env

Sourceval with_in_switch : bool -> env -> env

Sourceval with_in_export : bool -> env -> env

Sourceval with_in_export_default : bool -> env -> env

Sourceval with_no_call : bool -> env -> env

Sourceval with_error_callback : (env -> Parse_error.t -> unit) -> env -> env

Sourceval without_error_callback : env -> env

Sourceval add_label : env -> string -> env

Source

val enter_function : 
  env ->
  async:bool ->
  generator:bool ->
  simple_params:bool ->
  env

Sourceval is_contextually_reserved : string -> bool

Sourceval is_reserved : string -> bool

Sourceval token_is_contextually_reserved : Token.t -> bool

Sourceval token_is_reserved : Token.t -> bool

Sourceval token_is_reserved_type : Token.t -> bool

Sourceval token_is_type_identifier : env -> Token.t -> bool

Sourceval token_is_variance : Token.t -> bool

Sourceval is_strict_reserved : string -> bool

Sourceval token_is_strict_reserved : Token.t -> bool

Sourceval is_restricted : string -> bool

Sourceval is_reserved_type : string -> bool

Sourcemodule Peek : sig ... end

Sourcemodule Eat : sig ... end

Sourcemodule Expect : sig ... end

Sourcemodule Try : sig ... end

package melange

Module Js_parser.Parser_envSource

Module `Js_parser.Parser_env`Source