KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*
2  * $Id: BadActivityException.java,v 1.2 2005/07/08 12:04:11 kofron Exp $
3  * Copyright 2004
4  * Distributed Systems Research Group
5  * Department of Software Engineering
6  * Faculty of Mathematics and Physics
7  * Charles University, Prague
8  *
9  * Copyright 2005
10  * Formal Methods In Software Engineering Group
11  * Institute of Computer Science
12  * Academy of Sciences of the Czech Republic
13  *
14  * This code was developed by Jan Kofron <kofron@nenya.ms.mff.cuni.cz>
15  */
16
17 package SOFA.SOFAnode.Util.DFSRChecker.DFSR;
18
19 /**
20  * This exception is thrown when bad activity is detected inside of an consent operator.
21  */
22 public class BadActivityException extends CheckingException {
23
24
25     /**
26      * Creates a new instance of BadActivityException.
27      *
28      */
29     public BadActivityException() {
30     }
31
32
33     /**
34      * Creates a new instance of BadActivityException.
35      * @param message the description of the exception
36      */
37     public BadActivityException(String JavaDoc message) {
38         super(message);
39     }
40
41     /**
42      * @see SOFA.SOFAnode.Util.objectweb.fractal.behprotocols.checker.DFSR.CheckingException#addMessage(java.lang.String)
43      */
44     public CheckingException addMessage(String JavaDoc message) {
45         return new BadActivityException(this.getMessage() != null ? this.getMessage() + message : message);
46     }
47
48 }
Popular Tags