Project

General

Profile

« Previous | Next » 

Revision 57ecad58

Added by Christophe Garion almost 6 years ago

parser-json: clean main program + add pp for vars

View differences:

src/tools/stateflow/parser-json/parser_json.ml
12 12 
module type ParseExt =
13 13 
sig
14 14 
  val parse_condition : json -> Condition.t
15 
  val parse_action : json -> Action.t
16 
  val parse_event : json -> Basetypes.event_t
15 
  val parse_action    : json -> Action.t
16 
  val parse_event     : json -> Basetypes.event_t
17 17 
end
18 18 

  		




  19
  19
  
    
module Parser (Ext : ParseExt) =


  		




  ......




  40
  40
  
    
        (fun res -> SFFunction (parse_prog res))),


  		




  41
  41
  
    
      json |> member "data"        |> to_list |> List.map parse_variable


  		




  42
  42
  
    
    )


  		




  43
  
  
    
  (* and parse_variables json = *)


  		




  44
  
  
    
  (*    (\*Format.printf "parse_variables@.";*\) *)


  		




  45
  43
  
    
  (*   json |> member "data"       |> to_list |> List.map parse_variable *)


  		




  46
  44
  
    
  and parse_state json =


  		




  47
  45
  
    
    (*Format.printf "parse_state@.";*)


  		




  ......




  150
  148
  
    
      ( json |> member "name" |> to_string,


  		




  151
  149
  
    
        {ty_dec_desc = datatype;  ty_dec_loc = location},


  		




  152
  150
  
    
        {ck_dec_desc = Ckdec_any; ck_dec_loc = location},


  		




  153
  
  
    
        false,


  		




  
  151
  
    
        true,


  		




  154
  152
  
    
        Some initial_value


  		




  155
  153
  
    
      )


  		




  156
  154
  
    
end


  		












Also available in:  Unified diff