diffast-langs-verilog-parsing 0.1.1

inherit Env_base.c

val mutable ignore_include_flag : bool

val mutable context_enter_flag : bool

val mutable context_activate_flag : bool

val mutable last_active_ofss : int * int

val mutable partial_parsing_flag : bool

val fname_ext_cache : Fname.ext_cache_t

method fname_ext_cache : Fname.ext_cache_t

val mutable symbol_tbl : (Verilog_parsing.Common.identifier, frame) Hashtbl.t

val mutable stack : frame Stack.t

val mutable scoped_flag : bool

val mutable pvstate : int

val mutable vartype : vartype

val mutable in_table : bool

val checkpoint_tbl : (Verilog_parsing.Ast.Loc.t, state) Hashtbl.t

val loc_stack : Verilog_parsing.Ast.Layeredloc.loc_stack

val mutable current_loc_layers : Langs_common.Astloc.t ref list

val mutable prev_loc_layers : Langs_common.Astloc.t ref list

val mutable current_loc_layers_encoded : string

method current_loc_layers : Langs_common.Astloc.t ref list

method current_loc_layers_encoded : string

method loc_stack_level : int

method push_loc : Verilog_parsing.Ast.Astloc.t -> unit

method pop_loc : unit

method mklloc : Langs_common.Astloc.t -> Verilog_parsing.Ast.Layeredloc.c

val mutable predefined_macrotbl : Verilog_parsing.Macro.table option

method set_predefined_macrotbl : Verilog_parsing.Macro.table option -> unit

val macrotbl : Verilog_parsing.Macro.table

method macrotbl : Verilog_parsing.Macro.table

method define_macro : ?conditional:bool ->
  string ->
  Verilog_parsing.Macro.body ->
  unit

method undefine_macro : string -> unit

method find_macro : string -> Verilog_parsing.Macro.body

method macro_defined : string -> bool

val lex_macrotbl : Verilog_parsing.Macro.table

method lex_macrotbl : Verilog_parsing.Macro.table

method lex_define_macro : string -> Verilog_parsing.Macro.body -> unit

method lex_undefine_macro : string -> unit

method lex_find_macro : string -> Verilog_parsing.Macro.body

method ignore_include_flag : bool

method set_ignore_include_flag : unit

method clear_ignore_include_flag : unit

method context_enter_flag : bool

method set_context_enter_flag : unit

method clear_context_enter_flag : unit

method context_activate_flag : bool

method set_context_activate_flag : unit

method clear_context_activate_flag : unit

method set_partial_parsing_flag : unit

method clear_partial_parsing_flag : unit

method partial_parsing_flag : bool

method get_last_active_ofss : int * int

method set_last_active_ofss : (int * int) -> unit

method checkpoint : Verilog_parsing.Ast.Loc.t -> unit

method recover : ?remove:bool -> Verilog_parsing.Ast.Loc.t -> unit

method scoped_flag : bool

method set_scoped_flag : unit

method clear_scoped_flag : unit

method pvstate : int

method set_pvstate : int -> unit

method vartype : vartype

method set_vartype_type : unit

method reset_vartype : unit

method in_table : bool

method begin_table : unit

method end_table : unit

method find_symbol : Verilog_parsing.Common.identifier -> frame

method current_frame : frame

method private _copy_stack : frame Stack.t -> frame Stack.t

method register_identifier : Verilog_parsing.Common.identifier ->
  identifier_attribute ->
  unit

method lookup_identifier : ?afilt:(identifier_attribute -> bool) ->
  Verilog_parsing.Common.identifier ->
  identifier_attribute list

method _begin_scope : scope_attribute -> unit

method end_scope : unit

method import_one : Verilog_parsing.Common.identifier ->
  Verilog_parsing.Common.identifier ->
  unit

method _import_any : (Verilog_parsing.Common.identifier, identifier_attribute)
                       Hashtbl.t ->
  unit

method import_any : Verilog_parsing.Common.identifier -> unit

method find_frame_for : Verilog_parsing.Common.identifier -> frame

method init : unit

package diffast-langs-verilog-parsing