plover_python_dictionary.py

# vim: set fileencoding=utf-8 :

import typing

from plover.steno_dictionary import StenoDictionary


class PythonDictionary(StenoDictionary):

    readonly = True

    def __init__(self):
        super().__init__()
        self._mod = None
        self._lookup = None
        self._reverse_lookup = None
        self.readonly = True

    def _load(self, filename):
        with open(filename, encoding='utf-8') as fp:
            source = fp.read()
        mod = {}
        exec(compile(source, filename, 'exec'), mod)
        longest_key = mod.get('LONGEST_KEY')
        if not isinstance(longest_key, int) or longest_key <= 0:
            raise ValueError('missing or invalid `LONGEST_KEY\' constant: %s\n' % longest_key)
        lookup = mod.get('lookup')
        if not isinstance(lookup, typing.Callable):
            raise ValueError('missing or invalid `lookup\' function: %s\n' % lookup)
        reverse_lookup = mod.get('reverse_lookup', lambda x: set())
        if not isinstance(reverse_lookup, typing.Callable):
            raise ValueError('invalid `reverse_lookup\' function: %s\n' % reverse_lookup)
        items = mod.get('items', lambda: [])
        if not isinstance(items, typing.Callable):
            raise ValueError('invalid `items\' function: %s\n' % items)
        self._mod = mod
        self._lookup = lookup
        self._longest_key = longest_key
        self._reverse_lookup = reverse_lookup
        self._items = items

    def __contains__(self, key):
        if len(key) > self._longest_key:
            return False
        try:
            self._lookup(key)
        except KeyError:
            return False
        return True

    def __getitem__(self, key):
        if len(key) > self._longest_key:
            raise KeyError
        return self._lookup(key)

    def get(self, key, fallback=None):
        if len(key) > self._longest_key:
            return fallback
        try:
            return self._lookup(key)
        except KeyError:
            return fallback

    def reverse_lookup(self, value):
        return set(self._reverse_lookup(value))

    def items(self):
        """
        Allows converting the dictionary to JSON using Plover GUI.
        See README.md for details.
        """
        return self._items()