001 // This file is part of the Attempto Java Packages.
002 // Copyright 2008, Attempto Group, University of Zurich (see http://attempto.ifi.uzh.ch).
003 //
004 // The Attempto Java Packages is free software: you can redistribute it and/or modify it under the
005 // terms of the GNU Lesser General Public License as published by the Free Software Foundation,
006 // either version 3 of the License, or (at your option) any later version.
007 //
008 // The Attempto Java Packages is distributed in the hope that it will be useful, but WITHOUT ANY
009 // WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
010 // PURPOSE. See the GNU Lesser General Public License for more details.
011 //
012 // You should have received a copy of the GNU Lesser General Public License along with the Attempto
013 // Java Packages. If not, see http://www.gnu.org/licenses/.
014
015 package ch.uzh.ifi.attempto.acewiki.gui.page;
016
017 import java.util.ArrayList;
018 import java.util.Collections;
019
020 import nextapp.echo2.app.ApplicationInstance;
021 import nextapp.echo2.app.Column;
022 import nextapp.echo2.app.Extent;
023 import nextapp.echo2.app.Font;
024 import nextapp.echo2.app.Insets;
025 import nextapp.echo2.app.Row;
026 import nextapp.echo2.app.event.ActionEvent;
027 import nextapp.echo2.app.event.ActionListener;
028 import ch.uzh.ifi.attempto.acewiki.Wiki;
029 import ch.uzh.ifi.attempto.acewiki.core.ontology.OntologyElement;
030 import ch.uzh.ifi.attempto.acewiki.gui.IndexBar;
031 import ch.uzh.ifi.attempto.acewiki.gui.ListItem;
032 import ch.uzh.ifi.attempto.acewiki.gui.Title;
033 import ch.uzh.ifi.attempto.acewiki.gui.WikiLink;
034 import ch.uzh.ifi.attempto.echocomp.GeneralButton;
035 import ch.uzh.ifi.attempto.echocomp.SolidLabel;
036 import ch.uzh.ifi.attempto.echocomp.TextField;
037 import ch.uzh.ifi.attempto.echocomp.VSpace;
038
039 /**
040 * This class represents a page on which the user can search for articles.
041 *
042 * @author Tobias Kuhn
043 */
044 public class SearchPage extends WikiPage implements ActionListener {
045
046 private static final long serialVersionUID = 7192145568847087174L;
047
048 private static final int pageSize = 20;
049
050 private int chosenPage = 0;
051 private ArrayList<OntologyElement> searchResult;
052
053 private Column resultColumn = new Column();
054 private IndexBar indexBar;
055 private TextField textField;
056
057 /**
058 * Creates a new search page.
059 *
060 * @param wiki
061 */
062 public SearchPage(Wiki wiki) {
063 super(wiki, new Title("Search", true));
064
065 addTab("Main Page", this);
066 addTab("Index", this);
067 addSelectedTab("Search");
068
069 add(new VSpace(15));
070
071 addHeadline("Search word");
072 add(new VSpace(10));
073
074 Row textFieldRow = new Row();
075 textFieldRow.setInsets(new Insets(10, 0));
076 textFieldRow.setCellSpacing(new Extent(5));
077 textFieldRow.add(textField = new TextField(this));
078 textField.setWidth(new Extent(300));
079 textField.addActionListener(this);
080 textFieldRow.add(new GeneralButton("Search", this));
081 add(textFieldRow);
082
083 add(new VSpace(15));
084
085 addHeadline("Results");
086 add(new VSpace(10));
087
088 indexBar = new IndexBar("Page:", 0, this);
089 add(indexBar);
090
091 resultColumn.setInsets(new Insets(10, 2, 5, 20));
092 resultColumn.setCellSpacing(new Extent(2));
093 add(resultColumn);
094
095 update();
096 }
097
098 protected void doUpdate() {
099 ApplicationInstance.getActive().setFocusedComponent(textField);
100
101 resultColumn.removeAll();
102 if (textField.getText().length() == 0) {
103 indexBar.setVisible(false);
104 resultColumn.add(new SolidLabel("(enter a search text)", Font.ITALIC, 10));
105 return;
106 }
107
108 ArrayList<OntologyElement> elements = new ArrayList<OntologyElement>(getWiki().getOntologyElements());
109 Collections.sort(elements);
110
111 searchResult = new ArrayList<OntologyElement>();
112 for (OntologyElement e : elements) {
113 if (e.getWord().toLowerCase().replace("_", " ").contains(textField.getText().toLowerCase().replace("_", " "))) {
114 searchResult.add(e);
115 }
116 }
117 if (searchResult.size() == 0) {
118 indexBar.setVisible(false);
119 resultColumn.add(new SolidLabel("(nothing found)", Font.ITALIC, 10));
120 } else {
121 int i = ((searchResult.size()-1) / pageSize) + 1;
122 if (chosenPage > i) chosenPage = 0;
123 indexBar.setNumbers(i);
124 indexBar.setActiveButton(chosenPage);
125 updatePage();
126 }
127 }
128
129 private void updatePage() {
130 resultColumn.removeAll();
131
132 indexBar.setVisible(searchResult.size() > pageSize);
133
134 int max = searchResult.size();
135 if (max > (chosenPage + 1) * pageSize) max = (chosenPage + 1) * pageSize;
136
137 for (int i = chosenPage * pageSize; i < max; i++) {
138 resultColumn.add(new ListItem(new WikiLink(searchResult.get(i), getWiki())));
139 }
140 }
141
142 public void actionPerformed(ActionEvent e) {
143 if (e.getSource() == indexBar) {
144 chosenPage = Integer.parseInt(e.getActionCommand()) - 1;
145 log("page", "pressed: page " + (chosenPage+1));
146 updatePage();
147 } else if ("Main Page".equals(e.getActionCommand())) {
148 getWiki().showStartPage();
149 } else if ("Index".equals(e.getActionCommand())) {
150 getWiki().showIndexPage();
151 } else {
152 log("page", "search for " + textField.getText());
153 update();
154 }
155 }
156
157 public boolean equals(Object obj) {
158 return obj instanceof SearchPage;
159 }
160
161 public String toString() {
162 return "-SEARCH-";
163 }
164
165 }