X-Git-Url: https://plomlompom.com/repos/foo.html?a=blobdiff_plain;f=client.py;h=45ef9f859ecf88e14b14cb8dafd81eed138d1917;hb=2966f4632c6c80b5a1a279a908831150092ad09f;hp=92d555e359cd757a985748b2eba72120eee1a045;hpb=f5287b7235704555925ed2a24113258fe61b40c1;p=plomrogue2-experiments
diff --git a/client.py b/client.py
index 92d555e..45ef9f8 100755
--- a/client.py
+++ b/client.py
@@ -1,100 +1,192 @@
#!/usr/bin/env python3
import urwid
-import plom_socket_io
+import plom_socket_io
import socket
import threading
-class RecvThread(threading.Thread):
- """Background thread that delivers messages from the socket to urwid.
+class ArgumentError(Exception):
+ pass
- The message transfer to urwid is a bit weird. The urwid developers warn
- against sharing urwid resources among threads, and recommend using urwid's
- watch_pipe mechanism: using a pipe from non-urwid threads into a single
- urwid thread. We could pipe the recv output directly, but then we get
- complicated buffering situations here as well as in the urwid code that
- receives the pipe content. It's much easier to update a third resource
- (server_output, which references an object that's also known to the urwid
- code) to contain the new message, and then just use the urwid pipe
- (urwid_pipe_write_fd) to trigger the urwid code to pull the message in from
- that third resource. We send a single b' ' through the pipe to trigger it.
- """
- def __init__(self, socket, urwid_pipe_write_fd, server_output):
- super().__init__()
- self.socket = socket
- self.urwid_pipe = urwid_pipe_write_fd
- self.server_output = server_output
+class UrwidSetup:
- def run(self):
- """On message receive, write to self.server_output, ping urwid pipe."""
- import os
- for msg in plom_socket_io.recv(self.socket):
- self.server_output[0] = msg
- os.write(self.urwid_pipe, b' ')
-
-
-class InputHandler:
- """Helps delivering data from other thread to widget via message_container.
-
- The whole class only exists to provide handle_input as a bound method, with
- widget and message_container pre-set, as (bound) handle_input is used as a
- callback in urwid's watch_pipe â which merely provides its callback target
- with one parameter for a pipe to read data from an urwid-external thread.
- """
-
- def __init__(self, widget, message_container):
- self.widget = widget
- self.message_container = message_container
-
- def handle_input(self, trigger):
- """On input from other thread, either quit, or write to widget text.
-
- Serves as a receiver to urwid's watch_pipe mechanism, with trigger the
- data that a pipe defined by watch_pipe delivers. To avoid buffering
- trouble, we don't care for that data beyond the fact that its receival
- triggers this function: The sender is to write the data it wants to
- deliver into the container referenced by self.message_container, and
- just pipe the trigger to inform us about this.
-
- If the message delivered is 'BYE', quits Urbit.
- """
- if self.message_container[0] == 'BYE':
- raise urwid.ExitMainLoop()
- return
- self.widget.set_text('REPLY: ' + self.message_container[0])
+ def __init__(self, socket):
+ """Build client urwid interface around socket communication.
+ Sets up all widgets for writing to the socket and representing data
+ from it. Sending via a self.EditToSocket widget is straightforward;
+ polling the socket for input from the server in parallel to the urwid
+ main loop not so much:
-class SocketInputWidget(urwid.Filler):
-
- def __init__(self, socket, *args, **kwargs):
- super().__init__(*args, **kwargs)
+ The urwid developers warn against sharing urwid resources among
+ threads, so having a socket polling thread for writing to an urwid
+ widget while other widgets are handled in other threads would be
+ dangerous. Urwid developers recommend using urwid's watch_pipe
+ mechanism instead: using a pipe from non-urwid threads into a single
+ urwid thread. We use self.recv_loop_thread to poll the socket, therein
+ write socket.recv output to an object that is then linked to by
+ self.server_output (which is known to the urwid thread), then use the
+ pipe to urwid to trigger it pulling new data from self.server_output to
+ handle via self.InputHandler. (We *could* pipe socket.recv output
+ directly, but then we get complicated buffering situations here as well
+ as in the urwid code that receives the pipe output. It's easier to just
+ tell the urwid code where it finds full new server messages to handle.)
+ """
self.socket = socket
+ self.main_loop = urwid.MainLoop(self.setup_widgets())
+ self.server_output = []
+ input_handler = getattr(self.InputHandler(self.reply_widget,
+ self.map_widget,
+ self.server_output),
+ 'handle_input')
+ self.urwid_pipe_write_fd = self.main_loop.watch_pipe(input_handler)
+ self.recv_loop_thread = threading.Thread(target=self.recv_loop)
+
+ def setup_widgets(self):
+ """Return container widget with all widgets we want on our screen.
+
+ Sets up an urwid.Pile inside a returned urwid.Filler; top to bottom:
+ - an EditToSocketWidget, prefixing self.socket input with 'SEND: '
+ - a 50-col wide urwid.Padding container for self.map_widget, which is
+ to print clipped map representations
+ - self.reply_widget, a urwid.Text widget printing self.socket replies
+ """
+ edit_widget = self.EditToSocketWidget(self.socket, 'SEND: ')
+ self.reply_widget = urwid.Text('')
+ self.map_widget = self.MapWidget('', wrap='clip')
+ map_box = urwid.Padding(self.map_widget, width=50)
+ widget_pile = urwid.Pile([edit_widget, map_box, self.reply_widget])
+ return urwid.Filler(widget_pile, valign='top')
+
+ class EditToSocketWidget(urwid.Edit):
+ """Extends urwid.Edit with socket to send input on 'enter' to."""
+
+ def __init__(self, socket, *args, **kwargs):
+ super().__init__(*args, **kwargs)
+ self.socket = socket
+
+ def keypress(self, size, key):
+ """Extend super(): on Enter, send .edit_text, and empty it."""
+ if key != 'enter':
+ return super().keypress(size, key)
+ plom_socket_io.send(self.socket, self.edit_text)
+ self.edit_text = ''
+
+ class MapWidget(urwid.Text):
+ """Stores/updates/draws game map."""
+ terrain_map = ' ' * 25
+ position = (0, 0)
+
+ def draw_map(self):
+ """Draw map view from .terrain_map, .position."""
+ whole_map = []
+ for c in self.terrain_map:
+ whole_map += [c]
+ pos_i = self.position[0] * (5 + 1) + self.position[1]
+ whole_map[pos_i] = '@'
+ self.set_text(''.join(whole_map))
+
+ def update_terrain(self, terrain_map):
+ """Update self.terrain_map."""
+ self.terrain_map = terrain_map
+ self.draw_map()
+
+ def update_position(self, position_string):
+ """Update self.position."""
+
+ def get_axis_position_from_argument(axis, token):
+ if len(token) < 3 or token[:2] != axis + ':' or \
+ not token[2:].isdigit():
+ raise ArgumentError('Bad arg for ' + axis + ' position.')
+ return int(token[2:])
+
+ tokens = position_string.split(',')
+ if len(tokens) != 2:
+ raise ArgumentError('wrong number of ","-separated arguments')
+ y = get_axis_position_from_argument('y', tokens[0])
+ x = get_axis_position_from_argument('x', tokens[1])
+ self.position = (y, x)
+ self.draw_map()
+
+ class InputHandler:
+ """Delivers data from other thread to widget via message_container.
+
+ The class only exists to provide handle_input as a bound method, with
+ widget and message_container pre-set, as (bound) handle_input is used
+ as a callback in urwid's watch_pipe â which merely provides its
+ callback target with one parameter for a pipe to read data from an
+ urwid-external thread.
+ """
- def keypress(self, size, key):
- """Act like super(), except on Enter: send .edit_text, and empty it."""
- if key != 'enter':
- return super().keypress(size, key)
- plom_socket_io.send(self.socket, edit.edit_text)
- edit.edit_text = ''
-
-
-s = socket.create_connection(('127.0.0.1', 5000))
-
-edit = urwid.Edit('SEND: ')
-txt = urwid.Text('')
-pile = urwid.Pile([edit, txt])
-fill = SocketInputWidget(s, pile)
-loop = urwid.MainLoop(fill)
+ def __init__(self, widget1, widget2, message_container):
+ self.widget1 = widget1
+ self.widget2 = widget2
+ self.message_container = message_container
+
+ def handle_input(self, trigger):
+ """On input from other thread, either quit or write to widget text.
+
+ Serves as a receiver to urwid's watch_pipe mechanism, with trigger
+ the data that a pipe defined by watch_pipe delivers. To avoid
+ buffering trouble, we don't care for that data beyond the fact that
+ its receival triggers this function: The sender is to write the
+ data it wants to deliver into the container referenced by
+ self.message_container, and just pipe the trigger to inform us
+ about this.
+
+ If the message delivered is 'BYE', quits Urwid.
+ """
+
+ def mapdraw_command(prefix, func):
+ n = len(prefix)
+ if len(msg) > n and msg[:n] == prefix:
+ m = getattr(self.widget2, func)
+ m(msg[n:])
+ return True
+ return False
+
+ msg = self.message_container[0]
+ if msg == 'BYE':
+ raise urwid.ExitMainLoop()
+ return
+ found_command = False
+ try:
+ found_command = (
+ mapdraw_command('TERRAIN\n', 'update_terrain') or
+ mapdraw_command('POSITION ', 'update_position'))
+ except ArgumentError as e:
+ self.widget1.set_text('BAD ARGUMENT: ' + msg + '\n' +
+ str(e))
+ else:
+ if not found_command:
+ self.widget1.set_text('UNKNOWN COMMAND: ' + msg)
+ del self.message_container[0]
+
+ def recv_loop(self):
+ """Loop to receive messages from socket and deliver them to urwid.
+
+ Waits for self.server_output to become empty (this signals that the
+ input handler is finished / ready to receive new input), then writes
+ finished message from socket to self.server_output, then sends a single
+ b' ' through self.urwid_pipe_write_fd to trigger the input handler.
+ """
+ import os
+ for msg in plom_socket_io.recv(self.socket):
+ while len(self.server_output) > 0:
+ pass
+ self.server_output += [msg]
+ os.write(self.urwid_pipe_write_fd, b' ')
-server_output = ['']
-write_fd = loop.watch_pipe(getattr(InputHandler(txt, server_output),
- 'handle_input'))
-thread = RecvThread(s, write_fd, server_output)
-thread.start()
+ def run(self):
+ """Run in parallel main and recv_loop thread."""
+ self.recv_loop_thread.start()
+ self.main_loop.run()
+ self.recv_loop_thread.join()
-loop.run()
-thread.join()
+s = socket.create_connection(('127.0.0.1', 5000))
+u = UrwidSetup(s)
+u.run()
s.close()