mirror of
https://github.com/ubf/ubf.git
synced 2026-04-16 17:55:48 +00:00
61 lines
2.3 KiB
Erlang
61 lines
2.3 KiB
Erlang
%%% -*- mode: erlang -*-
|
|
|
|
%%% The MIT License
|
|
%%%
|
|
%%% Copyright (C) 2011-2016 by Joseph Wayne Norton <norton@alum.mit.edu>
|
|
%%% Copyright (C) 2002 by Joe Armstrong
|
|
%%%
|
|
%%% Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
%%% of this software and associated documentation files (the "Software"), to deal
|
|
%%% in the Software without restriction, including without limitation the rights
|
|
%%% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
%%% copies of the Software, and to permit persons to whom the Software is
|
|
%%% furnished to do so, subject to the following conditions:
|
|
%%%
|
|
%%% The above copyright notice and this permission notice shall be included in
|
|
%%% all copies or substantial portions of the Software.
|
|
%%%
|
|
%%% THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
%%% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
%%% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
%%% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
%%% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
%%% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
%%% THE SOFTWARE.
|
|
|
|
+NAME("test").
|
|
|
|
+VSN("ubf2.0").
|
|
|
|
%%%%%
|
|
%%% states
|
|
+STATE start
|
|
client_breaks_req01() => client_breaks_res01() & start;
|
|
client_breaks_req02() => client_breaks_res02() & finish;
|
|
client_timeout_req03() => client_timeout_res03() & start;
|
|
client_timeout_req04() => client_timeout_res04() & finish;
|
|
|
|
server_breaks_req01() => server_breaks_res01() & start;
|
|
server_breaks_req02() => server_breaks_res02() & finish;
|
|
server_timeout_req03() => server_timeout_res03() & start;
|
|
server_timeout_req04() => server_timeout_res04() & finish;
|
|
server_crash_req05() => server_crash_res05() & start;
|
|
server_crash_req06() => server_crash_res06() & finish;
|
|
manager_rpc_req01() => manager_rpc_res01() & start;
|
|
manager_rpc_req02() => manager_rpc_res02() & finish.
|
|
|
|
+STATE finish
|
|
restart_req() => restart_res() & start.
|
|
|
|
%%%%%
|
|
%%% anystate
|
|
+ANYSTATE
|
|
|
|
%% keepalive
|
|
ubf_keepalive_req() => ubf_keepalive_res();
|
|
|
|
%% meta methods
|
|
ubf_info_req() => ubf_info_res();
|
|
ubf_description_req() => ubf_description_res();
|
|
ubf_contract_req() => ubf_contract_res().
|