KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*
2  * $Id: InfiniteActivityException.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 exception is thrown when a bad activity is detected while traversing the
22  * state space, more preciselly when leaving a cycle of the state space.
23  */
24 public class InfiniteActivityException extends CheckingException {
25
26     /**
27      * Creates a new instance of InfiniteActivityException.
28      */
29     public InfiniteActivityException() {
30     }
31
32     /**
33      * Creates a new instance of InfiniteActivityException.
34      *
35      * @param message
36      * the description of the exception
37      */
38     public InfiniteActivityException(String JavaDoc message) {
39         super(message);
40     }
41
42     /**
43      * @see SOFA.SOFAnode.Util.objectweb.fractal.behprotocols.checker.DFSR.CheckingException#addMessage(java.lang.String)
44      */
45     public CheckingException addMessage(String JavaDoc message) {
46         return new InfiniteActivityException(this.getMessage() != null ? this.getMessage() + message : message);
47     }
48
49 }
Popular Tags