|
From: <js...@us...> - 2006-11-23 17:21:38
|
Revision: 16
http://svn.sourceforge.net/jcontracts/?rev=16&view=rev
Author: jstuyts
Date: 2006-11-23 09:21:27 -0800 (Thu, 23 Nov 2006)
Log Message:
-----------
Corrected path of main class.
Modified Paths:
--------------
trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java
trunk/source/java/net/sf/jcontracts/icontract/MergeOption.java
Modified: trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java 2006-11-23 17:14:28 UTC (rev 15)
+++ trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java 2006-11-23 17:21:27 UTC (rev 16)
@@ -16,7 +16,7 @@
protected void activateOnTargets(Vector targets) {
System.out.println("NAME: iContract, Version " + VERSION);
System.out.println("AUTHOR: Copyright (C), 1997,98,99 Reto Kramer <in...@re...>");
- System.out.println("SYNOPSIS: java iContract.Tool {option} {file}");
+ System.out.println("SYNOPSIS: java net.sf.jcontracts.icontract.Tool {option} {file}");
System.out.println("DESCRIPTION: Provides Java with full support for \"Design by Contract\".");
System.out.println(" Instruments java source code files with checks to enforce:");
System.out.println(" - method pre- and post-conditions");
Modified: trunk/source/java/net/sf/jcontracts/icontract/MergeOption.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/MergeOption.java 2006-11-23 17:14:28 UTC (rev 15)
+++ trunk/source/java/net/sf/jcontracts/icontract/MergeOption.java 2006-11-23 17:21:27 UTC (rev 16)
@@ -433,7 +433,7 @@
for (Enumeration e = controlTable.elements(); !stop && e.hasMoreElements();) {
String patternline = (String)e.nextElement();
if (patternline.indexOf(' ') == -1) {
- throw new RuntimeException("iContract:error malformed -m config file entry: \"" + patternline + "\" missing a space character that separates the <package><type><method> from the list of pre,post and inv switches (e.g. \"iContract.Tool<SPACE>pre\" enables pre)");
+ throw new RuntimeException("iContract:error malformed -m config file entry: \"" + patternline + "\" missing a space character that separates the <package><type><method> from the list of pre,post and inv switches (e.g. \"net.sf.jcontracts.icontract.Tool<SPACE>pre\" enables pre)");
}
String pattern = patternline.substring(0, patternline.indexOf(' '));
if (match(item, pattern)) {
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|