Revision 6cbbe1c1
Added by Lélio Brun about 2 years ago
| src/clocks.ml | ||
|---|---|---|
| 191 | 191 |
clock_of_clock_list (List.map (fun ck -> new_ck (Con (ck,cr,l)) true) (clock_list_of_clock ck)) |
| 192 | 192 |
|
| 193 | 193 |
let clock_current ck = |
| 194 |
clock_of_clock_list (List.map (fun ck -> match (repr ck).cdesc with Con(ck',_,_) -> ck' | _ -> assert false) (clock_list_of_clock ck)) |
|
| 194 |
clock_of_clock_list (List.map (fun ck -> match (repr ck).cdesc with |
|
| 195 |
| Con(ck',_,_) -> ck' |
|
| 196 |
| _ -> Format.eprintf "internal error: Clocks.clock_current %a@." print_ck_long (repr ck); |
|
| 197 |
assert false) (clock_list_of_clock ck)) |
|
| 195 | 198 |
|
| 196 | 199 |
let clock_of_impnode_clock ck = |
| 197 | 200 |
let ck = repr ck in |
| ... | ... | |
| 394 | 397 |
| Factor_zero -> |
| 395 | 398 |
fprintf fmt "Cannot apply clock transformation with factor 0@." |
| 396 | 399 |
| Carrier_extrusion (ck,cr) -> |
| 397 |
fprintf fmt "This node has clock@.%a@.It is invalid as %a escapes its scope@." |
|
| 400 |
fprintf fmt "This node has clock@.%a@.It is invalid as the carrier %a escapes its scope@."
|
|
| 398 | 401 |
print_ck ck |
| 399 | 402 |
print_carrier cr |
| 400 | 403 |
| Clock_extrusion (ck_node,ck) -> |
| 401 |
fprintf fmt "This node has clock@.%a@.It is invalid as %a escapes its scope@." |
|
| 404 |
fprintf fmt "This node has clock@.%a@.It is invalid as the clock %a escapes its scope@."
|
|
| 402 | 405 |
print_ck ck_node |
| 403 | 406 |
print_ck ck |
| 404 | 407 |
|
Also available in: Unified diff
start again with spec representation