Project

General

Profile

Revision d8abc19b src/tools/stateflow/json-parser/json_parser.ml

View differences:

src/tools/stateflow/json-parser/json_parser.ml
110 110 
    | _           -> raise (JSON_parse_error ("Invalid scope for variable: " ^ s))
111 111 
  and parse_real_value s =
112 112 
    Logs.debug (fun m -> m "parse_real_value %s" s);
113 
    let real_regexp_simp = regexp "-?\\([0-9][0-9]*\\)\\.\\([0-9]*\\)" in
114 
    let real_regexp_e    = regexp "-?\\([0-9][0-9]*\\)\\.\\([0-9]*\\)(E|e)\\((\\+|\\-)[0-9][0-9]*\\)" in
113 
    let real_regexp_simp = regexp "\\(-?[0-9][0-9]*\\)\\.\\([0-9]*\\)" in
114 
    let real_regexp_e    = regexp "\\(-?[0-9][0-9]*\\)\\.\\([0-9]*\\)(E|e)\\((\\+|\\-)[0-9][0-9]*\\)" in
115 115 
    if string_match real_regexp_e s 0 then
116 116 
      let l = matched_group 1 s in
117 117 
      let r = matched_group 2 s in

Also available in: Unified diff