blob: 8db22b31fa40c2127e81b3001e7ddd8058dc1f24 (
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
|
// **********************************************************************
//
// Copyright (c) 2001
// Mutable Realms, Inc.
// Huntsville, AL, USA
//
// All Rights Reserved
//
// **********************************************************************
package IceInternal;
public final class RouterManager
{
RouterManager()
{
}
synchronized void
destroy()
{
_table.clear();
}
//
// Returns router info for a given router. Automatically creates
// the router info if it doesn't exist yet.
//
public RouterInfo
get(Ice.RouterPrx rtr)
{
if(rtr == null)
{
return null;
}
Ice.RouterPrx router = Ice.RouterPrxHelper.uncheckedCast(rtr.ice_router(null)); // The router cannot be routed.
synchronized (this)
{
RouterInfo info = (RouterInfo)_table.get(router);
if(info == null)
{
info = new RouterInfo(router);
_table.put(router, info);
}
return info;
}
}
private java.util.HashMap _table = new java.util.HashMap();
}
|