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<void clear_empty(void** state);
void reset_after_create(void** state);
void find_after_create(void** state);
void get_after_create_returns_null(void** state);
void add_one_and_complete(void** state);
void add_two_and_complete_returns_first(void** state);
void add_two_and_complete_returns_second(void** state);
void add_two_adds_two(void** state);
void add_two_same_adds_one(void** state);
void add_two_same_updates(void** state);
void complete_accented_with_accented(void** state);
void complete_accented_with_base(void** state);
void complete_both_with_accented(void** state);
void complete_both_with_base(void** state);
void complete_ignores_case(void** state);
void complete_previous(void** state);
|
//: Comparison primitives
:(before "End Primitive Recipe Declarations")
EQUAL,
:(before "End Primitive Recipe Numbers")
put(Recipe_ordinal, "equal", EQUAL);
:(before "End Primitive Recipe Checks")
case EQUAL: {
if (SIZE(inst.ingredients) <= 1) {
raise << maybe(get(Recipe, r).name) << "'equal' needs at least two ingredients to compare in '" << to_string(inst) << "'\n" << end();
break;
}
if (SIZE(inst.products) > 1) {
raise << maybe(get(Recipe, r).name) << "'equal' yields exactly one product in '" << to_string(inst) << "'\n" << end();
break;
}
if (!inst.products.empty() && !is_dummy(inst.products.at(0)) && !is_mu_boolean(inst.products.at(0))) {
raise << maybe(get(Recipe, r).name) << "'equal' should yield a boolean, but got " << inst.products.at(0).original_string << '\n' << end();
break;
}
break;
}
:(before "End Primitive Recipe Implementations")
case EQUAL: {
vector<double>& exemplar = ingredients.at(0);
bool result = true;
for (long long int i = 1; i < SIZE(ingredients); ++i) {
if (!equal(ingredients.at(i).begin(), ingredients.at(i).end(), exemplar.begin())) {
result = false;
break;
}
}
products.resize(1);
products.at(0).push_back(result);
break;
}
:(scenario equal)
recipe main [
1:number <- copy 34
2:number <- copy 33
3:boolean <- equal 1:number, 2:number
]
+mem: location 1 is 34
+mem: location 2 is 33
+mem: storing 0 in location 3
:(scenario equal_2)
recipe main [
1:number <- copy 34
2:number <- copy 34
3:boolean <- equal 1:number, 2:number
]
+mem: location 1 is 34
+mem: location 2 is 34
+mem: storing 1 in location 3
:(scenario equal_multiple)
recipe main [
1:boolean <- equal 34, 34, 34
]
+mem: storing 1 in location 1
:(scenario equal_multiple_2)
recipe main [
1:boolean <- equal 34, 34, 35
]
+mem: storing 0 in location 1
:(before "End Primitive Recipe Declarations")
GREATER_THAN,
:(before "End Primitive Recipe Numbers")
put(Recipe_ordinal, "greater-than", GREATER_THAN);
:(before "End Primitive Recipe Checks")
case GREATER_THAN: {
if (SIZE(inst.ingredients) <= 1) {
raise << maybe(get(Recipe, r).name) << "'greater-than' needs at least two ingredients to compare in '" << to_string(inst) << "'\n" << end();
break;
}
for (long long int i = 0; i < SIZE(inst.ingredients); ++i) {
if (!is_mu_number(inst.ingredients.at(i))) {
raise << maybe(get(Recipe, r).name) << "'greater-than' can only compare numbers; got " << inst.ingredients.at(i).original_string << '\n' << end();
goto finish_checking_instruction;
}
}
if (SIZE(inst.products) > 1) {
raise << maybe(get(Recipe, r).name) << "'greater-than' yields exactly one product in '" << to_string(inst) << "'\n" << end();
break;
}
if (!inst.products.empty() && !is_dummy(inst.products.at(0)) && !is_mu_boolean(inst.products.at(0))) {
raise << maybe(get(Recipe, r).name) << "'greater-than' should yield a boolean, but got " << inst.products.at(0).original_string << '\n' << end();
break;
}
break;
}
:(before "End Primitive Recipe Implementations")
case GREATER_THAN: {
bool result = true;
for (long long int i = /**/1; i < SIZE(ingredients); ++i) {
if (ingredients.at(i-1).at(0) <= ingredients.at(i).at(0)) {
result = false;
}
}
products.resize(1);
products.at(0).push_back(result);
break;
}
:(scenario greater_than)
recipe main [
1:number <- copy 34
2:number <- copy 33
3:boolean <- greater-than 1:number, 2:number
]
+mem: storing 1 in location 3
:(scenario greater_than_2)
recipe main [
1:number <- copy 34
2:number <- copy 34
3:boolean <- greater-than 1:number, 2:number
]
+mem: storing 0 in location 3
:(scenario greater_than_multiple)
recipe main [
1:boolean <- greater-than 36, 35, 34
]
+mem: storing 1 in location 1
:(scenario greater_than_multiple_2)
recipe main [
1:boolean <- greater-than 36, 35, 35
]
+mem: storing 0 in location 1
:(before "End Primitive Recipe Declarations")
LESSER_THAN,
:(before "End Primitive Recipe Numbers")
put(Recipe_ordinal, "lesser-than", LESSER_THAN);
:(before "End Primitive Recipe Checks")
case LESSER_THAN: {
if (SIZE(inst.ingredients) <= 1) {
raise << maybe(get(Recipe, r).name) << "'lesser-than' needs at least two ingredients to compare in '" << to_string(inst) << "'\n" << end();
break;
}
for (long long int i = 0; i < SIZE(inst.ingredients); ++i) {
if (!is_mu_number(inst.ingredients.at(i))) {
raise << maybe(get(Recipe, r).name) << "'lesser-than' can only compare numbers; got " << inst.ingredients.at(i).original_string << '\n' << end();
goto finish_checking_instruction;
}
}
if (SIZE(inst.products) > 1) {
raise << maybe(get(Recipe, r).name) << "'lesser-than' yields exactly one product in '" << to_string(inst) << "'\n" << end();
break;
}
if (!inst.products.empty() && !is_dummy(inst.products.at(0)) && !is_mu_boolean(inst.products.at(0))) {
raise << maybe(get(Recipe, r).name) << "'lesser-than' should yield a boolean, but got " << inst.products.at(0).original_string << '\n' << end();
break;
}
break;
}
:(before "End Primitive Recipe Implementations")
case LESSER_THAN: {
bool result = true;
for (long long int i = /**/1; i < SIZE(ingredients); ++i) {
if (ingredients.at(i-1).at(0) >= ingredients.at(i).at(0)) {
result = false;
}
}
products.resize(1);
products.at(0).push_back(result);
break;
}
:(scenario lesser_than)
recipe main [
1:number <- copy 32
2:number <- copy 33
3:boolean <- lesser-than 1:number, 2:number
]
+mem: storing 1 in location 3
:(scenario lesser_than_2)
recipe main [
1:number <- copy 34
2:number <- copy 33
3:boolean <- lesser-than 1:number, 2:number
]
+mem: storing 0 in location 3
:(scenario lesser_than_multiple)
recipe main [
1:boolean <- lesser-than 34, 35, 36
]
+mem: storing 1 in location 1
:(scenario lesser_than_multiple_2)
recipe main [
1:boolean <- lesser-than 34, 35, 35
]
+mem: storing 0 in location 1
:(before "End Primitive Recipe Declarations")
GREATER_OR_EQUAL,
:(before "End Primitive Recipe Numbers")
put(Recipe_ordinal, "greater-or-equal", GREATER_OR_EQUAL);
:(before "End Primitive Recipe Checks")
case GREATER_OR_EQUAL: {
if (SIZE(inst.ingredients) <= 1) {
raise << maybe(get(Recipe, r).name) << "'greater-or-equal' needs at least two ingredients to compare in '" << to_string(inst) << "'\n" << end();
break;
}
for (long long int i = 0; i < SIZE(inst.ingredients); ++i) {
if (!is_mu_number(inst.ingredients.at(i))) {
raise << maybe(get(Recipe, r).name) << "'greater-or-equal' can only compare numbers; got " << inst.ingredients.at(i).original_string << '\n' << end();
goto finish_checking_instruction;
}
}
if (SIZE(inst.products) > 1) {
raise << maybe(get(Recipe, r).name) << "'greater-or-equal' yields exactly one product in '" << to_string(inst) << "'\n" << end();
break;
}
if (!inst.products.empty() && !is_dummy(inst.products.at(0)) && !is_mu_boolean(inst.products.at(0))) {
raise << maybe(get(Recipe, r).name) << "'greater-or-equal' should yield a boolean, but got " << inst.products.at(0).original_string << '\n' << end();
break;
}
break;
}
:(before "End Primitive Recipe Implementations")
case GREATER_OR_EQUAL: {
bool result = true;
for (long long int i = /**/1; i < SIZE(ingredients); ++i) {
if (ingredients.at(i-1).at(0) < ingredients.at(i).at(0)) {
result = false;
}
}
products.resize(1);
products.at(0).push_back(result);
break;
}
:(scenario greater_or_equal)
recipe main [
1:number <- copy 34
2:number <- copy 33
3:boolean <- greater-or-equal 1:number, 2:number
]
+mem: storing 1 in location 3
:(scenario greater_or_equal_2)
recipe main [
1:number <- copy 34
2:number <- copy 34
3:boolean <- greater-or-equal 1:number, 2:number
]
+mem: storing 1 in location 3
:(scenario greater_or_equal_3)
recipe main [
1:number <- copy 34
2:number <- copy 35
3:boolean <- greater-or-equal 1:number, 2:number
]
+mem: storing 0 in location 3
:(scenario greater_or_equal_multiple)
recipe main [
1:boolean <- greater-or-equal 36, 35, 35
]
+mem: storing 1 in location 1
:(scenario greater_or_equal_multiple_2)
recipe main [
1:boolean <- greater-or-equal 36, 35, 36
]
+mem: storing 0 in location 1
:(before "End Primitive Recipe Declarations")
LESSER_OR_EQUAL,
:(before "End Primitive Recipe Numbers")
put(Recipe_ordinal, "lesser-or-equal", LESSER_OR_EQUAL);
:(before "End Primitive Recipe Checks")
case LESSER_OR_EQUAL: {
if (SIZE(inst.ingredients) <= 1) {
raise << maybe(get(Recipe, r).name) << "'lesser-or-equal' needs at least two ingredients to compare in '" << to_string(inst) << "'\n" << end();
break;
}
for (long long int i = 0; i < SIZE(inst.ingredients); ++i) {
if (!is_mu_number(inst.ingredients.at(i))) {
raise << maybe(get(Recipe, r).name) << "'lesser-or-equal' can only compare numbers; got " << inst.ingredients.at(i).original_string << '\n' << end();
goto finish_checking_instruction;
}
}
if (SIZE(inst.products) > 1) {
raise << maybe(get(Recipe, r).name) << "'greater-or-equal' yields exactly one product in '" << to_string(inst) << "'\n" << end();
break;
}
if (!inst.products.empty() && !is_dummy(inst.products.at(0)) && !is_mu_boolean(inst.products.at(0))) {
raise << maybe(get(Recipe, r).name) << "'greater-or-equal' should yield a boolean, but got " << inst.products.at(0).original_string << '\n' << end();
break;
}
break;
}
:(before "End Primitive Recipe Implementations")
case LESSER_OR_EQUAL: {
bool result = true;
for (long long int i = /**/1; i < SIZE(ingredients); ++i) {
if (ingredients.at(i-1).at(0) > ingredients.at(i).at(0)) {
result = false;
}
}
products.resize(1);
products.at(0).push_back(result);
break;
}
:(scenario lesser_or_equal)
recipe main [
1:number <- copy 32
2:number <- copy 33
3:boolean <- lesser-or-equal 1:number, 2:number
]
+mem: storing 1 in location 3
:(scenario lesser_or_equal_2)
recipe main [
1:number <- copy 33
2:number <- copy 33
3:boolean <- lesser-or-equal 1:number, 2:number
]
+mem: storing 1 in location 3
:(scenario lesser_or_equal_3)
recipe main [
1:number <- copy 34
2:number <- copy 33
3:boolean <- lesser-or-equal 1:number, 2:number
]
+mem: storing 0 in location 3
:(scenario lesser_or_equal_multiple)
recipe main [
1:boolean <- lesser-or-equal 34, 35, 35
]
+mem: storing 1 in location 1
:(scenario lesser_or_equal_multiple_2)
recipe main [
1:boolean <- lesser-or-equal 34, 35, 34
]
+mem: storing 0 in location 1
|