[Jcontracts-svn] SF.net SVN: jcontracts: [16] trunk/source/java/net/sf/jcontracts/icontract

[<js...@us...>]

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.