KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > SOFA > SOFAnode > Util > DFSRChecker > DFSR > CheckingException


1 /*
2  * $Id: CheckingException.java,v 1.2 2005/07/08 12:04:11 kofron Exp $
3  *
4  * Copyright 2004
5  * Distributed Systems Research Group
6  * Department of Software Engineering
7  * Faculty of Mathematics and Physics
8  * Charles University, Prague
9  *
10  * Copyright 2005
11  * Formal Methods In Software Engineering Group
12  * Institute of Computer Science
13  * Academy of Sciences of the Czech Republic
14  *
15  * This code was developed by Jan Kofron <kofron@nenya.ms.mff.cuni.cz>
16  */
17
18 package SOFA.SOFAnode.Util.DFSRChecker.DFSR;
19
20 /**
21  * This is a general type of exception that is thrown during the checking
22  * process
23  */
24 public abstract class CheckingException extends Exception JavaDoc {
25     /** Creates a new instance of EndOfCheckingException */
26     public CheckingException() {
27     }
28
29     /**
30      * ctor Creates an instance with a textual description
31      *
32      * @param message
33      * description of the exception
34      */
35     public CheckingException(String JavaDoc message) {
36         super(message);
37     }
38
39     /**
40      * Adds a message to the exception instance
41      * @param message message to be added
42      * @return this instance
43      */
44     abstract public CheckingException addMessage(String JavaDoc message);
45
46 }
Popular Tags