%% ================================================================== %% REMOTE MESSAGES FOR PROJECT 13 %% ------------------------------------------------------------------ %% USE CASE: a player registers with the administrator REGISTER(n) = response = bool : the server has successfully registered the player : the registration failed %% ------------------------------------------------------------------ %% USE CASE: the player receives the first hand of cards FIRST-HAND(h) = fsth response = message arrived %% ------------------------------------------------------------------ %% USE CASE: a player receives the turn from admin TAKE(t) = turn response = done the player's actions (besides card access) %% ------------------------------------------------------------------ %% USE CASE: the player requests the top-most card from the deck GET() = mesg response = card | okay %% ------------------------------------------------------------------ %% USE CASE: inform player that a bomber squadron was shot down INFORM(m) = squd response = %% ------------------------------------------------------------------ %% Use case: the player finds out that the game is over TEND(s) = response: none %% ================================================================== %% DATA DEFINITIONS %% ------------------------------------------------------------------ %% BOOLEAN bool = | %% ------------------------------------------------------------------ %% FIRST HAND fsth = squd %% ------------------------------------------------------------------ %% TURN turn = bool %% is card on deck? stck %% the entire stack slst %% the list of bomber squadrons attackable by AXIS slst %% the list of bomber squadrons attackable by ALLIES %% ------------------------------------------------------------------ %% TURN RESULT done = borc slst atck ... | card slst atck ... atck = squd %% the fighters and ... squd %% ... the bombers that they attack %% ------------------------------------------------------------------ %% STACK stck = card ... %% ------------------------------------------------------------------ %% LIST OF SQUADRONS slst = squd ... %% ------------------------------------------------------------------ %% SQUADRONs squd = card ... %% ------------------------------------------------------------------ %% BOOLEAN or Card borc = | card %% ------------------------------------------------------------------ %% CARDS card = | | %% ------------------------------------------------------------------ %% MESSAGES mesg = | okay =