devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 9 Actions Packages Projects 1 Releases Wiki Activity

Changed typenames in contact list

Browse Source
This commit is contained in:
James Booth
2012-03-09 21:23:39 +00:00
parent f533c6c162
commit 59c02863fe
6 changed files with 41 additions and 40 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
test_contact_list.c
View File

@@ -9,21 +9,21 @@ static void beforetest(void)
static void empty_list_when_none_added(void)
{
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(0, list->size);
}
static void contains_one_element(void)
{
contact_list_add("James");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(1, list->size);
}
static void first_element_correct(void)
{
contact_list_add("James");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_string_equals("James", list->contacts[0]);
}
@@ -32,7 +32,7 @@ static void contains_two_elements(void)
{
contact_list_add("James");
contact_list_add("Dave");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(2, list->size);
}
@@ -41,7 +41,7 @@ static void first_and_second_elements_correct(void)
{
contact_list_add("James");
contact_list_add("Dave");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_string_equals("James", list->contacts[0]);
assert_string_equals("Dave", list->contacts[1]);
@@ -52,7 +52,7 @@ static void contains_three_elements(void)
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("Bob");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(3, list->size);
}
@@ -62,7 +62,7 @@ static void first_three_elements_correct(void)
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("Bob");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_string_equals("James", list->contacts[0]);
assert_string_equals("Dave", list->contacts[1]);
@@ -75,7 +75,7 @@ static void add_twice_at_beginning_adds_once(void)
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("Bob");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(3, list->size);
assert_string_equals("James", list->contacts[0]);
@@ -90,7 +90,7 @@ static void add_twice_in_middle_adds_once(void)
contact_list_add("Dave");
contact_list_add("James");
contact_list_add("Bob");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(3, list->size);
assert_string_equals("James", list->contacts[0]);
@@ -105,7 +105,7 @@ static void add_twice_at_end_adds_once(void)
contact_list_add("Dave");
contact_list_add("Bob");
contact_list_add("James");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(3, list->size);
assert_string_equals("James", list->contacts[0]);
@@ -117,7 +117,7 @@ static void add_twice_at_end_adds_once(void)
static void remove_when_none_does_nothing(void)
{
contact_list_remove("James");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(0, list->size);
}
@@ -126,7 +126,7 @@ static void remove_when_one_removes(void)
{
contact_list_add("James");
contact_list_remove("James");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(0, list->size);
}
@@ -137,7 +137,7 @@ static void remove_first_when_two(void)
contact_list_add("Dave");
contact_list_remove("James");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(1, list->size);
assert_string_equals("Dave", list->contacts[0]);
@@ -149,7 +149,7 @@ static void remove_second_when_two(void)
contact_list_add("Dave");
contact_list_remove("Dave");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(1, list->size);
assert_string_equals("James", list->contacts[0]);
@@ -162,7 +162,7 @@ static void remove_first_when_three(void)
contact_list_add("Bob");
contact_list_remove("James");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(2, list->size);
assert_string_equals("Dave", list->contacts[0]);
@@ -176,7 +176,7 @@ static void remove_second_when_three(void)
contact_list_add("Bob");
contact_list_remove("Dave");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(2, list->size);
assert_string_equals("James", list->contacts[0]);
@@ -190,7 +190,7 @@ static void remove_third_when_three(void)
contact_list_add("Bob");
contact_list_remove("Bob");
struct contact_list *list = get_contact_list();
contact_list_t *list = get_contact_list();
assert_int_equals(2, list->size);
assert_string_equals("James", list->contacts[0]);