Mercurial > urweb
annotate tests/test.h @ 788:f5fea13a60b9
Constraint syntax
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 05 May 2009 14:36:16 -0400 |
parents | eac1974924bb |
children |
rev | line source |
---|---|
adamc@764 | 1 #include "../include/urweb.h" |
adamc@764 | 2 |
adamc@764 | 3 typedef uw_Basis_string uw_Test_t; |
adamc@764 | 4 |
adamc@764 | 5 uw_Test_t uw_Test_create(uw_context, uw_Basis_string); |
adamc@764 | 6 uw_Basis_string uw_Test_out(uw_context, uw_Test_t); |
adamc@764 | 7 uw_Test_t uw_Test_frob(uw_context, uw_Test_t, uw_Basis_string); |
adamc@765 | 8 |
adamc@765 | 9 uw_Basis_unit uw_Test_print(uw_context); |
adamc@766 | 10 uw_Basis_unit uw_Test_foo(uw_context); |
adamc@771 | 11 |
adamc@771 | 12 uw_Basis_unit uw_Test_transactional(uw_context); |