1 /*
2 ContractChecker
3
4 Copyright (C) 2003 Jose San Leandro Armend?riz
5 jsanleandro@yahoo.es
6 chousz@yahoo.com
7
8 This library is free software; you can redistribute it and/or
9 modify it under the terms of the GNU General Public
10 License as published by the Free Software Foundation; either
11 version 2 of the License, or (at your option) any later version.
12
13 This library is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
17
18 You should have received a copy of the GNU General Public
19 License along with this library; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
21
22 Thanks to ACM S.L. for distributing this library under the GPL license.
23 Contact info: jsr000@terra.es
24 Postal Address: c/Playa de Lagoa, 1
25 Urb. Valdecaba?as
26 Boadilla del monte
27 28660 Madrid
28 Spain
29
30 ******************************************************************************
31 *
32 * Filename: $RCSfile: ContractViolation.java,v $
33 *
34 * Author: Jose San Leandro Armend?riz
35 *
36 * Description: Represents violation of declared contracts.
37 *
38 * Last modified by: $Author: chous $ at $Date: 2004/01/11 19:44:06 $
39 *
40 * File version: $Revision: 1.1 $
41 *
42 * Project version: $Name: $
43 *
44 * $Id: ContractViolation.java,v 1.1 2004/01/11 19:44:06 chous Exp $
45 *
46 */
47 package org.acmsl.contractchecker;
48
49 /***
50 * Represents violation of declared contracts.
51 * @author <a href="mailto:jsanleandro@yahoo.es">Jose San Leandro</a>
52 * @version $Revision: 1.1 $
53 */
54 public class ContractViolation
55 extends RuntimeException
56 {
57 /***
58 * Creates a ContractCheckerException to model
59 * an abnormal situation described by given message.
60 * @param message the message.
61 */
62 public ContractViolation(String message)
63 {
64 super(message);
65 }
66 /***
67 * Creates a ContractCheckerException to model
68 * an abnormal situation described by given message,
69 * wrapping additional exception.
70 * @param message the message.
71 * @param cause the detailed cause.
72 */
73 public ContractViolation(String message, Throwable cause)
74 {
75 super(message, cause);
76 }
77 }
This page was automatically generated by Maven