CristalCaveGem » LustreC

let _ = fun (_ : vhdl_signal_attributes_t)  -> () 

let _ = fun (_ : vhdl_string_attributes_t)  -> () 

let _ = fun (_ : vhdl_suffix_selection_t)  -> () 

let _ = fun (_ : vhdl_parameter_t)  -> () 

let _ = fun (_ : vhdl_subprogram_spec_t)  -> () 

let _ = fun (_ : vhdl_sequential_stmt_t)  -> () 

        | Void  -> Void

    method vhdl_element_declaration_t :

      vhdl_element_declaration_t -> vhdl_element_declaration_t=

        let definition = self#vhdl_subtype_indication_t definition  in

    method vhdl_subtype_indication_t :

      vhdl_subtype_indication_t -> vhdl_subtype_indication_t=

        let functionName = self#vhdl_name_t functionName  in

        let const = self#vhdl_constraint_t const  in

    method vhdl_discrete_range_t :

      vhdl_discrete_range_t -> vhdl_discrete_range_t=

      fun x  ->

        | SuffixRange (a,b) ->

            let a = self#int a  in let b = self#int b  in SuffixRange (a, b)

      'a .

        ('a -> 'a) -> 'a vhdl_type_attributes_t -> 'a vhdl_type_attributes_t=

      fun _basetype  ->

              let arg = _basetype arg  in TAttValArg { id; arg }

          | TAttStringArg { id; arg } ->

              let id = self#string id  in

    method vhdl_parameter_t : vhdl_parameter_t -> vhdl_parameter_t=

        let init_val = self#option self#vhdl_cst_val_t init_val  in

    method vhdl_subprogram_spec_t :

      vhdl_subprogram_spec_t -> vhdl_subprogram_spec_t=

        let subprogram_type = self#string subprogram_type  in

        let typeMark = self#vhdl_name_t typeMark  in

        let parameters = self#list self#vhdl_parameter_t parameters  in

        let isPure = self#bool isPure  in

    method vhdl_sequential_stmt_t :

      vhdl_sequential_stmt_t -> vhdl_sequential_stmt_t=

      fun x  ->

        match x with

            let label = self#vhdl_name_t label  in

            let label = self#vhdl_name_t label  in

            let rhs = self#list self#vhdl_waveform_element_t rhs  in

        | If { label; if_cases; default } ->

            let label = self#vhdl_name_t label  in

            let if_cases = self#list self#vhdl_if_case_t if_cases  in

    method vhdl_declarative_item_t :

      vhdl_declarative_item_t -> vhdl_declarative_item_t=

        let use_clause = self#option self#vhdl_load_t use_clause  in

    method vhdl_waveform_element_t :

      vhdl_waveform_element_t -> vhdl_waveform_element_t=

        let value = self#option self#vhdl_expr_t value  in

    method vhdl_signal_condition_t :

      vhdl_signal_condition_t -> vhdl_signal_condition_t=

    method vhdl_signal_selection_t :

      vhdl_signal_selection_t -> vhdl_signal_selection_t=

        let when_sel = self#list self#vhdl_expr_t when_sel  in

    method vhdl_conditional_signal_t :

      vhdl_conditional_signal_t -> vhdl_conditional_signal_t=

        let rhs = self#list self#vhdl_signal_condition_t rhs  in

    method vhdl_process_t : vhdl_process_t -> vhdl_process_t=

        let id = self#vhdl_name_t id  in

        let active_sigs = self#list self#vhdl_name_t active_sigs  in

    method vhdl_selected_signal_t :

      vhdl_selected_signal_t -> vhdl_selected_signal_t=

        let sel = self#vhdl_expr_t sel  in

        let branches = self#list self#vhdl_signal_selection_t branches  in

    method vhdl_port_mode_t : vhdl_port_mode_t -> vhdl_port_mode_t=

      fun x  -> x

    method vhdl_component_instantiation_t :

      vhdl_component_instantiation_t -> vhdl_component_instantiation_t=

        let inst_unit = self#vhdl_name_t inst_unit  in

        let inst_unit_type = self#string inst_unit_type  in

        let archi_name = self#option self#vhdl_name_t archi_name  in

        let generic_map = self#list self#vhdl_assoc_element_t generic_map  in

        let port_map = self#list self#vhdl_assoc_element_t port_map  in

    method vhdl_concurrent_stmt_t :

      vhdl_concurrent_stmt_t -> vhdl_concurrent_stmt_t=

        | ComponentInst a -> let a = self#vhdl_component_instantiation_t a  in ComponentInst a 

    method vhdl_port_t : vhdl_port_t -> vhdl_port_t=

    method vhdl_entity_t : vhdl_entity_t -> vhdl_entity_t=

        let generics = self#list self#vhdl_port_t generics  in

        let ports = self#list self#vhdl_port_t ports  in

           in

        let stmts = self#list self#vhdl_concurrent_stmt_t stmts  in

    method vhdl_package_t : vhdl_package_t -> vhdl_package_t=

        let shared_defs = self#list self#vhdl_definition_t shared_defs  in

        let shared_decls = self#list self#vhdl_declaration_t shared_decls  in

        let shared_uses = self#list self#vhdl_load_t shared_uses  in

    method vhdl_load_t : vhdl_load_t -> vhdl_load_t=

      fun x  ->

        | Use a -> let a = self#list self#vhdl_name_t a  in Use a

    method vhdl_architecture_t : vhdl_architecture_t -> vhdl_architecture_t=

        let entity = self#vhdl_name_t entity  in

    method vhdl_configuration_t :

      vhdl_configuration_t -> vhdl_configuration_t= self#unit