dibbler/text_interface/helpermenus.py

490 lines
18 KiB
Python
Raw Normal View History

2017-02-20 13:19:03 +01:00
# -*- coding: utf-8 -*-
import re
import sys
from select import select
import conf
from db import User, Session
from helpers import search_user, search_product, guess_data_type, argmax
from text_interface import context_commands, local_help_commands, help_commands, exit_commands
2017-02-20 13:19:03 +01:00
class ExitMenu(Exception):
pass
class Menu(object):
def __init__(self, name, items=None, prompt=None, end_prompt="> ",
2017-02-20 13:19:03 +01:00
return_index=True,
exit_msg=None, exit_confirm_msg=None, exit_disallowed_msg=None,
help_text=None, uses_db=False):
self.name = name
self.items = items if items is not None else []
self.prompt = prompt
self.end_prompt = end_prompt
2017-02-20 13:19:03 +01:00
self.return_index = return_index
self.exit_msg = exit_msg
self.exit_confirm_msg = exit_confirm_msg
self.exit_disallowed_msg = exit_disallowed_msg
self.help_text = help_text
self.context = None
self.uses_db = uses_db
self.session = None
def exit_menu(self):
if self.exit_disallowed_msg is not None:
2018-08-19 16:38:45 +02:00
print(self.exit_disallowed_msg)
2017-02-20 13:19:03 +01:00
return
if self.exit_confirm_msg is not None:
if not self.confirm(self.exit_confirm_msg, default=True):
return
raise ExitMenu()
def at_exit(self):
if self.exit_msg:
2018-08-19 16:38:45 +02:00
print(self.exit_msg)
2017-02-20 13:19:03 +01:00
def set_context(self, string, display=True):
self.context = string
if self.context is not None and display:
2018-08-19 16:38:45 +02:00
print(self.context)
2017-02-20 13:19:03 +01:00
def add_to_context(self, string):
self.context += string
def printc(self, string):
2018-08-19 16:38:45 +02:00
print(string)
2017-02-20 13:19:03 +01:00
if self.context is None:
self.context = string
else:
self.context += '\n' + string
def show_context(self):
print(self.header())
2017-02-20 13:19:03 +01:00
if self.context is not None:
2018-08-19 16:38:45 +02:00
print(self.context)
2017-02-20 13:19:03 +01:00
def item_is_submenu(self, i):
return isinstance(self.items[i], Menu)
def item_name(self, i):
if self.item_is_submenu(i):
return self.items[i].name
elif isinstance(self.items[i], tuple):
return self.items[i][1]
else:
return self.items[i]
def item_value(self, i):
if isinstance(self.items[i], tuple):
return self.items[i][0]
if self.return_index:
return i
return self.items[i]
def input_str(self, prompt=None, end_prompt=None, regex=None, length_range=(None, None),
empty_string_is_none=False, timeout=None, default=None):
2017-02-20 13:19:03 +01:00
if prompt is None:
prompt = self.prompt if self.prompt is not None else ""
if default is not None:
prompt += f" [{default}]"
if end_prompt is not None:
prompt += end_prompt
elif self.end_prompt is not None:
prompt += self.end_prompt
else:
prompt += " "
2017-02-20 13:19:03 +01:00
while True:
try:
if timeout:
# assuming line buffering
sys.stdout.write(prompt)
2017-02-20 13:19:03 +01:00
sys.stdout.flush()
rlist, _, _ = select([sys.stdin], [], [], timeout)
if not rlist:
# timeout occurred, simulate empty line
result = ''
else:
result = input(prompt).strip()
2017-02-20 13:19:03 +01:00
else:
result = input(prompt).strip()
2017-02-20 13:19:03 +01:00
except EOFError:
2018-08-19 16:38:45 +02:00
print('quit')
2017-02-20 13:19:03 +01:00
self.exit_menu()
continue
if result in exit_commands:
self.exit_menu()
continue
if result in help_commands:
self.general_help()
continue
if result in local_help_commands:
self.local_help()
continue
if result in context_commands:
self.show_context()
continue
if self.special_input_options(result):
continue
if empty_string_is_none and result == '':
return None
if default is not None and result == '':
return default
if regex is not None and not re.match(regex + '$', result):
print(f'Value must match regular expression "{regex}"')
continue
if length_range != (None, None):
length = len(result)
if ((length_range[0] and length < length_range[0]) or (length_range[1] and length > length_range[1])):
if length_range[0] and length_range[1]:
print(f'Value must have length in range [{length_range[0]:d}, {length_range[1]:d}]')
elif length_range[0]:
print(f'Value must have length at least {length_range[0]:d}')
else:
print(f'Value must have length at most {length_range[1]:d}')
continue
2017-02-20 13:19:03 +01:00
return result
def special_input_options(self, result):
"""
Handles special, magic input for input_str
Override this in subclasses to implement magic menu
choices. Return True if str was some valid magic menu
choice, False otherwise.
"""
return False
def special_input_choice(self, in_str):
"""
Handle choices which are not simply menu items.
Override this in subclasses to implement magic menu
choices. Return True if str was some valid magic menu
choice, False otherwise.
"""
return False
def input_choice(self, number_of_choices, prompt=None, end_prompt=None):
2017-02-20 13:19:03 +01:00
while True:
result = self.input_str(prompt, end_prompt)
2017-02-20 13:19:03 +01:00
if result == '':
2018-08-19 16:38:45 +02:00
print('Please enter something')
2017-02-20 13:19:03 +01:00
else:
if result.isdigit():
choice = int(result)
if choice == 0 and 10 <= number_of_choices:
return 10
if 0 < choice <= number_of_choices:
return choice
if not self.special_input_choice(result):
self.invalid_menu_choice(result)
def invalid_menu_choice(self, in_str):
2018-08-19 16:38:45 +02:00
print('Please enter a valid choice.')
2017-02-20 13:19:03 +01:00
def input_int(self, prompt=None, end_prompt=None, allowed_range=(None, None), null_allowed=False, zero_allowed=True,
default=None):
2017-02-20 13:19:03 +01:00
while True:
result = self.input_str(prompt, end_prompt, default=default)
if result == '' and null_allowed:
return False
2017-02-20 13:19:03 +01:00
try:
value = int(result)
# TODO: Should this be turned into greater-than-equals and less-than-equals?
if ((allowed_range[0] and value < allowed_range[0]) or (allowed_range[1] and value > allowed_range[1])):
2017-02-20 13:19:03 +01:00
if allowed_range[0] and allowed_range[1]:
print(f'Value must be in range [{allowed_range[0]:d}, {allowed_range[1]:d}]')
2017-02-20 13:19:03 +01:00
elif allowed_range[0]:
print(f'Value must be at least {allowed_range[0]:d}')
2017-02-20 13:19:03 +01:00
else:
print(f'Value must be at most {allowed_range[1]:d}')
elif not zero_allowed and value == 0:
print("Value cannot be zero")
2017-02-20 13:19:03 +01:00
else:
return value
except ValueError:
2018-08-19 16:38:45 +02:00
print("Please enter an integer")
2017-02-20 13:19:03 +01:00
def input_user(self, prompt=None, end_prompt=None):
2017-02-20 13:19:03 +01:00
user = None
while user is None:
user = self.retrieve_user(self.input_str(prompt, end_prompt))
2017-02-20 13:19:03 +01:00
return user
def retrieve_user(self, search_str):
return self.search_ui(search_user, search_str, 'user')
def input_product(self, prompt=None, end_prompt=None):
2017-02-20 13:19:03 +01:00
product = None
while product is None:
product = self.retrieve_product(self.input_str(prompt, end_prompt))
2017-02-20 13:19:03 +01:00
return product
def retrieve_product(self, search_str):
return self.search_ui(search_product, search_str, 'product')
def input_thing(self, prompt=None, end_prompt=None, permitted_things=('user', 'product'),
2017-02-20 13:19:03 +01:00
add_nonexisting=(), empty_input_permitted=False, find_hidden_products=True):
result = None
while result is None:
search_str = self.input_str(prompt, end_prompt)
2017-02-20 13:19:03 +01:00
if search_str == '' and empty_input_permitted:
return None
result = self.search_for_thing(search_str, permitted_things, add_nonexisting, find_hidden_products)
return result
def input_multiple(self, prompt=None, end_prompt=None, permitted_things=('user', 'product'),
2017-02-20 13:19:03 +01:00
add_nonexisting=(), empty_input_permitted=False, find_hidden_products=True):
result = None
num = 0
while result is None:
search_str = self.input_str(prompt, end_prompt)
2017-02-20 13:19:03 +01:00
search_lst = search_str.split(" ")
if search_str == '' and empty_input_permitted:
return None
else:
result = self.search_for_thing(search_str, permitted_things, add_nonexisting, find_hidden_products)
num = 1
if (result is None) and (len(search_lst) > 1):
2018-08-19 16:38:45 +02:00
print('Interpreting input as "<number> <product>"')
2017-02-20 13:19:03 +01:00
try:
num = int(search_lst[0])
result = self.search_for_thing(" ".join(search_lst[1:]), permitted_things, add_nonexisting,
find_hidden_products)
# Her kan det legges inn en except ValueError,
# men da blir det fort mye plaging av brukeren
except Exception as e:
print(e)
return result, num
def search_for_thing(self, search_str, permitted_things=('user', 'product'),
add_non_existing=(), find_hidden_products=True):
search_fun = {'user': search_user,
'product': search_product}
results = {}
result_values = {}
for thing in permitted_things:
results[thing] = search_fun[thing](search_str, self.session, find_hidden_products)
result_values[thing] = self.search_result_value(results[thing])
selected_thing = argmax(result_values)
if not results[selected_thing]:
thing_for_type = {'card': 'user', 'username': 'user',
'bar_code': 'product', 'rfid': 'rfid'}
type_guess = guess_data_type(search_str)
if type_guess is not None and thing_for_type[type_guess] in add_non_existing:
return self.search_add(search_str)
# print('No match found for "%s".' % search_str)
2017-02-20 13:19:03 +01:00
return None
return self.search_ui2(search_str, results[selected_thing], selected_thing)
@staticmethod
def search_result_value(result):
if result is None:
return 0
if not isinstance(result, list):
return 3
if len(result) == 0:
return 0
if len(result) == 1:
return 2
return 1
def search_add(self, string):
type_guess = guess_data_type(string)
if type_guess == 'username':
print(f'"{string}" looks like a username, but no such user exists.')
if self.confirm(f'Create user {string}?'):
2017-02-20 13:19:03 +01:00
user = User(string, None)
self.session.add(user)
return user
return None
if type_guess == 'card':
selector = Selector(f'"{string}" looks like a card number, but no user with that card number exists.',
[('create', f'Create user with card number {string}'),
('set', f'Set card number of an existing user to {string}')])
2017-02-20 13:19:03 +01:00
selection = selector.execute()
if selection == 'create':
username = self.input_str('Username for new user (should be same as PVV username)',
2017-02-20 13:19:03 +01:00
User.name_re, (1, 10))
user = User(username, string)
self.session.add(user)
return user
if selection == 'set':
user = self.input_user('User to set card number for')
2017-02-20 13:19:03 +01:00
old_card = user.card
user.card = string
print(f'Card number of {user.name} set to {string} (was {old_card})')
2017-02-20 13:19:03 +01:00
return user
return None
if type_guess == 'bar_code':
print(f'"{string}" looks like the bar code for a product, but no such product exists.')
2017-02-20 13:19:03 +01:00
return None
def search_ui(self, search_fun, search_str, thing):
result = search_fun(search_str, self.session)
return self.search_ui2(search_str, result, thing)
def search_ui2(self, search_str, result, thing):
if not isinstance(result, list):
return result
if len(result) == 0:
print(f'No {thing}s matching "{search_str}"')
2017-02-20 13:19:03 +01:00
return None
if len(result) == 1:
msg = f'One {thing} matching "{search_str}": {str(result[0])}. Use this?'
2017-02-20 13:19:03 +01:00
if self.confirm(msg, default=True):
return result[0]
return None
limit = 9
if len(result) > limit:
select_header = f'{len(result):d} {thing}s matching "{search_str}"; showing first {limit:d}'
2017-02-20 13:19:03 +01:00
select_items = result[:limit]
else:
select_header = f'{len(result):d} {thing}s matching "{search_str}"'
2017-02-20 13:19:03 +01:00
select_items = result
selector = Selector(select_header, items=select_items,
return_index=False)
return selector.execute()
@staticmethod
def confirm(prompt, end_prompt=None, default=None, timeout=None):
return ConfirmMenu(prompt, end_prompt=None, default=default, timeout=timeout).execute()
2017-02-20 13:19:03 +01:00
def header(self):
return f"[{self.name}]"
2017-02-20 13:19:03 +01:00
def print_header(self):
2018-08-19 16:38:45 +02:00
print("")
print(self.header())
2017-02-20 13:19:03 +01:00
def pause(self):
self.input_str('.', end_prompt="")
2017-02-20 13:19:03 +01:00
@staticmethod
def general_help():
2018-08-19 16:38:45 +02:00
print('''
2017-02-20 13:19:03 +01:00
DIBBLER HELP
The following commands are recognized (almost) everywhere:
help, ? -- display this help
what, ?? -- redisplay the current context
help!, ??? -- display context-specific help (if any)
faq -- display frequently asked questions (with answers)
exit, quit, etc. -- exit from the current menu
When prompted for a user, you can type (parts of) the user name or
card number. When prompted for a product, you can type (parts of) the
product name or barcode.
About payment and "credit": When paying for something, use either
Dibbler or the good old money box -- never both at the same time.
Dibbler keeps track of a "credit" for each user, which is the amount
of money PVVVV owes the user. This value decreases with the
appropriate amount when you register a purchase, and you may increase
it by putting money in the box and using the "Adjust credit" menu.
2018-08-19 16:38:45 +02:00
''')
2017-02-20 13:19:03 +01:00
def local_help(self):
if self.help_text is None:
2018-08-19 16:38:45 +02:00
print('no help here')
2017-02-20 13:19:03 +01:00
else:
2018-08-19 16:38:45 +02:00
print('')
print(f'Help for {self.header()}:')
2018-08-19 16:38:45 +02:00
print(self.help_text)
2017-02-20 13:19:03 +01:00
def execute(self, **kwargs):
self.set_context(None)
try:
if self.uses_db and not self.session:
self.session = Session()
return self._execute(**kwargs)
except ExitMenu:
self.at_exit()
return None
finally:
if self.session is not None:
self.session.close()
self.session = None
def _execute(self, **kwargs):
# TODO: This is a very awkward line. Is there a better way of doing this?
2017-02-20 13:19:03 +01:00
line_format = '%' + str(len(str(len(self.items)))) + 'd ) %s'
while True:
self.print_header()
self.set_context(None)
if len(self.items) == 0:
self.printc('(empty menu)')
self.pause()
return None
for i in range(len(self.items)):
self.printc(line_format % (i + 1, self.item_name(i)))
item_i = self.input_choice(len(self.items)) - 1
2017-02-20 13:19:03 +01:00
if self.item_is_submenu(item_i):
self.items[item_i].execute()
else:
return self.item_value(item_i)
class MessageMenu(Menu):
def __init__(self, name, message, pause_after_message=True):
Menu.__init__(self, name)
self.message = message.strip()
self.pause_after_message = pause_after_message
def _execute(self):
self.print_header()
2018-08-19 16:38:45 +02:00
print('')
print(self.message)
2017-02-20 13:19:03 +01:00
if self.pause_after_message:
self.pause()
class ConfirmMenu(Menu):
def __init__(self, prompt='confirm? ', end_prompt=": ", default=None, timeout=0):
Menu.__init__(self, 'question', prompt=prompt, end_prompt=end_prompt,
2017-02-20 13:19:03 +01:00
exit_disallowed_msg='Please answer yes or no')
self.default = default
self.timeout = timeout
def _execute(self):
options = {True: '[y]/n', False: 'y/[n]', None: 'y/n'}[self.default]
while True:
result = self.input_str(f'{self.prompt} ({options})', end_prompt=": ", timeout=self.timeout)
2017-02-20 13:19:03 +01:00
result = result.lower().strip()
if result in ['y', 'yes']:
return True
elif result in ['n', 'no']:
return False
elif self.default is not None and result == '':
return self.default
else:
2018-08-19 16:38:45 +02:00
print('Please answer yes or no')
2017-02-20 13:19:03 +01:00
class Selector(Menu):
def __init__(self, name, items=None, prompt='select', return_index=True, exit_msg=None, exit_confirm_msg=None,
2017-02-20 13:19:03 +01:00
help_text=None):
if items is None:
items = []
Menu.__init__(self, name, items, prompt, return_index=return_index, exit_msg=exit_msg)
def header(self):
return self.name
2017-02-20 13:19:03 +01:00
def print_header(self):
print(self.header())
2017-02-20 13:19:03 +01:00
def local_help(self):
if self.help_text is None:
2018-08-19 16:38:45 +02:00
print('This is a selection menu. Enter one of the listed numbers, or')
print('\'exit\' to go out and do something else.')
2017-02-20 13:19:03 +01:00
else:
2018-08-19 16:38:45 +02:00
print('')
print(f'Help for selector ({self.name}):')
2018-08-19 16:38:45 +02:00
print(self.help_text)