blob: 12f245866b75b892cea7b3a14f37d2e70a174d06 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
//: Support literal non-integers.
void test_noninteger_literal() {
load(
"def main [\n"
" 1:number <- copy 3.14159\n"
"]\n"
);
CHECK_TRACE_CONTENTS(
"parse: ingredient: {3.14159: \"literal-fractional-number\"}\n"
);
}
:(after "Parsing reagent(string s)")
if (is_noninteger(s)) {
name = s;
type = new type_tree("literal-fractional-number", 0);
set_value(to_double(s));
return;
}
:(code)
bool is_noninteger(const string& s) {
return s.find_first_not_of("0123456789-.") == string::npos // no other characters
&& s.find_first_of("0123456789") != string::npos // at least one digit
&& s.find('-', 1) == string::npos // '-' only at first position
&& std::count(s.begin(), s.end(), '.') == 1; // exactly one decimal point
}
double to_double(string n) {
char* end = NULL;
// safe because string.c_str() is guaranteed to be null-terminated
double result = strtod(n.c_str(), &end);
assert(*end == '\0');
return result;
}
void test_is_noninteger() {
CHECK(!is_noninteger("1234"));
CHECK(!is_noninteger("1a2"));
CHECK(is_noninteger("234.0"));
CHECK(!is_noninteger("..."));
CHECK(!is_noninteger("."));
CHECK(is_noninteger("2."));
CHECK(is_noninteger(".2"));
CHECK(is_noninteger("-.2"));
CHECK(is_noninteger("-2."));
CHECK(!is_noninteger("--.2"));
CHECK(!is_noninteger(".-2"));
CHECK(!is_noninteger("..2"));
}
|