001    // This file is part of AceWiki.
002    // Copyright 2008-2012, AceWiki developers.
003    // 
004    // AceWiki is free software: you can redistribute it and/or modify it under the terms of the GNU
005    // Lesser General Public License as published by the Free Software Foundation, either version 3 of
006    // the License, or (at your option) any later version.
007    // 
008    // AceWiki is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without
009    // even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
010    // Lesser General Public License for more details.
011    // 
012    // You should have received a copy of the GNU Lesser General Public License along with AceWiki. If
013    // not, see http://www.gnu.org/licenses/.
014    
015    package ch.uzh.ifi.attempto.chartparser;
016    
017    /**
018     * This exception is thrown if one attempts to unify two objects that cannot unify.
019     * 
020     * @author Tobias Kuhn
021     */
022    public class UnificationFailedException extends Exception {
023            
024            private static final long serialVersionUID = 5820726675018863780L;
025            
026            /**
027             * Creates a new exception object.
028             */
029            UnificationFailedException() {
030            }
031    
032    }