summaryrefslogtreecommitdiff
path: root/js/src/Ice/RouterManager.js
blob: 74156908bddc947904691f217111f17b4d33a2d6 (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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
// **********************************************************************
//
// Copyright (c) 2003-2014 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.
//
// **********************************************************************

(function(global){
    require("Ice/Class");
    require("Ice/HashMap");
    require("Ice/RouterInfo");
    require("Ice/Router");
    
    var Ice = global.Ice || {};
    
    var HashMap = Ice.HashMap;
    var RouterInfo = Ice.RouterInfo;
    var RouterPrx = Ice.RouterPrx;

    var RouterManager = Ice.Class({
        __init__: function()
        {
            this._table = new HashMap(); // Map<Ice.RouterPrx, RouterInfo>
            this._table.keyComparator = HashMap.compareEquals;
        },
        destroy: function()
        {
            for(var e = this._table.entries; e !== null; e = e.next)
            {
                e.value.destroy();
            }
            this._table.clear();
        },
        //
        // Returns router info for a given router. Automatically creates
        // the router info if it doesn't exist yet.
        //
        find: function(rtr)
        {
            if(rtr === null)
            {
                return null;
            }

            //
            // The router cannot be routed.
            //
            var router = RouterPrx.uncheckedCast(rtr.ice_router(null));

            var info = this._table.get(router);
            if(info === undefined)
            {
                info = new RouterInfo(router);
                this._table.set(router, info);
            }

            return info;
        },
        erase: function(rtr)
        {
            var info = null;
            if(rtr !== null)
            {
                // The router cannot be routed.
                var router = RouterPrx.uncheckedCast(rtr.ice_router(null));

                info = this._table.get(router);
                this._table.delete(router);
            }
            return info;
        }
    });
    Ice.RouterManager = RouterManager;
    global.Ice = Ice;
}(typeof (global) === "undefined" ? window : global));