Back to index

wims  3.65+svn20090927
ErrorMessageException.java
Go to the documentation of this file.
00001 /*
00002 $Id: ErrorMessageException.java,v 1.3 2003/02/18 11:48:46 sander Exp $
00003 */
00004 
00005 
00006 /*
00007 Copyright (C) 2001-2002 Mainline Project (I3S - ESSI - CNRS -UNSA)
00008 
00009 This library is free software; you can redistribute it and/or
00010 modify it under the terms of the GNU Lesser General Public
00011 License as published by the Free Software Foundation; either
00012 version 2.1 of the License, or (at your option) any later version.
00013 
00014 This library is distributed in the hope that it will be useful,
00015 but WITHOUT ANY WARRANTY; without even the implied warranty of
00016 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00017 Lesser General Public License for more details.
00018 
00019 You should have received a copy of the GNU Lesser General Public
00020 License along with this library; if not, write to the Free Software
00021 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
00022 
00023 For further information on the GNU Lesser General Public License,
00024 see: http://www.gnu.org/copyleft/lesser.html
00025 For further information on this library, contact: mainline@essi.fr
00026 */
00027 
00028 
00029 package fr.ove.openmath.exceptions;
00030 
00040 public abstract class ErrorMessageException extends RuntimeException {
00044     private String symbol;
00045     
00049     private String errorMessage;
00050     
00054     private Object details;
00055     
00059     private boolean throwAgain = false;
00060 
00065     public ErrorMessageException(String symbol) {
00066         this(symbol, null);
00067     }
00068 
00074     public ErrorMessageException(String symbol, Object details) {
00075         this.symbol = symbol;
00076         this.details = details;
00077     }
00078     
00082     public String getSymbol() {
00083         return symbol;
00084     }
00085     
00089     public void setSymbol(String symbol) {
00090         this.symbol = symbol;
00091     }
00092 
00096     public Object getDetails() {
00097         return details;
00098     }
00099     
00103     public void setDetails(Object details) {
00104         this.details = details;
00105     }
00106     
00111     public void setThrowAgain(boolean throwAgain) {
00112         this.throwAgain = throwAgain;
00113     }
00114     
00118     public boolean getThrowAgain() {
00119         return throwAgain;
00120     }
00121     
00125     public void setErrorMessage(String errorMessage) {
00126         this.errorMessage = errorMessage;
00127     }
00128     
00132     public String getErrorMessage() {
00133         return errorMessage;
00134     }
00135 }