Project

General

Profile

« Previous | Next » 

Revision 145379a9

Added by Pierre-Loïc Garoche over 7 years ago

Improved EMF backend. Working on the whole fmcad suite

View differences:

src/machine_code.ml
101 101 
}
102 102 

  		




  103
  103
  
    
(* merge log: get_node_def was in c0f8 *)


  		




  
  104
  
    
(* Returns the node/machine associated to id in m calls *)


  		




  104
  105
  
    
let get_node_def id m =


  		




  105
  106
  
    
  try


  		




  106
  
  
    
    let (decl, _) = List.assoc id m.minstances in


  		




  
  107
  
    
    let (decl, _) = List.assoc id m.mcalls in


  		




  107
  108
  
    
    Corelang.node_of_top decl


  		




  108
  
  
    
  with Not_found -> raise Not_found


  		




  
  109
  
    
  with Not_found -> (


  		




  
  110
  
    
    Format.eprintf "Unable to find node %s in list [%a]@.@?"


  		




  
  111
  
    
      id


  		




  
  112
  
    
      (Utils.fprintf_list ~sep:", " (fun fmt (n,_) -> Format.fprintf fmt "%s" n)) m.mcalls


  		




  
  113
  
    
      ; assert false;


  		




  
  114
  
    
    raise Not_found


  		




  
  115
  
    
  )


  		




  109
  116
  
    
    


  		




  110
  117
  
    
(* merge log: machine_vars was in 44686 *)


  		




  111
  118
  
    
let machine_vars m = m.mstep.step_inputs @ m.mstep.step_locals @ m.mstep.step_outputs @ m.mmemory


  		












Also available in:  Unified diff