DefaultSystemErrorWindow.java

/*
 * Copyright 2011 Instituto Superior Tecnico
 * 
 *      https://fenix-ashes.ist.utl.pt/
 * 
 *   This file is part of the vaadin-framework.
 *
 *   The vaadin-framework Infrastructure is free software: you can 
 *   redistribute it and/or modify it under the terms of the GNU Lesser General 
 *   Public License as published by the Free Software Foundation, either version 
 *   3 of the License, or (at your option) any later version.*
 *
 *   vaadin-framework 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 Lesser General Public License for more details.
 *
 *   You should have received a copy of the GNU Lesser General Public License
 *   along with vaadin-framework. If not, see <http://www.gnu.org/licenses/>.
 * 
 */
package pt.ist.vaadinframework.terminal;

import java.io.ByteArrayOutputStream;
import java.io.IOException;
import java.io.PrintStream;

import pt.ist.vaadinframework.VaadinResourceConstants;
import pt.ist.vaadinframework.VaadinResources;

import com.vaadin.event.ShortcutAction.KeyCode;
import com.vaadin.ui.Label;
import com.vaadin.ui.Layout.MarginHandler;
import com.vaadin.ui.Layout.MarginInfo;
import com.vaadin.ui.Layout.SpacingHandler;
import com.vaadin.ui.Panel;
import com.vaadin.ui.Window;

/**
 * @author Pedro Santos (pedro.miguel.santos@ist.utl.pt)
 * 
 */
public class DefaultSystemErrorWindow extends SystemErrorWindow implements VaadinResourceConstants {
    private Label stacktrace;

    public DefaultSystemErrorWindow() {
    }

    @Override
    protected void setErrorContext(Throwable systemError) {
        removeAllComponents();
        setCaption(VaadinResources.getString(ERROR_WINDOW_TITLE));
        getContent().setSizeUndefined();
        setModal(true);
        center();
        setBorder(Window.BORDER_NONE);
        setClosable(false);
        setCloseShortcut(KeyCode.ESCAPE);
        setResizable(false);
        ((MarginHandler) getContent()).setMargin(new MarginInfo(true));
        ((SpacingHandler) getContent()).setSpacing(true);
        addComponent(new Label(VaadinResources.getString(ERROR_WINDOW_ANNOUNCEMENT_LABEL)));

        Panel scroll = new Panel();
        addComponent(scroll);
        scroll.setWidth(450, UNITS_PIXELS);
        scroll.setHeight(450, UNITS_PIXELS);
        stacktrace = new Label();
        scroll.addComponent(stacktrace);
        ByteArrayOutputStream stream = null;
        try {
            stream = new ByteArrayOutputStream();
            systemError.printStackTrace(new PrintStream(stream));
            stacktrace.setValue(stream.toString());
        } finally {
            if (stream != null) {
                try {
                    stream.close();
                } catch (IOException e) {
                }
            }
        }
    }
}