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.task;
25  
26  import javax.swing.table.*;
27  import java.util.*;
28  import zeus.concepts.fn.*;
29  
30  
31  public class ConstraintsModel  extends AbstractTableModel {
32  
33        private final int CONSTRAINT = 0;
34  
35        private String columnName = "Constraint";
36        private LogicalFn[]   data ;
37  //------------------------------------------------------------------------------
38        public ConstraintsModel(){
39            this.data = null;
40        }
41  //------------------------------------------------------------------------------
42         public int getRowCount() {
43            if (data == null)
44             return 0;
45            else
46             return data.length;
47         }
48  //------------------------------------------------------------------------------
49         public int getColumnCount(){
50             return 1;
51         }
52  //------------------------------------------------------------------------------
53         public Object getValueAt(int row, int col) {
54               LogicalFn aValue = data[row];
55  
56               if (col == CONSTRAINT)
57                return aValue.toString();
58               else
59                return new String("Error in Constraint Model");
60  
61         }
62  //------------------------------------------------------------------------------
63         public String getColumnName(int col) {
64              return  columnName;
65         }
66  //------------------------------------------------------------------------------
67         public void setConstraints(LogicalFn[] data){
68              this.data = data;
69              fireTableDataChanged();
70         }
71  //------------------------------------------------------------------------------
72  
73  }