Revision d8abc19b src/tools/stateflow/json-parser/json_parser.ml
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