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);
}
}
}
