jdk/src/share/classes/java/sql/Time.java
author chegar
Tue, 12 May 2009 16:32:34 +0100
changeset 3450 2f08a8bb9b83
parent 2 90ce3da70b43
child 5506 202f599c92aa
permissions -rw-r--r--
6801071: Remote sites can compromise user privacy and possibly hijack web sessions Reviewed-by: jccollet, hawtin
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
/*
90ce3da70b43 Initial load
duke
parents:
diff changeset
     2
 * Copyright 1996-2004 Sun Microsystems, Inc.  All Rights Reserved.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
90ce3da70b43 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Sun designates this
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
90ce3da70b43 Initial load
duke
parents:
diff changeset
     9
 * by Sun in the LICENSE file that accompanied this code.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
90ce3da70b43 Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
90ce3da70b43 Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
90ce3da70b43 Initial load
duke
parents:
diff changeset
    16
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
90ce3da70b43 Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    20
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    21
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    22
 * CA 95054 USA or visit www.sun.com if you need additional information or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    23
 * have any questions.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    24
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    25
90ce3da70b43 Initial load
duke
parents:
diff changeset
    26
package java.sql;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    27
90ce3da70b43 Initial load
duke
parents:
diff changeset
    28
/**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    29
 * <P>A thin wrapper around the <code>java.util.Date</code> class that allows the JDBC
90ce3da70b43 Initial load
duke
parents:
diff changeset
    30
 * API to identify this as an SQL <code>TIME</code> value. The <code>Time</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    31
 * class adds formatting and
90ce3da70b43 Initial load
duke
parents:
diff changeset
    32
 * parsing operations to support the JDBC escape syntax for time
90ce3da70b43 Initial load
duke
parents:
diff changeset
    33
 * values.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    34
 * <p>The date components should be set to the "zero epoch"
90ce3da70b43 Initial load
duke
parents:
diff changeset
    35
 * value of January 1, 1970 and should not be accessed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    36
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    37
public class Time extends java.util.Date {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    38
90ce3da70b43 Initial load
duke
parents:
diff changeset
    39
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    40
     * Constructs a <code>Time</code> object initialized with the
90ce3da70b43 Initial load
duke
parents:
diff changeset
    41
     * given values for the hour, minute, and second.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    42
     * The driver sets the date components to January 1, 1970.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    43
     * Any method that attempts to access the date components of a
90ce3da70b43 Initial load
duke
parents:
diff changeset
    44
     * <code>Time</code> object will throw a
90ce3da70b43 Initial load
duke
parents:
diff changeset
    45
     * <code>java.lang.IllegalArgumentException</code>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    46
     * <P>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    47
     * The result is undefined if a given argument is out of bounds.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    48
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    49
     * @param hour 0 to 23
90ce3da70b43 Initial load
duke
parents:
diff changeset
    50
     * @param minute 0 to 59
90ce3da70b43 Initial load
duke
parents:
diff changeset
    51
     * @param second 0 to 59
90ce3da70b43 Initial load
duke
parents:
diff changeset
    52
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    53
     * @deprecated Use the constructor that takes a milliseconds value
90ce3da70b43 Initial load
duke
parents:
diff changeset
    54
     *             in place of this constructor
90ce3da70b43 Initial load
duke
parents:
diff changeset
    55
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    56
    @Deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
    57
    public Time(int hour, int minute, int second) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    58
        super(70, 0, 1, hour, minute, second);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    59
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    60
90ce3da70b43 Initial load
duke
parents:
diff changeset
    61
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    62
     * Constructs a <code>Time</code> object using a milliseconds time value.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    63
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    64
     * @param time milliseconds since January 1, 1970, 00:00:00 GMT;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    65
     *             a negative number is milliseconds before
90ce3da70b43 Initial load
duke
parents:
diff changeset
    66
     *               January 1, 1970, 00:00:00 GMT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    67
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    68
    public Time(long time) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    69
        super(time);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    70
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    71
90ce3da70b43 Initial load
duke
parents:
diff changeset
    72
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    73
     * Sets a <code>Time</code> object using a milliseconds time value.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    74
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    75
     * @param time milliseconds since January 1, 1970, 00:00:00 GMT;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    76
     *             a negative number is milliseconds before
90ce3da70b43 Initial load
duke
parents:
diff changeset
    77
     *               January 1, 1970, 00:00:00 GMT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    78
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    79
    public void setTime(long time) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    80
        super.setTime(time);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    81
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    82
90ce3da70b43 Initial load
duke
parents:
diff changeset
    83
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    84
     * Converts a string in JDBC time escape format to a <code>Time</code> value.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    85
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    86
     * @param s time in format "hh:mm:ss"
90ce3da70b43 Initial load
duke
parents:
diff changeset
    87
     * @return a corresponding <code>Time</code> object
90ce3da70b43 Initial load
duke
parents:
diff changeset
    88
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    89
    public static Time valueOf(String s) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    90
        int hour;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    91
        int minute;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    92
        int second;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    93
        int firstColon;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    94
        int secondColon;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    95
90ce3da70b43 Initial load
duke
parents:
diff changeset
    96
        if (s == null) throw new java.lang.IllegalArgumentException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    97
90ce3da70b43 Initial load
duke
parents:
diff changeset
    98
        firstColon = s.indexOf(':');
90ce3da70b43 Initial load
duke
parents:
diff changeset
    99
        secondColon = s.indexOf(':', firstColon+1);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   100
        if ((firstColon > 0) & (secondColon > 0) &
90ce3da70b43 Initial load
duke
parents:
diff changeset
   101
            (secondColon < s.length()-1)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   102
            hour = Integer.parseInt(s.substring(0, firstColon));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   103
            minute =
90ce3da70b43 Initial load
duke
parents:
diff changeset
   104
                Integer.parseInt(s.substring(firstColon+1, secondColon));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   105
            second = Integer.parseInt(s.substring(secondColon+1));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   106
        } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   107
            throw new java.lang.IllegalArgumentException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   108
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   109
90ce3da70b43 Initial load
duke
parents:
diff changeset
   110
        return new Time(hour, minute, second);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   111
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   112
90ce3da70b43 Initial load
duke
parents:
diff changeset
   113
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   114
     * Formats a time in JDBC time escape format.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   115
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   116
     * @return a <code>String</code> in hh:mm:ss format
90ce3da70b43 Initial load
duke
parents:
diff changeset
   117
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   118
    public String toString () {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   119
        int hour = super.getHours();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   120
        int minute = super.getMinutes();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   121
        int second = super.getSeconds();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   122
        String hourString;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   123
        String minuteString;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   124
        String secondString;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   125
90ce3da70b43 Initial load
duke
parents:
diff changeset
   126
        if (hour < 10) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   127
            hourString = "0" + hour;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   128
        } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   129
            hourString = Integer.toString(hour);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   130
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   131
        if (minute < 10) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   132
            minuteString = "0" + minute;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   133
        } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   134
            minuteString = Integer.toString(minute);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   135
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   136
        if (second < 10) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   137
            secondString = "0" + second;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   138
        } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   139
            secondString = Integer.toString(second);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   140
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   141
        return (hourString + ":" + minuteString + ":" + secondString);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   142
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   143
90ce3da70b43 Initial load
duke
parents:
diff changeset
   144
    // Override all the date operations inherited from java.util.Date;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   145
90ce3da70b43 Initial load
duke
parents:
diff changeset
   146
   /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   147
    * This method is deprecated and should not be used because SQL <code>TIME</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   148
    * values do not have a year component.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   149
    *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   150
    * @deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   151
    * @exception java.lang.IllegalArgumentException if this
90ce3da70b43 Initial load
duke
parents:
diff changeset
   152
    *           method is invoked
90ce3da70b43 Initial load
duke
parents:
diff changeset
   153
    * @see #setYear
90ce3da70b43 Initial load
duke
parents:
diff changeset
   154
    */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   155
    @Deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   156
    public int getYear() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   157
        throw new java.lang.IllegalArgumentException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   158
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   159
90ce3da70b43 Initial load
duke
parents:
diff changeset
   160
   /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   161
    * This method is deprecated and should not be used because SQL <code>TIME</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   162
    * values do not have a month component.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   163
    *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   164
    * @deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   165
    * @exception java.lang.IllegalArgumentException if this
