blob: 1f06487c91805d378c6865a7dc5859c0a6840b4c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
// **********************************************************************
//
// Copyright (c) 2003-2010 ZeroC, Inc. All rights reserved.
//
// This copy of Ice is licensed to you under the terms described in the
// ICE_LICENSE file included in this distribution.
//
// **********************************************************************
package IceInternal;
public class DictionaryPatcher<K, V> implements Patcher, Ice.ReadObjectCallback
{
public
DictionaryPatcher(java.util.Map<K, V> dict, Class<V> cls, String type, K key)
{
_dict = dict;
_cls = cls;
_type = type;
_key = key;
}
public void
patch(Ice.Object v)
{
if(v != null)
{
//
// Raise ClassCastException if the element doesn't match the expected type.
//
if(!_cls.isInstance(v))
{
throw new ClassCastException("expected element of type " + _cls.getName() + " but received " +
v.getClass().getName());
}
}
_dict.put(_key, _cls.cast(v));
}
public String
type()
{
return _type;
}
public void
invoke(Ice.Object v)
{
patch(v);
}
private java.util.Map<K, V> _dict;
private Class<V> _cls;
private String _type;
private K _key;
}
|