All Downloads are FREE. Search and download functionalities are using the official Maven repository.

com.oracle.graal.python.shell.JLineConsoleHandler Maven / Gradle / Ivy

The newest version!
/*
 * Copyright (c) 2017, 2024, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * The Universal Permissive License (UPL), Version 1.0
 *
 * Subject to the condition set forth below, permission is hereby granted to any
 * person obtaining a copy of this software, associated documentation and/or
 * data (collectively the "Software"), free of charge and under any and all
 * copyright rights in the Software, and any and all patent rights owned or
 * freely licensable by each licensor hereunder covering either (i) the
 * unmodified Software as contributed to or provided by such licensor, or (ii)
 * the Larger Works (as defined below), to deal in both
 *
 * (a) the Software, and
 *
 * (b) any piece of software and/or hardware listed in the lrgrwrks.txt file if
 * one is included with the Software each a "Larger Work" to which the Software
 * is contributed by such licensors),
 *
 * without restriction, including without limitation the rights to copy, create
 * derivative works of, display, perform, and distribute the Software and make,
 * use, sell, offer for sale, import, export, have made, and have sold the
 * Software and the Larger Work(s), and to sublicense the foregoing rights on
 * either these or other terms.
 *
 * This license is subject to the following condition:
 *
 * The above copyright notice and either this complete permission notice or at a
 * minimum a reference to the UPL must be included in all copies or substantial
 * portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */
package com.oracle.graal.python.shell;

import java.io.IOException;
import java.io.InputStream;
import java.io.OutputStream;
import java.nio.file.Path;
import java.time.Instant;
import java.util.LinkedList;
import java.util.List;
import java.util.ListIterator;
import java.util.NoSuchElementException;
import java.util.function.BiConsumer;
import java.util.function.BooleanSupplier;
import java.util.function.Consumer;
import java.util.function.Function;
import java.util.function.IntConsumer;
import java.util.function.IntFunction;
import java.util.function.IntSupplier;

import org.graalvm.shadowed.org.jline.keymap.KeyMap;
import org.graalvm.shadowed.org.jline.reader.Binding;
import org.graalvm.shadowed.org.jline.reader.Candidate;
import org.graalvm.shadowed.org.jline.reader.Completer;
import org.graalvm.shadowed.org.jline.reader.EndOfFileException;
import org.graalvm.shadowed.org.jline.reader.History;
import org.graalvm.shadowed.org.jline.reader.LineReader;
import org.graalvm.shadowed.org.jline.reader.LineReaderBuilder;
import org.graalvm.shadowed.org.jline.reader.Macro;
import org.graalvm.shadowed.org.jline.reader.ParsedLine;
import org.graalvm.shadowed.org.jline.reader.UserInterruptException;
import org.graalvm.shadowed.org.jline.reader.impl.DefaultParser;
import org.graalvm.shadowed.org.jline.terminal.Terminal;
import org.graalvm.shadowed.org.jline.terminal.TerminalBuilder;

class JLineConsoleHandler extends ConsoleHandler {
    private final boolean noPrompt;
    private final Terminal terminal;
    private LineReader reader;
    private History history;
    private String prompt;
    private LinkedList lineBuffer = new LinkedList<>();

    JLineConsoleHandler(InputStream inStream, OutputStream outStream, boolean noPrompt) {
        this.noPrompt = noPrompt;
        try {
            this.terminal = TerminalBuilder.builder().jna(false).streams(inStream, outStream).system(true).signalHandler(Terminal.SignalHandler.SIG_IGN).build();
        } catch (IOException ex) {
            throw new RuntimeException("unexpected error opening console reader", ex);
        }
    }

