8182838485868788899091
// // You can then visualize the XML file by calling this: if (viz==null) { viz = new VizGUI(false, "alloy_example_output.xml", null); } else { viz.loadXML("alloy_example_output.xml", true); } } } } }