View Javadoc

1   /*
2   * The contents of this file are subject to the BT "ZEUS" Open Source 
3   * Licence (L77741), Version 1.0 (the "Licence"); you may not use this file 
4   * except in compliance with the Licence. You may obtain a copy of the Licence
5   * from $ZEUS_INSTALL/licence.html or alternatively from
6   * http://www.labs.bt.com/projects/agents/zeus/licence.htm
7   * 
8   * Except as stated in Clause 7 of the Licence, software distributed under the
9   * Licence is distributed WITHOUT WARRANTY OF ANY KIND, either express or 
10  * implied. See the Licence for the specific language governing rights and 
11  * limitations under the Licence.
12  * 
13  * The Original Code is within the package zeus.*.
14  * The Initial Developer of the Original Code is British Telecommunications
15  * public limited company, whose registered office is at 81 Newgate Street, 
16  * London, EC1A 7AJ, England. Portions created by British Telecommunications 
17  * public limited company are Copyright 1996-9. All Rights Reserved.
18  * 
19  * THIS NOTICE MUST BE INCLUDED ON ANY COPY OF THIS FILE
20  */
21  
22  
23  
24  package zeus.agentviewer.rete;
25  
26  
27  import javax.swing.*;
28  import java.awt.*;
29  import java.awt.event.*;
30  import java.util.*;
31  
32  import zeus.agentviewer.*;
33  import zeus.util.*;
34  
35  public class ReteEngineUI extends ZeusInternalFrame {
36     final int TOP_PANE_MIN_HEIGHT = 120;
37     final int TOP_PANE_MIN_WIDTH = 500;
38     final int BOTTOM_PANE_MIN_WIDTH = 50;
39     final int BOTTOM_PANE_MIN_HEIGHT = 50;
40  
41     static int NUMBER_DISPLAYED = 0;
42  
43     protected ReteEngineDataModel engineBuffer;
44     protected JTextArea  textarea;
45  
46     public ReteEngineUI(InternalFramesPanel deskTop,
47                         ReteEngineDataModel engineBuffer) 
48     {
49        super("Rule Engine",true,true,true,true);
50        setTitle("Rule Engine:" + (++NUMBER_DISPLAYED));
51        String sep = System.getProperty("file.separator");
52        String gifpath = SystemProps.getProperty("gif.dir") + "agentviewer" + sep;
53        ImageIcon icon = new ImageIcon(gifpath + ViewerNames.RETE_ENG_IMG);
54        setFrameIcon(icon);
55  
56        this.engineBuffer = engineBuffer;
57        buildUI();
58        deskTop.addInternalFrame(this);
59        setVisible(true);
60     }
61  
62     private void buildUI(){
63        textarea = new JTextArea(engineBuffer,null,40,80);
64        JScrollPane scrollpane = new JScrollPane(textarea);
65        scrollpane.setPreferredSize(
66           new Dimension(TOP_PANE_MIN_WIDTH, TOP_PANE_MIN_HEIGHT)
67        );
68        textarea.setEditable(false);
69        JPanel contentPane = (JPanel)getContentPane();
70        contentPane.setLayout(new BorderLayout());
71        contentPane.add(BorderLayout.CENTER,scrollpane);
72        pack();
73     }
74  
75     void reSize(){
76        setSize(getWidth()-2,getHeight());
77        setSize(getWidth()+2,getHeight());
78     }
79  }