View Javadoc

1   /*
2   Copyright (C) 2007 Dirk Huenniger
3   
4   This library is free software; you can redistribute it and/or
5   modify it under the terms of the GNU Lesser General Public
6   License as published by the Free Software Foundation; either
7   version 2.1 of the License, or (at your option) any later version.
8   
9   This library is distributed in the hope that it will be useful,
10  but WITHOUT ANY WARRANTY; without even the implied warranty of
11  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12  Lesser General Public License for more details.
13  
14  You should have received a copy of the GNU Lesser General Public
15  License along with this library; if not, write to the Free Software
16  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
17   */
18  
19  package org.indi.objects;
20  
21  /**
22   * a indi vector hosting some indi numbers
23   * 
24   * @author Dirk Hünniger
25   * 
26   */
27  public class NumberVector extends Vector<Number> {
28      /**
29       * 
30       */
31      private static final long serialVersionUID = 1L;
32  
33      /**
34       * class constructor
35       * 
36       * @param device
37       *                the name of the device this NumberVector is associated
38       *                with
39       * @param name
40       *                the name of this NumberVector
41       * @param timestamp
42       *                the timestamp to be transferred along with this
43       *                NumberVector.
44       */
45      public NumberVector(String device, String name, String timestamp) {
46  	super(device, name, timestamp);
47      }
48  
49      /**
50       * class constructor
51       * 
52       * @param device
53       *                the name of the device this NumberVector is associated
54       *                with
55       * @param name
56       *                the name of this NumberVector
57       * @param label
58       *                the label to be used for this NumberVector by a GUI
59       * @param group
60       *                the group this vector belongs to
61       * @param state
62       *                the State this vector is in
63       * @param permission
64       *                the permissions the user has to change the properties of
65       *                this vector
66       * @param timeout
67       *                the worst case time it takes for a property of this vector
68       *                to change
69       * @param timestamp
70       *                the timestamp to be sent along with this vector
71       * @param message
72       *                a message to be sent along with this vector
73       */
74      public NumberVector(String device, String name, String label, String group,
75  	    State state, Permission permission, double timeout,
76  	    String timestamp, String message) {
77  	super(device, name, label, group, state, permission, timeout,
78  		timestamp, message);
79      }
80  
81      /**
82       * class constructor
83       * 
84       * @param device
85       *                the name of the device this NumberVector is associated
86       *                with
87       * @param name
88       *                the name of this NumberVector
89       * @param label
90       *                the label to be used for this NumberVector by a GUI
91       * @param group
92       *                the group this vector belongs to
93       * @param state
94       *                the State this vector is in
95       * @param permission
96       *                the permissions the user has to change the properties of
97       *                this vector
98       * @param timeout
99       *                the worst case time it takes for a property of this vector
100      *                to change
101      */
102     public NumberVector(String device, String name, String label, String group,
103 	    State state, Permission permission, double timeout) {
104 	super(device, name, label, group, state, permission, timeout, null,
105 		null);
106     }
107 
108     /**
109      * class constructor
110      * 
111      * @param device
112      *                the name of the device this NumberVector is associated
113      *                with
114      * @param name
115      *                the name of this NumberVector
116      * @param timeout
117      *                the worst case time it takes for a property of this vector
118      *                to change
119      * @param timestamp
120      *                the timestamp to be sent along with this vector
121      * @param message
122      *                a message to be sent along with this vector
123      */
124     public NumberVector(String device, String name, State state,
125 	    double timeout, String timestamp, String message) {
126 	super(device, name, state, timeout, timestamp, message);
127     }
128 
129     @Override
130     protected String getType() {
131 	return "NumberVector";
132     }
133 }