From af137d65a58be8b92c39399d52a2228cf5dcb716 Mon Sep 17 00:00:00 2001 From: krasimir Date: Tue, 24 Aug 2010 14:41:37 +0000 Subject: [PATCH] remove the experimental GWT EditorApp --- src/ui/gwt/Editor-compile | 19 -- .../gwt/client/AbstractSyntaxController.java | 209 ------------------ .../ui/gwt/client/EditorApp.java | 125 ----------- 3 files changed, 353 deletions(-) delete mode 100644 src/ui/gwt/Editor-compile delete mode 100644 src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/AbstractSyntaxController.java delete mode 100644 src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/EditorApp.java diff --git a/src/ui/gwt/Editor-compile b/src/ui/gwt/Editor-compile deleted file mode 100644 index d054d16ad..000000000 --- a/src/ui/gwt/Editor-compile +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh - -APPDIR=`dirname $0`; -GWT_DIR="/home/angelov/gwt-2.0.4" -GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev.jar" - -if [ -z "$GWT_CLASSPATH" ]; then - echo 'ERROR: $GWT_CLASSPATH is not set' - echo 'Set $GWT_CLASSPATH to point to the GWT JAR files. For example:' - echo 'export GWT_DIR="/Users/bringert/src/gwt-2.0.4"' - echo 'export GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev.jar"' - exit 1 -fi - -if [ `uname` = "Darwin" ]; then - GWT_JAVA_OPTS=-XstartOnFirstThread -fi - -java $GWT_JAVA_OPTS -Xmx256M -cp "$APPDIR/src:$APPDIR/bin:$GWT_CLASSPATH" com.google.gwt.dev.Compiler -war "$APPDIR/www/editor" "$@" org.grammaticalframework.ui.gwt.EditorApp; diff --git a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/AbstractSyntaxController.java b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/AbstractSyntaxController.java deleted file mode 100644 index 85c44475d..000000000 --- a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/AbstractSyntaxController.java +++ /dev/null @@ -1,209 +0,0 @@ -package org.grammaticalframework.ui.gwt.client; - -import java.util.*; - -import com.google.gwt.user.client.ui.*; - - -public class AbstractSyntaxController { - private final Tree abstractTree; - private final FlowPanel textPanel; - - private Map panels; - private Map> items; - - private ClickListener labelClickListener; - - private Panel focusPanel = null; - private Panel selectedPanel = null; - private TreeItem lastPanelItem = null; - - public AbstractSyntaxController(final Tree abstractTree, final FlowPanel textPanel) - { - this.abstractTree = abstractTree; - this.textPanel = textPanel; - - panels = new HashMap(); - items = new HashMap(); - - abstractTree.addTreeListener(new TreeListener() { - public void onTreeItemSelected(TreeItem item) - { - focusPanel = selectedPanel; - - for (Panel panel : panels.keySet()) - { - panel.removeStyleDependentName("selected"); - panel.removeStyleDependentName("focused"); - } - - List panels = items.get(item); - if (panels != null) - { - for (Panel panel : panels) - { - String style = (panel == selectedPanel) ? "focused" : "selected"; - panel.addStyleDependentName(style); - } - } - } - - public void onTreeItemStateChanged(TreeItem item) - { - } - }); - - labelClickListener = new ClickListener() { - public void onClick(Widget sender) { - Panel panel = (Panel) (sender.getParent()); - - TreeItem item = panels.get(panel); - if (item != null) - { - selectedPanel = panel; - abstractTree.setSelectedItem(item); - abstractTree.ensureSelectedItemVisible(); - selectedPanel = null; - } - } - }; - } - - public TreeItem addItem(String label) - { - TreeItem child = abstractTree.addItem(label); - addPanel(child, textPanel); - return child; - } - - public TreeItem addItem(TreeItem parent, String label) - { - TreeItem child = parent.addItem(label); - addPanel(child, getPanel(parent)); - return child; - } - - private Panel addPanel(TreeItem item, Panel parentPanel) - { - FlowPanel wordsPanel = new FlowPanel(); - wordsPanel.setStylePrimaryName("my-WordsPanel"); - panels.put(wordsPanel,item); - - List others = items.get(item); - if (others == null) - { - others = new ArrayList(); - items.put(item,others); - } - others.add(wordsPanel); - - parentPanel.add(wordsPanel); - - lastPanelItem = item; - return wordsPanel; - } - - private Panel getPanel(TreeItem item) - { - TreeItem tmpItem; - - LinkedList curr = new LinkedList(); - tmpItem = item; - while (tmpItem != null) - { - curr.addFirst(tmpItem); - tmpItem = tmpItem.getParentItem(); - } - - LinkedList last = new LinkedList(); - tmpItem = lastPanelItem; - while (tmpItem != null) - { - last.addFirst(tmpItem); - tmpItem = tmpItem.getParentItem(); - } - - int i = 0; - TreeItem parent = null; - while (i < curr.size() && i < last.size()) - { - if (curr.get(i) != last.get(i)) - break; - - parent = curr.get(i); - i++; - } - - List others = items.get(parent); - if (others == null) - return null; - Panel panel = others.get(others.size()-1); - - if (parent != item) - { - while (i < curr.size()) - panel = addPanel(curr.get(i++), panel); - } - - return panel; - } - - public Label addWord(TreeItem item, String word) - { - Panel wordsPanel = getPanel(item); - - Label wordLabel = new Label(word); - wordLabel.setStylePrimaryName("my-WordLabel"); - wordLabel.addClickListener(labelClickListener); - - wordsPanel.add(wordLabel); - - return wordLabel; - } - - public void edit() - { - if (focusPanel != null) - { - FlowPanel mainPanel = new FlowPanel(); - mainPanel.add(new Magnet("fish","LangEng")); - mainPanel.add(new Magnet("beer","LangEng")); - mainPanel.add(new Magnet("cheese","LangEng")); - mainPanel.add(new Magnet("expensive","LangEng")); - mainPanel.add(new Magnet("delicious","LangEng")); - - DecoratedPopupPanel completionPopup = new DecoratedPopupPanel(true); - completionPopup.addStyleName("my-FridgeBagPopup"); - completionPopup.setWidget(mainPanel); - completionPopup.setPopupPosition(100, 100); - completionPopup.show(); - - final List children = new ArrayList(); - for (Widget widget : focusPanel) - { - children.add(widget); - } - - TextBox textBox = new TextBox(); - textBox.setStylePrimaryName("my-TextEdit"); - textBox.addFocusListener(new FocusListener() { - public void onFocus(Widget sender) - { - } - - public void onLostFocus(Widget sender) - { - focusPanel.clear(); - for (Widget widget : children) - { - focusPanel.add(widget); - } - } - }); - - focusPanel.clear(); - focusPanel.add(textBox); - textBox.setFocus(true); - } - } -} diff --git a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/EditorApp.java b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/EditorApp.java deleted file mode 100644 index 2fa43b619..000000000 --- a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/EditorApp.java +++ /dev/null @@ -1,125 +0,0 @@ -package org.grammaticalframework.ui.gwt.client; - -import com.google.gwt.core.client.*; -import com.google.gwt.user.client.*; -import com.google.gwt.user.client.ui.*; - - -public class EditorApp implements EntryPoint { - - private MenuBar createCommandsMenu(final AbstractSyntaxController absController) - { - // Create the commands menu - MenuBar menu = new MenuBar(true); - menu.addStyleName("my-CommandsMenu"); - menu.setAutoOpen(true); - menu.setAnimationEnabled(true); - - menu.addItem(new MenuItem("Undo", new Command() { - public void execute() { - } - })); - menu.addItem(new MenuItem("Redo", new Command() { - public void execute() { - } - })); - menu.addItem(new MenuItem("Cut", new Command() { - public void execute() { - } - })); - menu.addItem(new MenuItem("Copy", new Command() { - public void execute() { - } - })); - menu.addItem(new MenuItem("Paste", new Command() { - public void execute() { - } - })); - menu.addItem(new MenuItem("Delete", new Command() { - public void execute() { - } - })); - menu.addItem(new MenuItem("Refine", new Command() { - public void execute() { - } - })); - menu.addItem(new MenuItem("Replace", new Command() { - public void execute() { - } - })); - menu.addItem(new MenuItem("Wrap", new Command() { - public void execute() { - } - })); - menu.addItem(new MenuItem("Parse", new Command() { - public void execute() { - absController.edit(); - } - })); - menu.addItem(new MenuItem("Refine the node at random", new Command() { - public void execute() { - } - })); - menu.addItem(new MenuItem("Refine the tree at random", new Command() { - public void execute() { - } - })); - - return menu; - } - - private void populate(AbstractSyntaxController absController) - { - TreeItem sentenceItem = absController.addItem("Is : Phrase"); - TreeItem item1 = absController.addItem(sentenceItem,"Det : ItemDet"); - TreeItem item2 = absController.addItem(item1,"This : Item"); - absController.addWord(item2,"this"); - TreeItem item3 = absController.addItem(item1,"Cheese : Kind"); - absController.addWord(item3,"cheese"); - absController.addWord(item2,"and"); - absController.addWord(item2,"only"); - absController.addWord(item2,"this"); - absController.addWord(sentenceItem,"is"); - TreeItem item4 = absController.addItem(sentenceItem,"Expensive : Quality"); - absController.addWord(item4,"expensive"); - } - - public void onModuleLoad() { - Tree abstractTree = new Tree(); - abstractTree.addStyleName("my-AbstractTree"); - - FlowPanel textPanel = new FlowPanel(); - - ListBox choiceListBox = new ListBox(); - choiceListBox.setVisibleItemCount(10); - choiceListBox.addStyleName("my-ChoiceListBox"); - - AbstractSyntaxController absController = new AbstractSyntaxController(abstractTree, textPanel); - - VerticalSplitPanel vSplit = new VerticalSplitPanel(); - vSplit.setSize("800px", "500px"); - vSplit.setSplitPosition("52%"); - - HorizontalSplitPanel hSplit1 = new HorizontalSplitPanel(); - hSplit1.setSplitPosition("22%"); - hSplit1.setLeftWidget(new ScrollPanel(abstractTree)); - hSplit1.setRightWidget(textPanel); - vSplit.setTopWidget(hSplit1); - - HorizontalSplitPanel hSplit2 = new HorizontalSplitPanel(); - hSplit2.setSplitPosition("22%"); - hSplit2.setLeftWidget(createCommandsMenu(absController)); - hSplit2.setRightWidget(choiceListBox); - vSplit.setBottomWidget(hSplit2); - - populate(absController); - - // Wrap the split panel in a decorator panel - DecoratorPanel decPanel = new DecoratorPanel(); - decPanel.addStyleName("my-EditorPanel"); - decPanel.setWidget(vSplit); - - RootPanel.get().add(decPanel); - } - -}