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

Changed Jid typedef to be explicit pointer

Browse Source
This commit is contained in:
James Booth
2013-01-13 00:05:25 +00:00
parent 7733af1293
commit 1cc33cc491
4 changed files with 22 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
tests/test_jid.c
View File

@@ -5,103 +5,103 @@
void create_jid_from_null_returns_null(void)
{
Jid result = jid_create(NULL);
Jid *result = jid_create(NULL);
assert_is_null(result);
}
void create_jid_from_empty_string_returns_null(void)
{
Jid result = jid_create("");
Jid *result = jid_create("");
assert_is_null(result);
}
void create_jid_from_full_returns_full(void)
{
Jid result = jid_create("myuser@mydomain/laptop");
Jid *result = jid_create("myuser@mydomain/laptop");
assert_string_equals("myuser@mydomain/laptop", result->fulljid);
}
void create_jid_from_full_returns_bare(void)
{
Jid result = jid_create("myuser@mydomain/laptop");
Jid *result = jid_create("myuser@mydomain/laptop");
assert_string_equals("myuser@mydomain", result->barejid);
}
void create_jid_from_full_returns_resourcepart(void)
{
Jid result = jid_create("myuser@mydomain/laptop");
Jid *result = jid_create("myuser@mydomain/laptop");
assert_string_equals("laptop", result->resourcepart);
}
void create_jid_from_full_returns_localpart(void)
{
Jid result = jid_create("myuser@mydomain/laptop");
Jid *result = jid_create("myuser@mydomain/laptop");
assert_string_equals("myuser", result->localpart);
}
void create_jid_from_full_returns_domainpart(void)
{
Jid result = jid_create("myuser@mydomain/laptop");
Jid *result = jid_create("myuser@mydomain/laptop");
assert_string_equals("mydomain", result->domainpart);
}
void create_jid_from_full_nolocal_returns_full(void)
{
Jid result = jid_create("mydomain/laptop");
Jid *result = jid_create("mydomain/laptop");
assert_string_equals("mydomain/laptop", result->fulljid);
}
void create_jid_from_full_nolocal_returns_bare(void)
{
Jid result = jid_create("mydomain/laptop");
Jid *result = jid_create("mydomain/laptop");
assert_string_equals("mydomain", result->barejid);
}
void create_jid_from_full_nolocal_returns_resourcepart(void)
{
Jid result = jid_create("mydomain/laptop");
Jid *result = jid_create("mydomain/laptop");
assert_string_equals("laptop", result->resourcepart);
}
void create_jid_from_full_nolocal_returns_domainpart(void)
{
Jid result = jid_create("mydomain/laptop");
Jid *result = jid_create("mydomain/laptop");
assert_string_equals("mydomain", result->domainpart);
}
void create_jid_from_full_nolocal_returns_null_localpart(void)
{
Jid result = jid_create("mydomain/laptop");
Jid *result = jid_create("mydomain/laptop");
assert_is_null(result->localpart);
}
void create_jid_from_bare_returns_null_full(void)
{
Jid result = jid_create("myuser@mydomain");
Jid *result = jid_create("myuser@mydomain");
assert_is_null(result->fulljid);
}
void create_jid_from_bare_returns_null_resource(void)
{
Jid result = jid_create("myuser@mydomain");
Jid *result = jid_create("myuser@mydomain");
assert_is_null(result->resourcepart);
}
void create_jid_from_bare_returns_bare(void)
{
Jid result = jid_create("myuser@mydomain");
Jid *result = jid_create("myuser@mydomain");
assert_string_equals("myuser@mydomain", result->barejid);
}
void create_jid_from_bare_returns_localpart(void)
{
Jid result = jid_create("myuser@mydomain");
Jid *result = jid_create("myuser@mydomain");
assert_string_equals("myuser", result->localpart);
}
void create_jid_from_bare_returns_domainpart(void)
{
Jid result = jid_create("myuser@mydomain");
Jid *result = jid_create("myuser@mydomain");
assert_string_equals("mydomain", result->domainpart);
}