90ce3da70b43 Initial load
duke
parents:
diff changeset
   166
    *           method is invoked
90ce3da70b43 Initial load
duke
parents:
diff changeset
   167
    * @see #setMonth
90ce3da70b43 Initial load
duke
parents:
diff changeset
   168
    */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   169
    @Deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   170
    public int getMonth() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   171
        throw new java.lang.IllegalArgumentException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   172
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   173
90ce3da70b43 Initial load
duke
parents:
diff changeset
   174
   /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   175
    * This method is deprecated and should not be used because SQL <code>TIME</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   176
    * values do not have a day component.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   177
    *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   178
    * @deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   179
    * @exception java.lang.IllegalArgumentException if this
90ce3da70b43 Initial load
duke
parents:
diff changeset
   180
    *           method is invoked
90ce3da70b43 Initial load
duke
parents:
diff changeset
   181
    */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   182
    @Deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   183
    public int getDay() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   184
        throw new java.lang.IllegalArgumentException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   185
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   186
90ce3da70b43 Initial load
duke
parents:
diff changeset
   187
   /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   188
    * This method is deprecated and should not be used because SQL <code>TIME</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   189
    * values do not have a date component.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   190
    *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   191
    * @deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   192
    * @exception java.lang.IllegalArgumentException if this
90ce3da70b43 Initial load
duke
parents:
diff changeset
   193
    *           method is invoked
