99 |
Version that = (Version) other; |
Version that = (Version) other; |
100 |
return same(that); |
return same(that); |
101 |
} |
} |
102 |
|
|
103 |
|
/** |
104 |
|
* Get the hashcode, higher 8 bits being the major version and lower 8 bits |
105 |
|
* the minor version. |
106 |
|
*/ |
107 |
|
public int hashCode() |
108 |
|
{ |
109 |
|
return major << 8 | minor; |
110 |
|
} |
111 |
|
|
112 |
/** |
/** |
113 |
* Read from the input stream, major number first. |
* Read from the input stream, major number first. |
212 |
throw new MARSHAL("IOException while writing message header"); |
throw new MARSHAL("IOException while writing message header"); |
213 |
} |
} |
214 |
} |
} |
215 |
|
|
216 |
} |
} |