fn visit_module(&mut self, module: JModule) {
    let old = self.current_module.clone();
    self.current_module = module.mod_name();
    for process in module.processes {
      self.insert_entry_point(&process);
      self.visit_process(process);
    }
    self.current_module = old;
  }
/// Every process is a potential entry point.
/// Processes are removed in `visit_proc_call` if they are called.
Every process is a potential entry point.
Processes are removed in `visit_proc_call` if they are called.
Every process is a potential entry point . Processes are removed in ` visit_proc_call ` if they are called .
fn visit_module(&mut self, module: JModule) {
    let old = self.current_module.clone();
    self.current_module = module.mod_name();
    for process in module.processes {
      self.insert_entry_point(&process);
      self.visit_process(process);
    }
    self.current_module = old;
  }
fn visit_module ( & mut self , module : JModule ) { let old = self . current_module . clone ( ) ; self . current_module = module . mod_name ( ) ; for process in module . processes { self . insert_entry_point ( & process ) ; self . visit_process ( process ) ; } self . current_module = old ; }
Every process is a potential entry point.
Every process is a potential entry point .
&mut self
module
JModule
&mut self
module
JModule