Project

General

Profile

Revision 9ae027f8 src/tools/stateflow/semantics/cPS_lustre_generator.ml

View differences:

src/tools/stateflow/semantics/cPS_lustre_generator.ml
190 190
    match action with
191 191
    | Action.Call (c, a) -> mkcall' sin sout c a
192 192
    | Action.Quote a     ->
193
	let funname = "action_" ^ a.ident in
193
        (* TODO: check. This seems to be innappropriate *)
194
        (* let funname = "action_" ^ a.ident in
194 195
	let args = vars_to_exprl ~prefix:sin Vars.state_vars in
195 196
	let rhs = mkpredef_call funname args in
196 197
	mkstmt_eq ~prefix_lhs:sout Vars.state_vars rhs
198
	*)
199
       {
200
	 statements = a.defs;
201
	 assert_false = false
202
       }
197 203
    | Action.Open p      ->
198 204
       let vars' = ActiveStates.Vars.remove p Vars.state_vars in
199 205
       (* eq1: sout_p = true *)
......
249 255
    | Condition.Neg cond           -> mkpredef_call "not" [mkcond' sin cond]
250 256
    | Condition.And (cond1, cond2) -> mkpredef_call "&&" [mkcond' sin cond1;
251 257
							  mkcond' sin cond2]
252
    | Condition.Quote c            -> c (* TODO: shall we prefix with sin ? *)
258
    | Condition.Quote c            -> c.expr (* TODO: shall we prefix with sin ? *)
253 259

  
254 260
  let rec eval_cond condition (ok:t) ko sin sout =
255 261
    let open LustreSpec in

Also available in: Unified diff