| org.acmsl.contractchecker.ContractCheckerAspectTemplate |
public static final java.lang.String |
DEFAULT_ASPECT_DEFINITION |
"public aspect ContractChecking\n" |
public static final java.lang.String |
DEFAULT_ASPECT_END |
"}\n" |
public static final java.lang.String |
DEFAULT_ASPECT_JAVADOC |
"\n/**\n * Checks all pre- and post-conditions are satisfied.\n * @author ContractChecker\n * @version $Revision: $\n */\n" |
public static final java.lang.String |
DEFAULT_ASPECT_START |
"{" |
public static final java.lang.String |
DEFAULT_EXCEPTION_DECLARATION |
"// declare soft : {0} : precondition({1});\n\n" |
public static final java.lang.String |
DEFAULT_HEADER |
"/*\n Contract Checker\n\n Copyright (C) 2003-2004 Jose San Leandro Armend\ufffdriz\n jsanleandro@yahoo.es\n chousz@yahoo.com\n\n This library is free software; you can redistribute it and/or\n modify it under the terms of the GNU General Public\n License as published by the Free Software Foundation; either\n version 2 of the License, or (at your option) any later version.\n\n This library is distributed in the hope that it will be useful,\n but WITHOUT ANY WARRANTY; without even the implied warranty of\n MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU\n General Public License for more details.\n\n You should have received a copy of the GNU General Public\n License along with this library; if not, write to the Free Software\n Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA\n\n Thanks to ACM S.L. for distributing this library under the GPL license.\n Contact info: jsanleandro@yahoo.es\n Postal Address: c/Playa de Lagoa, 1\n Urb. Valdecaba\ufffdas\n Boadilla del monte\n 28660 Madrid\n Spain\n\n ******************************************************************************\n *\n * Filename: $RCSfile: $\n *\n * Author: ContractChecker\n *\n * Description: Checks all pre- and post-conditions are\n * satisfied.\n *\n * Last modified by: $Author: $ at $Date: $\n *\n * File version: $Revision: $\n *\n * Project version: $Name: $\n *\n * $Id: $\n *\n */\n" |
public static final java.lang.String |
DEFAULT_PACKAGE_DECLARATION |
"package {0};\n" |
public static final java.lang.String |
DEFAULT_PRECONDITION_ADVICE |
" /**\n * Before reaching pointcut\n * precondition({0})\n */\n before ({0}) throws {1}: precondition({2})\n \'{\'\n{3} \'}\'\n\n" |
public static final java.lang.String |
DEFAULT_PRECONDITION_CHECK |
" if (!({0}))\n \'{\'\n throw\n new {1}(\n \"Precondition [\"\n + \"{0}\"\n + \"] not satisfied.\");\n \'}\'\n\n" |
public static final java.lang.String |
DEFAULT_PRECONDITION_POINTCUT |
"\n /**\n * The pointcut to intercept possible precondition violations on\n * {0}.{1}({2})\n * @see {0}#{1}({3})\n */\n pointcut precondition({3}):\n call({5} {0}.{1}({4}))\n && args({2});\n\n" |
public static final java.lang.String |
DEFAULT_PROJECT_IMPORTS |
"//import {0};\n" |
public static final java.lang.String |
DEFAULT_PROJECT_IMPORTS_JAVADOC |
"\n/*\n * Importing project-specific classes.\n */\n" |