about summary refs log tree commit diff
path: root/docs/tool/JavaScript
diff options
context:
space:
mode:
Diffstat (limited to 'docs/tool/JavaScript')
-rw-r--r--docs/tool/JavaScript/NaturalDocs.js836
1 files changed, 836 insertions, 0 deletions
diff --git a/docs/tool/JavaScript/NaturalDocs.js b/docs/tool/JavaScript/NaturalDocs.js
new file mode 100644
index 00000000..efcdca96
--- /dev/null
+++ b/docs/tool/JavaScript/NaturalDocs.js
@@ -0,0 +1,836 @@
+// This file is part of Natural Docs, which is Copyright (C) 2003-2008 Greg Valure

+// Natural Docs is licensed under the GPL

+

+

+//

+//  Browser Styles

+// ____________________________________________________________________________

+

+var agt=navigator.userAgent.toLowerCase();

+var browserType;

+var browserVer;

+

+if (agt.indexOf("opera") != -1)

+    {

+    browserType = "Opera";

+

+    if (agt.indexOf("opera 7") != -1 || agt.indexOf("opera/7") != -1)

+        {  browserVer = "Opera7";  }

+    else if (agt.indexOf("opera 8") != -1 || agt.indexOf("opera/8") != -1)

+        {  browserVer = "Opera8";  }

+    else if (agt.indexOf("opera 9") != -1 || agt.indexOf("opera/9") != -1)

+        {  browserVer = "Opera9";  }

+    }

+

+else if (agt.indexOf("applewebkit") != -1)

+    {

+    browserType = "Safari";

+

+    if (agt.indexOf("version/3") != -1)

+        {  browserVer = "Safari3";  }

+    else if (agt.indexOf("safari/4") != -1)

+        {  browserVer = "Safari2";  }

+    }

+

+else if (agt.indexOf("khtml") != -1)

+    {

+    browserType = "Konqueror";

+    }

+

+else if (agt.indexOf("msie") != -1)

+    {

+    browserType = "IE";

+

+    if (agt.indexOf("msie 6") != -1)

+        {  browserVer = "IE6";  }

+    else if (agt.indexOf("msie 7") != -1)

+        {  browserVer = "IE7";  }

+    }

+

+else if (agt.indexOf("gecko") != -1)

+    {

+    browserType = "Firefox";

+

+    if (agt.indexOf("rv:1.7") != -1)

+        {  browserVer = "Firefox1";  }

+    else if (agt.indexOf("rv:1.8)") != -1 || agt.indexOf("rv:1.8.0") != -1)

+        {  browserVer = "Firefox15";  }

+    else if (agt.indexOf("rv:1.8.1") != -1)

+        {  browserVer = "Firefox2";  }

+    }

+

+

+//

+//  Support Functions

+// ____________________________________________________________________________

+

+

+function GetXPosition(item)

+    {

+    var position = 0;

+

+    if (item.offsetWidth != null)

+        {

+        while (item != document.body && item != null)

+            {

+            position += item.offsetLeft;

+            item = item.offsetParent;

+            };

+        };

+

+    return position;

+    };

+

+

+function GetYPosition(item)

+    {

+    var position = 0;

+

+    if (item.offsetWidth != null)

+        {

+        while (item != document.body && item != null)

+            {

+            position += item.offsetTop;

+            item = item.offsetParent;

+            };

+        };

+

+    return position;

+    };

+

+

+function MoveToPosition(item, x, y)

+    {

+    // Opera 5 chokes on the px extension, so it can use the Microsoft one instead.

+

+    if (item.style.left != null)

+        {

+        item.style.left = x + "px";

+        item.style.top = y + "px";

+        }

+    else if (item.style.pixelLeft != null)

+        {

+        item.style.pixelLeft = x;

+        item.style.pixelTop = y;

+        };

+    };

+

+

+//

+//  Menu

+// ____________________________________________________________________________

+

+

+function ToggleMenu(id)

+    {

+    if (!window.document.getElementById)

+        {  return;  };

+

+    var display = window.document.getElementById(id).style.display;

+

+    if (display == "none")

+        {  display = "block";  }

+    else

+        {  display = "none";  }

+

+    window.document.getElementById(id).style.display = display;

+    }

