baseimage-tutorial-framework/src/event_handlers/source_code_event_handler.py

from shutil import copy, rmtree, copytree
from os.path import splitext, isfile, join, relpath
from glob import glob

from tfw.util import SupervisorMixin
from tfw.config import LOGIN_APP_DIR
from tfw.event_handler_base import EventHandlerBase

from tfw.config.logs import logging
log = logging.getLogger(__name__)


class FileManager:
    def __init__(self, source_directory, working_directory, selected_file=None):
        self._sourcedir = source_directory
        self._workdir = working_directory
        self._reload_files()
        self.filename = selected_file or self._relpath(self.files[0])
        self.language = map_file_extension_to_language(self.filename)

    def select_file(self, filename):
        if not filename in self.files:
           raise EnvironmentError('No such file in workdir!')
        self.filename = filename
        self.language = map_file_extension_to_language(self.filename)

    @property
    def files(self):
        return [self._relpath(file) for file in glob(join(self._workdir, '**/*'), recursive=True) if isfile(file)]

    @property
    def file_contents(self):
        with open(self._filepath(self.filename), 'r', errors='surrogateescape') as ifile:
            return ifile.read()

    @file_contents.setter
    def file_contents(self, value):
        with open(self._filepath(self.filename), 'w', errors='surrogateescape') as ofile:
            ofile.write(value)

    def _filepath(self, filename):
        return join(self._workdir, filename)

    def _relpath(self, filename):
        return relpath(self._filepath(filename), start=self._workdir)

    def _reload_files(self):
        rmtree(self._workdir, ignore_errors=True)
        copytree(self._sourcedir, self._workdir)


class SourceCodeEventHandler(EventHandlerBase, SupervisorMixin):
    def __init__(self, anchor, directory, process_name=None, selected_file=None):
        super().__init__(anchor)
        self.filemanager = FileManager(directory, LOGIN_APP_DIR, selected_file=selected_file)
        self.process_name = process_name

        self.commands = {
            'read': self.read,
            'write': self.write,
            'select': self.select
        }

        # Supervisor needs these to run the login program
        copy('source_code_server/server.py', LOGIN_APP_DIR)
        copy('source_code_server/users.db', LOGIN_APP_DIR)

    def read(self, data):
        data['filename'] = self.filemanager.filename
        data['content'] = self.filemanager.file_contents
        data['language'] = self.filemanager.language
        data['files'] = self.filemanager.files
        return data

    def write(self, data):
        self.filemanager.file_contents = data['content']
        data['files'] = self.filemanager.files
        self.restart_process()
        return data

    def select(self, data):
        try: self.filemanager.select_file(data['filename'])
        except EnvironmentError: log.critical('Failed to select file "{}"'.format(data['filename']))
        return data

    def handle_event(self, anchor, data_json):
        data = data_json['data']
        data_json['data'] = self.commands[data['command']](data)
        return data_json


def map_file_extension_to_language(filename):
    language_map = {
        '.py': 'python',
        '.js': 'javascript',
        '.html': 'html',
        '.css': 'css',
        '.java': 'java',
        '.cpp': 'c_cpp',
        '.hpp': 'c_cpp',
        '.c': 'c_cpp',
        '.h': 'c_cpp',
        '.cs': 'csharp'
    }
    _, extension = splitext(filename)
    language = 'text'
    try: language = language_map[extension]
    except KeyError: log.debug('No such extension in list, falling back to default: "{}".'.format(language))
    return language