private void BtnLoad_Click(object sender, EventArgs e)
{
try
{
if (txtJFFFilePath.Text == string.Empty)
{
lblState.Text = "Warning, empty file path while loading jff file, provide a valid file path";
return;
}
jff_handler = new JffReader(txtJFFFilePath.Text);
lblState.Text = "An Automaton has been loaded!";
}
catch (Exception exception)
{
lblState.Text = "An error ocurred while loading the automaton.\nError message: " + exception.Message;
}
}
private void Form1_Load(object sender, EventArgs e)
{
//jff_handler = new JffReader("C:\\Users\\DELL\\Documents\\automata.jff");
jff_handler = null;
txtJFFFilePath.Text = "C:\\Users\\DELL\\Documents\\Jffs\\DFA_1.jff";
}
