jexelmans
/
drawio


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414
							<!DOCTYPE html>
<html>
<head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
	<script>
		var isLocalStorage = false;
		var mxLoadStylesheets = false;
	</script>
	<!-- CSS for print output is needed for using current window -->
	<style type="text/css">
		@media print {
		  table.mxPageSelector { display: none; }
		  hr.mxPageBreak { display: none; }
		}
		@media screen {
		  table.mxPageSelector { position: fixed; right: 10px; top: 10px;font-family: Arial; font-size:10pt; border: solid 1px darkgray;background: white; border-collapse:collapse; }
		  table.mxPageSelector td { border: solid 1px gray; padding:4px; }
		  body.mxPage { background: gray; }
		}
	</style>
	<link rel="stylesheet" href="mxgraph/css/common.css" charset="UTF-8" type="text/css">
    <script src="js/app.min.js"></script>
	<script>
		// NOTE: SVG Output fixes missing symbols in AsciiMath
		// but produces larger output with clipping problems
		Editor.initMath();
	
		// Workaround for varphi vs. phi export in MathJax on Phantom
		// see https://github.com/mathjax/MathJax/issues/353
		(function()
		{
			var authInit = MathJax.AuthorInit;
	
			MathJax.AuthorInit = function()
			{
				authInit();
				
				MathJax.Hub.Register.StartupHook('AsciiMath Jax Config', function()
				{
					var symbols = MathJax.InputJax.AsciiMath.AM.symbols;
					
					for (var i = 0, m = symbols.length; i < m; i++)
					{
				    	if (symbols[i].input === 'phi')
				    	{
				    		symbols[i].output = '\u03C6'
				    	}
				    	else if (symbols[i].input === 'varphi')
				    	{
				    		symbols[i].output = '\u03D5'; i = m
				    	}
				  	}
				});
			};
		})();

		function render(data)
		{
			var graph = new Graph(document.getElementById('graph'));
			data.border = parseInt(data.border) || 0;
			data.w = parseFloat(data.w) || 0;
			data.h = parseFloat(data.h) || 0;
			data.scale = parseFloat(data.scale) || 1;

			// Parses XML
			var xmlDoc = mxUtils.parseXml(data.xml);
			var diagrams = null;
			var from = 0;
			
			// Handles mxfile
			if (xmlDoc.documentElement.nodeName == 'mxfile')
			{
				diagrams = xmlDoc.documentElement.getElementsByTagName('diagram');
				
				if (diagrams.length > 0)
				{
					from = Math.max(0, Math.min(parseInt(data.from) || from, diagrams.length - 1));
					var diagramNode = diagrams[from];
					
					if (diagramNode != null)
					{
				        xmlDoc = mxUtils.parseXml(graph.decompress(mxUtils.getTextContent(diagramNode)));
					}
				}
			}
	        
	        /**
			 * Implements %page% and %pagenumber% placeholders
			 */
			var graphGetGlobalVariable = graph.getGlobalVariable;
			
			graph.getGlobalVariable = function(name)
			{
				if (name == 'page')
				{
					return (diagrams == null) ? 'Page-1' :
						(diagrams[from].getAttribute('name') || ('Page-' + (from + 1)));
				}
				else if (name == 'pagenumber')
				{
					return from + 1;
				}
				
				return graphGetGlobalVariable.apply(this, arguments);
			};

			// Enables math typesetting
			var math = xmlDoc.documentElement.getAttribute('math') == '1';
			
			if (math)
			{
				mxClient.NO_FO = true;
			}

			// Createa graph instance
			graph.foldingEnabled = false;
			graph.setEnabled(false);

			// Sets background image
			var bgImg = xmlDoc.documentElement.getAttribute('backgroundImage');

			if (bgImg != null)
			{
				bgImg = JSON.parse(bgImg);
				graph.setBackgroundImage(new mxImage(bgImg.src, bgImg.width, bgImg.height));
			}
			
			// Parses XML into graph
			var codec = new mxCodec(xmlDoc);
			codec.decode(xmlDoc.documentElement, graph.getModel());

			// Loads background color
			var bg = (data.bg != null && data.bg.length > 0) ? data.bg : xmlDoc.documentElement.getAttribute('background');

			// Normalizes values for transparent backgrounds
			if (bg == 'none' || bg == '')
			{
				bg = null;
			}
			
			// Checks if export format supports transparent backgrounds
			if (bg == null && data.format != 'gif' && data.format != 'png')
			{
				bg = '#ffffff';
			}

			// Sets background color on page
			if (bg != null)
			{
				document.body.style.backgroundColor = bg;
			}

			// Sets initial value for PDF page background
			graph.pdfPageVisible = false;
			
			// Handles PDF output where the output should match the page format if the page is visible
			if (data.format == 'pdf' && xmlDoc.documentElement.getAttribute('page') == '1' && data.w == 0 && data.h == 0)
			{
				var pw = xmlDoc.documentElement.getAttribute('pageWidth');
				var ph = xmlDoc.documentElement.getAttribute('pageHeight');
				graph.pdfPageVisible = true;
				
				if (pw != null && ph != null)
				{
					graph.pageFormat = new mxRectangle(0, 0, parseFloat(pw), parseFloat(ph));
				}
				
				var ps = xmlDoc.documentElement.getAttribute('pageScale');
				
				if (ps != null)
				{
					graph.pageScale = ps;
				}
				
				graph.getPageSize = function()
				{
					return new mxRectangle(0, 0, this.pageFormat.width * this.pageScale,
							this.pageFormat.height * this.pageScale);
				};
				
				graph.getPageLayout = function()
				{
					var size = this.getPageSize();
					var bounds = this.getGraphBounds();
					
					if (bounds.width == 0 || bounds.height == 0)
					{
						return new mxRectangle(0, 0, 1, 1);
					}
					else
					{
						// Computes untransformed graph bounds
						var x = Math.ceil(bounds.x / this.view.scale - this.view.translate.x);
						var y = Math.ceil(bounds.y / this.view.scale - this.view.translate.y);
						var w = Math.floor(bounds.width / this.view.scale);
						var h = Math.floor(bounds.height / this.view.scale);
						
						var x0 = Math.floor(x / size.width);
						var y0 = Math.floor(y / size.height);
						var w0 = Math.ceil((x + w) / size.width) - x0;
						var h0 = Math.ceil((y + h) / size.height) - y0;
						
						return new mxRectangle(x0, y0, w0, h0);
					}
				};

				// Fits the number of background pages to the graph
				graph.view.getBackgroundPageBounds = function()
				{
					var layout = this.graph.getPageLayout();
					var page = this.graph.getPageSize();
					
					return new mxRectangle(this.scale * (this.translate.x + layout.x * page.width),
							this.scale * (this.translate.y + layout.y * page.height),
							this.scale * layout.width * page.width,
							this.scale * layout.height * page.height);
				};
			}

			if (!graph.pdfPageVisible)
			{
				var b = graph.getGraphBounds();
				
				// Floor is needed to keep rendering crisp
				if (data.w > 0 && data.h > 0)
				{
					var s = Math.min(data.w / b.width, data.h / b.height);
					graph.view.scaleAndTranslate(s,
						Math.floor(data.border / s - b.x),
						Math.floor(data.border / s - b.y));
				}
				else
				{
					graph.view.scaleAndTranslate(data.scale, Math.floor(data.border - b.x),
						Math.floor(data.border - b.y));
				}
			}
			else
			{
				// Disables border for PDF page export
				data.border = 0;
				
				// Moves to first page in page layout
				var layout = graph.getPageLayout();
				var page = graph.getPageSize();
				var dx = layout.x * page.width;
				var dy = layout.y * page.height;
				
				if (dx != 0 || dy != 0)
				{
					graph.view.setTranslate(Math.floor(-dx), Math.floor(-dy));
				}
			}
			
			// Gets the diagram bounds and sets the document size
			var bounds = (graph.pdfPageVisible) ? graph.view.getBackgroundPageBounds() : graph.getGraphBounds();
			bounds.width = Math.ceil(bounds.width + data.border);
			bounds.height = Math.ceil(bounds.height + data.border);
			
			// Waits for all images to finish loading
			var cache = new Object();
			var waitCounter = 1;
			
			// Decrements waitCounter and invokes callback when finished
			function decrementWaitCounter()
			{
				if (--waitCounter < 1)
				{
					if (typeof window.callPhantom === 'function')
					{
						window.callPhantom(bounds);
					}
					else if (window.console != null)
					{
						console.log('loading complete');
					}
				}
			};
			
			function waitForImages(tagName, attributeName)
			{
				var imgs = document.body.getElementsByTagName(tagName);
				waitCounter += imgs.length;

				for (var i = 0; i < imgs.length; i++)
				{
					// No load events for image elements in Phantom using indirection instead
					var src = imgs[i].getAttribute(attributeName);
					
					if (typeof window.callPhantom !== 'function' && window.console != null)
					{
						console.log((cache[src] == null) ? 'loading' : 'cached', src);
					}
					
					if (src != null && src.length > 0 && cache[src] == null)
					{
						cache[src] = new Image();
						cache[src].onload = decrementWaitCounter;
						cache[src].onerror = decrementWaitCounter;
						cache[src].src = src;
					}
					else
					{
						decrementWaitCounter();
					}
				}
			};
			
			// Includes images in SVG and HTML labels
			waitForImages('image', 'xlink:href');
			waitForImages('img', 'src');
			
			// Waits for MathJax to finish rendering
			function renderMath(elt)
			{
				if (math && window.MathJax != null && window.MathJax.Hub != null)
				{
					waitCounter++;
					Editor.MathJaxRender(elt);
					
					// Asynchronous callback when MathJax has finished
					window.MathJax.Hub.Queue(function ()
					{
						decrementWaitCounter();
					});
				}
			}

			// Converts the graph to a vertical sequence of pages for PDF export
			if (graph.pdfPageVisible)
			{
				// Workaround to match available paper size
				var printScale = 0.72
				var pf = graph.pageFormat || mxConstants.PAGE_FORMAT_A4_PORTRAIT;
				var scale = 1 / graph.pageScale;
				var autoOrigin = false;
				var border = 0;

				// Negative coordinates are cropped or shifted if page visible
				var gb = graph.getGraphBounds();
				var x0 = 0;
				var y0 = 0;
		
				// Applies print scale
				pf = mxRectangle.fromRectangle(pf);
				pf.width = Math.ceil(pf.width * printScale);
				pf.height = Math.ceil(pf.height * printScale);
				scale *= printScale;
				
				// Starts at first visible page
				var layout = graph.getPageLayout();
				x0 -= layout.x * pf.width;
				y0 -= layout.y * pf.height;
				
				var preview = new mxPrintPreview(graph, scale, pf, border, x0, y0);
				preview.printBackgroundImage = true;
				preview.autoOrigin = autoOrigin;
				preview.backgroundColor = bg;

				// Renders print output into this document and removes the graph container
				preview.open(null, window);
				graph.container.parentNode.removeChild(graph.container);

				// Adds shadow
				if (mxClient.IS_SVG && xmlDoc.documentElement.getAttribute('shadow') == '1')
				{
					var svgs = document.getElementsByTagName('svg');
					
					for (var i = 0; i < svgs.length; i++)
					{
						var svg = svgs[i];

						var filter = graph.addSvgShadow(svg, null, true);
						filter.setAttribute('id', 'shadow-' + i);
						svg.appendChild(filter);
						svg.setAttribute('filter', 'url(#' + 'shadow-' + i + ')');
					}
					
					border = 7;
				}
				
				bounds = new mxRectangle(0, 0, pf.width, pf.height);
				renderMath(graph.container.parentNode);
			}
			else
			{
				// Adds shadow
				if (mxClient.IS_SVG && xmlDoc.documentElement.getAttribute('shadow') == '1')
				{
					graph.addSvgShadow(graph.view.canvas.ownerSVGElement, null, true);
					graph.setShadowVisible(true);
					bounds.width += 7;
					bounds.height += 7;
				}
				
				renderMath(graph.container);
				
				if (data.format != 'pdf')
				{
					document.body.style.width = Math.ceil(bounds.x + bounds.width) + 'px';
					document.body.style.height = (Math.ceil(bounds.y + bounds.height) + 1) + 'px';
				}
			}
			
			// Immediate return if not waiting for any content
			decrementWaitCounter();
		};
	</script>
</head>
<body style="margin:0px;">
	<div id="graph" style="width:100%;height:100%;"></div>
</body>
</html>