    @Override
    public void setupReader(BooleanSupplier shouldRecord,
                    IntSupplier getSize,
                    Consumer addItem,
                    IntFunction getItem,
                    BiConsumer setItem,
                    IntConsumer removeItem,
                    Runnable clear,
                    Function> completer) {
        history = new HistoryImpl(shouldRecord, getSize, addItem, getItem, setItem, removeItem, clear);

        LineReaderBuilder builder = LineReaderBuilder.builder();
        builder = builder.terminal(terminal).history(history);
        if (completer != null) {
            builder.completer(new Completer() {
                @Override
                public void complete(LineReader r, ParsedLine pl, List candidates) {
                    String word = pl.word();
                    if (word != null) {
                        List l = completer.apply(word);
                        for (String value : l) {
                            candidates.add(new Candidate(value, value, null, null, null, null, false));
                        }
                    }
                }
            });
        }

        builder.parser(new DefaultParser() {
            @Override
            public boolean isDelimiterChar(CharSequence buffer, int pos) {
                // Never count a last character of a char sequence as delimiter. The REPL completer
                // implemented by `rlcompleter.py` adds a trailing whitespace to keywords,
                // e.g. 'raise '. The default DefaultParser implementation always escaped this
                // whitespace leading to wrong completions like 'raise\ '.
                if (pos == buffer.length() - 1) {
                    return false;
                }
                return Character.isWhitespace(buffer.charAt(pos));
            }
        });

        reader = builder.build();
        reader.option(LineReader.Option.DISABLE_EVENT_EXPANSION, true);
        reader.option(LineReader.Option.INSERT_TAB, true);
        reader.setVariable(LineReader.COMMENT_BEGIN, "#");

        // numpad bindings
        KeyMap binding = reader.getKeyMaps().get(LineReader.MAIN);
        binding.bind(new Macro(KeyMap.translate("0")), KeyMap.translate("^[Op"));
        binding.bind(new Macro(KeyMap.translate(".")), KeyMap.translate("^[On"));
        binding.bind(new Macro(KeyMap.translate("^M")), KeyMap.translate("^[OM"));
        binding.bind(new Macro(KeyMap.translate("1")), KeyMap.translate("^[Oq"));
        binding.bind(new Macro(KeyMap.translate("2")), KeyMap.translate("^[Or"));
        binding.bind(new Macro(KeyMap.translate("3")), KeyMap.translate("^[Os"));
        binding.bind(new Macro(KeyMap.translate("4")), KeyMap.translate("^[Ot"));
        binding.bind(new Macro(KeyMap.translate("5")), KeyMap.translate("^[Ou"));
        binding.bind(new Macro(KeyMap.translate("6")), KeyMap.translate("^[Ov"));
        binding.bind(new Macro(KeyMap.translate("7")), KeyMap.translate("^[Ow"));
        binding.bind(new Macro(KeyMap.translate("8")), KeyMap.translate("^[Ox"));
        binding.bind(new Macro(KeyMap.translate("9")), KeyMap.translate("^[Oy"));
        binding.bind(new Macro(KeyMap.translate("+")), KeyMap.translate("^[Ol"));
        binding.bind(new Macro(KeyMap.translate("-")), KeyMap.translate("^[OS"));
        binding.bind(new Macro(KeyMap.translate("*")), KeyMap.translate("^[OR"));
        binding.bind(new Macro(KeyMap.translate("/")), KeyMap.translate("^[OQ"));
    }

    @Override
    public String readLine(boolean showPrompt) {
        if (lineBuffer.isEmpty()) {
            try {
                String lines = reader.readLine(showPrompt ? prompt : "");
                for (String line : lines.split("\n")) {
                    lineBuffer.add(line);
                }
            } catch (UserInterruptException e) {
                throw e;
            } catch (EndOfFileException e) {
                return null;
            } catch (Exception ex) {
                throw new RuntimeException(ex);
            }
        }
        return lineBuffer.poll();
    }

    @Override
    public void setPrompt(String prompt) {
        this.prompt = noPrompt ? "" : prompt != null ? prompt : "";
    }

    @Override
    public int getTerminalHeight() {
        return terminal.getHeight();
    }

    @Override
    public int getTerminalWidth() {
        return terminal.getWidth();
    }

    private static class HistoryImpl implements History {
        private final BooleanSupplier shouldRecord;
        private final IntSupplier getSize;
        private final Consumer addItem;
        private final IntFunction getItem;
        private final BiConsumer setItem;
        private final IntConsumer removeItem;
        private final Runnable clear;

        private int index;

        public HistoryImpl(BooleanSupplier shouldRecord, IntSupplier getSize, Consumer addItem, IntFunction getItem, BiConsumer setItem, IntConsumer removeItem,
                        Runnable clear) {
            this.shouldRecord = shouldRecord;
            this.getSize = getSize;
            this.addItem = addItem;
            this.getItem = getItem;
            this.setItem = setItem;
            this.removeItem = removeItem;
            this.clear = clear;
            index = getSize.getAsInt();
        }