+

+function HideAllBut(ids, max)

+    {

+    if (document.getElementById)

+        {

+        ids.sort( function(a,b) { return a - b; } );

+        var number = 1;

+

+        while (number < max)

+            {

+            if (ids.length > 0 && number == ids[0])

+                {  ids.shift();  }

+            else

+                {

+                document.getElementById("MGroupContent" + number).style.display = "none";

+                };

+

+            number++;

+            };

+        };

+    }

+

+

+//

+//  Tooltips

+// ____________________________________________________________________________

+

+

+var tooltipTimer = 0;

+

+function ShowTip(event, tooltipID, linkID)

+    {

+    if (tooltipTimer)

+        {  clearTimeout(tooltipTimer);  };

+

+    var docX = event.clientX + window.pageXOffset;

+    var docY = event.clientY + window.pageYOffset;

+

+    var showCommand = "ReallyShowTip('" + tooltipID + "', '" + linkID + "', " + docX + ", " + docY + ")";

+

+    tooltipTimer = setTimeout(showCommand, 1000);

+    }

+

+function ReallyShowTip(tooltipID, linkID, docX, docY)

+    {

+    tooltipTimer = 0;

+

+    var tooltip;

+    var link;

+

+    if (document.getElementById)

+        {

+        tooltip = document.getElementById(tooltipID);

+        link = document.getElementById(linkID);

+        }

+/*    else if (document.all)

+        {

+        tooltip = eval("document.all['" + tooltipID + "']");

+        link = eval("document.all['" + linkID + "']");

+        }

+*/

+    if (tooltip)

+        {

+        var left = GetXPosition(link);

+        var top = GetYPosition(link);

+        top += link.offsetHeight;

+

+

+        // The fallback method is to use the mouse X and Y relative to the document.  We use a separate if and test if its a number

+        // in case some browser snuck through the above if statement but didn't support everything.

+

+        if (!isFinite(top) || top == 0)

+            {

+            left = docX;

+            top = docY;

+            }

+

+        // Some spacing to get it out from under the cursor.

+

+        top += 10;

+

+        // Make sure the tooltip doesnt get smushed by being too close to the edge, or in some browsers, go off the edge of the

+        // page.  We do it here because Konqueror does get offsetWidth right even if it doesnt get the positioning right.

+

+        if (tooltip.offsetWidth != null)

+            {

+            var width = tooltip.offsetWidth;

+            var docWidth = document.body.clientWidth;

+

+            if (left + width > docWidth)

+                {  left = docWidth - width - 1;  }

+

+            // If there's a horizontal scroll bar we could go past zero because it's using the page width, not the window width.

+            if (left < 0)

+                {  left = 0;  };

+            }

+

+        MoveToPosition(tooltip, left, top);

+        tooltip.style.visibility = "visible";

+        }

+    }

+

+function HideTip(tooltipID)

+    {

+    if (tooltipTimer)

+        {

+        clearTimeout(tooltipTimer);

+        tooltipTimer = 0;

+        }

+

+    var tooltip;

+

+    if (document.getElementById)

+        {  tooltip = document.getElementById(tooltipID); }

+    else if (document.all)

+        {  tooltip = eval("document.all['" + tooltipID + "']");  }

+

+    if (tooltip)

+        {  tooltip.style.visibility = "hidden";  }

+    }

+

+

+//

+//  Blockquote fix for IE

+// ____________________________________________________________________________

+

+

+function NDOnLoad()

+    {

+    if (browserVer == "IE6")

+        {

+        var scrollboxes = document.getElementsByTagName('blockquote');

+

+        if (scrollboxes.item(0))

+            {

+            NDDoResize();

+            window.onresize=NDOnResize;

+            };

+        };

+    };

+

+

+var resizeTimer = 0;

+

+function NDOnResize()

+    {

+    if (resizeTimer != 0)

+        {  clearTimeout(resizeTimer);  };

+

+    resizeTimer = setTimeout(NDDoResize, 250);

+    };

+

+

+function NDDoResize()

