z80-tools/src/com/maccasoft/tools/Console.java

/*
 * Copyright (c) 2018 Marco Maccaferri and others.
 * All rights reserved.
 *
 * This program and the accompanying materials are made available under
 * the terms of the Eclipse Public License v1.0 which accompanies this
 * distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 */

package com.maccasoft.tools;

import java.io.IOException;
import java.io.OutputStream;

import org.eclipse.swt.SWT;
import org.eclipse.swt.custom.StyleRange;
import org.eclipse.swt.custom.StyledText;
import org.eclipse.swt.events.DisposeEvent;
import org.eclipse.swt.events.DisposeListener;
import org.eclipse.swt.graphics.Color;
import org.eclipse.swt.graphics.Font;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.Label;

public class Console {
    Composite container;
    StyledText text;

    ConsoleOutputStream outputStream;
    ConsoleOutputStream errorStream;

    Font font;
    Color errorColor;

    private class ConsoleOutputStream extends OutputStream {

        boolean isError;

        int moreLinesToMark;

        StringBuilder lineBuilder;

        public ConsoleOutputStream(boolean isError) {
            this.isError = isError;

            this.moreLinesToMark = 0;

            lineBuilder = new StringBuilder();
        }

        @Override
        public void write(final int b) throws IOException {
            Display.getDefault().syncExec(new Runnable() {

                @Override
                public void run() {
                    appendBytes(new byte[] {
                        (byte) b
                    }, 0, 1);
                }
            });
        }

        @Override
        public void write(final byte[] b, final int off, final int len) throws IOException {
            Display.getDefault().syncExec(new Runnable() {

                @Override
                public void run() {
                    appendBytes(b, off, len);
                }
            });
        }

        void appendBytes(byte[] b, int off, int len) {
            for (int i = 0; i < len; i++) {
                char c = (char) b[off + i];
                if (c == '\r') {
                    int ofs = getLastLineOffset();
                    String s = lineBuilder.toString();
                    text.replaceTextRange(ofs, text.getCharCount() - ofs, s);
                    updateStyle(ofs, s);
                    lineBuilder = new StringBuilder();
                }
                else if (c == '\n') {
                    if (lineBuilder.length() > 0) {
                        int ofs = getLastLineOffset();
                        String s = lineBuilder.toString();
                        text.replaceTextRange(ofs, text.getCharCount() - ofs, s);
                        updateStyle(ofs, s);
                        lineBuilder = new StringBuilder();
                    }
                    text.append("\n");
                }
                else {
                    lineBuilder.append(c);
                }
            }
            if (lineBuilder.length() > 0) {
                int ofs = getLastLineOffset();
                String s = lineBuilder.toString();
                text.replaceTextRange(ofs, text.getCharCount() - ofs, s);
                updateStyle(ofs, s);
            }

            text.setCaretOffset(text.getCharCount());
            if (text.getLineCount() > 0) {
                text.setTopIndex(text.getLineCount() - 1);
            }
        }

        int getLastLineOffset() {
            int index = text.getLineCount() - 1;
            return text.getOffsetAtLine(index);
        }

        void updateStyle(int start, String line) {
            if (isError) {
                text.setStyleRange(new StyleRange(start, line.length(), errorColor, null));
            }
            else if (line.contains(": error :") || line.contains(": error:")) {
                text.setStyleRange(new StyleRange(start, line.length(), errorColor, null));
                moreLinesToMark += 3;
            }
            else if (line.contains("Error : ")) {
                text.setStyleRange(new StyleRange(start, line.length(), errorColor, null));
                moreLinesToMark += 2;
            }
            else if (moreLinesToMark > 0) {
                text.setStyleRange(new StyleRange(start, line.length(), errorColor, null));
                moreLinesToMark--;
            }
        }

        @Override
        public void flush() throws IOException {
        }

        @Override
        public void close() throws IOException {
        }

    }

    public Console(Composite parent) {
        container = new Composite(parent, SWT.NONE);
        GridLayout layout = new GridLayout(1, false);
        layout.marginWidth = layout.marginHeight = 0;
        container.setLayout(layout);
        container.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false));

        Label label = new Label(container, SWT.NONE);
        label.setText("Console");
        GridData gridData = new GridData(SWT.FILL, SWT.CENTER, true, false);
        gridData.horizontalIndent = 5;
        label.setLayoutData(gridData);

        text = new StyledText(container, SWT.H_SCROLL | SWT.V_SCROLL | SWT.BORDER);
        text.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
        text.setMargins(5, 5, 5, 5);
        text.setTabs(4);

        if ("win32".equals(SWT.getPlatform())) {
            font = new Font(parent.getDisplay(), "Courier New", 9, SWT.NONE);
        }
        else {
            font = new Font(parent.getDisplay(), "mono", 9, SWT.NONE);
        }
        text.setFont(font);

        errorColor = parent.getDisplay().getSystemColor(SWT.COLOR_RED);

        text.addDisposeListener(new DisposeListener() {

            @Override
            public void widgetDisposed(DisposeEvent e) {
                font.dispose();
            }
        });

        outputStream = new ConsoleOutputStream(false);
        errorStream = new ConsoleOutputStream(true);
    }

    public Composite getControl() {
        return container;
    }

    public StyledText getStyledText() {
        return text;
    }

    public void clear() {
        text.setText("\r\n");
    }

    public OutputStream getOutputStream() {
        return outputStream;
    }

    public OutputStream getErrorStream() {
        return errorStream;
    }
}