        @Override
        public int size() {
            return getSize.getAsInt();
        }

        @Override
        public void resetIndex() {
            int size = size();
            index = index > size ? size : index;
        }

        @Override
        public int first() {
            return 0;
        }

        @Override
        public int last() {
            return size() - 1;
        }

        @Override
        public boolean previous() {
            if (index <= 0) {
                return false;
            } else {
                index--;
                return true;
            }
        }

        @Override
        public boolean next() {
            if (index >= size()) {
                return false;
            } else {
                index++;
                return true;
            }
        }

        @Override
        public boolean moveTo(int idx) {
            if (idx >= 0 && idx < size()) {
                this.index = idx;
                return true;
            }
            return false;
        }

        @Override
        public boolean moveToLast() {
            int lastEntry = size() - 1;
            if (lastEntry >= 0 && lastEntry != index) {
                index = lastEntry;
                return true;
            }
            return false;
        }

        @Override
        public void moveToEnd() {
            index = size();
        }

        @Override
        public boolean moveToFirst() {
            if (size() > 0 && index != 0) {
                index = 0;
                return true;
            }
            return false;
        }

        @Override
        public boolean isEmpty() {
            return size() == 0;
        }

        @Override
        public int index() {
            return index;
        }

        @Override
        public String get(int idx) {
            return getItem.apply(idx);
        }

        @Override
        public String current() {
            if (index < 0 || index >= size()) {
                return "";
            }
            return getItem.apply(index);
        }

        @Override
        public void add(String string) {
            if (shouldRecord.getAsBoolean()) {
                addItem.accept(string);
                index = size();
            }
        }

        @Override
        public void add(Instant instnt, String string) {
            add(string);
        }

        private void add(int idx, String val) {
            setItem.accept(idx, val);
        }

        @Override
        public void purge() throws IOException {
            clear.run();
        }

        @Override
        public ListIterator iterator(int i) {
            return new HistoryIterator(i);
        }

        private class HistoryIterator implements ListIterator {
            private int iterIndex;

            public HistoryIterator(int idx) {
                this.iterIndex = idx;
            }

            @Override
            public boolean hasNext() {
                int size = HistoryImpl.this.size();
                return size > 0 && iterIndex < size;
            }

            @Override
            public int nextIndex() {
                return iterIndex;
            }

            @Override
            public History.Entry next() {
                if (!hasNext()) {
                    throw new NoSuchElementException();
                }
                HistoryEntry e = new HistoryEntry(iterIndex++);
                return e;
            }

            @Override
            public boolean hasPrevious() {
                int size = HistoryImpl.this.size();
                return size > 0 && iterIndex > 0;
            }

            @Override
            public int previousIndex() {
                return iterIndex - 1;
            }

            @Override
            public History.Entry previous() {
                if (!hasPrevious()) {
                    throw new NoSuchElementException();
                }
                HistoryEntry e = new HistoryEntry(--iterIndex);
                return e;
            }

            @Override
            public void remove() {
                removeItem.accept(iterIndex);
                while (iterIndex > HistoryImpl.this.size()) {
                    iterIndex--;
                }
            }

            @Override
            public void set(History.Entry e) {
                HistoryImpl.this.add(iterIndex, e.line());
            }

            @Override
            public void add(History.Entry e) {
                HistoryImpl.this.add(size(), e.line());
            }
        }

        class HistoryEntry implements Entry {
            private final int entryIndex;

            public HistoryEntry(int idx) {
                this.entryIndex = idx;
            }

            @Override
            public int index() {
                return entryIndex;
            }

            @Override
            public Instant time() {
                return Instant.ofEpochMilli(0);
            }

            @Override
            public String line() {
                return HistoryImpl.this.get(entryIndex);
            }

            @Override
            public String toString() {
                return "";
            }
        }

        @Override
        public void attach(LineReader reader) {

        }

        @Override
        public void load() throws IOException {

        }

        @Override
        public void save() throws IOException {

        }

        @Override
        public void write(Path path, boolean bln) throws IOException {

        }

        @Override
        public void append(Path path, boolean bln) throws IOException {

        }

        @Override
        public void read(Path path, boolean bln) throws IOException {

        }
    }
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy