Return to ResultWindow.java CVS log

Up to [Repository] / FM2SQL

Annotation of FM2SQL/ResultWindow.java, revision 1.1.1.1

1.1       rogo        1: import javax.swing.*;
                      2: import java.util.*;
                      3: import java.awt.event.*;
                      4: import java.awt.*;
                      5: import java.text.*;
                      6: import java.io.*;
                      7: /**
                      8:  * 
                      9:  * ResultWindow - used to display the results of the query
                     10:  * 
                     11:  *  @author rogo
                     12:  */
                     13: 
                     14: public class ResultWindow extends JDialog
                     15: {
                     16:   /**
                     17:    * FM reference 
                     18:    */
                     19:   JFrame fm;
                     20:   /**
                     21:    * TableComponent instance used to display the data
                     22:    */
                     23:   TableComponent table = new TableComponent();
                     24:   /**
                     25:    * window title
                     26:    */
                     27:   String title = "";
                     28:   boolean update = true;
                     29:   int oldWidth = 0;
                     30:   int oldHeight = 0;
                     31:   static int counter = 0;
                     32:   /**
                     33:    * Constructs  the result Window with the JFrame argument as parent 
                     34:    * @param parent frame of the JDialog  
                     35:    */
                     36:   public ResultWindow(JFrame frame)
                     37:   {
                     38:     super(frame);
                     39:     fm = (JFrame) frame;
                     40:     getContentPane().setLayout(new FlowLayout(FlowLayout.LEFT, 5, 5));
                     41:     getContentPane().add(table);
                     42:     // getContentPane().setBackground(Color.white);
                     43:     addComponentListener(new ComponentAdapter()
                     44:     {
                     45:       public void componentResized(ComponentEvent e)
                     46:       {
                     47: 
                     48:         // System.out.println("Window resized " + getWidth() + " " + getHeight());
                     49: 
                     50:         setTitle(title);
                     51:         //if(table.tableScroller.getPreferredSize().width<getWidth())
                     52: 
                     53:         //table.repaint();
                     54:         if (oldWidth != getWidth() || oldHeight != getHeight())
                     55:         {
                     56:           table.sizeToFit(getWidth(), getHeight());
                     57: 
                     58:           Dimension dim = table.table.getPreferredSize();
                     59: 
                     60:           table.tableScroller.setPreferredSize(new Dimension(getWidth() - 15, getHeight() - 45));
                     61:           Dimension d2 = table.tableScroller.getPreferredSize();
                     62: 
                     63:           oldWidth = getWidth();
                     64:           oldHeight = getHeight();
                     65:           //   System.out.println("fit" + getWidth() + " " + oldWidth);
                     66:           //table.table.setPreferredScrollableViewportSize(dim);
                     67: 
                     68:           table.setPreferredSize(new Dimension(d2.width + 10, d2.height + 5));
                     69:           table.table.revalidate();
                     70:           table.tableScroller.revalidate();
                     71:           table.revalidate();
                     72:           int size = (table.tableScroller.getHorizontalScrollBar().isVisible()) ? 90 : 70;
                     73:           if (getHeight() > table.table.getPreferredSize().height + size)
                     74:             setSize(getWidth(), table.table.getHeight() + size+5);
                     75:             //
                     76:         }
                     77: 
                     78:         //  System.out.println("fit" + getWidth() + " " + oldWidth);
                     79: 
                     80:       }
                     81:     });
                     82:     table.setEnabled(false);
                     83:     update = true;
                     84:     pack();
                     85:     oldWidth = getWidth();
                     86:     setLocation(new Point(frame.getLocation().x, frame.getLocation().y + 50));
                     87:     rootPane.setOpaque(false);
                     88: 
                     89:   }
                     90:   /**
                     91:    * Fills the table component of this window with new data
                     92:    */
                     93:   public void updateResult(Vector data, Vector columnNames)
                     94:   {
                     95:     update = true;
                     96:     table.tableModel.setDataVector(data, columnNames);
                     97:     Dimension d2 = table.tableScroller.getPreferredSize();
                     98:     Dimension dim = table.table.getPreferredSize();
                     99:     //System.out.println("here"+dim.width+" "+getWidth()+" "+d2.width+" "+table.table.getScrollableTracksViewportHeight());
                    100:     if (dim.width > getWidth())
                    101:     {
                    102:       //table.vergroessern(getWidth(),getHeight());
                    103:       oldWidth = dim.width * 3;
                    104:       oldHeight = (dim.height >= table.screenSize.height) ? table.screenSize.height : dim.height + table.table.getTableHeader().getHeight() * 2; //32;
                    105: 
                    106:     } else
                    107:     {
                    108:       // table.sizeToFit(getWidth(),getHeight());
                    109:       // table.sizeToFit(dim.width * 3, getHeight());
                    110:       /*  // table.table.setSize(dim.width * 3,dim.height);
                    111:          table.tableScroller.setPreferredSize(new Dimension((dim.width*3), dim.height+23));
                    112:          d2 = table.tableScroller.getPreferredSize();
                    113:           // table.table.setPreferredScrollableViewportSize(table.table.getSize());
                    114:         dim = table.table.getPreferredSize();
                    115:          table.setPreferredSize(new Dimension(d2.width+10,d2.height+3));
                    116:          table.tableScroller.validate();
                    117:          table.validate(); 
                    118:        // setSize(dim.width, dim.height + 40);
                    119:           oldWidth = d2.width+10;
                    120:        oldHeight=d2.height+3; 
                    121:          System.out.println("here"+dim.width+" "+getWidth()+" "+d2.width+" "+table.table.getPreferredScrollableViewportSize());
                    122:         */
                    123:       oldWidth = dim.width;
                    124:       oldHeight = (dim.height >= table.screenSize.height) ? table.screenSize.height : dim.height + table.table.getTableHeader().getHeight() * 2;
                    125:       setSize(dim.width, oldHeight);
                    126:     }
                    127: 
                    128:     oldWidth = getWidth();
                    129:     oldHeight = getHeight();
                    130:     pack();
                    131:     // table.repaint();
                    132: 
                    133:   }
                    134:   /**
                    135:    * exports the current results to HTML
                    136:    * @param query that produced the result  
                    137:    * @return StringBuffer containing the HTML code
                    138:    */
                    139:   public StringBuffer exportQueryToHTML(String query)
                    140:   {
                    141:     if (query == "")
                    142:       query = title;
                    143:     StringBuffer buff = new StringBuffer();
                    144:     buff.append("<html>");
                    145:     buff.append("<head>");
                    146:     buff.append("<title>");
                    147:     buff.append(query);
                    148:     buff.append("</title>");
                    149:     buff.append("</head>");
                    150: 
                    151:     buff.append("<body>");
                    152:     buff.append("<center>");
                    153:     buff.append("<h3>");
                    154:     buff.append(query);
                    155:     buff.append("</h3>");
                    156:     buff.append(table.exportToHTML());
                    157:     buff.append("</body>");
                    158:     buff.append("</html>");
                    159:     return TableComponent.convertUml(buff);
                    160:   }
                    161:   /**
                    162:    * Actual write the result to a file( in HTML)
                    163:    */
                    164:   public String writeResult()
                    165:   {
                    166: 
                    167:     String name = "";
                    168:     try
                    169:     {
                    170:       NumberFormat nf = new DecimalFormat("0000");
                    171:       name = "./html/query" + nf.format(counter++) + ".html";
                    172:       FileWriter file = new FileWriter(new File(name));
                    173:       file.write(exportQueryToHTML(title).toString());
                    174:       file.close();
                    175:     } catch (Exception e)
                    176:     {
                    177:       System.out.println("Error while writing html\n" + e);
                    178:     }
                    179:     return name;
                    180:   }
                    181: }