Revision 75c459f4
Added by Lélio Brun about 2 years ago
| src/machine_code_types.ml | ||
|---|---|---|
| 1 | 1 |
(************ Machine code types *************) |
| 2 | 2 |
open Lustre_types |
| 3 | 3 |
open Spec_types |
| 4 |
|
|
| 4 |
|
|
| 5 | 5 |
type value_t = |
| 6 | 6 |
{
|
| 7 | 7 |
value_desc: value_t_desc; |
| ... | ... | |
| 16 | 16 |
| Access of value_t * value_t |
| 17 | 17 |
| Power of value_t * value_t |
| 18 | 18 |
|
| 19 |
type mc_formula_t = value_t formula_t |
|
| 20 |
|
|
| 19 | 21 |
type instr_t = |
| 20 | 22 |
{
|
| 21 | 23 |
instr_desc: instr_t_desc; (* main data: the content *) |
| 22 | 24 |
(* lustre_expr: expr option; (* possible representation as a lustre expression *) *) |
| 23 | 25 |
lustre_eq: eq option; (* possible representation as a lustre flow equation *) |
| 26 |
instr_spec: mc_formula_t |
|
| 24 | 27 |
} |
| 25 | 28 |
and instr_t_desc = |
| 26 | 29 |
| MLocalAssign of var_decl * value_t |
| ... | ... | |
| 45 | 48 |
|
| 46 | 49 |
type machine_spec = {
|
| 47 | 50 |
mnode_spec: node_spec_t option; |
| 48 |
mtransitions: transition_t list |
|
| 51 |
mtransitions: value_t transition_t list
|
|
| 49 | 52 |
} |
| 50 | 53 |
|
| 51 | 54 |
type machine_t = {
|
Also available in: Unified diff
start with Spec AST generation