package diffast-langs-verilog-parsing

You can search for identifiers within the package.

in-package search v0.2.0

diffast-langs-verilog-parsing
- Verilog_parsing
  - Ast
    
    c
    
    node
  - Common
  - Context
    
    stack
  - Label
  - Label_common
  - Labels
    
    AlwaysSpec
    
    AssignmentOperator
    
    BinaryOperator
    
    BinsSpec
    
    CompilerDirective
    
    ConcurrentAssertion
    
    DataType
    
    DeferredImmediateAssertion
    
    EventExpression
    
    Expression
    
    Gate
    
    IncOrDecOperator
    
    JoinSpec
    
    ModuleSpec
    
    NetType
    
    OverloadOperator
    
    PortDirection
    
    PropertyExpression
    
    Qualifier
    
    SequenceExpression
    
    SimpleImmediateAssertion
    
    Statement
    
    Strength
    
    SystemTask
    
    TimingCheck
    
    UnaryOperator
  - Lib
    
    parser_c
  - Macro
    
    table
  - Parser
    
    Make
    
    Incremental
    
    MenhirInterpreter
    
    Stat
  - Parser_aux
    
    F
    
    Stat
    
    STATE_T
    
    env
  - Printer
  - Scanner
    
    F
    
    A
    
    Stat
    
    TBF
    
    A
    
    Tok
    
    U
    
    Aux
    
    T
    
    branching_buffer
    
    buffer
    
    buffer_base
    
    c
    
    tokensource
    
    U
    
    Aux
    
    T
    
    c
  - Source
    
    c
  - Token
    
    F
    
    Stat
  - Tokenbuffer
    
    F
    
    A
    
    Stat
    
    Tok
    
    U
    
    Aux
    
    T
    
    branching_buffer
    
    buffer
    
    buffer_base
    
    c
    
    tokensource
  - Tokens
    
    Make
    
    MenhirInterpreter
    
    Stat
  - Tokens_
    
    T
    
    MenhirInterpreter
  - Ulexer
    
    F
    
    Aux
    
    Stat
    
    T

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Layeredloc = Langs_common.Layeredloc

module Astloc = Langs_common.Astloc

module Ast_base = Langs_common.Ast_base

module Loc = Astloc

module LLoc = Layeredloc

module L = Label

class node : ?lloc:LLoc.c option -> ?children:node list option -> L.t -> object ... end

val get_scope_of_pkg_ctys : 
  < get_identifier : 'a ; label : L.t.. > list ->
  'a option * 'a list

val get_scope_of_func_id : 
  < children : 
    < children : < get_identifier : 'a ; label : L.t.. > list
      ; get_identifier : 'a
      ; label : L.t.. >
      list
    ; label : L.t.. > ->
  'a option * 'a list

val dummy_node : node

val empty_node : node

val lloc_of_locs : Langs_common.Astloc.t -> Langs_common.Astloc.t -> LLoc.c

val lloc_of_lexposs : Lexing.position -> Lexing.position -> LLoc.c

val mknode : Lexing.position -> Lexing.position -> L.t -> node list -> node

val mkleaf : Lexing.position -> Lexing.position -> L.t -> node

val reloc : 
  Lexing.position ->
  Lexing.position ->
  < set_lloc : LLoc.c -> 'a.. > ->
  'a

type partial =

| Pdescription_list of node list
| Pmodule_item_list of node list
| Pgenerate_item_list of node list
| Pblock_decl_stmt_list of node list
| Pcase_item_list of node list
| Pcase_inside_item_list of node list
| Pcellpin_list of node list
| Plist_of_ports of node list
| Pexpr of node

val nodes_of_partial : partial -> node list

val is_block_item_declaration : < label : L.t.. > -> bool

val is_stmt : < label : L.t.. > -> bool

val get_last_id : < get_identifier : string.. > list -> string

val get_unquoted : string -> string

val visit : (< children : 'a list.. > as 'a -> 'b) -> 'a -> unit

val size : < children : 'a list.. > as 'a -> int

class c : node -> object ... end