de.invation.code.toval.graphic.dialog.MessageDialog Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of TOVAL Show documentation

TOVAL comprises a set of java classes for common programming issues. It includes utils for arrays, lists, sets and collections for convenient handling and modification, but also support for mathematic definitions concerning logic (clauses + resolution) together with some algorithms for permutations, powersets and resolution. Additionally it contains a number of types for multisets, matrices with object keys and much more.

The newest version!

package de.invation.code.toval.graphic.dialog;

import de.invation.code.toval.debug.SimpleDebugger;
import java.awt.BorderLayout;
import java.awt.Dimension;
import java.awt.Font;
import java.awt.Toolkit;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;

import javax.swing.Box;
import javax.swing.BoxLayout;
import javax.swing.DefaultListModel;
import javax.swing.JButton;
import javax.swing.JDialog;
import javax.swing.JList;
import javax.swing.JPanel;
import javax.swing.JScrollPane;
import javax.swing.ScrollPaneConstants;
import javax.swing.WindowConstants;

public class MessageDialog extends JDialog implements SimpleDebugger {

    private static final long serialVersionUID = 463955903504300506L;
    public static final Dimension PREFERRED_SIZE = new Dimension(500, 500);

    private static MessageDialog instance = null;

    private DefaultListModel messageListModel = new DefaultListModel();

    private MessageDialog() {
        super();
        setTitle("Message Dialog");

        setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE);
        setPreferredSize(PREFERRED_SIZE);

        getContentPane().setLayout(new BorderLayout());

        JPanel topPanel = new JPanel();
        topPanel.setPreferredSize(new Dimension(200, 20));
        topPanel.setLayout(null);
        getContentPane().add(topPanel, BorderLayout.NORTH);

        JPanel midPanel = new JPanel();
        midPanel.setLayout(new BoxLayout(midPanel, BoxLayout.X_AXIS));
        midPanel.add(Box.createRigidArea(new Dimension(20, 0)));

        final JList list = new JList(messageListModel);
        list.setFont(new Font("Monospaced", Font.PLAIN, 12));

        JScrollPane scrollPane = new JScrollPane();
        scrollPane.setHorizontalScrollBarPolicy(ScrollPaneConstants.HORIZONTAL_SCROLLBAR_AS_NEEDED);
        scrollPane.setPreferredSize(new Dimension(200, 100));
        scrollPane.setViewportView(list);

        midPanel.add(scrollPane);

        midPanel.add(Box.createRigidArea(new Dimension(20, 0)));

        getContentPane().add(midPanel, BorderLayout.CENTER);

        JPanel bottomPanel = new JPanel();
        bottomPanel.setLayout(new BoxLayout(bottomPanel, BoxLayout.X_AXIS));
        bottomPanel.setPreferredSize(new Dimension(200, 40));
        bottomPanel.add(Box.createHorizontalGlue());
        JButton okButton = new JButton("OK");
        okButton.addActionListener(new ActionListener() {

            @Override
            public void actionPerformed(ActionEvent e) {
                dispose();
            }
        });
        bottomPanel.add(okButton);
        JButton clearButton = new JButton("Clear");
        clearButton.addActionListener(new ActionListener() {

            @Override
            public void actionPerformed(ActionEvent e) {
                messageListModel.clear();
            }
        });
        bottomPanel.add(clearButton);
        bottomPanel.add(Box.createHorizontalGlue());
        getContentPane().add(bottomPanel, BorderLayout.SOUTH);

        Dimension screenSize = new Dimension(Toolkit.getDefaultToolkit().getScreenSize());
        int wdwLeft = (int) ((screenSize.width / 2.0) + ((PREFERRED_SIZE.width + 800 + 10) / 2.0)) - PREFERRED_SIZE.width;
        int wdwTop = screenSize.height / 2 - PREFERRED_SIZE.height / 2;
        pack();
        setLocation(wdwLeft, wdwTop);
        setVisible(true);
    }

    public static synchronized MessageDialog getInstance() {
        if (instance == null) {
            instance = new MessageDialog();
        }
        return instance;
    }
    
    @Override
    public void message(String message){
        addMessage(message);
    }

    public void addMessage(String message) {
        messageListModel.addElement(message);
    }

//	public static void main(String[] args) {
//		MessageDialog.getInstance().addMessage("Trst1");
//		MessageDialog.getInstance().newLine();
//		MessageDialog.getInstance().addMessage("Trst2");
//		MessageDialog.getInstance().addMessage("Trst3");
//		MessageDialog.getInstance().addMessage("Trst4");
//	}
    @Override
    public void newLine() {
        messageListModel.addElement(" ");
    }
}