Project

General

Profile

« Previous | Next » 

Revision eb70bae5

Added by Christophe Garion about 7 years ago

parser-json: final version of parser with new types

View differences:

src/tools/stateflow/semantics/cPS.ml
1
open Basetypes 
1
open Basetypes
2 2
open Datatype
3 3
open CPS_transformer
4
open Theta 
4
open Theta
5 5

  
6 6
module Semantics = functor (T: TransformerType) (M: MODEL_T) ->
7 7
struct
8
  
8

  
9 9
module Prog =
10 10
struct
11
  let init, defs, state_vars = 
12
    let (init, defs, globals) = M.model in
11
  let init, defs, state_vars =
12
    let Program (init, defs, globals) = M.model in
13 13
    let state_vars = SF.states M.model in
14 14
    init, defs, state_vars
15
    
15

  
16 16
(*let _ = Format.printf "Model definitions@.%a@.####" Simulink.pp_src defs; () *)
17 17
end
18 18

  
......
35 35
  let module Thetaify = KenvTheta.ModularThetaify (Tables) (Modularity) in
36 36
  let module EvalProg = Interp.Evaluation (Thetaify) (Prog) in
37 37
  (module EvalProg: Interp.EvaluationType)
38
  
38

  
39 39
let compute modular  =
40 40
  let module Eval = (val (eval modular)) in
41
  Eval.eval_prog 
42
    
41
  Eval.eval_prog
42

  
43 43
let code_gen modular  =
44 44
  let module Eval = (val (eval modular)) in
45 45
  let principal, components =  Eval.eval_prog, Eval.eval_components in

Also available in: Unified diff