+    {

+    var scrollboxes = document.getElementsByTagName('blockquote');

+

+    var i;

+    var item;

+

+    i = 0;

+    while (item = scrollboxes.item(i))

+        {

+        item.style.width = 100;

+        i++;

+        };

+

+    i = 0;

+    while (item = scrollboxes.item(i))

+        {

+        item.style.width = item.parentNode.offsetWidth;

+        i++;

+        };

+

+    clearTimeout(resizeTimer);

+    resizeTimer = 0;

+    }

+

+

+

+/* ________________________________________________________________________________________________________

+

+    Class: SearchPanel

+    ________________________________________________________________________________________________________

+

+    A class handling everything associated with the search panel.

+

+    Parameters:

+

+        name - The name of the global variable that will be storing this instance.  Is needed to be able to set timeouts.

+        mode - The mode the search is going to work in.  Pass <NaturalDocs::Builder::Base->CommandLineOption()>, so the

+                   value will be something like "HTML" or "FramedHTML".

+

+    ________________________________________________________________________________________________________

+*/

+

+

+function SearchPanel(name, mode, resultsPath)

+    {

+    if (!name || !mode || !resultsPath)

+        {  alert("Incorrect parameters to SearchPanel.");  };

+

+

+    // Group: Variables

+    // ________________________________________________________________________

+

+    /*

+        var: name

+        The name of the global variable that will be storing this instance of the class.

+    */

+    this.name = name;

+

+    /*

+        var: mode

+        The mode the search is going to work in, such as "HTML" or "FramedHTML".

+    */

+    this.mode = mode;

+

+    /*

+        var: resultsPath

+        The relative path from the current HTML page to the results page directory.

+    */

+    this.resultsPath = resultsPath;

+

+    /*

+        var: keyTimeout

+        The timeout used between a keystroke and when a search is performed.

+    */

+    this.keyTimeout = 0;

+

+    /*

+        var: keyTimeoutLength

+        The length of <keyTimeout> in thousandths of a second.

+    */

+    this.keyTimeoutLength = 500;

+

+    /*

+        var: lastSearchValue

+        The last search string executed, or an empty string if none.

+    */

+    this.lastSearchValue = "";

+

+    /*

+        var: lastResultsPage

+        The last results page.  The value is only relevant if <lastSearchValue> is set.

+    */

+    this.lastResultsPage = "";

+

+    /*

+        var: deactivateTimeout

+

+        The timeout used between when a control is deactivated and when the entire panel is deactivated.  Is necessary

+        because a control may be deactivated in favor of another control in the same panel, in which case it should stay

+        active.

+    */

+    this.deactivateTimout = 0;

+

+    /*

+        var: deactivateTimeoutLength

+        The length of <deactivateTimeout> in thousandths of a second.

+    */

+    this.deactivateTimeoutLength = 200;

+

+

+

+

+    // Group: DOM Elements

+    // ________________________________________________________________________

+

+

+    // Function: DOMSearchField

+    this.DOMSearchField = function()

+        {  return document.getElementById("MSearchField");  };

+

+    // Function: DOMSearchType

+    this.DOMSearchType = function()

+        {  return document.getElementById("MSearchType");  };

+

+    // Function: DOMPopupSearchResults

+    this.DOMPopupSearchResults = function()

+        {  return document.getElementById("MSearchResults");  };

+

+    // Function: DOMPopupSearchResultsWindow

+    this.DOMPopupSearchResultsWindow = function()

+        {  return document.getElementById("MSearchResultsWindow");  };

+

+    // Function: DOMSearchPanel

+    this.DOMSearchPanel = function()

+        {  return document.getElementById("MSearchPanel");  };

+

+

+

+

+    // Group: Event Handlers

+    // ________________________________________________________________________

+

+

+    /*

+        Function: OnSearchFieldFocus

+        Called when focus is added or removed from the search field.

+    */

+    this.OnSearchFieldFocus = function(isActive)

+        {

+        this.Activate(isActive);

+        };

+

+

+    /*

+        Function: OnSearchFieldChange

+        Called when the content of the search field is changed.

+    */

+    this.OnSearchFieldChange = function()

+        {

+        if (this.keyTimeout)

+            {

+            clearTimeout(this.keyTimeout);

+            this.keyTimeout = 0;

+            };

+

+        var searchValue = this.DOMSearchField().value.replace(/ +/g, "");

+

+        if (searchValue != this.lastSearchValue)

+            {

+            if (searchValue != "")

+                {

+                this.keyTimeout = setTimeout(this.name + ".Search()", this.keyTimeoutLength);

+                }

+            else

+                {

+                if (this.mode == "HTML")

+                    {  this.DOMPopupSearchResultsWindow().style.display = "none";  };

+                this.lastSearchValue = "";

+                };

+            };

+        };

+

+

+    /*

+        Function: OnSearchTypeFocus

+        Called when focus is added or removed from the search type.

+    */

+    this.OnSearchTypeFocus = function(isActive)

+        {

+        this.Activate(isActive);

+        };

+

+

+    /*

+        Function: OnSearchTypeChange

+        Called when the search type is changed.

+    */

+    this.OnSearchTypeChange = function()

+        {

+        var searchValue = this.DOMSearchField().value.replace(/ +/g, "");

+

+        if (searchValue != "")

+            {

+            this.Search();

+            };

+        };

+

+

+

+    // Group: Action Functions

+    // ________________________________________________________________________

+

+

+    /*

+        Function: CloseResultsWindow

+        Closes the results window.

+    */

+    this.CloseResultsWindow = function()

+        {

+        this.DOMPopupSearchResultsWindow().style.display = "none";

+        this.Activate(false, true);

+        };

+

+

+    /*

+        Function: Search

+        Performs a search.

+    */

+    this.Search = function()

+        {

+        this.keyTimeout = 0;

+

+        var searchValue = this.DOMSearchField().value.replace(/^ +/, "");

+        var searchTopic = this.DOMSearchType().value;

+

+        var pageExtension = searchValue.substr(0,1);

+

+        if (pageExtension.match(/^[a-z]/i))

+            {  pageExtension = pageExtension.toUpperCase();  }

+        else if (pageExtension.match(/^[0-9]/))

+            {  pageExtension = 'Numbers';  }

+        else

+            {  pageExtension = "Symbols";  };

+

+        var resultsPage;

+        var resultsPageWithSearch;

+        var hasResultsPage;

+

+        // indexSectionsWithContent is defined in searchdata.js

+        if (indexSectionsWithContent[searchTopic][pageExtension] == true)

+            {

+            resultsPage = this.resultsPath + '/' + searchTopic + pageExtension + '.html';

+            resultsPageWithSearch = resultsPage+'?'+escape(searchValue);

+            hasResultsPage = true;

+            }

+        else

+            {

+            resultsPage = this.resultsPath + '/NoResults.html';

+            resultsPageWithSearch = resultsPage;

+            hasResultsPage = false;

+            };

+

+        var resultsFrame;

+        if (this.mode == "HTML")

+            {  resultsFrame = window.frames.MSearchResults;  }

+        else if (this.mode == "FramedHTML")

+            {  resultsFrame = window.top.frames['Content'];  };

+

+

+        if (resultsPage != this.lastResultsPage ||

+

+            // Bug in IE.  If everything becomes hidden in a run, none of them will be able to be reshown in the next for some

+            // reason.  It counts the right number of results, and you can even read the display as "block" after setting it, but it

+            // just doesn't work in IE 6 or IE 7.  So if we're on the right page but the previous search had no results, reload the

+            // page anyway to get around the bug.

+            (browserType == "IE" && hasResultsPage &&

+            	(!resultsFrame.searchResults || resultsFrame.searchResults.lastMatchCount == 0)) )

+

+            {

+            resultsFrame.location.href = resultsPageWithSearch;

+            }

+

+        // So if the results page is right and there's no IE bug, reperform the search on the existing page.  We have to check if there

+        // are results because NoResults.html doesn't have any JavaScript, and it would be useless to do anything on that page even

+        // if it did.

+        else if (hasResultsPage)

+            {

+            // We need to check if this exists in case the frame is present but didn't finish loading.

+            if (resultsFrame.searchResults)

+                {  resultsFrame.searchResults.Search(searchValue);  }

+

+            // Otherwise just reload instead of waiting.

+            else

+                {  resultsFrame.location.href = resultsPageWithSearch;  };

+            };

+

+

+        var domPopupSearchResultsWindow = this.DOMPopupSearchResultsWindow();

+

+        if (this.mode == "HTML" && domPopupSearchResultsWindow.style.display != "block")

+            {

+            var domSearchType = this.DOMSearchType();

+

+            var left = GetXPosition(domSearchType);

+            var top = GetYPosition(domSearchType) + domSearchType.offsetHeight;

+

+            MoveToPosition(domPopupSearchResultsWindow, left, top);

+            domPopupSearchResultsWindow.style.display = 'block';

+            };

+

+

+        this.lastSearchValue = searchValue;

+        this.lastResultsPage = resultsPage;

+        };

+

+

+

+    // Group: Activation Functions

+    // Functions that handle whether the entire panel is active or not.

+    // ________________________________________________________________________

+

+

+    /*

+        Function: Activate

+

+        Activates or deactivates the search panel, resetting things to their default values if necessary.  You can call this on every

+        control's OnBlur() and it will handle not deactivating the entire panel when focus is just switching between them transparently.

+

+        Parameters:

+

+            isActive - Whether you're activating or deactivating the panel.

+            ignoreDeactivateDelay - Set if you're positive the action will deactivate the panel and thus want to skip the delay.

+    */

+    this.Activate = function(isActive, ignoreDeactivateDelay)

+        {

+        // We want to ignore isActive being false while the results window is open.

+        if (isActive || (this.mode == "HTML" && this.DOMPopupSearchResultsWindow().style.display == "block"))

+            {

+            if (this.inactivateTimeout)

+                {

+                clearTimeout(this.inactivateTimeout);

+                this.inactivateTimeout = 0;

+                };

+

+            this.DOMSearchPanel().className = 'MSearchPanelActive';

+

+            var searchField = this.DOMSearchField();

+

+            if (searchField.value == 'Search')

+                 {  searchField.value = "";  }

+            }

+        else if (!ignoreDeactivateDelay)

+            {

+            this.inactivateTimeout = setTimeout(this.name + ".InactivateAfterTimeout()", this.inactivateTimeoutLength);

+            }

+        else

+            {

+            this.InactivateAfterTimeout();

+            };

+        };

+

+

+    /*

+        Function: InactivateAfterTimeout

+

+        Called by <inactivateTimeout>, which is set by <Activate()>.  Inactivation occurs on a timeout because a control may

+        receive OnBlur() when focus is really transferring to another control in the search panel.  In this case we don't want to

+        actually deactivate the panel because not only would that cause a visible flicker but it could also reset the search value.

+        So by doing it on a timeout instead, there's a short period where the second control's OnFocus() can cancel the deactivation.

+    */

+    this.InactivateAfterTimeout = function()

+        {

+        this.inactivateTimeout = 0;

+

+        this.DOMSearchPanel().className = 'MSearchPanelInactive';

+        this.DOMSearchField().value = "Search";

+

+	    this.lastSearchValue = "";

+	    this.lastResultsPage = "";

+        };

+    };

