/* Copyright (C) 1998-2018 by Northwoods Software Corporation. All Rights Reserved. */ // Load necessary scripts: if (window.require) { // declare required libraries and ensure Bootstrap's dependency on jQuery require.config({ paths: { "highlight": "../assets/js/highlight", "jquery": "../assets/js/jquery.min", // 1.11.3 "bootstrap": "../assets/js/bootstrap.min" }, shim: { "bootstrap": ["jquery"] } }); require(["highlight", "jquery", "bootstrap"], function () { }); } else { function goLoadSrc(filenames) { var scripts = document.getElementsByTagName("script"); var script = null; for (var i = 0; i < scripts.length; i++) { if (scripts[i].src.indexOf("goIntro") > 0) { script = scripts[i]; break; } } for (var i = 0; i < arguments.length; i++) { var filename = arguments[i]; if (!filename) continue; var selt = document.createElement("script"); selt.async = false; selt.defer = false; selt.src = "../assets/js/" + filename; script.parentNode.insertBefore(selt, script.nextSibling); script = selt; } } goLoadSrc("highlight.js", (window.jQuery ? "" : "jquery.min.js"), "bootstrap.min.js"); } var head = document.getElementsByTagName("head")[0]; var link = document.createElement("link"); link.type = "text/css"; link.rel = "stylesheet"; link.href = "../assets/css/bootstrap.min.css"; head.appendChild(link); link = document.createElement("link"); link.type = "text/css"; link.rel = "stylesheet"; link.href = "../assets/css/highlight.css"; head.appendChild(link); link = document.createElement("link"); link.type = "text/css"; link.rel = "stylesheet"; link.href = "../assets/css/main.css"; head.appendChild(link); // Create a DIV and add it to the document just after the PRE element. // Evaluate the JavaScript text that is in the PRE element in order to initialize the Diagram. function goCode(pre, w, h, diagramclass, parentid) { if (diagramclass === undefined) diagramclass = go.Diagram; if (typeof pre === "string") pre = document.getElementById(pre); var div = document.createElement("div"); div.style.width = w + "px"; div.style.height = h + "px"; div.className = "diagramStyling"; var parent; if (parentid === undefined) { parent = pre.parentNode; } else { parent = document.getElementById(parentid); } parent.appendChild(div); // temporarily bind "diagram" to the main Diagram for the DIV, and "$" to go.GraphObject.make var f = eval("(function (diagram, $) {" + pre.textContent + "})"); f(new diagramclass(div), go.GraphObject.make); } // Traverse the whole document and replace TYPENAME with: // TYPENAME // and TYPENAME.MEMBERNAME with: // TYPENAME.MEMBERNAME function goIntro() { _traverseDOM(document); // add class to main content var content = document.getElementById('content'); content.className = "col-md-10"; // side navigation var navindex = document.createElement('div'); navindex.id = "navindex"; navindex.className = "col-md-2"; navindex.innerHTML = myMenu; var container = document.getElementById('container'); container.insertBefore(navindex, content); // top navbar var navbar = document.createElement('div'); navbar.innerHTML = myNavbar; document.body.insertBefore(navbar, container); // When the page loads, change the class of li's to highlight the current page var url = window.location.href; var lindex = url.lastIndexOf('/'); url = url.slice(lindex + 1).toLowerCase(); var lis = document.getElementById("sections").getElementsByTagName("li"); var l = lis.length; var currentindex = -1; for (var i = 0; i < l; i++) { var lowerhref = lis[i].childNodes[0].href.toLowerCase(); if (lowerhref.indexOf('intro') === -1) continue; if (lowerhref.indexOf('/' + url) !== -1) { currentindex = i; lis[i].childNodes[0].className = "selected"; break; } } // prev & next page navigation var pagenav = document.createElement("div"); var nav = "