deleted documentation

1 files changed, 0 insertions, 628 deletions

diff --git a/doc/js/searchdoc.js b/doc/js/searchdoc.js
deleted file mode 100755
index 06b278e..0000000
--- a/doc/js/searchdoc.js
+++ /dev/null
@@ -1,628 +0,0 @@
-Searchdoc = {};
-
-// navigation.js ------------------------------------------
-
-Searchdoc.Navigation = new function() {
-    this.initNavigation = function() {
-        var _this = this;
-        
-        $(document).keydown(function(e) {
-            _this.onkeydown(e);
-        }).keyup(function(e) {
-            _this.onkeyup(e);
-        });
-        
-        this.navigationActive = true;
-    }
-    
-    this.setNavigationActive = function(state) {
-        this.navigationActive = state;
-        this.clearMoveTimeout();
-    }
-
-
-    this.onkeyup = function(e) {
-        if (!this.navigationActive) return;
-        switch(e.keyCode) {
-            case 37: //Event.KEY_LEFT:
-            case 38: //Event.KEY_UP:
-            case 39: //Event.KEY_RIGHT:
-            case 40: //Event.KEY_DOWN:
-            case 73: // i - qwerty
-            case 74: // j
-            case 75: // k
-            case 76: // l
-            case 67: // c - dvorak
-            case 72: // h 
-            case 84: // t
-            case 78: // n
-                this.clearMoveTimeout();
-                break;
-            }
-    }
-
-    this.onkeydown = function(e) {
-        if (!this.navigationActive) return;
-        switch(e.keyCode) {
-            case 37: //Event.KEY_LEFT:
-            case 74: // j (qwerty)
-            case 72: // h (dvorak)
-                if (this.moveLeft()) e.preventDefault();
-                break;
-            case 38: //Event.KEY_UP:
-            case 73: // i (qwerty)
-            case 67: // c (dvorak)
-                if (e.keyCode == 38 || e.ctrlKey) {
-                    if (this.moveUp()) e.preventDefault();
-                    this.startMoveTimeout(false);
-                }
-                break;
-            case 39: //Event.KEY_RIGHT:
-            case 76: // l (qwerty)
-            case 78: // n (dvorak)
-                if (this.moveRight()) e.preventDefault();
-                break;
-            case 40: //Event.KEY_DOWN:
-            case 75: // k (qwerty)
-            case 84: // t (dvorak)
-                if (e.keyCode == 40 || e.ctrlKey) {
-                    if (this.moveDown()) e.preventDefault();
-                    this.startMoveTimeout(true);
-                }
-                break;
-            case 9: //Event.KEY_TAB:
-            case 13: //Event.KEY_RETURN:
-                if (this.$current) this.select(this.$current);
-                break;
-        }
-        if (e.ctrlKey && e.shiftKey) this.select(this.$current);
-    }
-
-    this.clearMoveTimeout = function() {
-        clearTimeout(this.moveTimeout); 
-        this.moveTimeout = null;
-    }
-
-    this.startMoveTimeout = function(isDown) {
-        if (!$.browser.mozilla && !$.browser.opera) return;
-        if (this.moveTimeout) this.clearMoveTimeout();
-        var _this = this;
-    
-        var go = function() {
-            if (!_this.moveTimeout) return;
-            _this[isDown ? 'moveDown' : 'moveUp']();
-            _this.moveTimout = setTimeout(go, 100);
-        }
-        this.moveTimeout = setTimeout(go, 200);
-    }    
-    
-    this.moveRight = function() {
-    }
-    
-    this.moveLeft = function() {
-    }
-
-    this.move = function(isDown) {
-    }
-
-    this.moveUp = function() {
-        return this.move(false);
-    }
-
-    this.moveDown = function() {
-        return this.move(true);
-    }    
-}
-
-
-// scrollIntoView.js --------------------------------------
-
-function scrollIntoView(element, view) {
-    var offset, viewHeight, viewScroll, height;
-    offset = element.offsetTop;
-    height = element.offsetHeight;
-    viewHeight = view.offsetHeight;
-    viewScroll = view.scrollTop;
-    if (offset - viewScroll + height > viewHeight) {
-        view.scrollTop = offset - viewHeight + height;
-    }
-    if (offset < viewScroll) {
-        view.scrollTop = offset;
-    }
-}
-
-
-// searcher.js --------------------------------------------
-
-Searchdoc.Searcher = function(data) {
-    this.data = data;
-    this.handlers = [];
-}
-
-Searchdoc.Searcher.prototype = new function() {
-    var CHUNK_SIZE = 1000, // search is performed in chunks of 1000 for non-bloking user input
-        MAX_RESULTS = 100, // do not try to find more than 100 results
-        huid = 1, suid = 1,
-        runs = 0;
-
-
-    this.find = function(query) {
-        var queries = splitQuery(query),
-            regexps = buildRegexps(queries),
-            highlighters = buildHilighters(queries),
-            state = { from: 0, pass: 0, limit: MAX_RESULTS, n: suid++},
-            _this = this;
-        this.currentSuid = state.n;
-    
-        if (!query) return;
-    
-        var run = function() {
-            // stop current search thread if new search started
-            if (state.n != _this.currentSuid) return;
-            
-            var results = performSearch(_this.data, regexps, queries, highlighters, state),
-                hasMore = (state.limit > 0 && state.pass < 3);
-                
-            triggerResults.call(_this, results, !hasMore);
-            if (hasMore) {
-                setTimeout(run, 2);
-            }
-            runs++;
-        };
-        runs = 0;
-        
-        // start search thread
-        run();
-    }
-
-    /*  ----- Events ------  */
-    this.ready = function(fn) {
-        fn.huid = huid;
-        this.handlers.push(fn);
-    }
-
-    /*  ----- Utilities ------  */
-    function splitQuery(query) {
-        return jQuery.grep(query.split(/(\s+|\(\)?)/), function(string) { return string.match(/\S/) });
-    }
-
-    function buildRegexps(queries) {
-        return jQuery.map(queries, function(query) { return new RegExp(query.replace(/(.)/g, '([$1])([^$1]*?)'), 'i') });
-    }
-
-    function buildHilighters(queries) {
-        return jQuery.map(queries, function(query) {
-            return jQuery.map( query.split(''), function(l, i){ return '\u0001$' + (i*2+1) + '\u0002$' + (i*2+2) } ).join('')
-        });
-    }
-
-    // function longMatchRegexp(index, longIndex, regexps) {
-    //     for (var i = regexps.length - 1; i >= 0; i--){
-    //         if (!index.match(regexps[i]) && !longIndex.match(regexps[i])) return false;
-    //     };
-    //     return true;
-    // }
-    
-    
-    /*  ----- Mathchers ------  */
-    function matchPass1(index, longIndex, queries, regexps) {
-        if (index.indexOf(queries[0]) != 0) return false;
-        for (var i=1, l = regexps.length; i < l; i++) {
-            if (!index.match(regexps[i]) && !longIndex.match(regexps[i])) return false;
-        };
-        return true;
-    }
-
-    function matchPass2(index, longIndex, queries, regexps) {
-        if (index.indexOf(queries[0]) == -1) return false;
-        for (var i=1, l = regexps.length; i < l; i++) {
-            if (!index.match(regexps[i]) && !longIndex.match(regexps[i])) return false;
-        };
-        return true;
-    }
-    
-    function matchPassRegexp(index, longIndex, queries, regexps) {
-        if (!index.match(regexps[0])) return false;
-        for (var i=1, l = regexps.length; i < l; i++) {
-            if (!index.match(regexps[i]) && !longIndex.match(regexps[i])) return false;
-        };
-        return true;
-    }
-
-
-    /*  ----- Highlighters ------  */
-    function highlightRegexp(info, queries, regexps, highlighters) {
-        var result = createResult(info);
-        for (var i=0, l = regexps.length; i < l; i++) {
-            result.title = result.title.replace(regexps[i], highlighters[i]);
-            if (i > 0)
-                result.namespace = result.namespace.replace(regexps[i], highlighters[i]);
-        };
-        return result;
-    }
-    
-    function hltSubstring(string, pos, length) {
-        return string.substring(0, pos) + '\u0001' + string.substring(pos, pos + length) + '\u0002' + string.substring(pos + length);
-    }
-    
-    function highlightQuery(info, queries, regexps, highlighters) {
-        var result = createResult(info), pos = 0, lcTitle = result.title.toLowerCase();
-        pos = lcTitle.indexOf(queries[0]);
-        if (pos != -1) {
-            result.title = hltSubstring(result.title, pos, queries[0].length);
-        }
-        for (var i=1, l = regexps.length; i < l; i++) {
-            result.title = result.title.replace(regexps[i], highlighters[i]);
-            result.namespace = result.namespace.replace(regexps[i], highlighters[i]);
-        };
-        return result;
-    }
-
-    function createResult(info) {
-        var result = {};
-        result.title = info[0];
-        result.namespace = info[1];
-        result.path = info[2];
-        result.params = info[3];
-        result.snippet = info[4];
-        result.badge = info[6];
-        return result;
-    }
-
-    /*  ----- Searching ------  */
-    function performSearch(data, regexps, queries, highlighters, state) {
-        var searchIndex = data.searchIndex, // search by title first and then by source
-            longSearchIndex = data.longSearchIndex,
-            info = data.info,
-            result = [],
-            i = state.from, 
-            l = searchIndex.length,
-            togo = CHUNK_SIZE,
-            matchFunc, hltFunc;
-            
-        while (state.pass < 3 && state.limit > 0 && togo > 0) {
-            if (state.pass == 0) {
-                matchFunc = matchPass1;
-                hltFunc = highlightQuery;
-            } else if (state.pass == 1) {
-                matchFunc = matchPass2;
-                hltFunc = highlightQuery;
-            } else if (state.pass == 2) {
-                matchFunc = matchPassRegexp;
-                hltFunc = highlightRegexp;
-            }
-            
-            for (; togo > 0 && i < l && state.limit > 0; i++, togo--) {
-                if (info[i].n == state.n) continue;
-                if (matchFunc(searchIndex[i], longSearchIndex[i], queries, regexps)) {
-                    info[i].n = state.n;
-                    result.push(hltFunc(info[i], queries, regexps, highlighters));
-                    state.limit--;
-                }
-            };
-            if (searchIndex.length <= i) {
-                state.pass++;
-                i = state.from = 0;
-            } else {
-                state.from = i;
-            }
-        }
-        return result;
-    }
-    
-    function triggerResults(results, isLast) {
-        jQuery.each(this.handlers, function(i, fn) { fn.call(this, results, isLast) })
-    }
-}    
-
-
-
-
-// panel.js -----------------------------------------------
-
-Searchdoc.Panel = function(element, data, tree, frame) {
-    this.$element = $(element);
-    this.$input = $('input', element).eq(0);
-    this.$result = $('.result ul', element).eq(0);
-    this.frame = frame;
-    this.$current = null;
-    this.$view = this.$result.parent();
-    this.data = data;
-    this.searcher = new Searchdoc.Searcher(data.index);
-    this.tree = new Searchdoc.Tree($('.tree', element), tree, this);
-    this.init();
-}
-
-Searchdoc.Panel.prototype = $.extend({}, Searchdoc.Navigation, new function() {
-    var suid = 1;
-
-    this.init = function() {
-        var _this = this;
-        var observer = function() {
-            _this.search(_this.$input[0].value);
-        };
-        this.$input.keyup(observer);
-        this.$input.click(observer); // mac's clear field
-    
-        this.searcher.ready(function(results, isLast) {
-            _this.addResults(results, isLast);
-        })
-    
-        this.$result.click(function(e) {
-            _this.$current.removeClass('current');
-            _this.$current = $(e.target).closest('li').addClass('current');
-            _this.select();
-            _this.$input.focus();
-        });
-        
-        this.initNavigation();
-        this.setNavigationActive(false);
-    }
-
-    this.search = function(value, selectFirstMatch) {
-        value = jQuery.trim(value).toLowerCase();
-        this.selectFirstMatch = selectFirstMatch;
-        if (value) {
-            this.$element.removeClass('panel_tree').addClass('panel_results');
-            this.tree.setNavigationActive(false);
-            this.setNavigationActive(true);
-        } else {
-            this.$element.addClass('panel_tree').removeClass('panel_results');
-            this.tree.setNavigationActive(true);
-            this.setNavigationActive(false);
-        }
-        if (value != this.lastQuery) {
-            this.lastQuery = value;
-            this.firstRun = true;
-            this.searcher.find(value);
-        }
-    }
-
-    this.addResults = function(results, isLast) {
-        var target = this.$result.get(0);
-        if (this.firstRun && (results.length > 0 || isLast)) {
-            this.$current = null;
-            this.$result.empty();
-        }
-        for (var i=0, l = results.length; i < l; i++) {
-            target.appendChild(renderItem.call(this, results[i]));
-        };
-        if (this.firstRun && results.length > 0) {
-            this.firstRun = false;
-            this.$current = $(target.firstChild);
-            this.$current.addClass('current');
-            if (this.selectFirstMatch) this.select();
-            scrollIntoView(this.$current[0], this.$view[0])
-        }
-        if (jQuery.browser.msie) this.$element[0].className += '';
-    }
-
-    this.open = function(src) {
-        this.frame.location.href = '../' + src;
-        if (this.frame.highlight) this.frame.highlight(src);
-    }
-
-    this.select = function() {
-        this.open(this.$current.data('path'));
-    }
-
-    this.move = function(isDown) {
-        if (!this.$current) return;
-        var $next = this.$current[isDown ? 'next' : 'prev']();
-        if ($next.length) {
-            this.$current.removeClass('current');
-            $next.addClass('current');
-            scrollIntoView($next[0], this.$view[0]);
-            this.$current = $next;
-        }
-        return true;
-    }
-
-    function renderItem(result) {
-        var li = document.createElement('li'),
-            html = '', badge = result.badge;
-        html += '<h1>' + hlt(result.title);
-        if (result.params) html += '<i>' + result.params + '</i>';
-        html += '</h1>';
-        html += '<p>';
-        if (typeof badge != 'undefined') {
-            html += '<span class="badge badge_' + (badge % 6 + 1) + '">' + escapeHTML(this.data.badges[badge] || 'unknown') + '</span>';
-        }
-        html += hlt(result.namespace) + '</p>';
-        if (result.snippet) html += '<p class="snippet">' + escapeHTML(result.snippet) + '</p>';
-        li.innerHTML = html;
-        jQuery.data(li, 'path', result.path);
-        return li;
-    }
-
-    function hlt(html) {
-        return escapeHTML(html).replace(/\u0001/g, '<b>').replace(/\u0002/g, '</b>')
-    }
-
-    function escapeHTML(html) {
-        return html.replace(/[&<>]/g, function(c) {
-            return '&#' + c.charCodeAt(0) + ';';
-        });
-    }
-
-}); 
-
-// tree.js ------------------------------------------------
-
-Searchdoc.Tree = function(element, tree, panel) {
-    this.$element = $(element);
-    this.$list = $('ul', element);
-    this.tree = tree;
-    this.panel = panel;
-    this.init();
-}
-
-Searchdoc.Tree.prototype = $.extend({}, Searchdoc.Navigation, new function() {
-    this.init = function() {
-        var stopper = document.createElement('li');
-        stopper.className = 'stopper';
-        this.$list[0].appendChild(stopper);
-        for (var i=0, l = this.tree.length; i < l; i++) {
-            buildAndAppendItem.call(this, this.tree[i], 0, stopper);
-        };
-        var _this = this;
-        this.$list.click(function(e) {
-            var $target = $(e.target),
-                $li = $target.closest('li');
-            if ($target.hasClass('icon')) {
-                _this.toggle($li);
-            } else {
-                _this.select($li);
-            }
-        })
-        
-        this.initNavigation();
-        if (jQuery.browser.msie) document.body.className += '';
-    }
-
-    this.select = function($li) {
-        this.highlight($li);
-        var path = $li[0].searchdoc_tree_data.path;
-        if (path) this.panel.open(path);
-    }
-    
-    this.highlight = function($li) {
-        if (this.$current) this.$current.removeClass('current');
-        this.$current = $li.addClass('current');
-    }
-
-    this.toggle = function($li) {
-        var closed = !$li.hasClass('closed'),
-            children = $li[0].searchdoc_tree_data.children;
-        $li.toggleClass('closed');
-        for (var i=0, l = children.length; i < l; i++) {
-            toggleVis.call(this, $(children[i].li), !closed);
-        };
-    }
-
-    this.moveRight = function() {
-        if (!this.$current) {
-            this.highlight(this.$list.find('li:first'));
-            return;
-        }
-        if (this.$current.hasClass('closed')) {
-            this.toggle(this.$current);
-        }
-    }
-    
-    this.moveLeft = function() {
-        if (!this.$current) {
-            this.highlight(this.$list.find('li:first'));
-            return;
-        }
-        if (!this.$current.hasClass('closed')) {
-            this.toggle(this.$current);
-        } else {
-            var level = this.$current[0].searchdoc_tree_data.level;
-            if (level == 0) return;
-            var $next = this.$current.prevAll('li.level_' + (level - 1) + ':visible:first');
-            this.$current.removeClass('current');
-            $next.addClass('current');
-            scrollIntoView($next[0], this.$element[0]);
-            this.$current = $next;
-        }
-    }
-
-    this.move = function(isDown) {
-        if (!this.$current) {
-            this.highlight(this.$list.find('li:first'));
-            return true;
-        }        
-        var next = this.$current[0];
-        if (isDown) {
-            do {
-                next = next.nextSibling;
-                if (next && next.style && next.style.display != 'none') break;
-            } while(next);
-        } else {
-            do {
-                next = next.previousSibling;
-                if (next && next.style && next.style.display != 'none') break;
-            } while(next);
-        }
-        if (next && next.className.indexOf('stopper') == -1) {
-            this.$current.removeClass('current');
-            $(next).addClass('current');
-            scrollIntoView(next, this.$element[0]);
-            this.$current = $(next);
-        }
-        return true;
-    }
-
-    function toggleVis($li, show) {
-        var closed = $li.hasClass('closed'),
-            children = $li[0].searchdoc_tree_data.children;
-        $li.css('display', show ? '' : 'none')
-        if (!show && this.$current && $li[0] == this.$current[0]) {
-            this.$current.removeClass('current');
-            this.$current = null;
-        }
-        for (var i=0, l = children.length; i < l; i++) {
-            toggleVis.call(this, $(children[i].li), show && !closed);
-        };
-    }
-
-    function buildAndAppendItem(item, level, before) {
-        var li   = renderItem(item, level),
-            list = this.$list[0];
-        item.li = li;
-        list.insertBefore(li, before);
-        for (var i=0, l = item[3].length; i < l; i++) {
-            buildAndAppendItem.call(this, item[3][i], level + 1, before);
-        };
-        return li;
-    }
-
-    function renderItem(item, level) {
-        var li = document.createElement('li'),
-            cnt = document.createElement('div'),
-            h1 = document.createElement('h1'),
-            p = document.createElement('p'),
-            icon, i;
-        
-        li.appendChild(cnt);
-        li.style.paddingLeft = getOffset(level);
-        cnt.className = 'content';
-        if (!item[1]) li.className  = 'empty ';
-        cnt.appendChild(h1);
-        // cnt.appendChild(p);
-        h1.appendChild(document.createTextNode(item[0]));
-        // p.appendChild(document.createTextNode(item[4]));
-        if (item[2]) {
-            i = document.createElement('i');
-            i.appendChild(document.createTextNode(item[2]));
-            h1.appendChild(i);
-        }
-        if (item[3].length > 0) {
-            icon = document.createElement('div');
-            icon.className = 'icon';
-            cnt.appendChild(icon);
-        }
-        
-        // user direct assignement instead of $()
-        // it's 8x faster
-        // $(li).data('path', item[1])
-        //     .data('children', item[3])
-        //     .data('level', level)
-        //     .css('display', level == 0 ? '' : 'none')
-        //     .addClass('level_' + level)
-        //     .addClass('closed');
-        li.searchdoc_tree_data = {
-            path: item[1],
-            children: item[3],
-            level: level
-        }
-        li.style.display = level == 0 ? '' : 'none';
-        li.className += 'level_' + level + ' closed';
-        return li;
-    }
-
-    function getOffset(level) {
-        return 5 + 18*level + 'px';
-    }
-});