plomlompom.com Git - plomrogue/blob - client_prototype.py

   1 import curses
   2 import os
   3 import signal
   4 import time
   5
   6
   7 def set_window_geometries():
   8
   9     def set_window_size():
  10         win["size"], win["start"] = [0, 0], [0, 0]
  11         win["size"][0] = win["config"][0]
  12         if (win["config"][0] == 0):
  13             win["size"][0] = screen_size[0] - sep_size
  14         elif (win["config"][0] < 0):
  15             win["size"][0] = screen_size[0] + win["config"][0] - sep_size
  16         win["size"][1] = win["config"][1]
  17         if (win["config"][1] == 0):
  18             win["size"][1] = screen_size[1]
  19         elif (win["config"][1] < 0):
  20             win["size"][1] = screen_size[1] + win["config"][1]
  21
  22     def place_window():
  23         win_i = windows.index(win)
  24
  25         # If win is first window, it goes into the top left corner.
  26         win["start"][0] = 0 + sep_size
  27         win["start"][1] = 0
  28         if (win_i > 0):
  29
  30             # If not, get win's closest predecessor starting a new stack on the
  31             # screen top,fit win's top left to that win_top's top right corner.
  32             win_top = None
  33             for i in range(win_i - 1, -1, -1):
  34                 win_top = windows[i]
  35                 if (win_top["start"][0] == 0 + sep_size):
  36                     break
  37             win["start"][1] = win_top["start"][1] + win_top["size"][1] \
  38                 + sep_size
  39
  40             # If enough space is found below win's predecessor, fit win's top
  41             # left corner to that predecessor's bottom left corner.
  42             win_prev = windows[win_i - 1]
  43             next_free_y = win_prev["start"][0] + win_prev["size"][0] + sep_size
  44             if (win["size"][1] <= win_prev["size"][1] and
  45                     win["size"][0] <= screen_size[0] - next_free_y):
  46                 win["start"][1] = win_prev["start"][1]
  47                 win["start"][0] = next_free_y
  48
  49             # If that fails, try to fit win's top left corner to the top right
  50             # corner of its closest predecessor win_test 1) below win_top (see
  51             # above) 2) and with enough space open to its right between its
  52             # right edge and the lower edge of a win_high located directly
  53             # above win_test to fit win there (without growing further to the
  54             # right than win_high does or surpassing the screen's lower edge).
  55             else:
  56                 win_test = win_prev
  57                 win_high = None
  58                 while (win_test != win_top):
  59                     for i in range(win_i - 2, -1, -1):
  60                         win_high = windows[i]
  61                         if win_test["start"][0] > win_high["start"][0]:
  62                             break
  63                     next_free_y = win_high["start"][0] + win_high["size"][0] \
  64                         + sep_size
  65                     first_free_x = win_test["start"][1] + win_test["size"][1] \
  66                         + sep_size
  67                     last_free_x = win_high["start"][1] + win_high["size"][1]
  68                     if (win["size"][0] <= screen_size[0] - next_free_y and
  69                             win["size"][1] <= last_free_x - first_free_x):
  70                         win["start"][1] = first_free_x
  71                         win["start"][0] = next_free_y
  72                         break
  73                     win_test = win_high
  74
  75     global screen_size, stdscr
  76     curses.endwin()
  77     stdscr = curses.initscr()
  78     screen_size = stdscr.getmaxyx()
  79     for win in windows:
  80         set_window_size()
  81         place_window()
  82
  83
  84 def draw_screen():
  85
  86     def draw_window_border_lines():
  87         for win in windows:
  88             for k in range(2):
  89                 j = win["start"][int(k == 0)] - sep_size
  90                 if (j >= 0 and j < screen_size[int(k == 0)]):
  91                     start = win["start"][k]
  92                     # start = start if start >= 0 else 0
  93                     end = win["start"][k] + win["size"][k]
  94                     end = end if end < screen_size[k] else screen_size[k]
  95                     if k:
  96                         [stdscr.addch(j, i, '-') for i in range(start, end)]
  97                     else:
  98                         [stdscr.addch(i, j, '|') for i in range(start, end)]
  99
 100     def draw_window_border_corners():
 101         for win in windows:
 102             up = win["start"][0] - sep_size
 103             down = win["start"][0] + win["size"][0]
 104             left = win["start"][1] - sep_size
 105             right = win["start"][1] + win["size"][1]
 106             if (up >= 0 and up < screen_size[0]):
 107                 if (left >= 0 and left < screen_size[1]):
 108                     stdscr.addch(up, left, '+')
 109                 if (right >= 0 and right < screen_size[1]):
 110                     stdscr.addch(up, right, '+')
 111             if (down >= 0 and down < screen_size[0]):
 112                 if (left >= 0 and left < screen_size[1]):
 113                     stdscr.addch(down, left, '+')
 114                 if (right >= 0 and right < screen_size[1]):
 115                     stdscr.addch(down, right, '+')
 116
 117     def draw_window_contents():
 118         def draw_winmap():
 119             stop = [0, 0]
 120             for i in range(2):
 121                 stop[i] = win["size"][i] + offset[i]
 122                 stop[i] = stop[i] if stop[i] < size[i] else size[i]
 123             for y in range(offset[0], stop[0]):
 124                 for x in range(offset[1], stop[1]):
 125                     cell = winmap[y * size[1] + x]
 126                     y_in_screen = win["start"][0] + (y - offset[0])
 127                     x_in_screen = win["start"][1] + (x - offset[1])
 128                     if (y_in_screen < screen_size[0]
 129                             and x_in_screen < screen_size[1]):
 130                         stdscr.addch(y_in_screen, x_in_screen, cell)
 131         def draw_scroll_hints():
 132             def draw_scroll_string(n_lines_outside):
 133                 hint = ' ' + str(n_lines_outside + 1) + ' more ' + unit + ' '
 134                 if len(hint) <= win["size"][ni]:
 135                     non_hint_space = win["size"][ni] - len(hint)
 136                     hint_offset = int(non_hint_space / 2)
 137                     for j in range(win["size"][ni] - non_hint_space):
 138                         pos_2 = win["start"][ni] + hint_offset + j
 139                         x, y = (pos_2, pos_1) if ni else (pos_1, pos_2)
 140                         stdscr.addch(y, x, hint[j], curses.A_REVERSE)
 141             def draw_scroll_arrows(ar1, ar2):
 142                 for j in range(win["size"][ni]):
 143                     pos_2 = win["start"][ni] + j
 144                     x, y = (pos_2, pos_1) if ni else (pos_1, pos_2)
 145                     stdscr.addch(y, x, ar1 if ni else ar2, curses.A_REVERSE)
 146             for i in range(2):
 147                 ni = int(i == 0)
 148                 unit = 'rows' if ni else 'columns'
 149                 if (offset[i] > 0):
 150                     pos_1 = win["start"][i]
 151                     draw_scroll_arrows('^', '<')
 152                     draw_scroll_string(offset[i])
 153                 if (size[i] > offset[i] + win["size"][i]):
 154                     pos_1 = win["start"][i] + win["size"][i] - 1
 155                     draw_scroll_arrows('v', '>')
 156                     draw_scroll_string(size[i] - offset[i] - win["size"][i])
 157         for win in windows:
 158             offset, size, winmap = win["func"]()
 159             draw_winmap()
 160             draw_scroll_hints()
 161
 162     stdscr.clear()
 163     draw_window_border_lines()
 164     draw_window_border_corners()
 165     draw_window_contents()
 166     stdscr.refresh()
 167
 168
 169 def test_and_poll_server():
 170     half_wait_time = 5
 171     new_file_content = io["file_in"].read()
 172     # TODO: do something useful with new_file_content
 173     server_answered = len(new_file_content) > 0
 174     if server_answered:
 175         test_and_poll_server.ping_sent = False
 176     elif test_and_poll_server.wait_start + half_wait_time < time.time():
 177         if not test_and_poll_server.ping_sent:
 178             io["file_out"].write("PING\n")
 179             io["file_out"].flush()
 180             test_and_poll_server.ping_sent = True
 181             test_and_poll_server.wait_start = time.time()
 182         elif test_and_poll_server.ping_sent:
 183             raise SystemExit("Server not answering anymore.")
 184 test_and_poll_server.wait_start = 0
 185
 186
 187 def cursed_main(stdscr):
 188     curses.noecho()
 189     curses.curs_set(False)
 190     # stdscr.keypad(True)
 191     signal.signal(signal.SIGWINCH,
 192         lambda ignore_1, ignore_2: set_window_geometries())
 193     set_window_geometries()
 194     delay = 1
 195     while True:
 196         stdscr.timeout(delay)
 197         delay = delay * 2 if delay < 1000 else delay
 198         draw_screen()
 199         char = stdscr.getch()
 200         if (char >= 0):
 201             if chr(char) in commands:
 202                 commands[chr(char)]()
 203         test_and_poll_server()
 204
 205
 206 def foo():
 207     winmap = ['.', 'o', '.', 'o', 'O', 'o', '.', 'o', '.', 'x', 'y', 'x']
 208     size = [4, 3]
 209     offset = [0, 0]
 210     return offset, size, winmap
 211
 212
 213 def command_quit():
 214     io["file_out"].write("QUIT\n")
 215     io["file_out"].flush()
 216     raise SystemExit("Received QUIT command, forwarded to server, leaving.")
 217
 218
 219 windows = [
 220     {"config": [1, 33], "func": foo},
 221     {"config": [-7, 33], "func": foo},
 222     {"config": [4, 16], "func": foo},
 223     {"config": [4, 16], "func": foo},
 224     {"config": [0, -34], "func": foo}
 225 ]
 226 io = {
 227     "path_out": "server/in",
 228     "path_in": "server/out"
 229 }
 230 commands = {
 231     "Q": command_quit
 232 }
 233 sep_size = 1  # Width of inter-window borders and title bars.
 234 stdscr = None
 235 screen_size = [0,0]
 236
 237
 238 try:
 239     if (not os.access(io["path_out"], os.F_OK)):
 240         msg = "No server input file found at " + io["path_out"] + "."
 241         raise SystemExit(msg)
 242     io["file_out"] = open(io["path_out"], "a")
 243     io["file_in"] = open(io["path_in"], "r")
 244     curses.wrapper(cursed_main)
 245 except SystemExit as exit:
 246     print("ABORTING: " + exit.args[0])
 247 except:
 248     print("SOMETHING WENT WRONG IN UNEXPECTED WAYS")
 249     raise
 250 finally:
 251     if "file_out" in io:
 252         io["file_out"].close()
 253     if "file_in" in io:
 254         io["file_in"].close()