forked from GitHub/gf-core
1553 lines
60 KiB
Java
1553 lines
60 KiB
Java
import java.awt.*;
|
|
import java.awt.event.*;
|
|
import javax.swing.*;
|
|
import javax.swing.text.*;
|
|
import javax.swing.event.*;
|
|
import javax.swing.tree.*;
|
|
import java.io.*;
|
|
import java.util.*;
|
|
|
|
public class Numerals extends JFrame implements ActionListener, KeyListener {
|
|
private JComboBox fontList;
|
|
private JLabel fontLabel = new JLabel(" Font: ");
|
|
private JPanel up = new JPanel();
|
|
public static boolean debug = true;
|
|
public static boolean newObject = false;
|
|
public static boolean finished = false;
|
|
private String parseInput = "";
|
|
private String alphaInput = "";
|
|
private static String status = "status";
|
|
private static String selectedMenuLanguage = "Abstract";
|
|
private static String linearization = "";
|
|
private String termInput = "";
|
|
private static String outputString = "";
|
|
private static String treeString = "";
|
|
private static String fileString = "";
|
|
public static Vector commands = new Vector();
|
|
public static Hashtable nodeTable = new Hashtable();
|
|
JFileChooser fc1 = new JFileChooser("./");
|
|
JFileChooser fc = new JFileChooser("./");
|
|
private String [] filterMenu = {"Filter", "identity",
|
|
"erase", "take100", "text", "code", "latexfile",
|
|
"structured", "unstructured" };
|
|
private String [] modifyMenu = {"Modify", "identity",
|
|
"compute", "paraphrase", "typecheck", "solve", "context" };
|
|
// private String [] modeMenu = {"Menus", "printname",
|
|
// "plain", "short", "long", "typed", "untyped" };
|
|
private static String [] newMenu = {"New"};
|
|
|
|
private static boolean firstLin = true;
|
|
private static boolean waiting = false;
|
|
public static boolean treeChanged = true;
|
|
private static String result;
|
|
private static int selectionStart;
|
|
private static int selectionEnd;
|
|
private static BufferedReader fromProc;
|
|
private static BufferedWriter toProc;
|
|
private static String commandPath = new String("GF");
|
|
private static JTextArea output = new JTextArea();
|
|
public static DefaultListModel listModel= new DefaultListModel();
|
|
private JList list = new JList(listModel);
|
|
private static DynamicTree tree = new DynamicTree();
|
|
|
|
private JLabel grammar = new JLabel("No topic ");
|
|
private JButton save = new JButton("Save");
|
|
private JButton open = new JButton("Open");
|
|
private JButton newTopic = new JButton("New Topic");
|
|
private JButton gfCommand = new JButton("GF command");
|
|
private JButton send = new JButton("Show");
|
|
private JTextField input = new JTextField(25);
|
|
|
|
private JButton leftMeta = new JButton("?<");
|
|
private JButton left = new JButton("<");
|
|
private JButton top = new JButton("Top");
|
|
private JButton right = new JButton(">");
|
|
private JButton rightMeta = new JButton(">?");
|
|
private JButton read = new JButton("Read");
|
|
// private JButton parse = new JButton("Parse");
|
|
// private JButton term = new JButton("Term");
|
|
private JButton alpha = new JButton("Alpha");
|
|
private JButton random = new JButton("Random");
|
|
private JButton undo = new JButton("Undo");
|
|
|
|
private JPanel inputPanel = new JPanel();
|
|
private JPanel inputPanel2 = new JPanel();
|
|
private JPanel inputPanel3 = new JPanel();
|
|
private JButton ok = new JButton("OK");
|
|
private JButton cancel = new JButton("Cancel");
|
|
private JTextField inputField = new JTextField();
|
|
private JLabel inputLabel = new JLabel("Read: ");
|
|
private JButton browse = new JButton("Browse...");
|
|
private ButtonGroup readGroup = new ButtonGroup();
|
|
private JRadioButton termReadButton = new JRadioButton("Term");
|
|
private JRadioButton stringReadButton = new JRadioButton("String");
|
|
|
|
private JDialog dialog;
|
|
|
|
private static JComboBox menu = new JComboBox(newMenu);
|
|
private JComboBox filter = new JComboBox(filterMenu);
|
|
private JComboBox modify = new JComboBox(modifyMenu);
|
|
// private JComboBox mode = new JComboBox(modeMenu);
|
|
|
|
private JPanel downPanel = new JPanel();
|
|
private JSplitPane treePanel;
|
|
private JPanel upPanel = new JPanel();
|
|
private JPanel middlePanel = new JPanel();
|
|
private JPanel middlePanelUp = new JPanel();
|
|
private JPanel middlePanelDown = new JPanel();
|
|
private JSplitPane centerPanel;
|
|
private static JFrame gui2 = new JFrame();
|
|
private JPanel centerPanel2= new JPanel();
|
|
private JPanel centerPanelDown = new JPanel();
|
|
private JScrollPane outputPanelDown = new JScrollPane(list);
|
|
private JScrollPane outputPanelCenter = new JScrollPane(output);
|
|
private JPanel outputPanelUp = new JPanel();
|
|
private JPanel statusPanel = new JPanel();
|
|
private static JLabel statusLabel = new JLabel(status);
|
|
private Container cp;
|
|
|
|
private static JMenuBar menuBar= new JMenuBar();;
|
|
private static ButtonGroup menuGroup = new ButtonGroup();
|
|
private JMenu viewMenu= new JMenu("View");
|
|
private JMenu submenu= new JMenu("Language");
|
|
private JMenu submenuFont= new JMenu("TextSize");
|
|
private JMenu modeMenu= new JMenu("Menus");
|
|
private static JMenu langMenu= new JMenu("Languages");
|
|
private static JMenu fileMenu= new JMenu("File");
|
|
private JRadioButtonMenuItem rbMenuItem;
|
|
private JRadioButtonMenuItem rbMenuItemLong;
|
|
// private JRadioButtonMenuItem rbMenuItemAbs;
|
|
private JRadioButtonMenuItem rbMenuItemUnTyped;
|
|
private static JMenuItem fileMenuItem;
|
|
private static JCheckBoxMenuItem cbMenuItem;
|
|
private static RadioListener myListener ;
|
|
private static ButtonGroup group = new ButtonGroup();
|
|
private static ButtonGroup languageGroup = new ButtonGroup();
|
|
private static ButtonGroup fontGroup = new ButtonGroup();
|
|
|
|
public Numerals()
|
|
{
|
|
this.addWindowListener(new WindowAdapter() {
|
|
public void windowClosing(WindowEvent e) {
|
|
endProgram();
|
|
}
|
|
});
|
|
setJMenuBar(menuBar);
|
|
setTitle("Numerals");
|
|
|
|
GraphicsEnvironment gEnv = GraphicsEnvironment.getLocalGraphicsEnvironment();
|
|
String envfonts[] = gEnv.getAvailableFontFamilyNames();
|
|
fontList = new JComboBox(envfonts);
|
|
fontList.addActionListener(this);
|
|
//fontList.setFont(font);
|
|
//fontLabel.setFont(font);
|
|
up.add(fontLabel);
|
|
up.add(fontList);
|
|
|
|
viewMenu.setToolTipText("View settings");
|
|
fileMenu.setToolTipText("File operations");
|
|
langMenu.setToolTipText("Language settings");
|
|
menuBar.add(fileMenu);
|
|
menuBar.add(langMenu);
|
|
menuBar.add(viewMenu);
|
|
//menuBar.add(modeMenu);
|
|
|
|
//cbMenuItem = new JCheckBoxMenuItem("Tree");
|
|
//cbMenuItem.setActionCommand("showTree");
|
|
myListener = new RadioListener();
|
|
//cbMenuItem.addActionListener(myListener);
|
|
//cbMenuItem.setSelected(true);
|
|
//viewMenu.add(cbMenuItem);
|
|
//viewMenu.addSeparator();
|
|
rbMenuItem = new JRadioButtonMenuItem("large");
|
|
rbMenuItem.setActionCommand("large");
|
|
rbMenuItem.addActionListener(myListener);
|
|
fontGroup.add(rbMenuItem);
|
|
rbMenuItem.setSelected(false);
|
|
submenuFont.add(rbMenuItem);
|
|
rbMenuItem = new JRadioButtonMenuItem("medium");
|
|
rbMenuItem.setActionCommand("medium");
|
|
rbMenuItem.addActionListener(myListener);
|
|
fontGroup.add(rbMenuItem);
|
|
rbMenuItem.setSelected(true);
|
|
submenuFont.add(rbMenuItem);
|
|
rbMenuItem = new JRadioButtonMenuItem("small");
|
|
rbMenuItem.setActionCommand("small");
|
|
rbMenuItem.addActionListener(myListener);
|
|
fontGroup.add(rbMenuItem);
|
|
rbMenuItem.setSelected(false);
|
|
submenuFont.add(rbMenuItem);
|
|
|
|
viewMenu.add(submenuFont);
|
|
//viewMenu.addSeparator();
|
|
|
|
/* fileMenuItem = new JMenuItem("Open...");
|
|
fileMenuItem.setActionCommand("open");
|
|
fileMenuItem.addActionListener(this);
|
|
fileMenu.add(fileMenuItem);
|
|
fileMenuItem = new JMenuItem("New Topic...");
|
|
fileMenuItem.setActionCommand("newTopic");
|
|
fileMenuItem.addActionListener(this);
|
|
fileMenu.add(fileMenuItem);
|
|
fileMenuItem = new JMenuItem("Reset");
|
|
fileMenuItem.setActionCommand("reset");
|
|
fileMenuItem.addActionListener(this);
|
|
fileMenu.add(fileMenuItem);
|
|
*/
|
|
fileMenuItem = new JMenuItem("Save As...");
|
|
fileMenuItem.setActionCommand("save");
|
|
fileMenuItem.addActionListener(this);
|
|
fileMenu.add(fileMenuItem);
|
|
fileMenu.addSeparator();
|
|
fileMenuItem = new JMenuItem("Exit");
|
|
fileMenuItem.setActionCommand("quit");
|
|
fileMenuItem.addActionListener(this);
|
|
fileMenu.add(fileMenuItem);
|
|
|
|
// rbMenuItem = new JRadioButtonMenuItem("One window");
|
|
// rbMenuItem.setActionCommand("combine");
|
|
// rbMenuItem.addActionListener(myListener);
|
|
// rbMenuItem.setSelected(true);
|
|
/* rbMenuItem.setMnemonic(KeyEvent.VK_R);
|
|
rbMenuItem.setAccelerator(KeyStroke.getKeyStroke(
|
|
KeyEvent.VK_1, ActionEvent.ALT_MASK));
|
|
rbMenuItem.getAccessibleContext().setAccessibleDescription(
|
|
"This doesn't really do anything");
|
|
*/
|
|
/* menuGroup.add(rbMenuItem);
|
|
viewMenu.add(rbMenuItem);
|
|
|
|
rbMenuItem = new JRadioButtonMenuItem("Split windows");
|
|
rbMenuItem.setMnemonic(KeyEvent.VK_O);
|
|
rbMenuItem.setActionCommand("split");
|
|
rbMenuItem.addActionListener(myListener);
|
|
menuGroup.add(rbMenuItem);
|
|
viewMenu.add(rbMenuItem);
|
|
|
|
modeMenu.add(submenu);
|
|
*/
|
|
|
|
/* rbMenuItemAbs = new JRadioButtonMenuItem("Abstract");
|
|
rbMenuItemAbs.setActionCommand("Abstract");
|
|
rbMenuItemAbs.addActionListener(myListener);
|
|
languageGroup.add(rbMenuItemAbs);
|
|
*/
|
|
|
|
/* modeMenu.addSeparator();
|
|
menuGroup = new ButtonGroup();
|
|
rbMenuItemLong = new JRadioButtonMenuItem("long");
|
|
rbMenuItemLong.setActionCommand("long");
|
|
rbMenuItemLong.setSelected(true);
|
|
rbMenuItemLong.addActionListener(myListener);
|
|
menuGroup.add(rbMenuItemLong);
|
|
modeMenu.add(rbMenuItemLong);
|
|
rbMenuItem = new JRadioButtonMenuItem("short");
|
|
rbMenuItem.setActionCommand("short");
|
|
rbMenuItem.addActionListener(myListener);
|
|
menuGroup.add(rbMenuItem);
|
|
modeMenu.add(rbMenuItem);
|
|
modeMenu.addSeparator();
|
|
|
|
menuGroup = new ButtonGroup();
|
|
rbMenuItem = new JRadioButtonMenuItem("typed");
|
|
rbMenuItem.setActionCommand("typed");
|
|
rbMenuItem.addActionListener(myListener);
|
|
rbMenuItem.setSelected(false);
|
|
menuGroup.add(rbMenuItem);
|
|
modeMenu.add(rbMenuItem);
|
|
rbMenuItemUnTyped = new JRadioButtonMenuItem("untyped");
|
|
rbMenuItemUnTyped.setSelected(true);
|
|
rbMenuItemUnTyped.setActionCommand("untyped");
|
|
rbMenuItemUnTyped.addActionListener(myListener);
|
|
menuGroup.add(rbMenuItemUnTyped);
|
|
modeMenu.add(rbMenuItemUnTyped);
|
|
*/
|
|
cp = getContentPane();
|
|
cp.setLayout(new BorderLayout());
|
|
cp.add(outputPanelCenter, BorderLayout.CENTER);
|
|
cp.add(downPanel, BorderLayout.SOUTH);
|
|
cp.add(up, BorderLayout.NORTH);
|
|
downPanel.add(random);
|
|
downPanel.add(input);
|
|
input.addKeyListener(this);
|
|
downPanel.add(send);
|
|
|
|
// output.setToolTipText("Linearizations' display area");
|
|
output.setEditable(false);
|
|
output.setLineWrap(true);
|
|
output.setWrapStyleWord(true);
|
|
// output.setSelectionColor(Color.green);
|
|
output.setSelectionColor(Color.white);
|
|
// output.setFont(new Font("Arial Unicode MS", Font.PLAIN, 17));
|
|
output.setFont(new Font(null, Font.PLAIN, 17));
|
|
// System.out.println(output.getFont().getFontName());
|
|
send.setToolTipText("Showing the translation of a numeral");
|
|
random.setToolTipText("Generating a random numeral");
|
|
/* gfCommand.setToolTipText("Sending a command to GF");
|
|
read.setToolTipText("Refining with term or linearization from typed string or file");
|
|
modify.setToolTipText("Choosing a linearization method");
|
|
alpha.setToolTipText("Performing alpha-conversion");
|
|
random.setToolTipText("Generating random refinement");
|
|
undo.setToolTipText("Going back to the previous state");
|
|
downPanel.add(gfCommand);
|
|
//downPanel.add(parse);
|
|
//downPanel.add(term);
|
|
downPanel.add(read);
|
|
downPanel.add(modify);
|
|
downPanel.add(alpha);
|
|
downPanel.add(random);
|
|
downPanel.add(undo);
|
|
|
|
leftMeta.setToolTipText("Moving the focus to the previous metavariable");
|
|
rightMeta.setToolTipText("Moving the focus to the next metavariable");
|
|
left.setToolTipText("Moving the focus to the previous term");
|
|
right.setToolTipText("Moving the focus to the next term");
|
|
top.setToolTipText("Moving the focus to the top term");
|
|
middlePanelUp.add(leftMeta);
|
|
middlePanelUp.add(left);
|
|
middlePanelUp.add(top);
|
|
middlePanelUp.add(right);
|
|
middlePanelUp.add(rightMeta);
|
|
middlePanelDown.add(new JLabel("Select Action on Subterm"));
|
|
middlePanel.setLayout(new BorderLayout());
|
|
middlePanel.add(middlePanelUp, BorderLayout.NORTH);
|
|
middlePanel.add(middlePanelDown, BorderLayout.CENTER);
|
|
|
|
menu.setToolTipText("The list of available categories to start editing");
|
|
open.setToolTipText("Reading both a new environment and an editing object from file. Current editing will be discarded");
|
|
save.setToolTipText("Writing the current editing object to file in the term or text format");
|
|
grammar.setToolTipText("Current Topic");
|
|
newTopic.setToolTipText("Reading a new environment from file. Current editing will be discarded.");
|
|
upPanel.add(grammar);
|
|
upPanel.add(menu);
|
|
upPanel.add(open);
|
|
upPanel.add(save);
|
|
upPanel.add(newTopic);
|
|
|
|
filter.setToolTipText("Choosing the linearization representation format");
|
|
modeMenu.setToolTipText("Choosing the refinement options' representation");
|
|
statusLabel.setToolTipText("The current focus type");
|
|
list.setToolTipText("The list of current refinment options");
|
|
tree.setToolTipText("The abstract syntax tree representation of the current editing object");
|
|
upPanel.add(filter);
|
|
//upPanel.add(mode);
|
|
populateTree(tree);
|
|
outputPanelUp.setLayout(new BorderLayout());
|
|
outputPanelUp.add(outputPanelCenter, BorderLayout.CENTER);
|
|
outputPanelUp.add(statusPanel, BorderLayout.SOUTH);
|
|
statusPanel.setLayout(new GridLayout(1,1));
|
|
statusPanel.add(statusLabel);
|
|
treePanel = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT,
|
|
tree, outputPanelUp);
|
|
treePanel.setDividerSize(5);
|
|
treePanel.setDividerLocation(100);
|
|
centerPanel2.setLayout(new BorderLayout());
|
|
gui2.setSize(500,150);
|
|
gui2.setTitle("Select Action on Subterm");
|
|
gui2.setLocationRelativeTo(treePanel);
|
|
centerPanelDown.setLayout(new BorderLayout());
|
|
centerPanel = new JSplitPane(JSplitPane.VERTICAL_SPLIT,
|
|
treePanel, centerPanelDown);
|
|
centerPanel.addKeyListener(tree);
|
|
centerPanel.setOneTouchExpandable(true);
|
|
centerPanelDown.add(middlePanel, BorderLayout.NORTH);
|
|
centerPanelDown.add(outputPanelDown, BorderLayout.CENTER);
|
|
cp.add(centerPanel, BorderLayout.CENTER);
|
|
cp.add(upPanel, BorderLayout.NORTH);
|
|
cp.add(downPanel, BorderLayout.SOUTH);
|
|
|
|
list.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
|
|
|
|
MouseListener mouseListener = new MouseAdapter() {
|
|
public void mouseClicked(MouseEvent e) {
|
|
if (e.getClickCount() == 2) {
|
|
listAction(list.locationToIndex(e.getPoint()));
|
|
}
|
|
}
|
|
};
|
|
list.addMouseListener(mouseListener);
|
|
list.addKeyListener(this);
|
|
menu.addActionListener(this);
|
|
save.addActionListener(this);
|
|
open.addActionListener(this);
|
|
newTopic.addActionListener(this);
|
|
gfCommand.addActionListener(this);
|
|
|
|
filter.addActionListener(this);
|
|
filter.setMaximumRowCount(9);
|
|
leftMeta.addActionListener(this);
|
|
left.addActionListener(this);
|
|
|
|
menu.setFocusable(false);
|
|
save.setFocusable(false);
|
|
save.setActionCommand("save");
|
|
open.setFocusable(false);
|
|
open.setActionCommand("open");
|
|
newTopic.setFocusable(false);
|
|
newTopic.setActionCommand("newTopic");
|
|
gfCommand.setFocusable(false);
|
|
|
|
filter.setFocusable(false);
|
|
leftMeta.setFocusable(false);
|
|
left.setFocusable(false);
|
|
|
|
top.addActionListener(this);
|
|
right.addActionListener(this);
|
|
rightMeta.addActionListener(this);
|
|
//parse.addActionListener(this);
|
|
//term.addActionListener(this);
|
|
read.addActionListener(this);
|
|
modify.addActionListener(this);
|
|
//mode.addActionListener(this);
|
|
alpha.addActionListener(this);
|
|
random.addActionListener(this);
|
|
undo.addActionListener(this);
|
|
|
|
top.setFocusable(false);
|
|
right.setFocusable(false);
|
|
rightMeta.setFocusable(false);
|
|
//parse.setFocusable(false);
|
|
//term.setFocusable(false);
|
|
read.setFocusable(false);
|
|
modify.setFocusable(false);
|
|
//mode.setFocusable(false);
|
|
alpha.setFocusable(false);
|
|
random.setFocusable(false);
|
|
undo.setFocusable(false);
|
|
|
|
output.addKeyListener(tree);
|
|
|
|
outputPanelUp.setPreferredSize(new Dimension(500,300));
|
|
treePanel.setDividerLocation(0.3);
|
|
nodeTable.put(new TreePath(DynamicTree.rootNode.getPath()), new Integer(0));
|
|
|
|
JRadioButton termButton = new JRadioButton("Term");
|
|
termButton.setActionCommand("term");
|
|
termButton.setSelected(true);
|
|
JRadioButton linButton = new JRadioButton("Text");
|
|
linButton.setActionCommand("lin");
|
|
// Group the radio buttons.
|
|
group.add(linButton);
|
|
group.add(termButton);
|
|
JPanel buttonPanel = new JPanel();
|
|
buttonPanel.setPreferredSize(new Dimension(70, 70));
|
|
buttonPanel.add(new JLabel("Format:"));
|
|
buttonPanel.add(linButton);
|
|
buttonPanel.add(termButton);
|
|
fc1.setAccessory(buttonPanel);
|
|
|
|
termReadButton.setActionCommand("term");
|
|
stringReadButton.setSelected(true);
|
|
stringReadButton.setActionCommand("lin");
|
|
// Group the radio buttons.
|
|
readGroup.add(stringReadButton);
|
|
readGroup.add(termReadButton);
|
|
JPanel readButtonPanel = new JPanel();
|
|
readButtonPanel.setLayout(new GridLayout(3,1));
|
|
readButtonPanel.setPreferredSize(new Dimension(70, 70));
|
|
readButtonPanel.add(new JLabel("Format:"));
|
|
readButtonPanel.add(stringReadButton);
|
|
readButtonPanel.add(termReadButton);
|
|
dialog= new JDialog(this, "Input");
|
|
dialog.setLocationRelativeTo(this);
|
|
dialog.getContentPane().add(inputPanel);
|
|
inputPanel.setLayout(new BorderLayout(10,10));
|
|
inputPanel3.setLayout(new GridLayout(2,1,5,5));
|
|
inputPanel3.add(inputLabel);
|
|
inputPanel3.add(inputField);
|
|
ok.addActionListener(this);
|
|
browse.addActionListener(this);
|
|
cancel.addActionListener(this);
|
|
inputField.setPreferredSize(new Dimension(300,23));
|
|
inputPanel.add(inputPanel3, BorderLayout.CENTER);
|
|
inputPanel.add(new JLabel(" "), BorderLayout.WEST);
|
|
inputPanel.add(readButtonPanel, BorderLayout.EAST);
|
|
inputPanel.add(inputPanel2, BorderLayout.SOUTH);
|
|
inputPanel2.add(ok);
|
|
inputPanel2.add(cancel);
|
|
inputPanel2.add(browse);
|
|
dialog.setSize(350,135);
|
|
*/
|
|
send.addActionListener(this);
|
|
random.addActionListener(this);
|
|
setSize(400,700);
|
|
setVisible(true);
|
|
|
|
try {
|
|
result = fromProc.readLine();
|
|
boolean firstCall = true;
|
|
while(result != null) {
|
|
boolean newCommand = true;
|
|
finished = false;
|
|
if (debug) System.out.println("01 "+result);
|
|
while (result.indexOf("gf")==-1){
|
|
outputString +=result+"\n";
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("001 "+result);
|
|
}
|
|
output.append(outputString);
|
|
if (newCommand)
|
|
{
|
|
if (firstCall)
|
|
{
|
|
output.setText("Welcome to Numerals! \n Print a number in the text field below and \n press Enter or use the Random button.");
|
|
firstCall = false;
|
|
}
|
|
else
|
|
output.setText("");
|
|
System.out.println("!!!!!!! output cleared !");
|
|
newCommand = false;
|
|
}
|
|
|
|
while ((result.indexOf("newcat")==-1)&&(result.indexOf("<lin ")==-1)){
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("0001 "+result);
|
|
}
|
|
if (result.indexOf("<lin ")==-1)
|
|
formNewMenu();
|
|
|
|
if (!finished) {
|
|
|
|
while ((result.length()==0)||(result.indexOf("<lin ")==-1)) {
|
|
result = fromProc.readLine();
|
|
if (result!=null){
|
|
if (debug) System.out.println("10 "+result);
|
|
newCommand =true;
|
|
}
|
|
else System.exit(0);
|
|
}
|
|
readLin();
|
|
readTree();
|
|
readMessage();
|
|
if (newObject)
|
|
formSelectMenu();
|
|
else {
|
|
while(result.indexOf("</menu")==-1) {
|
|
result = fromProc.readLine();
|
|
// if (debug) System.out.println("12 "+result);
|
|
}
|
|
}
|
|
for (int i=0; i<3; i++){
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("11 "+result);
|
|
}
|
|
}
|
|
}
|
|
output.append("*** NOTHING MORE TO READ FROM " + commandPath + "\n");
|
|
} catch (IOException e) {
|
|
System.out.println("Could not read from external process");
|
|
}
|
|
}
|
|
|
|
public static void send(String text){
|
|
try {
|
|
output.setText("");
|
|
outputString = "";
|
|
if (debug) System.out.println("output cleared");
|
|
toProc.write(text, 0, text.length());
|
|
toProc.newLine();
|
|
toProc.flush();
|
|
} catch (IOException e) {
|
|
System.out.println("Could not write to external process");
|
|
}
|
|
}
|
|
|
|
public void endProgram(){
|
|
send("q");
|
|
System.exit(0);
|
|
}
|
|
|
|
public static void main(String args[])
|
|
{
|
|
Locale.setDefault(Locale.US);
|
|
try {
|
|
Process extProc = Runtime.getRuntime().exec(args[0]);
|
|
fromProc = new BufferedReader (new InputStreamReader(
|
|
extProc.getInputStream(),"UTF8"));
|
|
toProc = new BufferedWriter(new OutputStreamWriter(extProc.getOutputStream(),"UTF8"));
|
|
/* try {
|
|
UIManager.setLookAndFeel(
|
|
//UIManager.getSystemLookAndFeelClassName() );
|
|
"com.sun.java.swing.plaf.windows.WindowsLookAndFeel");
|
|
} catch (Exception e) { }
|
|
*/
|
|
Numerals gui = new Numerals();
|
|
|
|
} catch (IOException e) {
|
|
System.out.println("Could not start " + commandPath);
|
|
}
|
|
}
|
|
|
|
public static void formSelectMenu (){
|
|
if (debug) System.out.println("list model changing! ");
|
|
String s ="";
|
|
try {
|
|
//read item
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("8 "+result);
|
|
listModel.clear();
|
|
commands.clear();
|
|
while (result.indexOf("/menu")==-1){
|
|
//read show
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("8 "+result);
|
|
while (result.indexOf("/show")==-1){
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("9 "+result);
|
|
if (result.indexOf("/show")==-1)
|
|
{
|
|
if (result.length()>8)
|
|
s+=result.trim();
|
|
else
|
|
s+=result;
|
|
}
|
|
}
|
|
// if (s.charAt(0)!='d')
|
|
// listModel.addElement("Refine " + s);
|
|
// else
|
|
listModel.addElement(s);
|
|
s="";
|
|
//read /show
|
|
//read send
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("8 "+result);
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("8 "+result);
|
|
saveCommand();
|
|
// read /item
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("8 "+result);
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("8 "+result);
|
|
}
|
|
} catch(IOException e){ }
|
|
}
|
|
|
|
public static void saveCommand(){
|
|
if (newObject) commands.add(result);
|
|
try {
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("9 "+result);
|
|
} catch(IOException e){ }
|
|
}
|
|
|
|
public void readLin(){
|
|
try {
|
|
linearization="";
|
|
linearization += result+"\n";
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("6 "+result);
|
|
while (result.indexOf("/linearization")==-1){
|
|
linearization += result+"\n";
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("6 "+result);
|
|
}
|
|
if (newObject) formLin();
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("6 "+result);
|
|
} catch(IOException e){ }
|
|
}
|
|
|
|
public static void readTree(){
|
|
try {
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("6 "+result);
|
|
while (result.indexOf("/tree")==-1){
|
|
treeString += result+"\n";
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("6 "+result);
|
|
}
|
|
if (treeChanged && (newObject)) {
|
|
formTree(tree);
|
|
treeChanged = false;
|
|
}
|
|
treeString="";
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("6 "+result);
|
|
} catch(IOException e){ }
|
|
}
|
|
|
|
public static void readMessage(){
|
|
String s ="";
|
|
try {
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("7 "+result);
|
|
while (result.indexOf("/message")==-1){
|
|
s += result+"\n";
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("7 "+result);
|
|
}
|
|
if ((s.length()>1)&&(s.indexOf("to start")==-1))
|
|
output.append("-------------"+'\n'+s);
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("7 "+result);
|
|
} catch(IOException e){ }
|
|
}
|
|
|
|
public void formNewMenu () {
|
|
boolean more = true;
|
|
try {
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("2 "+result);
|
|
|
|
while (more){
|
|
if (result.indexOf("language")==-1) {
|
|
menu.addItem(result.substring(6));
|
|
}
|
|
else
|
|
more = false;
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("2 "+result);
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("3 "+result);
|
|
if (result.indexOf("language")!=-1)
|
|
more = false;
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("4 "+result);
|
|
}
|
|
|
|
more = true;
|
|
while (more){
|
|
if ((result.indexOf("/gf")==-1)&&(result.indexOf("lin")==-1)) {
|
|
//form lang and Menu menu:
|
|
cbMenuItem = new JCheckBoxMenuItem(result.substring(4));
|
|
System.out.println ("menu item: "+result.substring(4));
|
|
if (!(result.substring(4).equals("Abstract")))
|
|
cbMenuItem.setSelected(true);
|
|
cbMenuItem.setActionCommand("lang");
|
|
cbMenuItem.addActionListener(myListener);
|
|
langMenu.add(cbMenuItem);
|
|
/* if ((result.substring(4)).equals("Abstract"))
|
|
{
|
|
submenu.add(rbMenuItemAbs);
|
|
if (selectedMenuLanguage.equals("Abstract"))
|
|
rbMenuItemAbs.setSelected(true);
|
|
languageGroup.add(rbMenuItemAbs);
|
|
}
|
|
else
|
|
{
|
|
*/
|
|
rbMenuItem = new JRadioButtonMenuItem(result.substring(4));
|
|
rbMenuItem.setActionCommand("language"+result.substring(4));
|
|
rbMenuItem.addActionListener(myListener);
|
|
languageGroup.add(rbMenuItem);
|
|
if ((result.substring(4)).equals(selectedMenuLanguage))
|
|
{
|
|
if (debug) System.out.println("Selecting "+selectedMenuLanguage);
|
|
rbMenuItem.setSelected(true);
|
|
}
|
|
|
|
submenu.add(rbMenuItem);
|
|
// }
|
|
}
|
|
else
|
|
more = false;
|
|
// read </language>
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("2 "+result);
|
|
// read <language> or </gf...>
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("3 "+result);
|
|
if ((result.indexOf("/gf")!=-1)||(result.indexOf("lin")!=-1))
|
|
more = false;
|
|
if (result.indexOf("/gf")!=-1)
|
|
finished = true;
|
|
// registering the file name:
|
|
if (result.indexOf("language")!=-1) {
|
|
String path = result.substring(result.indexOf('=')+1,
|
|
result.indexOf('>'));
|
|
path =path.substring(path.lastIndexOf('/')+1);
|
|
if (debug) System.out.println("name: "+path);
|
|
fileString +="--" + path +"\n";
|
|
if (path.lastIndexOf('.')!=path.indexOf('.'))
|
|
grammar.setText(path.substring(0,
|
|
path.indexOf('.')).toUpperCase()+" ");
|
|
}
|
|
result = fromProc.readLine();
|
|
if (debug) System.out.println("4 "+result);
|
|
}
|
|
if (debug) System.out.println("languageGroupElement formed"+
|
|
languageGroup.getButtonCount());
|
|
langMenu.addSeparator();
|
|
fileMenuItem = new JMenuItem("Add...");
|
|
fileMenuItem.setActionCommand("import");
|
|
fileMenuItem.addActionListener(this);
|
|
langMenu.add(fileMenuItem);
|
|
// in order to get back in main in the beggining of while:
|
|
result = fromProc.readLine();
|
|
} catch(IOException e){ }
|
|
}
|
|
|
|
public void outputAppend(){
|
|
int i, j, k, l, l2, m;
|
|
i=result.indexOf("type=");
|
|
j=result.indexOf('>',i);
|
|
l = result.indexOf("<focus");
|
|
l2 = result.indexOf("focus");
|
|
if (l2!=-1){
|
|
|
|
// in case focus tag is cut into two lines:
|
|
if (l==-1) l=l2-7;
|
|
|
|
if (debug) System.out.println("form Lin1: "+result);
|
|
statusLabel.setText(" "+result.substring(i+5,j));
|
|
//cutting <focus>
|
|
result= result.substring(0,l)+result.substring(j+1);
|
|
i=result.indexOf("/f",l);
|
|
if (debug) System.out.println("/ is at the position"+i);
|
|
j=result.indexOf('>',i);
|
|
k=result.length()-j;
|
|
if (debug) System.out.println("form Lin2: "+result);
|
|
m = output.getText().length();
|
|
|
|
//cutting </focus>
|
|
// in case focus tag is cut into two lines:
|
|
if (debug)
|
|
System.out.println("char at the previous position"+result.charAt(i-1));
|
|
if (result.charAt(i-1)!='<')
|
|
result= result.substring(0,i-8)+result.substring(j+1);
|
|
else
|
|
result= result.substring(0,i-1)+result.substring(j+1);
|
|
j= result.indexOf("<focus");
|
|
l2 = result.indexOf("focus");
|
|
// in case focus tag is cut into to lines:
|
|
if ((l2!=-1)&&(j==-1)) j=l2-7;
|
|
// only one focus
|
|
if (j==-1){
|
|
output.append(result+'\n');
|
|
selectionStart=m+l;
|
|
selectionEnd=output.getText().length()-k;
|
|
try {
|
|
// output.getHighlighter().addHighlight(selectionStart, selectionEnd, new DefaultHighlighter.DefaultHighlightPainter(Color.green) );
|
|
output.getHighlighter().addHighlight(selectionStart, selectionEnd, new DefaultHighlighter.DefaultHighlightPainter(Color.white) );
|
|
} catch (Exception e) {}
|
|
}
|
|
//several focuses
|
|
else {
|
|
output.append(result.substring(0,j));
|
|
result = result.substring(j);
|
|
selectionStart=m+l;
|
|
selectionEnd=m+i-1;
|
|
try {
|
|
// output.getHighlighter().addHighlight(selectionStart, selectionEnd, new DefaultHighlighter.DefaultHighlightPainter(Color.green) );
|
|
output.getHighlighter().addHighlight(selectionStart, selectionEnd, new DefaultHighlighter.DefaultHighlightPainter(Color.white) );
|
|
} catch (Exception e) {}
|
|
outputAppend();
|
|
}
|
|
if (debug) System.out.println("form Lin3: "+result);
|
|
}
|
|
else
|
|
output.append(result+'\n');
|
|
firstLin=false;
|
|
}
|
|
|
|
public void formLin(){
|
|
boolean visible=true;
|
|
firstLin=true;
|
|
result = linearization.substring(0,linearization.indexOf('\n'));
|
|
String lin = linearization.substring(linearization.indexOf('\n')+1);
|
|
//extract the language from result
|
|
int ind = result.indexOf('=');
|
|
int ind2 = result.indexOf('>');
|
|
String s = result.substring(ind+1,ind2);
|
|
result = lin.substring(0,lin.indexOf("</lin>"));
|
|
lin = lin.substring(lin.indexOf("</lin>"));
|
|
while (lin.length()>1) {
|
|
//check if the language is on
|
|
if (!visible) visible = true;
|
|
// in the list?
|
|
for (int i=0; i<langMenu.getItemCount()-2;i++)
|
|
if (langMenu.getItem(i).getText().equals(s))
|
|
{
|
|
visible = false;
|
|
break;
|
|
}
|
|
if (!visible) visible = true;
|
|
else {
|
|
//add item to the language list:
|
|
cbMenuItem = new JCheckBoxMenuItem(s);
|
|
if (debug) System.out.println ("menu item: "+s);
|
|
cbMenuItem.setSelected(true);
|
|
cbMenuItem.setActionCommand("lang");
|
|
cbMenuItem.addActionListener(myListener);
|
|
if (langMenu.getItemCount()<2)
|
|
langMenu.add(cbMenuItem, langMenu.getItemCount());
|
|
else
|
|
langMenu.add(cbMenuItem, langMenu.getItemCount()-2);
|
|
|
|
rbMenuItem = new JRadioButtonMenuItem(s);
|
|
rbMenuItem.setActionCommand(s);
|
|
rbMenuItem.addActionListener(myListener);
|
|
languageGroup.add(rbMenuItem);
|
|
submenu.add(rbMenuItem);
|
|
|
|
}
|
|
// selected?
|
|
for (int i=0; i<langMenu.getItemCount()-2;i++)
|
|
if ((langMenu.getItem(i).getText().equals(s))&&
|
|
!(langMenu.getItem(i).isSelected()) ) {
|
|
visible = false;
|
|
break;
|
|
}
|
|
if (visible) {
|
|
if (!firstLin)
|
|
output.append("************"+'\n');
|
|
if (debug) System.out.println("linearization for the language: "+result);
|
|
outputAppend();
|
|
}
|
|
// read </lin>
|
|
lin = lin.substring(lin.indexOf('\n')+1);
|
|
// read lin or 'end'
|
|
if (lin.length()<1) break;
|
|
|
|
result = lin.substring(0,lin.indexOf('\n'));
|
|
lin = lin.substring(lin.indexOf('\n')+1);
|
|
if (result.indexOf("<lin ")!=-1){
|
|
//extract the language from result
|
|
ind = result.indexOf('=');
|
|
ind2 = result.indexOf('>');
|
|
s = result.substring(ind+1,ind2);
|
|
result = lin.substring(0,lin.indexOf("</lin>"));
|
|
lin = lin.substring(lin.indexOf("</lin>"));
|
|
}
|
|
}
|
|
}
|
|
|
|
public void showAction(){
|
|
treeChanged = true;
|
|
send("n Numeral");
|
|
newObject = true;
|
|
System.out.println("!!!!!!!sending newNumeral");
|
|
treeChanged = true;
|
|
send("p "+ input.getText());
|
|
System.out.println("!!!!!!!sending parse string: "+input.getText());
|
|
}
|
|
|
|
public void actionPerformed(ActionEvent ae)
|
|
{
|
|
boolean abs = true;
|
|
Object obj = ae.getSource();
|
|
|
|
if ( obj == fontList ) {
|
|
Font font = new Font((String)fontList.getSelectedItem(), Font.PLAIN, 13);
|
|
output.setFont(font);
|
|
}
|
|
|
|
if ( obj == send ) {
|
|
showAction();
|
|
}
|
|
|
|
if ( obj == menu ) {
|
|
if (menu.getItemCount()>0)
|
|
if (!menu.getSelectedItem().equals("New"))
|
|
{
|
|
treeChanged = true;
|
|
send("n " + menu.getSelectedItem());
|
|
newObject = true;
|
|
menu.setSelectedIndex(0);
|
|
}
|
|
}
|
|
|
|
if ( obj == filter ) {
|
|
if (!filter.getSelectedItem().equals("Filter"))
|
|
{
|
|
send("f " + filter.getSelectedItem());
|
|
filter.setSelectedIndex(0);
|
|
}
|
|
}
|
|
if ( obj == modify ) {
|
|
if (!modify.getSelectedItem().equals("Modify"))
|
|
{
|
|
treeChanged = true;
|
|
send("c " + modify.getSelectedItem());
|
|
modify.setSelectedIndex(0);
|
|
}
|
|
}
|
|
/* if ( obj == mode ) {
|
|
if (!mode.getSelectedItem().equals("Menus"))
|
|
{
|
|
send("o " + mode.getSelectedItem());
|
|
mode.setSelectedIndex(0);
|
|
}
|
|
}
|
|
*/
|
|
// buttons and menu items:
|
|
boolean objectInstance = false;
|
|
try {
|
|
objectInstance =
|
|
Class.forName("javax.swing.AbstractButton").isInstance(obj);
|
|
} catch (Exception e) {System.out.println("Class not found!");}
|
|
|
|
if (objectInstance) {
|
|
String name =((AbstractButton)obj).getActionCommand();
|
|
|
|
if ( name.equals("quit")) {
|
|
endProgram();
|
|
}
|
|
|
|
if ( name.equals("save") ) {
|
|
|
|
if (fc1.getChoosableFileFilters().length<2)
|
|
fc1.addChoosableFileFilter(new GrammarFilter());
|
|
fc1.setFileFilter(fc1.getAcceptAllFileFilter());
|
|
int returnVal = fc1.showSaveDialog(Numerals.this);
|
|
if (returnVal == JFileChooser.APPROVE_OPTION) {
|
|
File file = fc1.getSelectedFile();
|
|
if (debug) System.out.println("saving ... ");
|
|
|
|
/* // checking if the abstract syntax is on:
|
|
for (int i=0; i<langMenu.getItemCount()-2;i++)
|
|
if ((langMenu.getItem(i).getText().equals("Abstract"))&&
|
|
!(langMenu.getItem(i).isSelected()) ) {
|
|
JOptionPane.showMessageDialog(this,
|
|
"Turn on Abs, then save again.",
|
|
"Error", JOptionPane.ERROR_MESSAGE);
|
|
abs = false;
|
|
break;
|
|
}
|
|
|
|
String text = output.getText();
|
|
int end = text.indexOf("******");
|
|
|
|
// saving as a term:
|
|
if (group.getSelection().getActionCommand().equals("term")) {
|
|
if (end !=-1)
|
|
if (abs) {
|
|
writeOutput(fileString+text.substring(0, end), file.getPath());
|
|
abs=true;
|
|
}
|
|
else {
|
|
int i = linearization.indexOf('\n');
|
|
int j = linearization.indexOf("/lin");
|
|
writeOutput(fileString+linearization.substring(i+1, j-1), file.getPath());
|
|
}
|
|
else
|
|
JOptionPane.showMessageDialog(this, "No term to save");
|
|
}
|
|
// saving as a linearization:
|
|
else
|
|
// abstract syntax is shown:
|
|
if (abs)
|
|
{
|
|
end = text.indexOf('\n', end);
|
|
writeOutput(fileString+text.substring(end), file.getPath());
|
|
abs = true;
|
|
}
|
|
else
|
|
writeOutput(fileString+text, file.getPath());
|
|
*/ writeOutput(output.getText(), file.getPath());
|
|
}
|
|
}
|
|
|
|
if ( name.equals("open") ) {
|
|
if (fc1.getChoosableFileFilters().length<2)
|
|
fc1.addChoosableFileFilter(new GrammarFilter());
|
|
fc1.setFileFilter(fc1.getAcceptAllFileFilter());
|
|
int returnVal = fc1.showOpenDialog(Numerals.this);
|
|
if (returnVal == JFileChooser.APPROVE_OPTION) {
|
|
|
|
/* "sending" should be fixed on the GF side:
|
|
rbMenuItemLong.setSelected(true);
|
|
send("ms long");
|
|
rbMenuItemUnTyped.setSelected(true);
|
|
send("mt untyped");
|
|
selectedMenuLanguage = "Abstract";
|
|
rbMenuItemAbs.setSelected(true);
|
|
send("ml Abs");
|
|
*/
|
|
|
|
int m = JOptionPane.showConfirmDialog(this,
|
|
"This will dismiss the previous editing. Would you like to continue?",
|
|
"Opening a new file", JOptionPane.YES_NO_OPTION);
|
|
if (m == JOptionPane.YES_OPTION){
|
|
treeChanged = true;
|
|
newObject = true;
|
|
menu.removeAllItems();
|
|
menu.addItem("New");
|
|
langMenu.removeAll();
|
|
|
|
AbstractButton ab = null;
|
|
|
|
while (languageGroup.getButtonCount()>0)
|
|
{
|
|
for (Enumeration e = languageGroup.getElements();
|
|
e.hasMoreElements() ;)
|
|
{
|
|
ab = (AbstractButton)e.nextElement();
|
|
if (debug) System.out.println("more to remove ! "+ab.getText());
|
|
languageGroup.remove(ab);
|
|
}
|
|
if (debug) System.out.println("languageGroupElement after import removal "+
|
|
languageGroup.getButtonCount());
|
|
}
|
|
submenu.removeAll();
|
|
|
|
File file = fc1.getSelectedFile();
|
|
// opening the file for editing :
|
|
if (debug) System.out.println("opening: "+ file.getPath().replace('\\','/'));
|
|
if (group.getSelection().getActionCommand().equals("term")) {
|
|
if (debug) System.out.println(" opening as a term ");
|
|
send("open "+ file.getPath().replace('\\','/'));
|
|
}
|
|
else {
|
|
if (debug) System.out.println(" opening as a linearization ");
|
|
send("openstring "+ file.getPath().replace('\\','/'));
|
|
}
|
|
|
|
fileString ="";
|
|
grammar.setText("No Topic ");
|
|
}
|
|
}
|
|
}
|
|
|
|
if ( name.equals("import") ) {
|
|
if (fc.getChoosableFileFilters().length<2)
|
|
fc.addChoosableFileFilter(new GrammarFilter());
|
|
fc.setFileFilter(fc.getAcceptAllFileFilter());
|
|
int returnVal = fc.showOpenDialog(Numerals.this);
|
|
if (returnVal == JFileChooser.APPROVE_OPTION) {
|
|
File file = fc.getSelectedFile();
|
|
// importing a new language :
|
|
if (debug) System.out.println("importing: "+ file.getPath());
|
|
|
|
langMenu.removeAll();
|
|
|
|
AbstractButton ab = null;
|
|
|
|
while (languageGroup.getButtonCount()>0)
|
|
{
|
|
for (Enumeration e = languageGroup.getElements();
|
|
e.hasMoreElements() ;)
|
|
{
|
|
ab = (AbstractButton)e.nextElement();
|
|
if (debug) System.out.println("more to remove ! "+ab.getText());
|
|
languageGroup.remove(ab);
|
|
}
|
|
if (debug) System.out.println("languageGroupElement after import removal "+
|
|
languageGroup.getButtonCount());
|
|
}
|
|
|
|
submenu.removeAll();
|
|
|
|
menu.removeAllItems();
|
|
menu.addItem("New");
|
|
fileString ="";
|
|
send("i "+ file.getPath().replace('\\','/'));
|
|
|
|
}
|
|
}
|
|
if ( name.equals("newTopic") ) {
|
|
if (fc.getChoosableFileFilters().length<2)
|
|
fc.addChoosableFileFilter(new GrammarFilter());
|
|
fc.setFileFilter(fc.getAcceptAllFileFilter());
|
|
int returnVal = fc.showOpenDialog(Numerals.this);
|
|
if (returnVal == JFileChooser.APPROVE_OPTION) {
|
|
int n = JOptionPane.showConfirmDialog(this,
|
|
"This will dismiss the previous editing. Would you like to continue?",
|
|
"Starting a new topic", JOptionPane.YES_NO_OPTION);
|
|
if (n == JOptionPane.YES_OPTION){
|
|
File file = fc.getSelectedFile();
|
|
// importing a new grammar :
|
|
newObject = false;
|
|
statusLabel.setText(status);
|
|
listModel.clear();
|
|
tree.clear();
|
|
populateTree(tree);
|
|
System.out.println("tree populated!");
|
|
menu.removeAllItems();
|
|
System.out.println("removed all from menu!"+menu);
|
|
menu.addItem("New");
|
|
System.out.println("added new!");
|
|
langMenu.removeAll();
|
|
|
|
AbstractButton ab = null;
|
|
|
|
while (languageGroup.getButtonCount()>0)
|
|
{
|
|
for (Enumeration e = languageGroup.getElements();
|
|
e.hasMoreElements() ;)
|
|
{
|
|
ab = (AbstractButton)e.nextElement();
|
|
if (debug) System.out.println("more to remove ! "+ab.getText());
|
|
languageGroup.remove(ab);
|
|
}
|
|
if (debug) System.out.println("languageGroupElement after import removal "+
|
|
languageGroup.getButtonCount());
|
|
}
|
|
|
|
selectedMenuLanguage = "Abstract";
|
|
rbMenuItemLong.setSelected(true);
|
|
rbMenuItemUnTyped.setSelected(true);
|
|
submenu.removeAll();
|
|
|
|
fileString="";
|
|
grammar.setText("No Topic ");
|
|
System.out.println("e "+ file.getPath().replace('\\','/'));
|
|
//send("e \""+ file.getPath().replace('\\','/')+"\"");
|
|
send("e "+ file.getPath().replace('\\','/'));
|
|
}
|
|
}
|
|
}
|
|
|
|
if ( obj == gfCommand ){
|
|
String s = JOptionPane.showInputDialog("Command:", parseInput);
|
|
if (s!=null) {
|
|
parseInput = s;
|
|
s = "gf "+s;
|
|
//treeChanged = true;
|
|
send(s);
|
|
}
|
|
}
|
|
|
|
if ( name.equals("reset") ) {
|
|
newObject = false;
|
|
statusLabel.setText(status);
|
|
listModel.clear();
|
|
tree.clear();
|
|
populateTree(tree);
|
|
menu.removeAllItems();
|
|
menu.addItem("New");
|
|
langMenu.removeAll();
|
|
|
|
AbstractButton ab = null;
|
|
|
|
while (languageGroup.getButtonCount()>0)
|
|
{
|
|
for (Enumeration e = languageGroup.getElements();
|
|
e.hasMoreElements() ;)
|
|
{
|
|
ab = (AbstractButton)e.nextElement();
|
|
if (debug) System.out.println("more to remove ! "+ab.getText());
|
|
languageGroup.remove(ab);
|
|
}
|
|
if (debug) System.out.println("languageGroupElement after import removal "+
|
|
languageGroup.getButtonCount());
|
|
}
|
|
|
|
selectedMenuLanguage = "Abstract";
|
|
|
|
submenu.removeAll();
|
|
rbMenuItemLong.setSelected(true);
|
|
rbMenuItemUnTyped.setSelected(true);
|
|
|
|
fileString="";
|
|
grammar.setText("No Topic ");
|
|
send("e");
|
|
}
|
|
|
|
if ( obj == leftMeta ) {
|
|
treeChanged = true;
|
|
send("<<");
|
|
}
|
|
if ( obj == left ) {
|
|
treeChanged = true;
|
|
send("<");
|
|
}
|
|
if ( obj == top ) {
|
|
treeChanged = true;
|
|
send("'");
|
|
}
|
|
if ( obj == right ) {
|
|
treeChanged = true;
|
|
send(">");
|
|
}
|
|
if ( obj == rightMeta ) {
|
|
treeChanged = true;
|
|
send(">>");
|
|
}
|
|
|
|
if ( obj == cancel ) {
|
|
dialog.hide();
|
|
}
|
|
|
|
if ( obj == browse ) {
|
|
if (fc.getChoosableFileFilters().length<2)
|
|
fc.addChoosableFileFilter(new GrammarFilter());
|
|
fc.setFileFilter(fc.getAcceptAllFileFilter());
|
|
int returnVal = fc.showOpenDialog(Numerals.this);
|
|
if (returnVal == JFileChooser.APPROVE_OPTION) {
|
|
File file = fc.getSelectedFile();
|
|
inputField.setText(file.getPath().replace('\\','/'));
|
|
}
|
|
}
|
|
|
|
if ( obj == ok ) {
|
|
treeChanged = true;
|
|
if (termReadButton.isSelected()) {
|
|
termInput = inputField.getText();
|
|
if (termInput.indexOf('/')==-1){
|
|
send("g "+termInput);
|
|
if (debug) System.out.println("sending term string");
|
|
}
|
|
else {
|
|
send("tfile "+termInput);
|
|
if (debug) System.out.println("sending file term: "+termInput);
|
|
}
|
|
}
|
|
else {
|
|
parseInput = inputField.getText();
|
|
if (parseInput.indexOf('/')==-1){
|
|
send("p "+parseInput);
|
|
if (debug) System.out.println("sending parse string"+parseInput);
|
|
}
|
|
else {
|
|
send("pfile "+parseInput);
|
|
if (debug) System.out.println("sending file parse string: "+parseInput);
|
|
}
|
|
}
|
|
dialog.hide();
|
|
}
|
|
|
|
if ( obj == read ) {
|
|
if (stringReadButton.isSelected())
|
|
inputField.setText(parseInput);
|
|
else
|
|
inputField.setText(termInput);
|
|
dialog.show();
|
|
}
|
|
|
|
/* if ( obj == term ) {
|
|
inputLabel.setText("Term:");
|
|
inputField.setText(termInput);
|
|
dialog.show();
|
|
}
|
|
if ( obj == parse ) {
|
|
inputLabel.setText("Parse:");
|
|
inputField.setText(parseInput);
|
|
dialog.show();
|
|
}
|
|
*/
|
|
if ( obj == alpha){
|
|
String s = JOptionPane.showInputDialog("Type string:", alphaInput);
|
|
if (s!=null) {
|
|
alphaInput = s;
|
|
treeChanged = true;
|
|
send("x "+s);
|
|
}
|
|
}
|
|
if ( obj == random){
|
|
treeChanged = true;
|
|
send("n Numeral");
|
|
newObject = true;
|
|
System.out.println("!!!!!!!sending newNumeral");
|
|
treeChanged = true;
|
|
send("a");
|
|
}
|
|
if ( obj == undo){
|
|
treeChanged = true;
|
|
send("u");
|
|
}
|
|
}
|
|
//} catch (Exception e) { System.out.println("exception!!!"); }
|
|
}
|
|
static void writeOutput(String str, String fileName) {
|
|
|
|
try {
|
|
FileOutputStream fos = new FileOutputStream(fileName);
|
|
Writer out = new OutputStreamWriter(fos, "UTF8");
|
|
out.write(str);
|
|
out.close();
|
|
} catch (IOException e) {
|
|
JOptionPane.showMessageDialog(null,
|
|
"Document is empty!","Error", JOptionPane.ERROR_MESSAGE);
|
|
}
|
|
}
|
|
public static void populateTree(DynamicTree treePanel) {
|
|
String p1Name = new String("Root");
|
|
DefaultMutableTreeNode p1;
|
|
p1 = treePanel.addObject(null, p1Name);
|
|
}
|
|
|
|
public static void formTree(DynamicTree treePanel) {
|
|
Hashtable table = new Hashtable();
|
|
TreePath path=null;
|
|
boolean treeStarted = false, selected = false;
|
|
String s = treeString;
|
|
String name ="";
|
|
treePanel.clear();
|
|
int j, shift=0, star=0, index = 0;
|
|
DefaultMutableTreeNode p2=null, p1=null;
|
|
if (debug) System.out.print("treeString: "+ s);
|
|
if (s.indexOf('*')!=-1) star = 1;
|
|
while (s.length()>0) {
|
|
while ((s.length()>0) && ((s.charAt(0)=='*')||(s.charAt(0)==' '))){
|
|
if (s.charAt(0) == '*') selected = true;
|
|
s = s.substring(1);
|
|
shift++;
|
|
}
|
|
if (s.length()>0) {
|
|
j = s.indexOf("\n");
|
|
name = s.substring(0, j);
|
|
index++;
|
|
s = s.substring(j+1);
|
|
shift = (shift - star)/2;
|
|
|
|
p1 = (DefaultMutableTreeNode)table.get(new Integer(shift));
|
|
p2 = treePanel.addObject(p1, name);
|
|
table.put(new Integer(shift+1), p2);
|
|
path = new TreePath(p2.getPath());
|
|
nodeTable.put(path, new Integer(index));
|
|
if (selected) {
|
|
treePanel.tree.setSelectionPath(path);
|
|
treePanel.oldSelection = index;
|
|
if (debug) System.out.println("new selected index "+ index);
|
|
selected = false;
|
|
}
|
|
treeStarted=true;
|
|
}
|
|
shift = 0;
|
|
}
|
|
if ((p2!=null)) {
|
|
treePanel.tree.makeVisible(path);
|
|
gui2.toFront();
|
|
index = 0;
|
|
}
|
|
}
|
|
|
|
/** Listens to the radio buttons. */
|
|
class RadioListener implements ActionListener {
|
|
public void actionPerformed(ActionEvent e) {
|
|
String action = e.getActionCommand();
|
|
if (action.equals("large") )
|
|
{
|
|
output.setFont(new Font((String)fontList.getSelectedItem(), Font.PLAIN, 26));
|
|
}
|
|
if (action.equals("medium") )
|
|
{
|
|
output.setFont(new Font((String)fontList.getSelectedItem(), Font.PLAIN, 17));
|
|
}
|
|
if (action.equals("small") )
|
|
{
|
|
output.setFont(new Font((String)fontList.getSelectedItem(), Font.PLAIN, 12));
|
|
}
|
|
|
|
if (action.equals("split") ) {
|
|
cp.remove(centerPanel);
|
|
centerPanel2.add(middlePanelUp, BorderLayout.SOUTH);
|
|
if (((JCheckBoxMenuItem)viewMenu.getItem(0)).isSelected()) {
|
|
centerPanel2.add(treePanel, BorderLayout.CENTER);
|
|
}
|
|
else {
|
|
centerPanel2.add(outputPanelUp, BorderLayout.CENTER);
|
|
}
|
|
cp.add(centerPanel2, BorderLayout.CENTER);
|
|
gui2.getContentPane().add(outputPanelDown);
|
|
gui2.setVisible(true);
|
|
pack();
|
|
repaint();
|
|
}
|
|
|
|
if (action.equals("combine") ) {
|
|
cp.remove(centerPanel2);
|
|
middlePanel.add(middlePanelUp, BorderLayout.NORTH);
|
|
if (((JCheckBoxMenuItem)viewMenu.getItem(0)).isSelected()) { gui2.setVisible(false);
|
|
centerPanel.setLeftComponent(treePanel);
|
|
}
|
|
else {
|
|
centerPanel.setLeftComponent(outputPanelUp);
|
|
gui2.setVisible(false);
|
|
}
|
|
cp.add(centerPanel, BorderLayout.CENTER);
|
|
centerPanelDown.add(outputPanelDown, BorderLayout.CENTER);
|
|
pack();
|
|
repaint();
|
|
}
|
|
|
|
if (action.equals("showTree") ) {
|
|
if (!((JCheckBoxMenuItem)e.getSource()).isSelected()){
|
|
if (debug) System.out.println("was selected");
|
|
cbMenuItem.setSelected(false);
|
|
if (((JRadioButtonMenuItem)viewMenu.getItem(2)).isSelected()) {
|
|
centerPanel.remove(treePanel);
|
|
centerPanel.setLeftComponent(outputPanelUp);
|
|
}
|
|
else {
|
|
centerPanel2.remove(treePanel);
|
|
centerPanel2.add(outputPanelUp, BorderLayout.CENTER);
|
|
}
|
|
}
|
|
else {
|
|
if (debug) System.out.println("was not selected");
|
|
cbMenuItem.setSelected(true);
|
|
if (((JRadioButtonMenuItem)viewMenu.getItem(2)).isSelected()) {
|
|
centerPanel.remove(outputPanelUp);
|
|
treePanel.setRightComponent(outputPanelUp);
|
|
centerPanel.setLeftComponent(treePanel);
|
|
}
|
|
else {
|
|
centerPanel2.remove(outputPanelUp);
|
|
treePanel.setRightComponent(outputPanelUp);
|
|
centerPanel2.add(treePanel, BorderLayout.CENTER);
|
|
}
|
|
}
|
|
pack();
|
|
repaint();
|
|
}
|
|
|
|
if (action.equals("lang")) {
|
|
if (newObject) {
|
|
output.setText("");
|
|
formLin();
|
|
}
|
|
if (debug)
|
|
System.out.println("language option has changed "+((JCheckBoxMenuItem)e.getSource()).getText());
|
|
if (((JCheckBoxMenuItem)e.getSource()).isSelected()){
|
|
if (debug) System.out.println("turning on");
|
|
send("on "+((JCheckBoxMenuItem)e.getSource()).getText());
|
|
}
|
|
else{
|
|
if (debug) System.out.println("turning off");
|
|
send("off "+((JCheckBoxMenuItem)e.getSource()).getText());
|
|
}
|
|
}
|
|
|
|
//modeMenus actions:
|
|
|
|
if ((action.equals("long")) || (action.equals("short")))
|
|
{
|
|
send("ms " + action);
|
|
}
|
|
|
|
if ((action.equals("typed")) || (action.equals("untyped")))
|
|
{
|
|
send("mt " + action);
|
|
}
|
|
if (action.equals("languageAbstract"))
|
|
{
|
|
send("ml Abs");
|
|
}
|
|
else if (action.length()>7)
|
|
if (action.substring(0,8).equals("language"))
|
|
{
|
|
selectedMenuLanguage = action.substring(8);
|
|
if (debug) System.out.println("sending ml "+selectedMenuLanguage);
|
|
send("ml " + selectedMenuLanguage);
|
|
}
|
|
}
|
|
}
|
|
|
|
/** Handle the key pressed event. */
|
|
public void keyPressed(KeyEvent e) {
|
|
int keyCode = e.getKeyCode();
|
|
if (keyCode == 10) {
|
|
//listAction(list.getSelectedIndex());
|
|
showAction();
|
|
}
|
|
}
|
|
/** Handle the key typed event. */
|
|
public void keyTyped(KeyEvent e) {
|
|
}
|
|
/** Handle the key released event. */
|
|
public void keyReleased(KeyEvent e) {
|
|
}
|
|
|
|
public void listAction(int index) {
|
|
if (index == -1)
|
|
{if (debug) System.out.println("no selection");}
|
|
else {
|
|
treeChanged = true;
|
|
send((String)commands.elementAt(list.getSelectedIndex()));
|
|
}
|
|
}
|
|
}
|