Revision 050147ec
Added by Christophe Garion almost 7 years ago
| src/tools/stateflow/json-parser/json_parser.ml | ||
|---|---|---|
| 111 | 111 |
and parse_real_value s = |
| 112 | 112 |
Logs.debug (fun m -> m "parse_real_value %s" s); |
| 113 | 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
|
|
| 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 |
| 118 |
let e = matched_group 3 s in
|
|
| 118 |
let e = matched_group 4 s in
|
|
| 119 | 119 |
Const_real (Num.num_of_string (l ^ r), |
| 120 |
String.length r + -1 * int_of_string e,
|
|
| 120 |
String.length r + (-1 * int_of_string e),
|
|
| 121 | 121 |
s) |
| 122 | 122 |
else |
| 123 | 123 |
if string_match real_regexp_simp s 0 then |
Also available in: Unified diff
json-parser: correct parser for regex for real variables with e|E