+

+

+

+

+/* ________________________________________________________________________________________________________

+

+   Class: SearchResults

+   _________________________________________________________________________________________________________

+

+   The class that handles everything on the search results page.

+   _________________________________________________________________________________________________________

+*/

+

+

+function SearchResults(name, mode)

+    {

+    /*

+        var: mode

+        The mode the search is going to work in, such as "HTML" or "FramedHTML".

+    */

+    this.mode = mode;

+

+    /*

+        var: lastMatchCount

+        The number of matches from the last run of <Search()>.

+    */

+    this.lastMatchCount = 0;

+

+

+    /*

+        Function: Toggle

+        Toggles the visibility of the passed element ID.

+    */

+    this.Toggle = function(id)

+        {

+        if (this.mode == "FramedHTML")

+            {  return;  };

+

+        var parentElement = document.getElementById(id);

+

+        var element = parentElement.firstChild;

+

+        while (element && element != parentElement)

+            {

+            if (element.nodeName == 'DIV' && element.className == 'ISubIndex')

+                {

+                if (element.style.display == 'block')

+                    {  element.style.display = "none";  }

+                else

+                    {  element.style.display = 'block';  }

+                };

+

+            if (element.nodeName == 'DIV' && element.hasChildNodes())

+                {  element = element.firstChild;  }

+            else if (element.nextSibling)

+                {  element = element.nextSibling;  }

+            else

+                {

+                do

+                    {

+                    element = element.parentNode;

+                    }

+                while (element && element != parentElement && !element.nextSibling);

+

+                if (element && element != parentElement)

+                    {  element = element.nextSibling;  };

+                };

+            };

+        };

+

+

+    /*

+        Function: Search

+

+        Searches for the passed string.  If there is no parameter, it takes it from the URL query.

+

+        Always returns true, since other documents may try to call it and that may or may not be possible.

+    */

+    this.Search = function(search)

+        {

+        if (!search)

+            {

+            search = window.location.search;

+            search = search.substring(1);  // Remove the leading ?

+            search = unescape(search);

+            };

+

+        search = search.replace(/^ +/, "");

+        search = search.replace(/ +$/, "");

+        search = search.toLowerCase();

+

+        if (search.match(/[^a-z0-9]/)) // Just a little speedup so it doesn't have to go through the below unnecessarily.

+            {

+            search = search.replace(/\_/g, "_und");

+            search = search.replace(/\ +/gi, "_spc");

+            search = search.replace(/\~/g, "_til");

+            search = search.replace(/\!/g, "_exc");

+            search = search.replace(/\@/g, "_att");

+            search = search.replace(/\#/g, "_num");

+            search = search.replace(/\$/g, "_dol");

+            search = search.replace(/\%/g, "_pct");

+            search = search.replace(/\^/g, "_car");

+            search = search.replace(/\&/g, "_amp");

+            search = search.replace(/\*/g, "_ast");

+            search = search.replace(/\(/g, "_lpa");

+            search = search.replace(/\)/g, "_rpa");

+            search = search.replace(/\-/g, "_min");

+            search = search.replace(/\+/g, "_plu");

+            search = search.replace(/\=/g, "_equ");

+            search = search.replace(/\{/g, "_lbc");

+            search = search.replace(/\}/g, "_rbc");

+            search = search.replace(/\[/g, "_lbk");

+            search = search.replace(/\]/g, "_rbk");

+            search = search.replace(/\:/g, "_col");

+            search = search.replace(/\;/g, "_sco");

+            search = search.replace(/\"/g, "_quo");

+            search = search.replace(/\'/g, "_apo");

+            search = search.replace(/\</g, "_lan");

+            search = search.replace(/\>/g, "_ran");

+            search = search.replace(/\,/g, "_com");

+            search = search.replace(/\./g, "_per");

+            search = search.replace(/\?/g, "_que");

+            search = search.replace(/\//g, "_sla");

+            search = search.replace(/[^a-z0-9\_]i/gi, "_zzz");

+            };

+

+        var resultRows = document.getElementsByTagName("div");

+        var matches = 0;

+

+        var i = 0;

+        while (i < resultRows.length)

+            {

+            var row = resultRows.item(i);

+

+            if (row.className == "SRResult")

+                {

+                var rowMatchName = row.id.toLowerCase();

+                rowMatchName = rowMatchName.replace(/^sr\d*_/, '');

+

+                if (search.length <= rowMatchName.length && rowMatchName.substr(0, search.length) == search)

+                    {

+                    row.style.display = "block";

+                    matches++;

+                    }

+                else

+                    {  row.style.display = "none";  };

+                };

+

+            i++;

+            };

+

+        document.getElementById("Searching").style.display="none";

+

+        if (matches == 0)

+            {  document.getElementById("NoMatches").style.display="block";  }

+        else

+            {  document.getElementById("NoMatches").style.display="none";  }

+

+        this.lastMatchCount = matches;

+

+        return true;

+        };

+    };

+