JavaDisplay.java

Visualisation et affichage d'un graphe sous Java. Le code source, en Java, de ce programme se trouve dans "samples/javadisplay". Il n'est utilisable que dans le cas où Cogitant a été compilé avec les fonctions de dessin et d'interfacage avec Java (dpjava).

See also

Graph drawing.

import cogitant.DisplayHandler;
import cogitant.Environment;
import javax.swing.JFrame;
import javax.swing.JPanel;
import javax.swing.JScrollPane;
import java.util.Vector;
import java.awt.Dimension;
import java.awt.BorderLayout;


class JavaDisplay extends JFrame
{
    cogitant.DisplayHandler m_disphandler;
    cogitant.Environment m_env;
    cogitant.Panel m_panel;
    cogitant.Editor m_editor;
    
    public JavaDisplay(cogitant.DisplayHandler disphandler, cogitant.Environment env, String filename, String title)
    {
        super(title);
        setSize(getPreferredSize());

        m_disphandler = disphandler;
        m_env = env;
        JPanel panelfond = new JPanel();
        getContentPane().add(panelfond, BorderLayout.CENTER);
        panelfond.setLayout(new BorderLayout());
        
        Vector idgraphs = new Vector();
        env.readGraphs(filename, idgraphs);
        int igraph = ((Integer) idgraphs.get(0)).intValue();
        m_panel = m_disphandler.panelGraph(env, igraph);
        JScrollPane sp = new JScrollPane(m_panel);
        panelfond.add(sp, BorderLayout.CENTER);

        m_editor = m_disphandler.newEditor(1, m_panel, filename, igraph);
        m_disphandler.newToolbar(m_editor, getContentPane());
        m_editor.refreshProducers();
    }

    public Dimension getPreferredSize()
    {
        return new Dimension(530, 450);
    }

    public static void main(String args[])
    {
        DisplayHandler de = new DisplayHandler("");
        Environment e = new Environment();
        e.readSupport("../bcgct/bucolic/bucolic.bcs");
        JavaDisplay frame = new JavaDisplay(de, e, "../bcgct/bucolic/fact_editor.bcg", "CoJITaNT");
        frame.setDefaultCloseOperation(javax.swing.JFrame.EXIT_ON_CLOSE);
        frame.setVisible(true);
    }
}