Revision 7cbb6d8a
Added by Guillaume DAVY over 5 years ago
| src/backends/Ada/ada_backend_adb.ml | ||
|---|---|---|
| 82 | 82 |
(** Print the package definition(adb) of a machine. |
| 83 | 83 |
@param fmt the formater to print on |
| 84 | 84 |
@param machine the machine |
| 85 |
*) |
|
| 85 |
**)
|
|
| 86 | 86 |
let print fmt machine = |
| 87 | 87 |
fprintf fmt "%a@, @[<v>@,%a;@,@,%a;@,@,%a;@,@,%a;@,@]@,%a;@." |
| 88 | 88 |
(pp_begin_package true) machine (*Begin the package*) |
Also available in: Unified diff
Ada: Add to the machine state all its subinstance states. Improve also identifier cleaning