Avans/FormeleMethoden
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added another button to convert to dfa

Browse Source
This commit is contained in:
Yorick Rommers
2017-06-13 10:40:21 +02:00
parent c4a234ba60
commit 175010c9bc
2 changed files with 30 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/com/imegumii/ui/GraphPanel.java
+28 -11
View File
@@ -200,6 +200,20 @@ public class GraphPanel extends JPanel {
}
});
JButton toDfaButton = new JButton("to DFA");
toDfaButton.addActionListener(e -> {
BackgroundWorker.instance().addWorker(() -> {
StatusPanel.Instance().setStatus("Converting to DFA ", 10);
DFA<String> convert = ((NDFA<String>) automata).toDFA();
StatusPanel.Instance().setStatus("Generating image for DFA", 50);
File img = Graph.generateImage(convert);
TabPanel.Instance().addGraph(name, img, convert);
StatusPanel.Instance().setStatus("Done", 100);
});
});
JButton reverseButton = new JButton("Reverse");
reverseButton.addActionListener(new ActionListener() {
@Override
@@ -254,6 +268,12 @@ public class GraphPanel extends JPanel {
});
JButton showGrammar = new JButton("Show grammar");
showGrammar.addActionListener(e -> {
BackgroundWorker.instance().addWorker(() -> {
GrammarConverter c = new GrammarConverter();
new TextPanel("Grammar", c.toGrammar((NDFA<String>) automata).printToString());
});
});
buttonPanel.add(Box.createHorizontalGlue());
@@ -264,20 +284,17 @@ public class GraphPanel extends JPanel {
buttonPanel.add(Box.createRigidArea(new Dimension(10, 0)));
}
if (automata.type == Importable.Type.NDFA) {
showGrammar.addActionListener(e -> {
BackgroundWorker.instance().addWorker(() -> {
GrammarConverter c = new GrammarConverter();
new TextPanel("Grammar", c.toGrammar((NDFA<String>) automata).printToString());
});
});
buttonPanel.add(showGrammar);
buttonPanel.add(Box.createRigidArea(new Dimension(10, 0)));
}
buttonPanel.add(showPopup);
buttonPanel.add(Box.createRigidArea(new Dimension(10, 0)));
if (automata.type == Importable.Type.NDFA) {
buttonPanel.add(showGrammar);
buttonPanel.add(Box.createRigidArea(new Dimension(10, 0)));
buttonPanel.add(toDfaButton);
buttonPanel.add(Box.createRigidArea(new Dimension(10, 0)));
}
buttonPanel.add(minimize2Button);
buttonPanel.add(Box.createRigidArea(new Dimension(10, 0)));
buttonPanel.add(minimizeButton);
src/com/imegumii/ui/InputPanel.java
+2 -2
View File
@@ -69,9 +69,9 @@ public class InputPanel extends JPanel {
TabPanel.Instance().addGraph(name, img, ndfa);
StatusPanel.Instance().setStatus("Generating taal", 90);
// StatusPanel.Instance().setStatus("Generating taal", 90);
new PopupFrame(name, regex);
// new PopupFrame(name, regex);
StatusPanel.Instance().setStatus("Done", 100);
}