Project

General

Profile

Revision 69c96b6c src/tools/stateflow/semantics/cPS_ccode_generator.ml

View differences:

src/tools/stateflow/semantics/cPS_ccode_generator.ml
57 57
      Format.fprintf fmt "component %a(%a) =@.@[<v 2>begin@ %a@]@.end" pp_call call pp_path p pp_transformer tr)
58 58
    | Xcall -> (fun (p, f) tr ->
59 59
      Format.fprintf fmt "component %a(%a, %a) =@.@[<v 2>begin@ %a@]@.end" pp_call call pp_path p pp_frontier f pp_transformer tr)
60

  
61
		     let mkcomponent _  = assert false
62
		     let mkprincipal _  = assert false
63
		     let mktransformer _  = assert false
64
		       
60 65
end
61 66

  

Also available in: Unified diff