Changeset 2996 for src


Ignore:
Timestamp:
Mar 28, 2013, 10:22:29 AM (7 years ago)
Author:
sacerdot
Message:

Printing of graphs now starts from the entry point.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/joint_printer.ma

    r2985 r2996  
    7676 { cip_print_serialization_params :> print_serialization_params string p
    7777 ; fold_code:
    78     ∀A:Type[0]. (code_point p → statementT → A → A) → codeT p globals → A → A
     78    ∀A:Type[0]. (code_point p → statementT → A → A) → codeT p globals →
     79     code_point p → A → A
    7980 ; print_statementT: statementT → string
    8081 }.
     
    237238  mk_code_iteration_params …
    238239   (graph_print_serialization_params … pp)
    239    (λA.λf:code_point (graph_params_to_params …) → ?.λM.λa.
     240   (λA.λf:code_point (graph_params_to_params …) → ?.λM.λinitl.λa.
    240241     visit_graph (joint_statement … gp globals)
    241242     (λstmt. match stmt_implicit_label ?? stmt with
    242243       [ None ⇒ None … | Some label ⇒ match label with [an_identifier p ⇒ Some … p]])
    243      ? (λn. f (an_identifier … n)) a (Some … one)
     244     ? (λn. f (an_identifier … n)) a
     245     (Some … (word_of_identifier … initl))
    244246     (match M with [an_id_map M' ⇒ M']) (id_map_size … M))
    245247     (print_joint_statement … pp … (graph_print_serialization_params … pp)).
     
    259261  mk_code_iteration_params ?? (? × (joint_statement ??)) ?
    260262   (lin_print_serialization_params … pp)
    261    (λA.λf:code_point (lin_params_to_params …) → ?.λM:codeT lp globals.
     263   (λA.λf:code_point (lin_params_to_params …) → ?.λM:codeT lp globals.λ_.
    262264    λa.
    263265     \snd (foldl ??
     
    284286       [ print_code_point … cip cp;
    285287         print_statementT … cip stmt ]::acc)
    286     (joint_if_code … f) [].
     288    (joint_if_code … f) (joint_if_entry … f) [].
    287289
    288290definition print_joint_function:
Note: See TracChangeset for help on using the changeset viewer.