001 // This file is part of the Attempto Java Packages. 002 // Copyright 2008-2009, 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 nextapp.echo2.app.Font; 018 import nextapp.echo2.app.Insets; 019 import nextapp.echo2.app.Row; 020 import ch.uzh.ifi.attempto.acewiki.Wiki; 021 import ch.uzh.ifi.attempto.acewiki.gui.Title; 022 import ch.uzh.ifi.attempto.echocomp.SolidLabel; 023 024 /** 025 * This page shows an error message. It is used if a page should be shown that does not 026 * exist anymore, e.g. because its ontology element has been deleted. 027 * 028 * @author Tobias Kuhn 029 */ 030 public class ErrorPage extends WikiPage { 031 032 private static final long serialVersionUID = -3853876045940143810L; 033 034 private String text; 035 036 /** 037 * Creates a new error page. 038 * 039 * @param wiki The wiki instance. 040 * @param text The error text. 041 */ 042 public ErrorPage(Wiki wiki, String text) { 043 super(wiki, new Title("Error", true)); 044 this.text = text; 045 046 Row textRow = new Row(); 047 textRow.setInsets(new Insets(10, 10, 0, 15)); 048 textRow.add(new SolidLabel(text, Font.ITALIC)); 049 add(textRow); 050 } 051 052 public boolean equals(Object obj) { 053 if (obj instanceof ErrorPage) { 054 return text.equals(((ErrorPage) obj).text); 055 } 056 return false; 057 } 058 059 public String toString() { 060 return "-ERROR-"; 061 } 062 063 }