ErrorWindow.java

/**
 * Marabou - Audio Tagger
 * Copyright (C) 2012 - 2016 Jan-Hendrik Peters
 * https://github.com/hennr/marabou
 * Marabou is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as
 * published by the Free Software Foundation, either version 3 of the
 * License, or (at your option) any later version.
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 * You should have received a copy of the GNU General Public
 * License along with this program.  If not, see
 * <http://www.gnu.org/licenses/gpl-3.0.html>.
 */
package com.github.marabou.ui.view;

import com.github.marabou.helper.AvailableImage;
import com.github.marabou.helper.ImageLoader;
import com.github.marabou.ui.events.ErrorEvent;
import com.google.common.eventbus.Subscribe;
import org.eclipse.swt.SWT;
import org.eclipse.swt.layout.FillLayout;
import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.List;
import org.eclipse.swt.widgets.Shell;

import java.util.Calendar;

import static com.github.marabou.helper.I18nHelper.i18n;

public class ErrorWindow {
    private Shell shell;
    private List errorText;

    public ErrorWindow() {
        // create new GUI-Set using the display from the main window
        Display display = Display.getCurrent();
        shell = new Shell(display);
        shell.setLayout(new FillLayout());
        shell.setSize(500, 300);
        shell.setText(i18n("Marabou - Error Occurred"));
        shell.setImage(new ImageLoader().getImage(AvailableImage.LOGO_SMALL));
        errorText = new List(shell, SWT.BORDER | SWT.H_SCROLL | SWT.V_SCROLL);

        // close also if display gets disposed
        while (!shell.isDisposed() && display.isDisposed()) {
            if (!display.readAndDispatch())
                display.sleep();
        }
    }

    @Subscribe
    public void onError(ErrorEvent errorEvent) {
        Calendar c = Calendar.getInstance();
        errorText.add(c.get(Calendar.HOUR) + ":" + c.get(Calendar.MINUTE) + ": " + errorEvent.getErrorMessage());
        shell.open();
    }
}