Project

General

Profile

« Previous | Next » 

Revision 7cbb6d8a

Added by Guillaume DAVY over 5 years ago

Ada: Add to the machine state all its subinstance states. Improve also identifier cleaning

View differences:

src/backends/Ada/ada_backend.ml
13 13 
open Machine_code_types
14 14 

  		




  15
  15
  
    
let gen_ada destname print suffix machine =


  		




  16
  
  
    
  let path = destname ^ machine.mname.node_id ^ suffix in


  		




  
  16
  
    
  (* Next line permit to get the final package name mostly to clean the


  		




  
  17
  
    
    identifier for Ada *)


  		




  
  18
  
    
  let name = asprintf "%a" Ada_backend_common.pp_package_name machine.mname in


  		




  
  19
  
    
  let name = String.lowercase_ascii name in


  		




  
  20
  
    
  let path = destname ^ name ^ suffix in


  		




  17
  21
  
    
  let out = open_out path in


  		




  18
  22
  
    
  let fmt = formatter_of_out_channel out in


  		




  19
  23
  
    
  print fmt machine;


  		












Also available in:  Unified diff