Project

General

Profile

Revision d8abc19b

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