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

Show status with online contact list

Browse Source
This commit is contained in:
James Booth
2012-03-09 23:07:53 +00:00
parent 59c02863fe
commit e6b076ce5f
5 changed files with 153 additions and 89 deletions
Download Patch File Download Diff File Expand all files Collapse all files

151
test_contact_list.c
View File

@@ -15,23 +15,24 @@ static void empty_list_when_none_added(void)
static void contains_one_element(void)
{
contact_list_add("James");
contact_list_add("James", NULL);
contact_list_t *list = get_contact_list();
assert_int_equals(1, list->size);
}
static void first_element_correct(void)
{
contact_list_add("James");
contact_list_add("James", NULL);
contact_list_t *list = get_contact_list();
contact_t *james = list->contacts[0];
assert_string_equals("James", list->contacts[0]);
assert_string_equals("James", james->name);
}
static void contains_two_elements(void)
{
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("James", NULL);
contact_list_add("Dave", NULL);
contact_list_t *list = get_contact_list();
assert_int_equals(2, list->size);
@@ -39,19 +40,21 @@ static void contains_two_elements(void)
static void first_and_second_elements_correct(void)
{
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("James", NULL);
contact_list_add("Dave", NULL);
contact_list_t *list = get_contact_list();
contact_t *james = list->contacts[0];
contact_t *dave = list->contacts[1];
assert_string_equals("James", list->contacts[0]);
assert_string_equals("Dave", list->contacts[1]);
assert_string_equals("James", james->name);
assert_string_equals("Dave", dave->name);
}
static void contains_three_elements(void)
{
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("Bob");
contact_list_add("James", NULL);
contact_list_add("Dave", NULL);
contact_list_add("Bob", NULL);
contact_list_t *list = get_contact_list();
assert_int_equals(3, list->size);
@@ -59,59 +62,68 @@ static void contains_three_elements(void)
static void first_three_elements_correct(void)
{
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("Bob");
contact_list_add("James", NULL);
contact_list_add("Dave", NULL);
contact_list_add("Bob", NULL);
contact_list_t *list = get_contact_list();
contact_t *james = list->contacts[0];
contact_t *dave = list->contacts[1];
contact_t *bob = list->contacts[2];
assert_string_equals("James", list->contacts[0]);
assert_string_equals("Dave", list->contacts[1]);
assert_string_equals("Bob", list->contacts[2]);
assert_string_equals("James", james->name);
assert_string_equals("Dave", dave->name);
assert_string_equals("Bob", bob->name);
}
static void add_twice_at_beginning_adds_once(void)
{
contact_list_add("James");
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("Bob");
contact_list_add("James", NULL);
contact_list_add("James", NULL);
contact_list_add("Dave", NULL);
contact_list_add("Bob", NULL);
contact_list_t *list = get_contact_list();
contact_t *james = list->contacts[0];
contact_t *dave = list->contacts[1];
contact_t *bob = list->contacts[2];
assert_int_equals(3, list->size);
assert_string_equals("James", list->contacts[0]);
assert_string_equals("Dave", list->contacts[1]);
assert_string_equals("Bob", list->contacts[2]);
assert_string_equals("James", james->name);
assert_string_equals("Dave", dave->name);
assert_string_equals("Bob", bob->name);
}
static void add_twice_in_middle_adds_once(void)
{
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("James");
contact_list_add("Bob");
contact_list_add("James", NULL);
contact_list_add("Dave", NULL);
contact_list_add("James", NULL);
contact_list_add("Bob", NULL);
contact_list_t *list = get_contact_list();
contact_t *james = list->contacts[0];
contact_t *dave = list->contacts[1];
contact_t *bob = list->contacts[2];
assert_int_equals(3, list->size);
assert_string_equals("James", list->contacts[0]);
assert_string_equals("Dave", list->contacts[1]);
assert_string_equals("Bob", list->contacts[2]);
assert_string_equals("James", james->name);
assert_string_equals("Dave", dave->name);
assert_string_equals("Bob", bob->name);
}
static void add_twice_at_end_adds_once(void)
{
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("Bob");
contact_list_add("James");
contact_list_add("James", NULL);
contact_list_add("Dave", NULL);
contact_list_add("Bob", NULL);
contact_list_add("James", NULL);
contact_list_t *list = get_contact_list();
contact_t *james = list->contacts[0];
contact_t *dave = list->contacts[1];
contact_t *bob = list->contacts[2];
assert_int_equals(3, list->size);
assert_string_equals("James", list->contacts[0]);
assert_string_equals("Dave", list->contacts[1]);
assert_string_equals("Bob", list->contacts[2]);
assert_string_equals("James", james->name);
assert_string_equals("Dave", dave->name);
assert_string_equals("Bob", bob->name);
}
static void remove_when_none_does_nothing(void)
@@ -124,7 +136,7 @@ static void remove_when_none_does_nothing(void)
static void remove_when_one_removes(void)
{
contact_list_add("James");
contact_list_add("James", NULL);
contact_list_remove("James");
contact_list_t *list = get_contact_list();
@@ -133,68 +145,79 @@ static void remove_when_one_removes(void)
static void remove_first_when_two(void)
{
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("James", NULL);
contact_list_add("Dave", NULL);
contact_list_remove("James");
contact_list_t *list = get_contact_list();
assert_int_equals(1, list->size);
assert_string_equals("Dave", list->contacts[0]);
contact_t *dave = list->contacts[0];
assert_string_equals("Dave", dave->name);
}
static void remove_second_when_two(void)
{
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("James", NULL);
contact_list_add("Dave", NULL);
contact_list_remove("Dave");
contact_list_t *list = get_contact_list();
assert_int_equals(1, list->size);
assert_string_equals("James", list->contacts[0]);
contact_t *james = list->contacts[0];
assert_string_equals("James", james->name);
}
static void remove_first_when_three(void)
{
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("Bob");
contact_list_add("James", NULL);
contact_list_add("Dave", NULL);
contact_list_add("Bob", NULL);
contact_list_remove("James");
contact_list_t *list = get_contact_list();
assert_int_equals(2, list->size);
assert_string_equals("Dave", list->contacts[0]);
assert_string_equals("Bob", list->contacts[1]);
contact_t *dave = list->contacts[0];
contact_t *bob = list->contacts[1];
assert_string_equals("Dave", dave->name);
assert_string_equals("Bob", bob->name);
}
static void remove_second_when_three(void)
{
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("Bob");
contact_list_add("James", NULL);
contact_list_add("Dave", NULL);
contact_list_add("Bob", NULL);
contact_list_remove("Dave");
contact_list_t *list = get_contact_list();
assert_int_equals(2, list->size);
assert_string_equals("James", list->contacts[0]);
assert_string_equals("Bob", list->contacts[1]);
contact_t *james = list->contacts[0];
contact_t *bob = list->contacts[1];
assert_string_equals("James", james->name);
assert_string_equals("Bob", bob->name);
}
static void remove_third_when_three(void)
{
contact_list_add("James");
contact_list_add("Dave");
contact_list_add("Bob");
contact_list_add("James", NULL);
contact_list_add("Dave", NULL);
contact_list_add("Bob", NULL);
contact_list_remove("Bob");
contact_list_t *list = get_contact_list();
assert_int_equals(2, list->size);
assert_string_equals("James", list->contacts[0]);
assert_string_equals("Dave", list->contacts[1]);
contact_t *james = list->contacts[0];
contact_t *dave = list->contacts[1];
assert_string_equals("James", james->name);
assert_string_equals("Dave", dave->name);
}
void register_contact_list_tests(void)