<> <> DIRECTORY FootballMaster USING [Command, Commands, Game, Position, Side, Team], Rope USING [ROPE], ViewerClasses USING [Viewer]; FootballInternal: DEFINITIONS = BEGIN OPEN FootballMaster; Play: TYPE = REF PlayRec; PlayRec: TYPE = RECORD[ name: Rope.ROPE, setUp: BOOLEAN _ TRUE, side: Side _ offense, ball: Command _ [stop, [null[]]], commands: Commands _ ALL[[stop, [null[]]]]]; game: Game; planned: Play; myTeam: Team; selected: Position; viewer: ViewerClasses.Viewer; Control: PROCEDURE; StartServer: PROCEDURE[name: Rope.ROPE]; StopServer: PROCEDURE; SetCommand: PROCEDURE[player: Position, command: Command, setUp: BOOL _ FALSE]; SavePlay: PROCEDURE[side: Side, name: Rope.ROPE, setUp: BOOL _ FALSE]; ReadPlayBook: PROCEDURE[name: Rope.ROPE]; WritePlayBook: PROCEDURE[name: Rope.ROPE]; END . . .