35 	function animateCells(graph, cells, steps, delay)  argument
37 		graph.executeAnimations(graph.createWipeAnimations(cells, true), null, steps, delay);
63 	function run(graph, steps, loop)  argument
70 			graph.getModel().beginUpdate();
73 				for (var id in graph.getModel().cells)
75 					var cell = graph.getModel().cells[id];
77 					if (graph.getModel().isVertex(cell) || graph.getModel().isEdge(cell))
79 						graph.setCellStyles('opacity', '0', [cell]);
80 						graph.setCellStyles('noLabel', '1', [cell]);
86 				graph.getModel().endUpdate();
89 			var mapping = mapCell(editorUi.editor.graph.getModel().getRoot(), graph.getModel().getRoot());
118 										graph.setCellStyles('opacity', '100', [cell]);
119 										graph.setCellStyles('noLabel', null, [cell]);
123 											Graph.fadeNodes(graph.getNodesForCells([cell]), 0, 1);
127 											animateCells(graph, [cell]);
132 					                    if (graph.model.isEdge(cell))
134 					                      	toggleFlowAnim(graph, [cell], tokens[2]);
139 										graph.fadeNodes(graph.getNodesForCells([cell]), false);
160 						graph.refresh();
161 						run(graph, steps, loop);
194 		var root = editorUi.editor.graph.getModel().getRoot();
211 		var graph = new Graph(container);
212 		graph.setEnabled(false);
213 		graph.setPanning(true);
214 		graph.foldingEnabled = false;
215 		graph.panningHandler.ignoreCell = true;
216 		graph.panningHandler.useLeftButtonForPanning = true;
217 		graph.minFitScale = null;
218 		graph.maxFitScale = null;
219 		graph.centerZoom = true;
246 		          var cells = editorUi.editor.graph.getSelectionCells();
276 			graph.getModel().clear();
277 			graph.getModel().setRoot(graph.cloneCells([editorUi.editor.graph.getModel().getRoot()])[0]);
278 			graph.maxFitScale = 1;
279 			graph.fit(8);
280 			graph.center();
282 			run(graph, list.value.split('\n'));
288 			graph.getModel().clear();
295 			editorUi.editor.graph.setAttributeForCell(root, 'animation', list.value);
319 			var root = editorUi.editor.graph.getModel().getRoot();
328 					run(editorUi.editor.graph, desc.split('\n'), true);
344 	function toggleFlowAnim(graph, cells, status)  argument
353 			if (editorUi.editor.graph.model.isEdge(cells[i]))
355 				var state = graph.view.getState(cells[i]);
387   function showCell(graph, cell)  argument
389     graph.setCellStyles('opacity', '100', cell);
390     graph.setCellStyles('noLabel', null, [cell]);
391 		nodes = graph.getNodesForCells([cell]);