private void dumpModelToolStripMenuItem_Click(object sender, EventArgs e) { if (CircuitModel != null) { LogisimConverter.DumpLogisimModel(CircuitModel); } }
private void reduceToolStripMenuItem_Click(object sender, EventArgs e) { if (CircuitModel == null) { MessageBox.Show("Load Logisim Circuit first."); return; } LogisimConverter.Reduce(CircuitModel); VisualizeLogisim(CircuitModel); }
private void convertToolStripMenuItem_Click(object sender, EventArgs e) { if (CircuitModel == null) { MessageBox.Show("Load Logisim Circuit first."); return; } YedGraphml = LogisimConverter.ToYed(CircuitModel); Console.WriteLine(""); Console.WriteLine(YedGraphml.OuterXml); }
private void loadLogisimToolStripMenuItem_Click(object sender, EventArgs e) { if (openFileDialog1.ShowDialog() == DialogResult.OK) { string text = File.ReadAllText(openFileDialog1.FileName, Encoding.UTF8); LogisimCirc = new XmlDocument(); LogisimCirc.LoadXml(text); CircuitModel = LogisimConverter.LoadModel(LogisimCirc); VisualizeLogisim(CircuitModel); //Console.WriteLine(""); //Console.WriteLine(text); this.Text = SavedText + " - " + Path.GetFileName(openFileDialog1.FileName); } }
private void loadModelToolStripMenuItem_Click(object sender, EventArgs e) { if (openFileDialog2.ShowDialog() == DialogResult.OK) { XmlSerializer ser = new XmlSerializer(typeof(LogisimConverter.LogisimModel)); using (FileStream fs = new FileStream(openFileDialog2.FileName, FileMode.Open)) { CircuitModel = (LogisimConverter.LogisimModel)ser.Deserialize(fs); // Restore wire linkage LogisimConverter.RestoreLinkage(CircuitModel); VisualizeLogisim(CircuitModel); this.Text = SavedText + " - " + Path.GetFileName(openFileDialog2.FileName); } } }