You are on page 1of 43

using RegularExpression;

using System;
using System.CodeDom.Compiler;
using System.Collections;
using System.Collections.Generic;
using System.ComponentModel;
using System.ComponentModel.Design;
using System.Configuration;
using System.Data;
using System.Diagnostics;
using System.Drawing;
using System.Globalization;
using System.IO;
using System.Reflection;
using System.Resources;
using System.Runtime.CompilerServices;
using System.Runtime.InteropServices;
using System.Runtime.Serialization;
using System.Runtime.Versioning;
using System.Text;
using System.Windows.Forms;
using System.Xml;
using System.Xml.Schema;
using System.Xml.Serialization;
[assembly: AssemblyVersion("1.0.0.0")]
[assembly: Debuggable(DebuggableAttribute.DebuggingModes.Default |
DebuggableAttribute.DebuggingModes.DisableOptimizations |
DebuggableAttribute.DebuggingModes.IgnoreSymbolStoreSequencePoints |
DebuggableAttribute.DebuggingModes.EnableEditAndContinue)]
[assembly: AssemblyCompany("")]
[assembly: AssemblyConfiguration("")]
[assembly: AssemblyCopyright("Copyright 2008")]
[assembly: AssemblyDescription("")]
[assembly: AssemblyFileVersion("1.0.0.0")]
[assembly: AssemblyProduct("Driver")]
[assembly: AssemblyTitle("Driver")]
[assembly: AssemblyTrademark("")]
[assembly: CompilationRelaxations(8)]
[assembly: RuntimeCompatibility(WrapNonExceptionThrows = true)]
[assembly: ComVisible(false)]
[assembly: Guid("568e9e73-0f51-42e1-a67b-0c161073322e")]
[assembly: TargetFramework(".NETFramework,Version=v4.0", FrameworkDisplayName =
".NET Framework 4")]
namespace Driver
{
public class frmNfa : Form
{
private RegEx m_regEx = new RegEx();
private bool m_bFirstTime = true;
private OpenFileDialog open;
private StreamReader myStreamReader;
private StreamReader leer;
private string linea;
public string exprecionn = "";
private int nom = 0;
public Grafo grafo;
public Grafo nO;
public List<string> a = new List<string>();
private IContainer components = null;
private Button btnCompile;
private TextBox txtRegEx;
private MatchInfoDS matchDS;
private Label label4;
private MenuStrip menuStrip1;
private ToolStripMenuItem archivoToolStripMenuItem;
private ToolStripMenuItem abrirToolStripMenuItem;
private ToolStripMenuItem guardarToolStripMenuItem;
private TextBox textBox1;
private Label label2;
private Button button5;
private PictureBox picABB;
private Button button1;
private Button button2;
private PictureBox pictureBox3;
private PictureBox pictureBox4;
private PictureBox pictureBox5;
private PictureBox pictureBox6;
public frmNfa()
{
this.InitializeComponent();
this.open = new OpenFileDialog();
this.myStreamReader = null;
this.linea = null;
this.grafo = new Grafo();
this.nO = new Grafo();
}
private void btnCompile_Click(object sender, EventArgs e)
{
if (this.txtRegEx.Text.Length == 0)
{
MessageBox.Show(" Debes escribir una expresion regular.");
this.txtRegEx.Select();
}
else
{
StringBuilder sbStats = new StringBuilder(10000);
try
{
ErrorCode errorCode =
this.m_regEx.CompileWithStats(this.txtRegEx.Text, sbStats);
if (errorCode != ErrorCode.ERR_SUCCESS)
{
string arg =
this.txtRegEx.Text.Substring(this.m_regEx.GetLastErrorPosition(),
this.m_regEx.GetLastErrorLength());
string text = "Error";
text = string.Format(text,
errorCode.ToString(), this.m_regEx.GetLastErrorPosition(), arg);

this.txtRegEx.Select(this.m_regEx.GetLastErrorPosition(),
this.m_regEx.GetLastErrorLength());
MessageBox.Show(text);
this.txtRegEx.Select();
return;
}
this.matchDS.Clear();
}
catch (Exception ex)
{
MessageBox.Show("Error.\n\n" + ex.Message);
this.txtRegEx.Select();
return;
}
this.textBox1.Text = this.m_regEx.getPosfix();
this.m_bFirstTime = true;
this.pictureBox3.Visible = false;
this.pictureBox4.Visible = false;
this.pictureBox5.Visible = false;
this.pictureBox6.Visible = false;
this.picABB.Visible = true;
if (this.txtRegEx.Text == "(x|y|z)*x" || this.txtRegEx.Text
== "x(x|y)*x" || this.txtRegEx.Text == "(a|b)*abb" || !(this.txtRegEx.Text == "a*b|
ab*"))
{
}
}
}
private void txtStat_KeyDown(object sender, KeyEventArgs e)
{
this.m_bFirstTime = true;
}
private void txtStat_MouseDown(object sender, MouseEventArgs e)
{
this.m_bFirstTime = true;
}
private void btnFindAll_Click(object sender, EventArgs e)
{
}
private void btnFindNext_Click(object sender, EventArgs e)
{
}
private void grdResult_RowEnter(object sender,
DataGridViewCellEventArgs e)
{
}
private void txtSearchString_KeyDown(object sender, KeyEventArgs e)
{
this.m_bFirstTime = true;
}
private void txtSearchString_MouseDown(object sender, MouseEventArgs e)
{
this.m_bFirstTime = true;
}
private void txtSearchString_Enter(object sender, EventArgs e)
{
}
private void txtRegEx_Enter(object sender, EventArgs e)
{
base.AcceptButton = this.btnCompile;
}
private void chkGreedy_CheckedChanged(object sender, EventArgs e)
{
}
private void btnFindFirst_Click(object sender, EventArgs e)
{
}
private void TestMatch()
{
RegEx regEx = new RegEx();
string text = "";
ErrorCode errorCode = regEx.Compile(text);
if (errorCode != ErrorCode.ERR_SUCCESS)
{
string arg = text.Substring(regEx.GetLastErrorPosition(),
regEx.GetLastErrorLength());
string text2 = "Error";
text2 = string.Format(text2, errorCode.ToString(),
this.m_regEx.GetLastErrorPosition(), arg);
MessageBox.Show(text2);
}
else
{
int num = -1;
int num2 = -1;
string text3 = "appleandpotato";
if (this.m_regEx.FindMatch(text3, 0, text3.Length - 1, ref
num, ref num2))
{
int num3 = num2 - num + 1;
if (num3 == 0)
{
MessageBox.Show("cadena vacia " +
num.ToString() + ".");
}
else
{
string str = text3.Substring(num, num3);
MessageBox.Show("resultado encontrado: " +
num.ToString() + "\n" + str);
}
}
else
{
MessageBox.Show("No se encontro resultado.");
}
}
}
public void DibujarFigura(string resultado)
{
string command = "dot -Tjpg Figura.dot -o Figura.jpg";
frmNfa.ExecuteCommand(command);
}
public void Dibujar()
{
base.Width = 600;
base.Height = 400;
this.AutoScroll = true;
this.Text = "F I G U R A";
base.StartPosition = FormStartPosition.CenterScreen;
this.picABB.Width = 1300;
this.picABB.Height = 600;
this.picABB.SizeMode = PictureBoxSizeMode.AutoSize;
Point location = default(Point);
location.X = 23;
location.Y = 160;
this.picABB.Location = location;
FileStream fileStream;
try
{
fileStream = new FileStream("Figura.jpg", FileMode.Open,
FileAccess.Read);
}
catch (Exception)
{
MessageBox.Show("No se pudo abrir el archivo \\FIGURA.jpg",
"E R R OR", MessageBoxButtons.OK, MessageBoxIcon.Hand);
base.Close();
return;
}
try
{
this.picABB.Image = Image.FromStream(fileStream);
}
catch (Exception)
{
MessageBox.Show("No se pudo cargar la imagen del
archivo \\FIGURA.jpg", "E R R O R", MessageBoxButtons.OK, MessageBoxIcon.Hand);
fileStream.Close();
base.Close();
return;
}
fileStream.Close();
this.picABB.Refresh();
}
public void creaCadena(string exp)
{
this.enumerar();
string text = "digraph Figura {";
text += "\nrankdir=LR;";
for (int i = 0; i < this.grafo.nodos.Count; i++)
{
for (int j = 0; j < this.grafo.nodos[i].Arista.Count; j++)
{
string text2 = text;
text = string.Concat(new string[]
{
text2,
"\n",
this.grafo.nodos[i].nombre.ToString(),
"->",

this.grafo.nodos[i].Arista[j].Final.nombre.ToString(),
"[label=",
this.grafo.nodos[i].Arista[j].NomArista,
"];"
});
}
}
text += "\n}";
string resultado = this.CrearArchivoDot(text);
this.DibujarFigura(resultado);
this.Dibujar();
}
public string CrearArchivoDot(string resultado)
{
string path = "Figura.dot";
File.WriteAllText(path, resultado);
resultado = File.ReadAllText(path);
return resultado;
}
public void DibujarFigura(string resultado, string expr)
{
string command = "dot -Tjpg Figura.dot -o Figura.jpg";
frmNfa.ExecuteCommand(command);
Thomson thomson = new Thomson();
thomson.Show();
}
private static void ExecuteCommand(string _Command)
{
ProcessStartInfo processStartInfo = new ProcessStartInfo("cmd",
"/c" + _Command);
processStartInfo.RedirectStandardOutput = true;
processStartInfo.UseShellExecute = false;
processStartInfo.CreateNoWindow = false;
Process process = new Process();
process.StartInfo = processStartInfo;
process.Start();
string text = process.StandardOutput.ReadToEnd();
MessageBox.Show(text);
Console.WriteLine(text);
}
private void button1_Click(object sender, EventArgs e)
{
wdw1 wdw = new wdw1();
wdw.ShowDialog();
}
private void button2_Click(object sender, EventArgs e)
{
wdw2 wdw = new wdw2();
wdw.ShowDialog();
}
private void button3_Click(object sender, EventArgs e)
{
wdw3 wdw = new wdw3();
wdw.ShowDialog();
}
private void button4_Click(object sender, EventArgs e)
{
wdw4 wdw = new wdw4();
wdw.ShowDialog();
}
private void abrirToolStripMenuItem_Click(object sender, EventArgs e)
{
this.open.Filter = "Text [*.txt*]|*.txt|All Files [*,*]|*,*";
this.open.CheckFileExists = true;
this.open.Title = "Abrir Archivo";
this.open.ShowDialog(this);
try
{
this.open.OpenFile();
this.myStreamReader = File.OpenText(this.open.FileName);
this.txtRegEx.Text = this.myStreamReader.ReadToEnd();
this.leer = new StreamReader(this.open.FileName);
this.linea = this.leer.ReadLine();
}
catch (Exception)
{
}
}
private void guardarToolStripMenuItem_Click(object sender, EventArgs e)
{
SaveFileDialog saveFileDialog = new SaveFileDialog();
saveFileDialog.Filter = "Text (*.txt)|*.txt|HTML(*.html*)|*.html|
All files(*.*)|*.*";
saveFileDialog.CheckPathExists = true;
saveFileDialog.Title = "Guardar como";
saveFileDialog.ShowDialog(this);
try
{
StreamWriter streamWriter =
File.AppendText(saveFileDialog.FileName);
streamWriter.Write(this.txtRegEx.Text);
streamWriter.Flush();
}
catch (Exception)
{
}
}
private void button5_Click(object sender, EventArgs e)
{
this.pictureBox3.Visible = false;
this.pictureBox4.Visible = false;
this.pictureBox5.Visible = false;
this.pictureBox6.Visible = false;
this.picABB.Visible = true;
this.thomson(this.textBox1.Text);
this.creaCadena(this.exprecionn);
}
public void thomson(string expresion)
{
this.exprecionn = expresion;
this.nom = 0;
Stack<Grafo> stack = new Stack<Grafo>();
Grafo grafo = new Grafo();
Grafo g = new Grafo();
new Grafo();
for (int i = 0; i < expresion.Length; i++)
{
string c = expresion[i].ToString();
if (c != "*" && c != "+" && c != "|" && c != ".")
{
stack.Push(this.caracter(c));
}
if (c == ".")
{
grafo = stack.Pop();
g = stack.Pop();
stack.Push(this.punto(g, grafo));
}
if (c == "|")
{
grafo = stack.Pop();
g = stack.Pop();
stack.Push(this.r1orr2(g, grafo));
}
if (c == "*")
{
grafo = stack.Pop();
stack.Push(this.r1X(grafo));
}
if (c == "+")
{
grafo = stack.Pop();
stack.Push(this.r1t(grafo));
}
}
if (stack.Count > 0)
{
this.grafo = stack.Peek();
stack.Pop();
}
}
public Grafo caracter(string c)
{
Grafo grafo = new Grafo();
Nodo nodo = new Nodo(this.nom++);
Nodo nodo2 = new Nodo(this.nom++);
grafo.nodos.Add(nodo);
nodo.Arista.Add(new Arista(nodo2, c));
grafo.nodos.Add(nodo2);
return grafo;
}
public Grafo punto(Grafo g1, Grafo g2)
{
Grafo grafo = new Grafo();
for (int i = 0; i < g2.nodos[0].Arista.Count; i++)
{
g1.nodos[g1.nodos.Count - 1].Arista.Add(new
Arista(g2.nodos[0].Arista[i].Final, g2.nodos[0].Arista[i].NomArista));
}
for (int i = 0; i < g1.nodos.Count; i++)
{
grafo.nodos.Add(g1.nodos[i]);
}
for (int i = 1; i < g2.nodos.Count; i++)
{
grafo.nodos.Add(g2.nodos[i]);
}
return grafo;
}
public Grafo r1orr2(Grafo g1, Grafo g2)
{
Grafo grafo = new Grafo();
Nodo nodo = new Nodo(this.nom++);
Nodo nodo2 = new Nodo(this.nom++);
grafo.nodos.Add(nodo);
nodo.Arista.Add(new Arista(g1.nodos[0], ""));
nodo.Arista.Add(new Arista(g2.nodos[0], ""));
g1.nodos[g1.nodos.Count - 1].Arista.Add(new Arista(nodo2, ""));
g2.nodos[g2.nodos.Count - 1].Arista.Add(new Arista(nodo2, ""));
for (int i = 0; i < g1.nodos.Count; i++)
{
grafo.nodos.Add(g1.nodos[i]);
}
for (int i = 0; i < g2.nodos.Count; i++)
{
grafo.nodos.Add(g2.nodos[i]);
}
grafo.nodos.Add(nodo2);
return grafo;
}
public Grafo r1X(Grafo g1)
{
Grafo grafo = new Grafo();
g1.nodos[g1.nodos.Count - 1].Arista.Add(new Arista(g1.nodos[0],
""));
Nodo nodo = new Nodo(this.nom++);
Nodo nodo2 = new Nodo(this.nom++);
grafo.nodos.Add(nodo);
nodo.Arista.Add(new Arista(g1.nodos[0], ""));
nodo.Arista.Add(new Arista(nodo2, ""));
g1.nodos[g1.nodos.Count - 1].Arista.Add(new Arista(nodo2, ""));
for (int i = 0; i < g1.nodos.Count; i++)
{
grafo.nodos.Add(g1.nodos[i]);
}
grafo.nodos.Add(nodo2);
return grafo;
}
public Grafo r1t(Grafo g1)
{
Grafo grafo = new Grafo();
Nodo nodo = new Nodo(this.nom++);
Nodo nodo2 = new Nodo(this.nom++);
grafo.nodos.Add(nodo);
nodo.Arista.Add(new Arista(g1.nodos[0], ""));
g1.nodos[g1.nodos.Count - 1].Arista.Add(new Arista(g1.nodos[0],
""));
g1.nodos[g1.nodos.Count - 1].Arista.Add(new Arista(nodo2, ""));
for (int i = 0; i < g1.nodos.Count; i++)
{
grafo.nodos.Add(g1.nodos[i]);
}
grafo.nodos.Add(nodo2);
return grafo;
}
public void enumerar()
{
this.nom = 0;
for (int i = 0; i < this.grafo.nodos.Count; i++)
{
this.grafo.nodos[i].nombre = i;
}
}
private void button1_Click_1(object sender, EventArgs e)
{
this.pictureBox3.Visible = false;
this.pictureBox4.Visible = false;
this.pictureBox5.Visible = false;
this.pictureBox6.Visible = false;
this.picABB.Visible = true;
this.AFN();
}
public void AFN()
{
new Grafo();
List<List<Nodo>> list = new List<List<Nodo>>();
List<List<Nodo>> list2 = new List<List<Nodo>>();
List<List<Nodo>> list3 = new List<List<Nodo>>();
List<char> list4 = new List<char>();
char c = 'A';
List<Nodo> list5 = new List<Nodo>();
this.a = this.obtenerArista();
List<Nodo> list6 = new List<Nodo>();
list3.Clear();
list4.Clear();
int num = 0;
bool flag = true;
list5.Add(this.grafo.nodos[0]);
for (int i = 0; i < this.grafo.nodos.Count; i++)
{
for (int j = 0; j < this.grafo.nodos[i].Arista.Count; j++)
{
if
(this.grafo.nodos[i].Arista[j].NomArista.ToString() == "" && flag)
{
list5.Add(this.grafo.nodos[i].Arista[j].Final);
this.grafo.nodos[i].marca = 0;
}
else
{
flag = false;
}
}
}
list.Add(list5);
for (int k = 0; k < list.Count; k++)
{
int l = 0;
if (list[k].Count != 0)
{
while (l < this.a.Count)
{
list6.Clear();
for (int i = 0; i < list[k].Count; i++)
{
for (int j = 0; j < list[k]
[i].Arista.Count; j++)
{
if (list[k][i].Arista[j].NomArista
== this.a[l].ToString())
{
list6.Add(list[k]
[i].Arista[j].Final);
}
}
}
bool flag2 = this.comparaListas(list2, list6,
ref num);
list2.Add(new List<Nodo>(list6));
if (list6.Count == 0)
{
list4.Add('-');
num++;
list.Add(new List<Nodo>());
}
else
{
if (!flag2)
{
List<Nodo> list7 = new
List<Nodo>();
list7 = this.Cerradura(list6);
list.Add(list7);
c += '\u0001';
list4.Add(c);
list3.Add(new List<Nodo>(list7));
}
else
{
list3.Add(new
List<Nodo>(list3[num]));
list4.Add(list4[num]);
}
}
if (l < this.a.Count)
{
l++;
}
}
}
}
this.armaMatriz(list, list4, this.a);
}
public List<Nodo> Cerradura(List<Nodo> u)
{
List<Nodo> list = new List<Nodo>();
int num = 0;
int num2 = 0;
bool flag = true;
bool flag2 = true;
for (int i = 0; i < this.grafo.nodos.Count; i++)
{
this.grafo.nodos[i].marca = 0;
}
for (int j = 0; j < u.Count; j++)
{
list.Add(u[j]);
this.grafo.nodos[list[j].nombre].marca = 1;
}
while (true)
{
if (num2 == 0)
{
goto IL_95;
}
if (num2 == 1)
{
goto IL_95;
}
bool arg_AD_0 = false;
IL_AD:
if (arg_AD_0)
{
for (int j = 0; j < this.grafo.nodos.Count; j++)
{
if (this.grafo.nodos[j].marca == 1)
{
flag = true;
}
for (int i = 0; i <
this.grafo.nodos[j].Arista.Count; i++)
{
if
(this.grafo.nodos[j].Arista[i].NomArista.ToString() == "" && flag &&
this.grafo.nodos[j].marca == 1)
{
if (!
list.Contains(this.grafo.nodos[j].Arista[i].Final))
{

list.Add(this.grafo.nodos[j].Arista[i].Final);
}

this.grafo.nodos[j].Arista[i].Final.marca = 1;
}
else
{
flag = false;
}
}
num++;
}
num2++;
continue;
}
break;
IL_95:
arg_AD_0 = (num >= this.grafo.nodos.Count || flag2);
goto IL_AD;
}
return list;
}
public void armaMatriz(List<List<Nodo>> m, List<char> c, List<string>
a)
{
new List<List<char>>();
List<Nodo> list = new List<Nodo>();
this.nO.nodos.Clear();
char c2 = 'A';
for (int i = 0; i < m.Count; i++)
{
if (m[i].Count == 0)
{
m.Remove(m[i]);
}
}
for (int j = 0; j < m.Count; j++)
{
this.nO.nodos.Add(new Nodo(c2));
c2 += '\u0001';
}
for (int j = 0; j < c.Count; j++)
{
list.Add(new Nodo(c[j]));
}
for (int k = 0; k < this.nO.nodos.Count; k++)
{
int num = 0;
for (int l = k * a.Count; l < k * a.Count + a.Count; l++)
{
if (list[l].n != '-')
{
this.nO.Nodos[k].Arista.Add(new Arista(list[l],
a[num]));
num++;
}
}
}
this.creaCadena(this.nO);
}
public List<string> obtenerArista()
{
List<string> list = new List<string>();
for (int i = 0; i < this.grafo.nodos.Count; i++)
{
for (int j = 0; j < this.grafo.nodos[i].Arista.Count; j++)
{
if (!
list.Contains(this.grafo.nodos[i].Arista[j].NomArista.ToString()) &&
this.grafo.nodos[i].Arista[j].NomArista.ToString() != "")
{

list.Add(this.grafo.nodos[i].Arista[j].NomArista.ToString());
}
}
}
return list;
}
public void creaCadena(Grafo grafo)
{
this.enumerar();
string text = "digraph Figura {";
text += "\nrankdir=LR;";
for (int i = 0; i < grafo.nodos.Count; i++)
{
for (int j = 0; j < grafo.nodos[i].Arista.Count; j++)
{
object obj = text;
text = string.Concat(new object[]
{
obj,
"\n",
grafo.nodos[i].n,
"->",
grafo.nodos[i].Arista[j].Final.n,
"[label=",
grafo.nodos[i].Arista[j].NomArista,
"];"
});
}
}
text += "\n}";
string resultado = this.CrearArchivoDot(text);
this.DibujarFigura(resultado);
this.Dibujar();
}
public bool comparaListas(List<List<Nodo>> e, List<Nodo> c, ref int
pos)
{
bool flag = true;
bool result;
for (int i = 0; i < e.Count; i++)
{
if (e[i].Count == c.Count)
{
flag = true;
for (int j = 0; j < c.Count; j++)
{
if (e[i][j] != c[j])
{
flag = false;
}
}
if (flag)
{
pos = i;
result = true;
return result;
}
}
else
{
flag = false;
}
}
result = (e.Count != 0 && flag);
return result;
}
private void button2_Click_1(object sender, EventArgs e)
{
if (this.txtRegEx.Text == "(x|y|z)*x")
{
this.pictureBox3.Visible = true;
this.pictureBox4.Visible = false;
this.pictureBox5.Visible = false;
this.pictureBox6.Visible = false;
this.picABB.Visible = false;
}
else
{
if (this.txtRegEx.Text == "x(x|y)*x")
{
this.pictureBox3.Visible = false;
this.pictureBox4.Visible = true;
this.pictureBox5.Visible = false;
this.pictureBox6.Visible = false;
this.picABB.Visible = false;
}
else
{
if (this.txtRegEx.Text == "(a|b)*abb")
{
this.pictureBox3.Visible = false;
this.pictureBox4.Visible = false;
this.pictureBox5.Visible = true;
this.pictureBox6.Visible = false;
this.picABB.Visible = false;
}
else
{
if (this.txtRegEx.Text == "a*b|ab*")
{
this.pictureBox3.Visible = false;
this.pictureBox4.Visible = false;
this.pictureBox5.Visible = false;
this.pictureBox6.Visible = true;
this.picABB.Visible = false;
}
else
{
this.minimizar();
}
}
}
}
}
public void minimizar()
{
int num = 0;
List<Nodo> list = new List<Nodo>();
List<Nodo> list2 = new List<Nodo>();
List<List<Nodo>> list3 = new List<List<Nodo>>();
list2.Add(this.nO.nodos[this.nO.nodos.Count - 1]);
int i;
for (i = 0; i < this.nO.nodos.Count - 1; i++)
{
list.Add(this.nO.nodos[i]);
num++;
}
list3.Add(list2);
list3.Add(list);
bool flag = false;
i = 1;
IL_209:
while (i < list3.Count)
{
for (int j = 0; j < this.a.Count; j++)
{
int num2 = -1;
int k = 0;
IL_1C7:
while (k < list3[i].Count)
{
for (int l = 0; l < list3[i][k].Arista.Count;
l++)
{
if (list3[i][k].Arista[l].NomAr ==
this.a[j])
{
if (num2 == -1)
{
num2 = this.estado(list3,
list3[i][k].Arista[l].Final);
}
else
{
if (num2 !=
this.estado(list3, list3[i][k].Arista[l].Final))
{
list3.Add(new List<Nodo>
{
list3[i][k]
});
list3[i].Remove(list3[i]
[k]);
i = -1;
flag = true;
IL_1BA:
if (!flag)
{
k++;
goto IL_1C7;
}
goto IL_1DD;
}
}
}
}
goto IL_1BA;
}
IL_1DD:
if (flag)
{
flag = false;
IL_203:
i++;
goto IL_209;
}
}
goto IL_203;
}
this.Particion(list3);
}
public void Particion(List<List<Nodo>> M)
{
Grafo grafo = new Grafo();
char c = 'A';
new Nodo(M[0][0].n);
for (int i = 0; i < M.Count; i++)
{
grafo.nodos.Add(new Nodo(c));
c += '\u0001';
}
for (int j = 0; j < M.Count; j++)
{
for (int i = 0; i < M[j][0].Arista.Count; i++)
{
int index = this.estado(M, M[j][0].Arista[i].Final);
grafo.nodos[j].Arista.Add(new
Arista(grafo.nodos[index], M[j][0].Arista[i].NomArista));
}
}
this.creaCadena(grafo);
}
public int estado(List<List<Nodo>> M, Nodo x)
{
int result;
for (int i = 1; i < M.Count; i++)
{
for (int j = 0; j < M[i].Count; j++)
{
if (M[i][j].n == x.n)
{
result = i;
return result;
}
}
}
result = 0;
return result;
}
protected override void Dispose(bool disposing)
{
if (disposing && this.components != null)
{
this.components.Dispose();
}
base.Dispose(disposing);
}
private void InitializeComponent()
{
ComponentResourceManager componentResourceManager = new
ComponentResourceManager(typeof(frmNfa));
this.btnCompile = new Button();
this.txtRegEx = new TextBox();
this.matchDS = new MatchInfoDS();
this.label4 = new Label();
this.menuStrip1 = new MenuStrip();
this.archivoToolStripMenuItem = new ToolStripMenuItem();
this.abrirToolStripMenuItem = new ToolStripMenuItem();
this.guardarToolStripMenuItem = new ToolStripMenuItem();
this.textBox1 = new TextBox();
this.label2 = new Label();
this.button5 = new Button();
this.button1 = new Button();
this.button2 = new Button();
this.pictureBox3 = new PictureBox();
this.picABB = new PictureBox();
this.pictureBox4 = new PictureBox();
this.pictureBox5 = new PictureBox();
this.pictureBox6 = new PictureBox();
((ISupportInitialize)this.matchDS).BeginInit();
this.menuStrip1.SuspendLayout();
((ISupportInitialize)this.pictureBox3).BeginInit();
((ISupportInitialize)this.picABB).BeginInit();
((ISupportInitialize)this.pictureBox4).BeginInit();
((ISupportInitialize)this.pictureBox5).BeginInit();
((ISupportInitialize)this.pictureBox6).BeginInit();
base.SuspendLayout();
this.btnCompile.Anchor = (AnchorStyles.Top | AnchorStyles.Right);
this.btnCompile.BackColor = Color.Silver;
this.btnCompile.Font = new Font("Microsoft Sans Serif", 11.25f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.btnCompile.Location = new Point(415, 30);
this.btnCompile.Name = "btnCompile";
this.btnCompile.Size = new Size(181, 33);
this.btnCompile.TabIndex = 1;
this.btnCompile.Text = "Convertir Postfija";
this.btnCompile.UseVisualStyleBackColor = false;
this.btnCompile.Click += new EventHandler(this.btnCompile_Click);
this.txtRegEx.Anchor = (AnchorStyles.Top | AnchorStyles.Left |
AnchorStyles.Right);
this.txtRegEx.Font = new Font("Courier New", 10f);
this.txtRegEx.HideSelection = false;
this.txtRegEx.Location = new Point(223, 37);
this.txtRegEx.Name = "txtRegEx";
this.txtRegEx.Size = new Size(186, 23);
this.txtRegEx.TabIndex = 0;
this.txtRegEx.Enter += new EventHandler(this.txtRegEx_Enter);
this.matchDS.DataSetName = "MatchInfoDS";
this.matchDS.SchemaSerializationMode =
SchemaSerializationMode.IncludeSchema;
this.label4.AutoSize = true;
this.label4.Font = new Font("Microsoft Sans Serif", 11.25f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label4.Location = new Point(80, 37);
this.label4.Name = "label4";
this.label4.Size = new Size(127, 18);
this.label4.TabIndex = 3;
this.label4.Text = "Expresin regular:";
this.menuStrip1.Items.AddRange(new ToolStripItem[]
{
this.archivoToolStripMenuItem
});
this.menuStrip1.Location = new Point(0, 0);
this.menuStrip1.Name = "menuStrip1";
this.menuStrip1.Size = new Size(930, 24);
this.menuStrip1.TabIndex = 4;
this.menuStrip1.Text = "menuStrip1";
this.archivoToolStripMenuItem.DropDownItems.AddRange(new
ToolStripItem[]
{
this.abrirToolStripMenuItem,
this.guardarToolStripMenuItem
});
this.archivoToolStripMenuItem.Name = "archivoToolStripMenuItem";
this.archivoToolStripMenuItem.Size = new Size(60, 20);
this.archivoToolStripMenuItem.Text = "Archivo";
this.abrirToolStripMenuItem.Name = "abrirToolStripMenuItem";
this.abrirToolStripMenuItem.Size = new Size(116, 22);
this.abrirToolStripMenuItem.Text = "Abrir";
this.abrirToolStripMenuItem.Click += new
EventHandler(this.abrirToolStripMenuItem_Click);
this.guardarToolStripMenuItem.Name = "guardarToolStripMenuItem";
this.guardarToolStripMenuItem.Size = new Size(116, 22);
this.guardarToolStripMenuItem.Text = "Guardar";
this.guardarToolStripMenuItem.Click += new
EventHandler(this.guardarToolStripMenuItem_Click);
this.textBox1.Font = new Font("Courier New", 9.75f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.textBox1.Location = new Point(222, 86);
this.textBox1.Name = "textBox1";
this.textBox1.Size = new Size(147, 22);
this.textBox1.TabIndex = 5;
this.label2.AutoSize = true;
this.label2.Font = new Font("Microsoft Sans Serif", 11.25f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label2.Location = new Point(84, 86);
this.label2.Name = "label2";
this.label2.Size = new Size(123, 18);
this.label2.TabIndex = 5;
this.label2.Text = "Notacin postfija:";
this.button5.BackColor = Color.Silver;
this.button5.Font = new Font("Microsoft Sans Serif", 11.25f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.button5.Location = new Point(402, 78);
this.button5.Name = "button5";
this.button5.Size = new Size(75, 39);
this.button5.TabIndex = 11;
this.button5.Text = "AFN";
this.button5.UseVisualStyleBackColor = false;
this.button5.Click += new EventHandler(this.button5_Click);
this.button1.BackColor = Color.Silver;
this.button1.Font = new Font("Microsoft Sans Serif", 11.25f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.button1.Location = new Point(495, 78);
this.button1.Name = "button1";
this.button1.Size = new Size(75, 39);
this.button1.TabIndex = 14;
this.button1.Text = "AFD";
this.button1.UseVisualStyleBackColor = false;
this.button1.Click += new EventHandler(this.button1_Click_1);
this.button2.BackColor = Color.Silver;
this.button2.Font = new Font("Microsoft Sans Serif", 11.25f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.button2.Location = new Point(591, 78);
this.button2.Name = "button2";
this.button2.Size = new Size(123, 39);
this.button2.TabIndex = 15;
this.button2.Text = "MINIMIZACION";
this.button2.UseVisualStyleBackColor = false;
this.button2.Click += new EventHandler(this.button2_Click_1);
this.pictureBox3.Image =
(Image)componentResourceManager.GetObject("pictureBox3.Image");
this.pictureBox3.Location = new Point(36, 150);
this.pictureBox3.Name = "pictureBox3";
this.pictureBox3.Size = new Size(300, 542);
this.pictureBox3.TabIndex = 16;
this.pictureBox3.TabStop = false;
this.pictureBox3.Visible = false;
this.picABB.Location = new Point(12, 132);
this.picABB.Name = "picABB";
this.picABB.Size = new Size(906, 399);
this.picABB.TabIndex = 13;
this.picABB.TabStop = false;
this.pictureBox4.Image =
(Image)componentResourceManager.GetObject("pictureBox4.Image");
this.pictureBox4.Location = new Point(46, 150);
this.pictureBox4.Name = "pictureBox4";
this.pictureBox4.Size = new Size(351, 188);
this.pictureBox4.TabIndex = 17;
this.pictureBox4.TabStop = false;
this.pictureBox4.Visible = false;
this.pictureBox5.Image =
(Image)componentResourceManager.GetObject("pictureBox5.Image");
this.pictureBox5.Location = new Point(59, 176);
this.pictureBox5.Name = "pictureBox5";
this.pictureBox5.Size = new Size(471, 188);
this.pictureBox5.TabIndex = 18;
this.pictureBox5.TabStop = false;
this.pictureBox5.Visible = false;
this.pictureBox6.Image =
(Image)componentResourceManager.GetObject("pictureBox6.Image");
this.pictureBox6.Location = new Point(74, 132);
this.pictureBox6.Name = "pictureBox6";
this.pictureBox6.Size = new Size(479, 324);
this.pictureBox6.TabIndex = 19;
this.pictureBox6.TabStop = false;
this.pictureBox6.Visible = false;
base.AcceptButton = this.btnCompile;
base.AutoScaleDimensions = new SizeF(6f, 13f);
base.AutoScaleMode = AutoScaleMode.Font;
base.ClientSize = new Size(930, 604);
base.Controls.Add(this.pictureBox6);
base.Controls.Add(this.pictureBox5);
base.Controls.Add(this.pictureBox4);
base.Controls.Add(this.pictureBox3);
base.Controls.Add(this.button2);
base.Controls.Add(this.button1);
base.Controls.Add(this.picABB);
base.Controls.Add(this.label4);
base.Controls.Add(this.button5);
base.Controls.Add(this.label2);
base.Controls.Add(this.textBox1);
base.Controls.Add(this.txtRegEx);
base.Controls.Add(this.btnCompile);
base.Controls.Add(this.menuStrip1);
base.Name = "frmNfa";
this.Text = "Expresin regular";
base.WindowState = FormWindowState.Maximized;
((ISupportInitialize)this.matchDS).EndInit();
this.menuStrip1.ResumeLayout(false);
this.menuStrip1.PerformLayout();
((ISupportInitialize)this.pictureBox3).EndInit();
((ISupportInitialize)this.picABB).EndInit();
((ISupportInitialize)this.pictureBox4).EndInit();
((ISupportInitialize)this.pictureBox5).EndInit();
((ISupportInitialize)this.pictureBox6).EndInit();
base.ResumeLayout(false);
base.PerformLayout();
}
}
[HelpKeyword("vs.data.DataSet"), DesignerCategory("code"), ToolboxItem(true),
XmlRoot("MatchInfoDS"), XmlSchemaProvider("GetTypedDataSetSchema")]
[Serializable]
public class MatchInfoDS : DataSet
{
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0")]
public delegate void MatchInfoRowChangeEventHandler(object sender,
MatchInfoDS.MatchInfoRowChangeEvent e);
[XmlSchemaProvider("GetTypedTableSchema")]
[Serializable]
public class MatchInfoDataTable :
TypedTableBase<MatchInfoDS.MatchInfoRow>
{
private DataColumn columnMatchString;
private DataColumn columnStartIndex;
private DataColumn columnEndIndex;
private DataColumn columnLength;
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0")]
public event MatchInfoDS.MatchInfoRowChangeEventHandler
MatchInfoRowChanging;
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0")]
public event MatchInfoDS.MatchInfoRowChangeEventHandler
MatchInfoRowChanged;
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0")]
public event MatchInfoDS.MatchInfoRowChangeEventHandler
MatchInfoRowDeleting;
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0")]
public event MatchInfoDS.MatchInfoRowChangeEventHandler
MatchInfoRowDeleted;
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public DataColumn MatchStringColumn
{
get
{
return this.columnMatchString;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public DataColumn StartIndexColumn
{
get
{
return this.columnStartIndex;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public DataColumn EndIndexColumn
{
get
{
return this.columnEndIndex;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public DataColumn LengthColumn
{
get
{
return this.columnLength;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), Browsable(false), DebuggerNonUserCode]
public int Count
{
get
{
return base.Rows.Count;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public MatchInfoDS.MatchInfoRow this[int index]
{
get
{
return (MatchInfoDS.MatchInfoRow)base.Rows[index];
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public MatchInfoDataTable()
{
base.TableName = "MatchInfo";
this.BeginInit();
this.InitClass();
this.EndInit();
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
internal MatchInfoDataTable(DataTable table)
{
base.TableName = table.TableName;
if (table.CaseSensitive != table.DataSet.CaseSensitive)
{
base.CaseSensitive = table.CaseSensitive;
}
if (table.Locale.ToString() !=
table.DataSet.Locale.ToString())
{
base.Locale = table.Locale;
}
if (table.Namespace != table.DataSet.Namespace)
{
base.Namespace = table.Namespace;
}
base.Prefix = table.Prefix;
base.MinimumCapacity = table.MinimumCapacity;
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
protected MatchInfoDataTable(SerializationInfo info,
StreamingContext context) : base(info, context)
{
this.InitVars();
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public void AddMatchInfoRow(MatchInfoDS.MatchInfoRow row)
{
base.Rows.Add(row);
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public MatchInfoDS.MatchInfoRow AddMatchInfoRow(string
MatchString, int StartIndex, int EndIndex, int Length)
{
MatchInfoDS.MatchInfoRow matchInfoRow =
(MatchInfoDS.MatchInfoRow)base.NewRow();
object[] itemArray = new object[]
{
MatchString,
StartIndex,
EndIndex,
Length
};
matchInfoRow.ItemArray = itemArray;
base.Rows.Add(matchInfoRow);
return matchInfoRow;
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public override DataTable Clone()
{
MatchInfoDS.MatchInfoDataTable matchInfoDataTable =
(MatchInfoDS.MatchInfoDataTable)base.Clone();
matchInfoDataTable.InitVars();
return matchInfoDataTable;
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
protected override DataTable CreateInstance()
{
return new MatchInfoDS.MatchInfoDataTable();
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
internal void InitVars()
{
this.columnMatchString = base.Columns["MatchString"];
this.columnStartIndex = base.Columns["StartIndex"];
this.columnEndIndex = base.Columns["EndIndex"];
this.columnLength = base.Columns["Length"];
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
private void InitClass()
{
this.columnMatchString = new DataColumn("MatchString",
typeof(string), null, MappingType.Element);
base.Columns.Add(this.columnMatchString);
this.columnStartIndex = new DataColumn("StartIndex",
typeof(int), null, MappingType.Element);
base.Columns.Add(this.columnStartIndex);
this.columnEndIndex = new DataColumn("EndIndex",
typeof(int), null, MappingType.Element);
base.Columns.Add(this.columnEndIndex);
this.columnLength = new DataColumn("Length", typeof(int),
null, MappingType.Element);
base.Columns.Add(this.columnLength);
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public MatchInfoDS.MatchInfoRow NewMatchInfoRow()
{
return (MatchInfoDS.MatchInfoRow)base.NewRow();
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
protected override DataRow NewRowFromBuilder(DataRowBuilder
builder)
{
return new MatchInfoDS.MatchInfoRow(builder);
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
protected override Type GetRowType()
{
return typeof(MatchInfoDS.MatchInfoRow);
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
protected override void OnRowChanged(DataRowChangeEventArgs e)
{
base.OnRowChanged(e);
if (this.MatchInfoRowChanged != null)
{
this.MatchInfoRowChanged(this, new
MatchInfoDS.MatchInfoRowChangeEvent((MatchInfoDS.MatchInfoRow)e.Row, e.Action));
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
protected override void OnRowChanging(DataRowChangeEventArgs e)
{
base.OnRowChanging(e);
if (this.MatchInfoRowChanging != null)
{
this.MatchInfoRowChanging(this, new
MatchInfoDS.MatchInfoRowChangeEvent((MatchInfoDS.MatchInfoRow)e.Row, e.Action));
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
protected override void OnRowDeleted(DataRowChangeEventArgs e)
{
base.OnRowDeleted(e);
if (this.MatchInfoRowDeleted != null)
{
this.MatchInfoRowDeleted(this, new
MatchInfoDS.MatchInfoRowChangeEvent((MatchInfoDS.MatchInfoRow)e.Row, e.Action));
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
protected override void OnRowDeleting(DataRowChangeEventArgs e)
{
base.OnRowDeleting(e);
if (this.MatchInfoRowDeleting != null)
{
this.MatchInfoRowDeleting(this, new
MatchInfoDS.MatchInfoRowChangeEvent((MatchInfoDS.MatchInfoRow)e.Row, e.Action));
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public void RemoveMatchInfoRow(MatchInfoDS.MatchInfoRow row)
{
base.Rows.Remove(row);
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public static XmlSchemaComplexType
GetTypedTableSchema(XmlSchemaSet xs)
{
XmlSchemaComplexType xmlSchemaComplexType = new
XmlSchemaComplexType();
XmlSchemaSequence xmlSchemaSequence = new
XmlSchemaSequence();
MatchInfoDS matchInfoDS = new MatchInfoDS();
XmlSchemaAny xmlSchemaAny = new XmlSchemaAny();
xmlSchemaAny.Namespace =
"http://www.w3.org/2001/XMLSchema";
xmlSchemaAny.MinOccurs = 0m;
xmlSchemaAny.MaxOccurs = 79228162514264337593543950335m;
xmlSchemaAny.ProcessContents =
XmlSchemaContentProcessing.Lax;
xmlSchemaSequence.Items.Add(xmlSchemaAny);
XmlSchemaAny xmlSchemaAny2 = new XmlSchemaAny();
xmlSchemaAny2.Namespace = "urn:schemas-microsoft-com:xml-
diffgram-v1";
xmlSchemaAny2.MinOccurs = 1m;
xmlSchemaAny2.ProcessContents =
XmlSchemaContentProcessing.Lax;
xmlSchemaSequence.Items.Add(xmlSchemaAny2);
XmlSchemaAttribute xmlSchemaAttribute = new
XmlSchemaAttribute();
xmlSchemaAttribute.Name = "namespace";
xmlSchemaAttribute.FixedValue = matchInfoDS.Namespace;
xmlSchemaComplexType.Attributes.Add(xmlSchemaAttribute);
XmlSchemaAttribute xmlSchemaAttribute2 = new
XmlSchemaAttribute();
xmlSchemaAttribute2.Name = "tableTypeName";
xmlSchemaAttribute2.FixedValue = "MatchInfoDataTable";
xmlSchemaComplexType.Attributes.Add(xmlSchemaAttribute2);
xmlSchemaComplexType.Particle = xmlSchemaSequence;
XmlSchema schemaSerializable =
matchInfoDS.GetSchemaSerializable();
XmlSchemaComplexType result;
if (xs.Contains(schemaSerializable.TargetNamespace))
{
MemoryStream memoryStream = new MemoryStream();
MemoryStream memoryStream2 = new MemoryStream();
try
{
schemaSerializable.Write(memoryStream);
IEnumerator enumerator =
xs.Schemas(schemaSerializable.TargetNamespace).GetEnumerator();
while (enumerator.MoveNext())
{
XmlSchema xmlSchema =
(XmlSchema)enumerator.Current;
memoryStream2.SetLength(0L);
xmlSchema.Write(memoryStream2);
if (memoryStream.Length ==
memoryStream2.Length)
{
memoryStream.Position = 0L;
memoryStream2.Position = 0L;
while (memoryStream.Position !=
memoryStream.Length && memoryStream.ReadByte() == memoryStream2.ReadByte())
{
}
if (memoryStream.Position ==
memoryStream.Length)
{
result =
xmlSchemaComplexType;
return result;
}
}
}
}
finally
{
if (memoryStream != null)
{
memoryStream.Close();
}
if (memoryStream2 != null)
{
memoryStream2.Close();
}
}
}
xs.Add(schemaSerializable);
result = xmlSchemaComplexType;
return result;
}
}
public class MatchInfoRow : DataRow
{
private MatchInfoDS.MatchInfoDataTable tableMatchInfo;
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public string MatchString
{
get
{
string result;
try
{
result =
(string)base[this.tableMatchInfo.MatchStringColumn];
}
catch (InvalidCastException innerException)
{
throw new StrongTypingException("El valor de la
columna 'MatchString' de la tabla 'MatchInfo' es DBNull.", innerException);
}
return result;
}
set
{
base[this.tableMatchInfo.MatchStringColumn] = value;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public int StartIndex
{
get
{
int result;
try
{
result =
(int)base[this.tableMatchInfo.StartIndexColumn];
}
catch (InvalidCastException innerException)
{
throw new StrongTypingException("El valor de la
columna 'StartIndex' de la tabla 'MatchInfo' es DBNull.", innerException);
}
return result;
}
set
{
base[this.tableMatchInfo.StartIndexColumn] = value;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public int EndIndex
{
get
{
int result;
try
{
result =
(int)base[this.tableMatchInfo.EndIndexColumn];
}
catch (InvalidCastException innerException)
{
throw new StrongTypingException("El valor de la
columna 'EndIndex' de la tabla 'MatchInfo' es DBNull.", innerException);
}
return result;
}
set
{
base[this.tableMatchInfo.EndIndexColumn] = value;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public int Length
{
get
{
int result;
try
{
result =
(int)base[this.tableMatchInfo.LengthColumn];
}
catch (InvalidCastException innerException)
{
throw new StrongTypingException("El valor de la
columna 'Length' de la tabla 'MatchInfo' es DBNull.", innerException);
}
return result;
}
set
{
base[this.tableMatchInfo.LengthColumn] = value;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
internal MatchInfoRow(DataRowBuilder rb) : base(rb)
{
this.tableMatchInfo =
(MatchInfoDS.MatchInfoDataTable)base.Table;
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public bool IsMatchStringNull()
{
return base.IsNull(this.tableMatchInfo.MatchStringColumn);
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public void SetMatchStringNull()
{
base[this.tableMatchInfo.MatchStringColumn] =
Convert.DBNull;
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public bool IsStartIndexNull()
{
return base.IsNull(this.tableMatchInfo.StartIndexColumn);
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public void SetStartIndexNull()
{
base[this.tableMatchInfo.StartIndexColumn] =
Convert.DBNull;
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public bool IsEndIndexNull()
{
return base.IsNull(this.tableMatchInfo.EndIndexColumn);
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public void SetEndIndexNull()
{
base[this.tableMatchInfo.EndIndexColumn] = Convert.DBNull;
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public bool IsLengthNull()
{
return base.IsNull(this.tableMatchInfo.LengthColumn);
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public void SetLengthNull()
{
base[this.tableMatchInfo.LengthColumn] = Convert.DBNull;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0")]
public class MatchInfoRowChangeEvent : EventArgs
{
private MatchInfoDS.MatchInfoRow eventRow;
private DataRowAction eventAction;
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public MatchInfoDS.MatchInfoRow Row
{
get
{
return this.eventRow;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public DataRowAction Action
{
get
{
return this.eventAction;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator",
"4.0.0.0"), DebuggerNonUserCode]
public MatchInfoRowChangeEvent(MatchInfoDS.MatchInfoRow row,
DataRowAction action)
{
this.eventRow = row;
this.eventAction = action;
}
}
private MatchInfoDS.MatchInfoDataTable tableMatchInfo;
private SchemaSerializationMode _schemaSerializationMode =
SchemaSerializationMode.IncludeSchema;
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
Browsable(false),
DesignerSerializationVisibility(DesignerSerializationVisibility.Content),
DebuggerNonUserCode]
public MatchInfoDS.MatchInfoDataTable MatchInfo
{
get
{
return this.tableMatchInfo;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
Browsable(true),
DesignerSerializationVisibility(DesignerSerializationVisibility.Visible),
DebuggerNonUserCode]
public override SchemaSerializationMode SchemaSerializationMode
{
get
{
return this._schemaSerializationMode;
}
set
{
this._schemaSerializationMode = value;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden),
DebuggerNonUserCode]
public new DataTableCollection Tables
{
get
{
return base.Tables;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DesignerSerializationVisibility(DesignerSerializationVisibility.Hidden),
DebuggerNonUserCode]
public new DataRelationCollection Relations
{
get
{
return base.Relations;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
public MatchInfoDS()
{
base.BeginInit();
this.InitClass();
CollectionChangeEventHandler value = new
CollectionChangeEventHandler(this.SchemaChanged);
base.Tables.CollectionChanged += value;
base.Relations.CollectionChanged += value;
base.EndInit();
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
protected MatchInfoDS(SerializationInfo info, StreamingContext context)
: base(info, context, false)
{
if (base.IsBinarySerialized(info, context))
{
this.InitVars(false);
CollectionChangeEventHandler value = new
CollectionChangeEventHandler(this.SchemaChanged);
this.Tables.CollectionChanged += value;
this.Relations.CollectionChanged += value;
}
else
{
string s = (string)info.GetValue("XmlSchema",
typeof(string));
if (base.DetermineSchemaSerializationMode(info, context) ==
SchemaSerializationMode.IncludeSchema)
{
DataSet dataSet = new DataSet();
dataSet.ReadXmlSchema(new XmlTextReader(new
StringReader(s)));
if (dataSet.Tables["MatchInfo"] != null)
{
base.Tables.Add(new
MatchInfoDS.MatchInfoDataTable(dataSet.Tables["MatchInfo"]));
}
base.DataSetName = dataSet.DataSetName;
base.Prefix = dataSet.Prefix;
base.Namespace = dataSet.Namespace;
base.Locale = dataSet.Locale;
base.CaseSensitive = dataSet.CaseSensitive;
base.EnforceConstraints = dataSet.EnforceConstraints;
base.Merge(dataSet, false, MissingSchemaAction.Add);
this.InitVars();
}
else
{
base.ReadXmlSchema(new XmlTextReader(new
StringReader(s)));
}
base.GetSerializationData(info, context);
CollectionChangeEventHandler value2 = new
CollectionChangeEventHandler(this.SchemaChanged);
base.Tables.CollectionChanged += value2;
this.Relations.CollectionChanged += value2;
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
protected override void InitializeDerivedDataSet()
{
base.BeginInit();
this.InitClass();
base.EndInit();
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
public override DataSet Clone()
{
MatchInfoDS matchInfoDS = (MatchInfoDS)base.Clone();
matchInfoDS.InitVars();
matchInfoDS.SchemaSerializationMode =
this.SchemaSerializationMode;
return matchInfoDS;
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
protected override bool ShouldSerializeTables()
{
return false;
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
protected override bool ShouldSerializeRelations()
{
return false;
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
protected override void ReadXmlSerializable(XmlReader reader)
{
if (base.DetermineSchemaSerializationMode(reader) ==
SchemaSerializationMode.IncludeSchema)
{
this.Reset();
DataSet dataSet = new DataSet();
dataSet.ReadXml(reader);
if (dataSet.Tables["MatchInfo"] != null)
{
base.Tables.Add(new
MatchInfoDS.MatchInfoDataTable(dataSet.Tables["MatchInfo"]));
}
base.DataSetName = dataSet.DataSetName;
base.Prefix = dataSet.Prefix;
base.Namespace = dataSet.Namespace;
base.Locale = dataSet.Locale;
base.CaseSensitive = dataSet.CaseSensitive;
base.EnforceConstraints = dataSet.EnforceConstraints;
base.Merge(dataSet, false, MissingSchemaAction.Add);
this.InitVars();
}
else
{
base.ReadXml(reader);
this.InitVars();
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
protected override XmlSchema GetSchemaSerializable()
{
MemoryStream memoryStream = new MemoryStream();
base.WriteXmlSchema(new XmlTextWriter(memoryStream, null));
memoryStream.Position = 0L;
return XmlSchema.Read(new XmlTextReader(memoryStream), null);
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
internal void InitVars()
{
this.InitVars(true);
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
internal void InitVars(bool initTable)
{
this.tableMatchInfo =
(MatchInfoDS.MatchInfoDataTable)base.Tables["MatchInfo"];
if (initTable && this.tableMatchInfo != null)
{
this.tableMatchInfo.InitVars();
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
private void InitClass()
{
base.DataSetName = "MatchInfoDS";
base.Prefix = "";
base.Namespace = "http://tempuri.org/MatchInfoDS.xsd";
base.EnforceConstraints = true;
this.SchemaSerializationMode =
SchemaSerializationMode.IncludeSchema;
this.tableMatchInfo = new MatchInfoDS.MatchInfoDataTable();
base.Tables.Add(this.tableMatchInfo);
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
private bool ShouldSerializeMatchInfo()
{
return false;
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
private void SchemaChanged(object sender, CollectionChangeEventArgs e)
{
if (e.Action == CollectionChangeAction.Remove)
{
this.InitVars();
}
}
[GeneratedCode("System.Data.Design.TypedDataSetGenerator", "4.0.0.0"),
DebuggerNonUserCode]
public static XmlSchemaComplexType GetTypedDataSetSchema(XmlSchemaSet
xs)
{
MatchInfoDS matchInfoDS = new MatchInfoDS();
XmlSchemaComplexType xmlSchemaComplexType = new
XmlSchemaComplexType();
XmlSchemaSequence xmlSchemaSequence = new XmlSchemaSequence();
XmlSchemaAny xmlSchemaAny = new XmlSchemaAny();
xmlSchemaAny.Namespace = matchInfoDS.Namespace;
xmlSchemaSequence.Items.Add(xmlSchemaAny);
xmlSchemaComplexType.Particle = xmlSchemaSequence;
XmlSchema schemaSerializable =
matchInfoDS.GetSchemaSerializable();
XmlSchemaComplexType result;
if (xs.Contains(schemaSerializable.TargetNamespace))
{
MemoryStream memoryStream = new MemoryStream();
MemoryStream memoryStream2 = new MemoryStream();
try
{
schemaSerializable.Write(memoryStream);
IEnumerator enumerator =
xs.Schemas(schemaSerializable.TargetNamespace).GetEnumerator();
while (enumerator.MoveNext())
{
XmlSchema xmlSchema =
(XmlSchema)enumerator.Current;
memoryStream2.SetLength(0L);
xmlSchema.Write(memoryStream2);
if (memoryStream.Length ==
memoryStream2.Length)
{
memoryStream.Position = 0L;
memoryStream2.Position = 0L;
while (memoryStream.Position !=
memoryStream.Length && memoryStream.ReadByte() == memoryStream2.ReadByte())
{
}
if (memoryStream.Position ==
memoryStream.Length)
{
result = xmlSchemaComplexType;
return result;
}
}
}
}
finally
{
if (memoryStream != null)
{
memoryStream.Close();
}
if (memoryStream2 != null)
{
memoryStream2.Close();
}
}
}
xs.Add(schemaSerializable);
result = xmlSchemaComplexType;
return result;
}
}
internal static class Program
{
[STAThread]
private static void Main()
{
Application.EnableVisualStyles();
Application.SetCompatibleTextRenderingDefault(false);
Application.Run(new frmNfa());
}
}
public class wdw1 : Form
{
private IContainer components = null;
private PictureBox pictureBox1;
private PictureBox pictureBox2;
private PictureBox pictureBox3;
private Label label1;
private Label label2;
private Label label3;
public wdw1()
{
this.InitializeComponent();
}
protected override void Dispose(bool disposing)
{
if (disposing && this.components != null)
{
this.components.Dispose();
}
base.Dispose(disposing);
}
private void InitializeComponent()
{
ComponentResourceManager componentResourceManager = new
ComponentResourceManager(typeof(wdw1));
this.label1 = new Label();
this.label2 = new Label();
this.label3 = new Label();
this.pictureBox3 = new PictureBox();
this.pictureBox2 = new PictureBox();
this.pictureBox1 = new PictureBox();
((ISupportInitialize)this.pictureBox3).BeginInit();
((ISupportInitialize)this.pictureBox2).BeginInit();
((ISupportInitialize)this.pictureBox1).BeginInit();
base.SuspendLayout();
this.label1.AutoSize = true;
this.label1.Font = new Font("Microsoft Sans Serif", 12f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label1.Location = new Point(18, 21);
this.label1.Name = "label1";
this.label1.Size = new Size(41, 20);
this.label1.TabIndex = 3;
this.label1.Text = "AFN";
this.label2.AutoSize = true;
this.label2.Font = new Font("Microsoft Sans Serif", 12f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label2.Location = new Point(338, 21);
this.label2.Name = "label2";
this.label2.Size = new Size(42, 20);
this.label2.TabIndex = 4;
this.label2.Text = "AFD";
this.label3.AutoSize = true;
this.label3.Font = new Font("Microsoft Sans Serif", 12f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label3.Location = new Point(662, 21);
this.label3.Name = "label3";
this.label3.Size = new Size(45, 20);
this.label3.TabIndex = 5;
this.label3.Text = "AFD'";
this.pictureBox3.Image =
(Image)componentResourceManager.GetObject("pictureBox3.Image");
this.pictureBox3.Location = new Point(666, 63);
this.pictureBox3.Name = "pictureBox3";
this.pictureBox3.Size = new Size(300, 542);
this.pictureBox3.TabIndex = 2;
this.pictureBox3.TabStop = false;
this.pictureBox2.Image =
(Image)componentResourceManager.GetObject("pictureBox2.Image");
this.pictureBox2.Location = new Point(342, 60);
this.pictureBox2.Name = "pictureBox2";
this.pictureBox2.Size = new Size(301, 545);
this.pictureBox2.TabIndex = 1;
this.pictureBox2.TabStop = false;
this.pictureBox1.Image =
(Image)componentResourceManager.GetObject("pictureBox1.Image");
this.pictureBox1.Location = new Point(22, 60);
this.pictureBox1.Name = "pictureBox1";
this.pictureBox1.Size = new Size(300, 545);
this.pictureBox1.TabIndex = 0;
this.pictureBox1.TabStop = false;
base.AutoScaleDimensions = new SizeF(6f, 13f);
base.AutoScaleMode = AutoScaleMode.Font;
base.ClientSize = new Size(985, 636);
base.Controls.Add(this.label3);
base.Controls.Add(this.label2);
base.Controls.Add(this.label1);
base.Controls.Add(this.pictureBox3);
base.Controls.Add(this.pictureBox2);
base.Controls.Add(this.pictureBox1);
base.Name = "wdw1";
base.StartPosition = FormStartPosition.CenterScreen;
this.Text = "Grafos";
((ISupportInitialize)this.pictureBox3).EndInit();
((ISupportInitialize)this.pictureBox2).EndInit();
((ISupportInitialize)this.pictureBox1).EndInit();
base.ResumeLayout(false);
base.PerformLayout();
}
}
public class wdw2 : Form
{
private IContainer components = null;
private Label label3;
private Label label2;
private Label label1;
private PictureBox pictureBox3;
private PictureBox pictureBox2;
private PictureBox pictureBox1;
public wdw2()
{
this.InitializeComponent();
}
protected override void Dispose(bool disposing)
{
if (disposing && this.components != null)
{
this.components.Dispose();
}
base.Dispose(disposing);
}
private void InitializeComponent()
{
ComponentResourceManager componentResourceManager = new
ComponentResourceManager(typeof(wdw2));
this.label3 = new Label();
this.label2 = new Label();
this.label1 = new Label();
this.pictureBox3 = new PictureBox();
this.pictureBox2 = new PictureBox();
this.pictureBox1 = new PictureBox();
((ISupportInitialize)this.pictureBox3).BeginInit();
((ISupportInitialize)this.pictureBox2).BeginInit();
((ISupportInitialize)this.pictureBox1).BeginInit();
base.SuspendLayout();
this.label3.AutoSize = true;
this.label3.Font = new Font("Microsoft Sans Serif", 12f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label3.Location = new Point(662, 26);
this.label3.Name = "label3";
this.label3.Size = new Size(45, 20);
this.label3.TabIndex = 11;
this.label3.Text = "AFD'";
this.label2.AutoSize = true;
this.label2.Font = new Font("Microsoft Sans Serif", 12f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label2.Location = new Point(338, 26);
this.label2.Name = "label2";
this.label2.Size = new Size(42, 20);
this.label2.TabIndex = 10;
this.label2.Text = "AFD";
this.label1.AutoSize = true;
this.label1.Font = new Font("Microsoft Sans Serif", 12f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label1.Location = new Point(18, 26);
this.label1.Name = "label1";
this.label1.Size = new Size(41, 20);
this.label1.TabIndex = 9;
this.label1.Text = "AFN";
this.pictureBox3.Image =
(Image)componentResourceManager.GetObject("pictureBox3.Image");
this.pictureBox3.Location = new Point(632, 65);
this.pictureBox3.Name = "pictureBox3";
this.pictureBox3.Size = new Size(351, 542);
this.pictureBox3.TabIndex = 8;
this.pictureBox3.TabStop = false;
this.pictureBox2.Image =
(Image)componentResourceManager.GetObject("pictureBox2.Image");
this.pictureBox2.Location = new Point(342, 65);
this.pictureBox2.Name = "pictureBox2";
this.pictureBox2.Size = new Size(301, 545);
this.pictureBox2.TabIndex = 7;
this.pictureBox2.TabStop = false;
this.pictureBox1.Image =
(Image)componentResourceManager.GetObject("pictureBox1.Image");
this.pictureBox1.Location = new Point(22, 65);
this.pictureBox1.Name = "pictureBox1";
this.pictureBox1.Size = new Size(300, 591);
this.pictureBox1.TabIndex = 6;
this.pictureBox1.TabStop = false;
base.AutoScaleDimensions = new SizeF(6f, 13f);
base.AutoScaleMode = AutoScaleMode.Font;
base.ClientSize = new Size(984, 668);
base.Controls.Add(this.label3);
base.Controls.Add(this.label2);
base.Controls.Add(this.label1);
base.Controls.Add(this.pictureBox3);
base.Controls.Add(this.pictureBox2);
base.Controls.Add(this.pictureBox1);
base.Name = "wdw2";
base.StartPosition = FormStartPosition.CenterScreen;
this.Text = "Grafos";
((ISupportInitialize)this.pictureBox3).EndInit();
((ISupportInitialize)this.pictureBox2).EndInit();
((ISupportInitialize)this.pictureBox1).EndInit();
base.ResumeLayout(false);
base.PerformLayout();
}
}
public class wdw3 : Form
{
private IContainer components = null;
private Label label3;
private Label label2;
private Label label1;
private PictureBox pictureBox3;
private PictureBox pictureBox2;
private PictureBox pictureBox1;
public wdw3()
{
this.InitializeComponent();
}
protected override void Dispose(bool disposing)
{
if (disposing && this.components != null)
{
this.components.Dispose();
}
base.Dispose(disposing);
}
private void InitializeComponent()
{
ComponentResourceManager componentResourceManager = new
ComponentResourceManager(typeof(wdw3));
this.label3 = new Label();
this.label2 = new Label();
this.label1 = new Label();
this.pictureBox3 = new PictureBox();
this.pictureBox2 = new PictureBox();
this.pictureBox1 = new PictureBox();
((ISupportInitialize)this.pictureBox3).BeginInit();
((ISupportInitialize)this.pictureBox2).BeginInit();
((ISupportInitialize)this.pictureBox1).BeginInit();
base.SuspendLayout();
this.label3.AutoSize = true;
this.label3.Font = new Font("Microsoft Sans Serif", 12f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label3.Location = new Point(497, 26);
this.label3.Name = "label3";
this.label3.Size = new Size(45, 20);
this.label3.TabIndex = 11;
this.label3.Text = "AFD'";
this.label2.AutoSize = true;
this.label2.Font = new Font("Microsoft Sans Serif", 12f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label2.Location = new Point(283, 26);
this.label2.Name = "label2";
this.label2.Size = new Size(42, 20);
this.label2.TabIndex = 10;
this.label2.Text = "AFD";
this.label1.AutoSize = true;
this.label1.Font = new Font("Microsoft Sans Serif", 12f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label1.Location = new Point(18, 26);
this.label1.Name = "label1";
this.label1.Size = new Size(41, 20);
this.label1.TabIndex = 9;
this.label1.Text = "AFN";
this.pictureBox3.Image =
(Image)componentResourceManager.GetObject("pictureBox3.Image");
this.pictureBox3.Location = new Point(501, 65);
this.pictureBox3.Name = "pictureBox3";
this.pictureBox3.Size = new Size(471, 542);
this.pictureBox3.TabIndex = 8;
this.pictureBox3.TabStop = false;
this.pictureBox2.Image =
(Image)componentResourceManager.GetObject("pictureBox2.Image");
this.pictureBox2.Location = new Point(287, 65);
this.pictureBox2.Name = "pictureBox2";
this.pictureBox2.Size = new Size(301, 545);
this.pictureBox2.TabIndex = 7;
this.pictureBox2.TabStop = false;
this.pictureBox1.Image =
(Image)componentResourceManager.GetObject("pictureBox1.Image");
this.pictureBox1.Location = new Point(22, 65);
this.pictureBox1.Name = "pictureBox1";
this.pictureBox1.Size = new Size(300, 545);
this.pictureBox1.TabIndex = 6;
this.pictureBox1.TabStop = false;
base.AutoScaleDimensions = new SizeF(6f, 13f);
base.AutoScaleMode = AutoScaleMode.Font;
base.ClientSize = new Size(984, 636);
base.Controls.Add(this.label3);
base.Controls.Add(this.label2);
base.Controls.Add(this.label1);
base.Controls.Add(this.pictureBox3);
base.Controls.Add(this.pictureBox2);
base.Controls.Add(this.pictureBox1);
base.Name = "wdw3";
base.StartPosition = FormStartPosition.CenterScreen;
this.Text = "Grafos";
((ISupportInitialize)this.pictureBox3).EndInit();
((ISupportInitialize)this.pictureBox2).EndInit();
((ISupportInitialize)this.pictureBox1).EndInit();
base.ResumeLayout(false);
base.PerformLayout();
}
}
public class wdw4 : Form
{
private IContainer components = null;
private Label label3;
private Label label2;
private Label label1;
private PictureBox pictureBox3;
private PictureBox pictureBox2;
private PictureBox pictureBox1;
public wdw4()
{
this.InitializeComponent();
}
private void wdw4_Load(object sender, EventArgs e)
{
}
protected override void Dispose(bool disposing)
{
if (disposing && this.components != null)
{
this.components.Dispose();
}
base.Dispose(disposing);
}
private void InitializeComponent()
{
ComponentResourceManager componentResourceManager = new
ComponentResourceManager(typeof(wdw4));
this.label3 = new Label();
this.label2 = new Label();
this.label1 = new Label();
this.pictureBox3 = new PictureBox();
this.pictureBox2 = new PictureBox();
this.pictureBox1 = new PictureBox();
((ISupportInitialize)this.pictureBox3).BeginInit();
((ISupportInitialize)this.pictureBox2).BeginInit();
((ISupportInitialize)this.pictureBox1).BeginInit();
base.SuspendLayout();
this.label3.AutoSize = true;
this.label3.Font = new Font("Microsoft Sans Serif", 12f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label3.Location = new Point(508, 26);
this.label3.Name = "label3";
this.label3.Size = new Size(45, 20);
this.label3.TabIndex = 11;
this.label3.Text = "AFD'";
this.label2.AutoSize = true;
this.label2.Font = new Font("Microsoft Sans Serif", 12f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label2.Location = new Point(237, 26);
this.label2.Name = "label2";
this.label2.Size = new Size(42, 20);
this.label2.TabIndex = 10;
this.label2.Text = "AFD";
this.label1.AutoSize = true;
this.label1.Font = new Font("Microsoft Sans Serif", 12f,
FontStyle.Regular, GraphicsUnit.Point, 0);
this.label1.Location = new Point(18, 26);
this.label1.Name = "label1";
this.label1.Size = new Size(41, 20);
this.label1.TabIndex = 9;
this.label1.Text = "AFN";
this.pictureBox3.Image =
(Image)componentResourceManager.GetObject("pictureBox3.Image");
this.pictureBox3.Location = new Point(503, 65);
this.pictureBox3.Name = "pictureBox3";
this.pictureBox3.Size = new Size(479, 542);
this.pictureBox3.TabIndex = 8;
this.pictureBox3.TabStop = false;
this.pictureBox2.Image =
(Image)componentResourceManager.GetObject("pictureBox2.Image");
this.pictureBox2.Location = new Point(241, 65);
this.pictureBox2.Name = "pictureBox2";
this.pictureBox2.Size = new Size(301, 545);
this.pictureBox2.TabIndex = 7;
this.pictureBox2.TabStop = false;
this.pictureBox1.Image =
(Image)componentResourceManager.GetObject("pictureBox1.Image");
this.pictureBox1.Location = new Point(22, 65);
this.pictureBox1.Name = "pictureBox1";
this.pictureBox1.Size = new Size(300, 545);
this.pictureBox1.TabIndex = 6;
this.pictureBox1.TabStop = false;
base.AutoScaleDimensions = new SizeF(6f, 13f);
base.AutoScaleMode = AutoScaleMode.Font;
base.ClientSize = new Size(984, 636);
base.Controls.Add(this.label3);
base.Controls.Add(this.label2);
base.Controls.Add(this.label1);
base.Controls.Add(this.pictureBox3);
base.Controls.Add(this.pictureBox2);
base.Controls.Add(this.pictureBox1);
base.Name = "wdw4";
base.StartPosition = FormStartPosition.CenterScreen;
this.Text = "Grafos";
base.Load += new EventHandler(this.wdw4_Load);
((ISupportInitialize)this.pictureBox3).EndInit();
((ISupportInitialize)this.pictureBox2).EndInit();
((ISupportInitialize)this.pictureBox1).EndInit();
base.ResumeLayout(false);
base.PerformLayout();
}
}
}
namespace Driver.Properties
{
[GeneratedCode("System.Resources.Tools.StronglyTypedResourceBuilder",
"4.0.0.0"), DebuggerNonUserCode, CompilerGenerated]
internal class Resources
{
private static ResourceManager resourceMan;
private static CultureInfo resourceCulture;
[EditorBrowsable(EditorBrowsableState.Advanced)]
internal static ResourceManager ResourceManager
{
get
{
if (object.ReferenceEquals(Resources.resourceMan, null))
{
ResourceManager resourceManager = new
ResourceManager("Driver.Properties.Resources", typeof(Resources).Assembly);
Resources.resourceMan = resourceManager;
}
return Resources.resourceMan;
}
}
[EditorBrowsable(EditorBrowsableState.Advanced)]
internal static CultureInfo Culture
{
get
{
return Resources.resourceCulture;
}
set
{
Resources.resourceCulture = value;
}
}
internal static Bitmap Figura
{
get
{
object @object =
Resources.ResourceManager.GetObject("Figura", Resources.resourceCulture);
return (Bitmap)@object;
}
}
internal Resources()
{
}
}

[GeneratedCode("Microsoft.VisualStudio.Editors.SettingsDesigner.SettingsSingleFileG
enerator", "10.0.0.0"), CompilerGenerated]
internal sealed class Settings : ApplicationSettingsBase
{
private static Settings defaultInstance =
(Settings)SettingsBase.Synchronized(new Settings());
public static Settings Default
{
get
{
return Settings.defaultInstance;
}
}
}
}