More cleaning
[invirt/third/libt4.git] / rsmtest_client.h
1 // rsmtest client interface.
2
3 #ifndef rsmtest_client_h
4 #define rsmtest_client_h
5
6 #include "types.h"
7 #include "rsm_protocol.h"
8
9 // Client interface to the rsmtest server
10 class rsmtest_client {
11     protected:
12         rpcc cl;
13     public:
14         rsmtest_client(std::string d);
15         virtual ~rsmtest_client() {}
16         virtual rsm_test_protocol::status net_repair(int heal);
17         virtual rsm_test_protocol::status breakpoint(int b);
18 };
19 #endif