| <html> | |
| <head> | |
|     <title>Graph | Graphviz Gallery</title> | |
| 
 | |
|     <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.10.1/jquery.min.js"></script> | |
|     <script type="text/javascript" src="../../../vis.js"></script> | |
| 
 | |
|     <style type="text/css"> | |
|         p { | |
|             width: 600px; | |
|         } | |
|         html, body, select { | |
|             font: 11pt arial; | |
|         } | |
|         #mygraph { | |
|             width: 100%; | |
|             height: 600px; | |
|             border: 1px solid lightgray; | |
|         } | |
|     </style> | |
| </head> | |
| <body> | |
| 
 | |
| <script> | |
|     if (location.href.substr(0, 5) == 'file:') { | |
|         document.write( | |
|             '<p style="color: red;">' + | |
|                 'Error: Cannot fetch the example data because of security ' + | |
|                 'restrictions in JavaScript. Run the example from a server ' + | |
|                 'instead of as a local file to resolve this problem. ' + | |
|                 'Alternatively, you can load DOT graphs in ' + | |
|                 'the <a href="../15_dot_language_playground.html" ' + | |
|                 'style="color:red;">playground</a>.' + | |
|             '</p>'); | |
|     } | |
| </script> | |
| 
 | |
| <p> | |
|     The following examples are unmodified copies from the | |
|     <a href="http://www.graphviz.org/Gallery.php" target="_blank">Graphviz Gallery</a>. | |
| </p> | |
| <p> | |
|     Note that some style attributes of Graphviz are not supported by vis.js, | |
|     and that vis.js offers options not supported by Graphviz (which could make | |
|     some examples look much nicer). | |
| </p> | |
| 
 | |
| <p> | |
|     <label for="url">Select an example:</label> | |
|     <select id="url" onchange="loadData()"> | |
|         <option value="data/fsm.gv.txt">fsm</option> | |
|         <option value="data/hello.gv.txt">hello</option> | |
|         <option value="data/process.gv.txt">process</option> | |
|         <option value="data/siblings.gv.txt">siblings</option> | |
|         <option value="data/softmaint.gv.txt">softmaint</option> | |
|         <option value="data/traffic_lights.gv.txt">traffic_lights</option> | |
|         <option value="data/transparency.gv.txt">transparency</option> | |
|         <option value="data/twopi2.gv.txt">twopi2</option> | |
|         <option value="data/unix.gv.txt">unix</option> | |
|         <option value="data/world.gv.txt">world</option> | |
|     </select> | |
| </p> | |
| 
 | |
| <div id="mygraph"></div> | |
| <script type="text/javascript"> | |
|     var container = document.getElementById('mygraph'); | |
|     var url = document.getElementById('url'); | |
|     var graph = new vis.Graph(container); | |
| 
 | |
|     function loadData () { | |
|         $.ajax({ | |
|             type: "GET", | |
|             url: url.value | |
|         }).done(function(data) { | |
|             graph.setOptions({ | |
|                 stabilize: false | |
|             }); | |
|             graph.setData( { | |
|                 dot: data | |
|             }); | |
|         }); | |
|     } | |
|     loadData(); | |
| </script> | |
| </body> | |
| </html>
 |