annotate tests/test.h @ 1845:c1e3805e604e

Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Mar 2013 16:09:55 -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);