90ce3da70b43 Initial load
duke
parents:
diff changeset
   194
    * @see #setDate
90ce3da70b43 Initial load
duke
parents:
diff changeset
   195
    */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   196
    @Deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   197
    public int getDate() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   198
        throw new java.lang.IllegalArgumentException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   199
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   200
90ce3da70b43 Initial load
duke
parents:
diff changeset
   201
   /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   202
    * This method is deprecated and should not be used because SQL <code>TIME</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   203
    * values do not have a year component.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   204
    *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   205
    * @deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   206
    * @exception java.lang.IllegalArgumentException if this
90ce3da70b43 Initial load
duke
parents:
diff changeset
   207
    *           method is invoked
90ce3da70b43 Initial load
duke
parents:
diff changeset
   208
    * @see #getYear
90ce3da70b43 Initial load
duke
parents:
diff changeset
   209
    */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   210
    @Deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   211
    public void setYear(int i) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   212
        throw new java.lang.IllegalArgumentException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   213
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   214
90ce3da70b43 Initial load
duke
parents:
diff changeset
   215
   /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   216
    * This method is deprecated and should not be used because SQL <code>TIME</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   217
    * values do not have a month component.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   218
    *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   219
    * @deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   220
    * @exception java.lang.IllegalArgumentException if this
90ce3da70b43 Initial load
duke
parents:
diff changeset
   221
    *           method is invoked
90ce3da70b43 Initial load
duke
parents:
diff changeset
   222
    * @see #getMonth
90ce3da70b43 Initial load
duke
parents:
diff changeset
   223
    */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   224
    @Deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   225
    public void setMonth(int i) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   226
        throw new java.lang.IllegalArgumentException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   227
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   228
90ce3da70b43 Initial load
duke
parents:
diff changeset
   229
   /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   230
    * This method is deprecated and should not be used because SQL <code>TIME</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   231
    * values do not have a date component.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   232
    *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   233
    * @deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   234
    * @exception java.lang.IllegalArgumentException if this
90ce3da70b43 Initial load
duke
parents:
diff changeset
   235
    *           method is invoked
90ce3da70b43 Initial load
duke
parents:
diff changeset
   236
    * @see #getDate
90ce3da70b43 Initial load
duke
parents:
diff changeset
   237
    */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   238
    @Deprecated
90ce3da70b43 Initial load
duke
parents:
diff changeset
   239
    public void setDate(int i) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   240
        throw new java.lang.IllegalArgumentException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   241
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   242
90ce3da70b43 Initial load
duke
parents:
diff changeset
   243
   /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   244
    * Private serial version unique ID to ensure serialization
90ce3da70b43 Initial load
duke
parents:
diff changeset
   245
    * compatibility.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   246
    */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   247
    static final long serialVersionUID = 8397324403548013681L;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   248
}