fn translate_functions(&self) {
        emitln!(
            self.writer,
            "\n\n// ** functions of module {}\n",
            self.module_env
                .get_name()
                .display(self.module_env.symbol_pool())
        );
        let mut num_fun_specified = 0;
        let mut num_fun = 0;
        for func_env in self.module_env.get_functions() {
            if !func_env.is_native() {
                num_fun += 1;
            }
            if !func_env.get_spec().has_conditions() && !func_env.is_native() {
                num_fun_specified += 1;
            }
            self.writer.set_location(&func_env.get_loc());
            self.translate_function(&self.targets.get_target(&func_env));
        }
        if num_fun > 0 && !self.module_env.is_dependency() {
            debug!(
                "{} out of {} functions have (directly or indirectly) \
                 specifications in module `{}`",
                num_fun_specified,
                num_fun,
                self.module_env
                    .get_name()
                    .display_full(self.module_env.symbol_pool())
            );
        }
    }
/// Translates all functions in the module.
Translates all functions in the module.
Translates all functions in the module .
fn translate_functions(&self) {
        emitln!(
            self.writer,
            "\n\n// ** functions of module {}\n",
            self.module_env
                .get_name()
                .display(self.module_env.symbol_pool())
        );
        let mut num_fun_specified = 0;
        let mut num_fun = 0;
        for func_env in self.module_env.get_functions() {
            if !func_env.is_native() {
                num_fun += 1;
            }
            if !func_env.get_spec().has_conditions() && !func_env.is_native() {
                num_fun_specified += 1;
            }
            self.writer.set_location(&func_env.get_loc());
            self.translate_function(&self.targets.get_target(&func_env));
        }
        if num_fun > 0 && !self.module_env.is_dependency() {
            debug!(
                "{} out of {} functions have (directly or indirectly) \
                 specifications in module `{}`",
                num_fun_specified,
                num_fun,
                self.module_env
                    .get_name()
                    .display_full(self.module_env.symbol_pool())
            );
        }
    }
fn translate_functions ( & self ) { emitln ! ( self writer " \n \n \n " self module_env get_name ( ) display ( self module_env symbol_pool ( ) ) ) ; let mut num_fun_specified = 0 ; let mut num_fun = 0 ; for func_env in self . module_env . get_functions ( ) { if ! func_env . is_native ( ) { num_fun += 1 ; } if ! func_env . get_spec ( ) . has_conditions ( ) && ! func_env . is_native ( ) { num_fun_specified += 1 ; } self . writer . set_location ( & func_env . get_loc ( ) ) ; self . translate_function ( & self . targets . get_target ( & func_env ) ) ; } if num_fun > 0 && ! self . module_env . is_dependency ( ) { debug ! ( " \
 " num_fun_specified num_fun self module_env get_name ( ) display_full ( self module_env symbol_pool ( ) ) ) ; } }
Translates all functions in the module.
Translates all functions in the module .
&self
&self