last demo import - cleaned

2023-08-26 22:04:56 +02:00
parent 0ab5dd5e38
commit f3c3c67e2c
884 changed files with 301494 additions and 1 deletions
--- a/static/mxgraph/examples/validation.html
+++ b/static/mxgraph/examples/validation.html
@@ -0,0 +1,123 @@
+<!--
+  Copyright (c) 2006-2013, JGraph Ltd
+  
+  Validation example for mxGraph. This example demonstrates using
+  multiplicities for automatically validating a graph.
+-->
+<html>
+<head>
+	<title>Validation example for mxGraph</title>
+
+	<!-- Sets the basepath for the library if not in same directory -->
+	<script type="text/javascript">
+		mxBasePath = '../src';
+	</script>
+
+	<!-- Loads and initializes the library -->
+	<script type="text/javascript" src="../src/js/mxClient.js"></script>
+
+	<!-- Example code -->
+	<script type="text/javascript">
+		// Program starts here. Creates a sample graph in the
+		// DOM node with the specified ID. This function is invoked
+		// from the onLoad event handler of the document (see below).
+		function main(container)
+		{
+			// Checks if the browser is supported
+			if (!mxClient.isBrowserSupported())
+			{
+				// Displays an error message if the browser is not supported.
+				mxUtils.error('Browser is not supported!', 200, false);
+			}
+			else
+			{
+				var xmlDocument = mxUtils.createXmlDocument();
+				var sourceNode = xmlDocument.createElement('Source');
+				var targetNode = xmlDocument.createElement('Target');
+				var subtargetNode = xmlDocument.createElement('Subtarget');
+				
+				// Creates the graph inside the given container
+				var graph = new mxGraph(container);
+				graph.setConnectable(true);
+				graph.setTooltips(true);
+				graph.setAllowDanglingEdges(false);
+				graph.setMultigraph(false);
+
+				// Source nodes needs 1..2 connected Targets
+				graph.multiplicities.push(new mxMultiplicity(
+				   true, 'Source', null, null, 1, 2, ['Target'],
+				   'Source Must Have 1 or 2 Targets',
+				   'Source Must Connect to Target'));
+
+				// Source node does not want any incoming connections
+				graph.multiplicities.push(new mxMultiplicity(
+				   false, 'Source', null, null, 0, 0, null,
+				   'Source Must Have No Incoming Edge',
+				   null)); // Type does not matter
+
+				// Target needs exactly one incoming connection from Source
+				graph.multiplicities.push(new mxMultiplicity(
+				   false, 'Target', null, null, 1, 1, ['Source'],
+				   'Target Must Have 1 Source',
+				   'Target Must Connect From Source'));
+				
+				// Enables rubberband selection
+				new mxRubberband(graph);
+
+				// Removes cells when [DELETE] is pressed
+				var keyHandler = new mxKeyHandler(graph);
+				keyHandler.bindKey(46, function(evt)
+				{
+					if (graph.isEnabled())
+					{
+						graph.removeCells();
+					}
+				});
+
+				// Installs automatic validation (use editor.validation = true
+				// if you are using an mxEditor instance)
+				var listener = function(sender, evt)
+				{
+					graph.validateGraph();
+				};
+				
+				graph.getModel().addListener(mxEvent.CHANGE, listener);
+				
+				// Gets the default parent for inserting new cells. This
+				// is normally the first child of the root (ie. layer 0).
+				var parent = graph.getDefaultParent();
+								
+				// Adds cells to the model in a single step
+				graph.getModel().beginUpdate();
+				try
+				{
+					var v1 = graph.insertVertex(parent, null, sourceNode, 20, 20, 80, 30);
+					var v2 = graph.insertVertex(parent, null, targetNode, 200, 20, 80, 30);
+					var v3 = graph.insertVertex(parent, null, targetNode.cloneNode(true), 200, 80, 80, 30);
+					var v4 = graph.insertVertex(parent, null, targetNode.cloneNode(true), 200, 140, 80, 30);
+					var v5 = graph.insertVertex(parent, null, subtargetNode, 200, 200, 80, 30);
+					var v6 = graph.insertVertex(parent, null, sourceNode.cloneNode(true), 20, 140, 80, 30);
+					var e1 = graph.insertEdge(parent, null, '', v1, v2);
+					var e2 = graph.insertEdge(parent, null, '', v1, v3);
+					var e3 = graph.insertEdge(parent, null, '', v6, v4);
+					//var e4 = graph.insertEdge(parent, null, '', v1, v4);
+				}
+				finally
+				{
+					// Updates the display
+					graph.getModel().endUpdate();
+				}
+			}
+		};
+	</script>
+</head>
+
+<!-- Page passes the container for the graph to the program -->
+<body onload="main(document.getElementById('graphContainer'))">
+
+	<!-- Creates a container for the graph with a grid wallpaper -->
+	<div id="graphContainer"
+		style="position:relative;overflow:hidden;width:321px;height:281px;background:url('editors/images/grid.gif');cursor:default;">
+	</div>
+</body>
+</html>