Return to MultiResultWindow.java CVS log

Up to [Repository] / FM2SQL / src

Annotation of FM2SQL/src/MultiResultWindow.java, revision 1.1

1.1     ! rogo        1: /*
        !             2:  * MultiResultWindow.java -- Display results from several tables in one Window
        !             3:  * FileMaker to SQL Converter 
        !             4:  * Copyright (C) 2003 Robert Gordesch (rogo@mpiwg-berlin.mpg.de) 
        !             5:  * This program is free software; you can redistribute it and/or modify it
        !             6:  * under the terms of the GNU General Public License as published by the Free
        !             7:  * Software Foundation; either version 2 of the License, or (at your option)
        !             8:  * any later version.  Please read license.txt for the full details. A copy of
        !             9:  * the GPL may be found at http://www.gnu.org/copyleft/lgpl.html  You should
        !            10:  * have received a copy of the GNU General Public License along with this
        !            11:  * program; if not, write to the Free Software Foundation, Inc., 59 Temple
        !            12:  * Place, Suite 330, Boston, MA 02111-1307 USA  Created on 15.09.2003 by
        !            13:  * rogo  
        !            14:  */
        !            15: 
        !            16: import javax.swing.*;
        !            17: import java.util.*;
        !            18: import java.awt.event.*;
        !            19: import java.awt.*;
        !            20: import java.text.*;
        !            21: import java.io.*;
        !            22: /**
        !            23:  * 
        !            24:  * ResultWindow - used to display the results of the query
        !            25:  * 
        !            26:  *  @author rogo
        !            27:  */
        !            28: 
        !            29: public class MultiResultWindow extends JDialog
        !            30: {
        !            31:   /**
        !            32:    * FM reference 
        !            33:    */
        !            34:   JFrame fm;
        !            35:   /**
        !            36:    * TableComponent instance used to display the data
        !            37:    */
        !            38:   TableComponent table = new TableComponent();
        !            39:   /**
        !            40:    * Vector for mutltiple TableComponents 
        !            41:    */
        !            42: 
        !            43:   Vector tables = new Vector();
        !            44:   JTabbedPane pane = new JTabbedPane();
        !            45:   /**
        !            46:    * window title
        !            47:    */
        !            48:   String title = "";
        !            49:   boolean update = true;
        !            50:   int oldWidth = 0;
        !            51:   int oldHeight = 0;
        !            52:   int oldTabCount = 0;
        !            53:   static int counter = 0;
        !            54:   /**
        !            55:    * Constructs  the result Window with the JFrame argument as parent 
        !            56:    * @param parent frame of the JDialog  
        !            57:    */
        !            58:   public MultiResultWindow(JFrame frame)
        !            59:   {
        !            60:     super(frame);
        !            61:     fm = (JFrame) frame;
        !            62:     getContentPane().setLayout(new FlowLayout(FlowLayout.LEFT, 5, 5));
        !            63:     //  pane.addTab("no Name",table);
        !            64:     getContentPane().add(pane);
        !            65:     // getContentPane().setBackground(Color.white);
        !            66:     addComponentListener(new ComponentAdapter()
        !            67:     {
        !            68:       public void componentResized(ComponentEvent e)
        !            69:       {
        !            70: 
        !            71:         // System.out.println("Window resized " + getWidth() + " " + getHeight());
        !            72: 
        !            73:         setTitle("show Tables");
        !            74:         //if(table.tableScroller.getPreferredSize().width<getWidth())
        !            75:         //table.repaint();
        !            76: 
        !            77:         if (oldWidth != getWidth() || oldHeight != getHeight() || oldTabCount != pane.getTabRunCount())
        !            78:         {
        !            79: 
        !            80:           for (int i = 0; i < tables.size(); ++i)
        !            81:           {
        !            82:             table = (TableComponent) tables.get(i);
        !            83:             table.sizeToFit(getWidth(), getHeight());
        !            84:            // table.setEnabled(false);
        !            85:             Dimension dim = table.table.getPreferredSize();
        !            86:             oldTabCount = pane.getTabRunCount();
        !            87:           //  System.out.println("correction " + (pane.getTabRunCount() * 19) + " " + pane.getBoundsAt(0));
        !            88:             int correction = getHeight() - (pane.getTabRunCount() * pane.getBoundsAt(0).height) - new JScrollBar().getPreferredSize().height;
        !            89: 
        !            90:             //table.tableScroller.setSize(new Dimension(getWidth() - 30,correction-15 ));
        !            91:             table.tableScroller.setPreferredSize(new Dimension(getWidth() - 30, correction));
        !            92:             Dimension d2 = table.tableScroller.getPreferredSize();
        !            93:          //   System.out.println("runs faster" + pane.getTabRunCount() + " " + d2 + " " + getHeight() + " " + ((double) (d2.height) / ((double) getHeight()) * 100) + " pane height " + pane.getPreferredSize());
        !            94:             table.setPreferredSize(new Dimension(d2.width + 10, d2.height + 5));
        !            95:             table.table.revalidate();
        !            96:             //table.tableScroller.revalidate();
        !            97:             //table.revalidate();
        !            98:           }
        !            99:                    pane.revalidate();
        !           100:                oldWidth = getWidth();
        !           101:                  oldHeight = getHeight();
        !           102:        
        !           103:         }
        !           104:         //System.out.println("runs slower "+ pane.getTabRunCount());
        !           105:         validate();
        !           106:         repaint();
        !           107:         //  System.out.println("fit" + getWidth() + " " + oldWidth);
        !           108: 
        !           109:       }
        !           110:     });
        !           111:    // table.setEnabled(false);
        !           112:     update = true;
        !           113:     pack();
        !           114:     oldWidth = getWidth();
        !           115:     setLocation(new Point(frame.getLocation().x, frame.getLocation().y + 50));
        !           116:     rootPane.setOpaque(true);
        !           117: 
        !           118:   }
        !           119:   /**
        !           120:    * Fills the table component of this window with new data
        !           121:    */
        !           122:   public void updateResult(Vector data, Vector columnNames)
        !           123:   {
        !           124:     update = true;
        !           125:     TableComponent table = new TableComponent();
        !           126:     tables.add(table);
        !           127:     pane.addTab(title, table);
        !           128:     table.tableModel.setDataVector(data, columnNames);
        !           129:     Dimension d2 = table.tableScroller.getPreferredSize();
        !           130:     Dimension dim = table.table.getPreferredSize();
        !           131:     //  System.out.println("here"+dim.width+" "+getWidth()+" "+d2.width+" "+table.table.getScrollableTracksViewportHeight());
        !           132:     //pack();
        !           133:     // table.repaint();
        !           134: 
        !           135:   }
        !           136:   /**
        !           137:    * exports the current results to HTML
        !           138:    * @param query that produced the result  
        !           139:    * @return StringBuffer containing the HTML code
        !           140:    */
        !           141:   public StringBuffer exportQueryToHTML(String query)
        !           142:   {
        !           143:     if (query == "")
        !           144:       query = title;
        !           145:     StringBuffer buff = new StringBuffer();
        !           146:     buff.append("<html>");
        !           147:     buff.append("<head>");
        !           148:     buff.append("<title>");
        !           149:     buff.append(query);
        !           150:     buff.append("</title>");
        !           151:     buff.append("</head>");
        !           152: 
        !           153:     buff.append("<body>");
        !           154:     buff.append("<center>");
        !           155:     buff.append("<h3>");
        !           156:     buff.append(query);
        !           157:     buff.append("</h3>");
        !           158:     buff.append(table.exportToHTML());
        !           159:     buff.append("</body>");
        !           160:     buff.append("</html>");
        !           161:     return TableComponent.convertUml(buff);
        !           162:   }
        !           163:   /**
        !           164:    * Actual write the result to a file( in HTML)
        !           165:    */
        !           166:   public String writeResult()
        !           167:   {
        !           168: 
        !           169:     String name = "";
        !           170:     try
        !           171:     {
        !           172:       NumberFormat nf = new DecimalFormat("0000");
        !           173:       name = "./html/query" + nf.format(counter++) + ".html";
        !           174:       FileWriter file = new FileWriter(new File(name));
        !           175:       file.write(exportQueryToHTML(title).toString());
        !           176:       file.close();
        !           177:     } catch (Exception e)
        !           178:     {
        !           179:       System.out.println("Error while writing html\n" + e);
        !           180:     }
        !           181:     return name;
        !           182:   }
        !           183: }