KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*
2  * $Id: AcceptingStateException.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 package SOFA.SOFAnode.Util.DFSRChecker.DFSR;
18
19 /**
20  * This exception is thrown if the checking has finished because of a found failing (=accepting) state.
21  */
22 public class AcceptingStateException extends CheckingException {
23
24     /** Creates a new instance of EndOfCheckingException. */
25     public AcceptingStateException() {
26     }
27
28     public AcceptingStateException(String JavaDoc message) {
29         super(message);
30     }
31
32     /**
33      * @see SOFA.SOFAnode.Util.objectweb.fractal.behprotocols.checker.DFSR.CheckingException#addMessage(java.lang.String)
34      */
35     public CheckingException addMessage(String JavaDoc message) {
36         return new AcceptingStateException(this.getMessage() != null ? this.getMessage() + message : message);
37     }
38
39 }
Popular Tags