content: // This file is part of AceWiki.
  // Copyright 2008-2013, AceWiki developers.
  // 
  // AceWiki is free software: you can redistribute it and/or modify it under the terms of the GNU
  // Lesser General Public License as published by the Free Software Foundation, either version 3 of
  // the License, or (at your option) any later version.
  // 
  // AceWiki is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without
  // even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  // Lesser General Public License for more details.
  // 
  // You should have received a copy of the GNU Lesser General Public License along with AceWiki. If
  // not, see http://www.gnu.org/licenses/.
  
  package ch.uzh.ifi.attempto.acewiki.gui;
  
  import java.util.ArrayList;
  import java.util.List;
  
  import nextapp.echo.app.Column;
  import nextapp.echo.app.Extent;
  import nextapp.echo.app.Font;
  import nextapp.echo.app.Insets;
  import nextapp.echo.app.Row;
  import nextapp.echo.app.event.ActionEvent;
  import nextapp.echo.app.event.ActionListener;
  import ch.uzh.ifi.attempto.acewiki.Wiki;
  import ch.uzh.ifi.attempto.acewiki.core.OntologyElement;
  import ch.uzh.ifi.attempto.acewiki.core.ModuleElement;
  import ch.uzh.ifi.attempto.acewiki.core.WordIndex;
  import ch.uzh.ifi.attempto.echocomp.GeneralButton;
  import ch.uzh.ifi.attempto.echocomp.SolidLabel;
  import ch.uzh.ifi.attempto.echocomp.TextField;
  import ch.uzh.ifi.attempto.echocomp.VSpace;
  
  /**
   * This class represents a page on which the user can search for articles.
   * 
   * @author Tobias Kuhn
   */
  public class SearchPage extends WikiPage implements ActionListener {
  
  	private static final long serialVersionUID = 7192145568847087174L;
  	
  	private static final int pageSize = 50;
  	
  	private int chosenPage = 0;
  	private List<OntologyElement> searchResult;
  	
  	private Column resultColumn = new Column();
  	private IndexBar indexBar;
  	private TextField textField;
  	
  	/**
  	 * Creates a new search page.
  	 * 
  	 * @param wiki The wiki instance.
  	 * @param text The search text.
  	 */
  	public SearchPage(Wiki wiki, String text) {
  		super(wiki);
  		
  		textField = new TextField(this);
  		textField.setText(text);
  		textField.setWidth(new Extent(300));
  		textField.addActionListener(this);
  	}
  	
  	protected void doUpdate() {
  		removeAll();
  
  		setTabRow(TabRow.getMainTabRow(TabRow.TAB_SEARCH, getWiki()));
  
  		add(new Title(Wiki.getGUIText("acewiki_page_search"), true));
  		addHorizontalLine();
  		add(new VSpace(15));
  		
  		addHeadline("acewiki_search_heading");
  		add(new VSpace(10));
  		
  		Row textFieldRow = new Row();
  		textFieldRow.setInsets(new Insets(10, 0));
  		textFieldRow.setCellSpacing(new Extent(5));
  		textFieldRow.add(textField);
  		textFieldRow.add(new GeneralButton("acewiki_search_button", this));
  		add(textFieldRow);
  		
  		add(new VSpace(15));
  		
  		addHeadline("acewiki_search_resultsheading");
  		add(new VSpace(10));
  		
  		indexBar = new IndexBar(0, this);
  		add(indexBar);
  		
  		resultColumn.setInsets(new Insets(10, 2, 5, 20));
  		resultColumn.setCellSpacing(new Extent(2));
  		add(resultColumn);
  		
  		getWiki().getApplication().setFocusedComponent(textField);
  		
  		resultColumn.removeAll();
  		if (textField.getText().length() == 0) {
  			indexBar.setVisible(false);
  			resultColumn.add(new SolidLabel(Wiki.getGUIText("acewiki_search_nosearchtext"), Font.ITALIC, 10));
  			return;
  		}
  		
  		WordIndex index = getWiki().getEngine().getWordIndex();
  		searchResult = new ArrayList<>();
  		boolean gi = getWiki().getConfig().isGrammarIntegrationEnabled();
  		for (OntologyElement oe : index.searchForElements(textField.getText())) {
  			if (!gi && oe instanceof ModuleElement) continue;
  			searchResult.add(oe);
  		}
  		
  		if (searchResult.size() == 0) {
  			indexBar.setVisible(false);
  			resultColumn.add(new SolidLabel(Wiki.getGUIText("acewiki_list_empty"), Font.ITALIC, 10));
  		} else {
  			int i = ((searchResult.size()-1) / pageSize) + 1;
  			if (chosenPage > i) chosenPage = 0;
  			indexBar.setNumbers(i);
  			indexBar.setActiveButton(chosenPage);
  			updatePage();
  		}
  	}
  	
  	private void updatePage() {
  		resultColumn.removeAll();
  		
  		indexBar.setVisible(searchResult.size() > pageSize);
  		
  		int max = searchResult.size();
  		if (max > (chosenPage + 1) * pageSize) max = (chosenPage + 1) * pageSize;
  		
  		for (int i = chosenPage * pageSize; i < max; i++) {
  			resultColumn.add(new ListItem(new WikiLink(searchResult.get(i), getWiki())));
  		}
  	}
  	
  	public void actionPerformed(ActionEvent e) {
  		if (e.getSource() == indexBar) {
  			chosenPage = Integer.parseInt(e.getActionCommand()) - 1;
  			log("page", "pressed: page " + (chosenPage+1));
  			updatePage();
  		} else {
  			log("page", "search for " + textField.getText());
  			update();
  		}
  	}
  	
  	public boolean equals(Object obj) {
  		return obj instanceof SearchPage;
  	}
  	
  	public String toString() {
  		return "-SEARCH-";
  	}
  
  }
  