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

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 15
          http://svn.sourceforge.net/jcontracts/?rev=15&view=rev
Author:   jstuyts
Date:     2006-11-23 09:14:28 -0800 (Thu, 23 Nov 2006)

Log Message:
-----------
Removed JAD comments from the Java sources.

Modified Paths:
--------------
    trunk/source/java/net/sf/jcontracts/argparser/ArgLexer.java
    trunk/source/java/net/sf/jcontracts/argparser/ArgParser.java
    trunk/source/java/net/sf/jcontracts/argparser/ArgTokenTypes.java
    trunk/source/java/net/sf/jcontracts/argparser/ExtendedToken.java
    trunk/source/java/net/sf/jcontracts/argparser/MetaclassFactory.java
    trunk/source/java/net/sf/jcontracts/argparser/Option.java
    trunk/source/java/net/sf/jcontracts/argparser/OptionMetaclass.java
    trunk/source/java/net/sf/jcontracts/argparser/Parser.java
    trunk/source/java/net/sf/jcontracts/argparser/ParserMetaclassFactory.java
    trunk/source/java/net/sf/jcontracts/argparser/Target.java
    trunk/source/java/net/sf/jcontracts/argparser/TargetMetaclass.java
    trunk/source/java/net/sf/jcontracts/codeparser/Class.java
    trunk/source/java/net/sf/jcontracts/codeparser/CodeComment.java
    trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclass.java
    trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclassCache.java
    trunk/source/java/net/sf/jcontracts/codeparser/DebugVisitor.java
    trunk/source/java/net/sf/jcontracts/codeparser/DottyVisitor.java
    trunk/source/java/net/sf/jcontracts/codeparser/DottyVisitorConstants.java
    trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_CommonLevel.java
    trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_PackageLevel.java
    trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_TypeLevel.java
    trunk/source/java/net/sf/jcontracts/codeparser/ExtendedToken.java
    trunk/source/java/net/sf/jcontracts/codeparser/ICodeBody.java
    trunk/source/java/net/sf/jcontracts/codeparser/ICodeMetaclassVisitor.java
    trunk/source/java/net/sf/jcontracts/codeparser/IDependencyFilter.java
    trunk/source/java/net/sf/jcontracts/codeparser/IDotty_Component_Level.java
    trunk/source/java/net/sf/jcontracts/codeparser/Interface.java
    trunk/source/java/net/sf/jcontracts/codeparser/JavaLexer.java
    trunk/source/java/net/sf/jcontracts/codeparser/JavaParser.java
    trunk/source/java/net/sf/jcontracts/codeparser/JavaTokenTypes.java
    trunk/source/java/net/sf/jcontracts/codeparser/MetaclassFactory.java
    trunk/source/java/net/sf/jcontracts/codeparser/Method.java
    trunk/source/java/net/sf/jcontracts/codeparser/Parser.java
    trunk/source/java/net/sf/jcontracts/codeparser/ParserMetaclassFactory.java
    trunk/source/java/net/sf/jcontracts/codeparser/TypeMetaclass.java
    trunk/source/java/net/sf/jcontracts/codeparser/Variable.java
    trunk/source/java/net/sf/jcontracts/dependencyanalyzer/BooleanBlockWithNodeArg.java
    trunk/source/java/net/sf/jcontracts/dependencyanalyzer/DependencyAnalyzer.java
    trunk/source/java/net/sf/jcontracts/dependencyanalyzer/Graph.java
    trunk/source/java/net/sf/jcontracts/dependencyanalyzer/Node.java
    trunk/source/java/net/sf/jcontracts/icontract/AllFilesUpToDateException.java
    trunk/source/java/net/sf/jcontracts/icontract/AllOption.java
    trunk/source/java/net/sf/jcontracts/icontract/ArgMetaclassFactory.java
    trunk/source/java/net/sf/jcontracts/icontract/AssertionExpression.java
    trunk/source/java/net/sf/jcontracts/icontract/Class.java
    trunk/source/java/net/sf/jcontracts/icontract/CleanOption.java
    trunk/source/java/net/sf/jcontracts/icontract/CompilerOption.java
    trunk/source/java/net/sf/jcontracts/icontract/Constants.java
    trunk/source/java/net/sf/jcontracts/icontract/Darwin.java
    trunk/source/java/net/sf/jcontracts/icontract/DefaultExceptionOption.java
    trunk/source/java/net/sf/jcontracts/icontract/FileTarget.java
    trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java
    trunk/source/java/net/sf/jcontracts/icontract/IContracted.java
    trunk/source/java/net/sf/jcontracts/icontract/Interface.java
    trunk/source/java/net/sf/jcontracts/icontract/Internal0Option.java
    trunk/source/java/net/sf/jcontracts/icontract/InvCheck.java
    trunk/source/java/net/sf/jcontracts/icontract/InvCheckCallOption.java
    trunk/source/java/net/sf/jcontracts/icontract/MergeOption.java
    trunk/source/java/net/sf/jcontracts/icontract/MetaclassFactory.java
    trunk/source/java/net/sf/jcontracts/icontract/Method.java
    trunk/source/java/net/sf/jcontracts/icontract/NoInitialCompilationOption.java
    trunk/source/java/net/sf/jcontracts/icontract/NoRepositoryCompilationOption.java
    trunk/source/java/net/sf/jcontracts/icontract/OneOneOption.java
    trunk/source/java/net/sf/jcontracts/icontract/Option.java
    trunk/source/java/net/sf/jcontracts/icontract/OutputOption.java
    trunk/source/java/net/sf/jcontracts/icontract/ParameterOption.java
    trunk/source/java/net/sf/jcontracts/icontract/PrePostCheck.java
    trunk/source/java/net/sf/jcontracts/icontract/ProcessingOption.java
    trunk/source/java/net/sf/jcontracts/icontract/QuietOption.java
    trunk/source/java/net/sf/jcontracts/icontract/Repository.java
    trunk/source/java/net/sf/jcontracts/icontract/RepositoryOutputOption.java
    trunk/source/java/net/sf/jcontracts/icontract/SourceCompilerOption.java
    trunk/source/java/net/sf/jcontracts/icontract/SystemInTarget.java
    trunk/source/java/net/sf/jcontracts/icontract/Target.java
    trunk/source/java/net/sf/jcontracts/icontract/Tool.java
    trunk/source/java/net/sf/jcontracts/icontract/UnableToDetermineTypeException.java
    trunk/source/java/net/sf/jcontracts/icontract/Variable.java
    trunk/source/java/net/sf/jcontracts/icontract/VerboseOption.java
    trunk/source/java/net/sf/jcontracts/icontract/WrapExceptionOption.java
    trunk/source/java/net/sf/jcontracts/icontract/XOption.java
    trunk/source/java/net/sf/jcontracts/icontract/instruction/DeclareReturnValueHolder.java
    trunk/source/java/net/sf/jcontracts/icontract/instruction/Instruction.java
    trunk/source/java/net/sf/jcontracts/icontract/instruction/InstructionBase.java
    trunk/source/java/net/sf/jcontracts/icontract/side/MethodFront.java
    trunk/source/java/net/sf/jcontracts/icontract/side/Side.java
    trunk/source/java/net/sf/jcontracts/icontract/side/SideBase.java
    trunk/source/java/net/sf/jcontracts/icontract/side/SideFactory.java
    trunk/source/java/net/sf/jcontracts/icontract/util/Array.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/ArchitectureSpecification.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/ArchitectureSpecificationFilter.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/CompositePattern.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/Dependency.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/DependencyConstraint.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/DependencyConstraintExporter.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/DifferencePattern.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/Group.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/Idiom.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/IdiomFactory.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/IsolateIdiom.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/LanguageFactory.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/LayerIdiom.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PSpecLexer.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PSpecParser.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PSpecTokenTypes.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/Pattern.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PatternFactory.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/PatternSyntaxException.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/SetPattern.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/SingleDependencyConstraint.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/SingularPattern.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/StrictlyLayerIdiom.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/xml/XMLRuleLanguage.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/primitive_language/xml/XMLRuleLanguageSpecification.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/with_rules/IArchitectureSpecification.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/impl/with_rules/IRule.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureExporter.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureSpecification.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IArchitectureSpecificationFilter.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IDependency.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/ILanguageFactory.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/IllFormedSpecificationException.java
    trunk/source/java/net/sf/jcontracts/idarwin/specification/openapi/RunData.java
    trunk/source/java/net/sf/jcontracts/util/JavaEvaluator.java
    trunk/source/java/net/sf/jcontracts/util/StringComparator.java

Modified: trunk/source/java/net/sf/jcontracts/argparser/ArgLexer.java
===================================================================

--- trunk/source/java/net/sf/jcontracts/argparser/ArgLexer.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/argparser/ArgLexer.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   ArgLexer.java
-
 package net.sf.jcontracts.argparser;
 
 import antlr.*;
@@ -10,9 +5,6 @@
 import java.io.InputStream;
 import java.util.Hashtable;
 
-// Referenced classes of package net.sf.jcontracts.argParser:
-//         ArgTokenTypes, ExtendedToken
-
 public class ArgLexer extends CharScannerNoBacktrackingNoInteractive
    implements ArgTokenTypes, Tokenizer {
 

Modified: trunk/source/java/net/sf/jcontracts/argparser/ArgParser.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/argparser/ArgParser.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/argparser/ArgParser.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   ArgParser.java
-
 package net.sf.jcontracts.argparser;
 
 import antlr.*;
@@ -10,10 +5,6 @@
 import java.io.PrintStream;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.argParser:
-//         ArgTokenTypes, MetaclassFactory, ArgLexer, ExtendedToken, 
-//         ParserMetaclassFactory, OptionMetaclass, TargetMetaclass
-
 public class ArgParser extends LLkParserNoInteractive
    implements ArgTokenTypes {
 

Modified: trunk/source/java/net/sf/jcontracts/argparser/ArgTokenTypes.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/argparser/ArgTokenTypes.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/argparser/ArgTokenTypes.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   ArgTokenTypes.java
-
 package net.sf.jcontracts.argparser;
 
 

Modified: trunk/source/java/net/sf/jcontracts/argparser/ExtendedToken.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/argparser/ExtendedToken.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/argparser/ExtendedToken.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   ExtendedToken.java
-
 package net.sf.jcontracts.argparser;
 
 import antlr.CommonToken;

Modified: trunk/source/java/net/sf/jcontracts/argparser/MetaclassFactory.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/argparser/MetaclassFactory.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/argparser/MetaclassFactory.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,16 +1,7 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   MetaclassFactory.java
-
 package net.sf.jcontracts.argparser;
 
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.argParser:
-//         ParserMetaclassFactory, Option, Target, OptionMetaclass, 
-//         TargetMetaclass
-
 public class MetaclassFactory
    implements ParserMetaclassFactory {
 

Modified: trunk/source/java/net/sf/jcontracts/argparser/Option.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/argparser/Option.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/argparser/Option.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,15 +1,7 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Option.java
-
 package net.sf.jcontracts.argparser;
 
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.argParser:
-//         OptionMetaclass
-
 public class Option extends OptionMetaclass {
 
    public Option(String name, Vector arguments) {

Modified: trunk/source/java/net/sf/jcontracts/argparser/OptionMetaclass.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/argparser/OptionMetaclass.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/argparser/OptionMetaclass.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   OptionMetaclass.java
-
 package net.sf.jcontracts.argparser;
 
 import java.util.Vector;

Modified: trunk/source/java/net/sf/jcontracts/argparser/Parser.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/argparser/Parser.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/argparser/Parser.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Parser.java
-
 package net.sf.jcontracts.argparser;
 
 import antlr.CharScanner;
@@ -10,9 +5,6 @@
 import java.io.StringBufferInputStream;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.argParser:
-//         ArgLexer, ArgParser, ParserMetaclassFactory
-
 public class Parser {
 
    private ArgParser _argparser;

Modified: trunk/source/java/net/sf/jcontracts/argparser/ParserMetaclassFactory.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/argparser/ParserMetaclassFactory.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/argparser/ParserMetaclassFactory.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,15 +1,7 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   ParserMetaclassFactory.java
-
 package net.sf.jcontracts.argparser;
 
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.argParser:
-//         OptionMetaclass, TargetMetaclass
-
 public interface ParserMetaclassFactory {
 
    public abstract OptionMetaclass newOption(String s, Vector vector);

Modified: trunk/source/java/net/sf/jcontracts/argparser/Target.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/argparser/Target.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/argparser/Target.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,14 +1,6 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Target.java
-
 package net.sf.jcontracts.argparser;
 
 
-// Referenced classes of package net.sf.jcontracts.argParser:
-//         TargetMetaclass
-
 public class Target extends TargetMetaclass {
 
    public Target(String name) {

Modified: trunk/source/java/net/sf/jcontracts/argparser/TargetMetaclass.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/argparser/TargetMetaclass.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/argparser/TargetMetaclass.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   TargetMetaclass.java
-
 package net.sf.jcontracts.argparser;
 
 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/Class.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/Class.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/Class.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,16 +1,8 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Class.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.util.Enumeration;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         TypeMetaclass, CodeMetaclass
-
 public class Class extends TypeMetaclass {
 
    public Class(String name, String filename, int line_number) {

Modified: trunk/source/java/net/sf/jcontracts/codeparser/CodeComment.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/CodeComment.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/CodeComment.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   CodeComment.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.io.Serializable;

Modified: trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclass.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclass.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclass.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,16 +1,8 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   CodeMetaclass.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.io.Serializable;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         CodeComment, ICodeMetaclassVisitor
-
 public abstract class CodeMetaclass
    implements Serializable {
    class Name

Modified: trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclassCache.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclassCache.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/CodeMetaclassCache.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space
-// Source File Name:   CodeMetaclassCache.java
-
 package net.sf.jcontracts.codeparser;
 
 import antlr.ParserException;
@@ -10,9 +5,6 @@
 import java.util.Enumeration;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         Parser, MetaclassFactory
-
 public class CodeMetaclassCache {
     
     private static final String base;

Modified: trunk/source/java/net/sf/jcontracts/codeparser/DebugVisitor.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/DebugVisitor.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/DebugVisitor.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,15 +1,7 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   DebugVisitor.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.io.PrintStream;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         ICodeMetaclassVisitor, CodeMetaclass
-
 public class DebugVisitor
    implements ICodeMetaclassVisitor {
 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/DottyVisitor.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/DottyVisitor.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/DottyVisitor.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   DottyVisitor.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.io.*;
@@ -11,10 +6,6 @@
 import net.sf.jcontracts.idarwin.specification.openapi.IArchitectureExporter;
 import net.sf.jcontracts.idarwin.specification.openapi.IArchitectureSpecification;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         ICodeMetaclassVisitor, Dotty_Component_TypeLevel, Dotty_Component_PackageLevel, IDependencyFilter, 
-//         IDotty_Component_Level, DottyVisitorConstants, CodeMetaclass
-
 public class DottyVisitor
    implements ICodeMetaclassVisitor {
 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/DottyVisitorConstants.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/DottyVisitorConstants.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/DottyVisitorConstants.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   DottyVisitorConstants.java
-
 package net.sf.jcontracts.codeparser;
 
 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_CommonLevel.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_CommonLevel.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_CommonLevel.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Dotty_Component_CommonLevel.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.io.PrintStream;
@@ -12,9 +7,6 @@
 import net.sf.jcontracts.icontract.QuietOption;
 import net.sf.jcontracts.idarwin.specification.openapi.IArchitectureSpecification;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         IDependencyFilter, DottyVisitorConstants, CodeMetaclass, Class
-
 public class Dotty_Component_CommonLevel {
 
    protected Vector previouslyCheckedlinks;

Modified: trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_PackageLevel.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_PackageLevel.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_PackageLevel.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Dotty_Component_PackageLevel.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.io.PrintStream;
@@ -12,11 +7,6 @@
 
 import net.sf.jcontracts.idarwin.specification.openapi.IArchitectureSpecification;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         Dotty_Component_CommonLevel, IDotty_Component_Level, Method, CodeMetaclass, 
-//         TypeMetaclass, ICodeBody, Variable, DottyVisitorConstants, 
-//         IDependencyFilter
-
 public class Dotty_Component_PackageLevel extends Dotty_Component_CommonLevel
    implements IDotty_Component_Level {
 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_TypeLevel.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_TypeLevel.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/Dotty_Component_TypeLevel.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Dotty_Component_TypeLevel.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.io.PrintStream;
@@ -12,11 +7,6 @@
 
 import net.sf.jcontracts.idarwin.specification.openapi.IArchitectureSpecification;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         Dotty_Component_CommonLevel, IDotty_Component_Level, DottyVisitorConstants, Method, 
-//         CodeMetaclass, TypeMetaclass, ICodeBody, Variable, 
-//         IDependencyFilter
-
 public class Dotty_Component_TypeLevel extends Dotty_Component_CommonLevel
    implements IDotty_Component_Level {
 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/ExtendedToken.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/ExtendedToken.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/ExtendedToken.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   ExtendedToken.java
-
 package net.sf.jcontracts.codeparser;
 
 import antlr.CommonToken;

Modified: trunk/source/java/net/sf/jcontracts/codeparser/ICodeBody.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/ICodeBody.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/ICodeBody.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   ICodeBody.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.util.Vector;

Modified: trunk/source/java/net/sf/jcontracts/codeparser/ICodeMetaclassVisitor.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/ICodeMetaclassVisitor.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/ICodeMetaclassVisitor.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,14 +1,6 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   ICodeMetaclassVisitor.java
-
 package net.sf.jcontracts.codeparser;
 
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         CodeMetaclass
-
 public interface ICodeMetaclassVisitor {
 
    public abstract void accept(CodeMetaclass codemetaclass);

Modified: trunk/source/java/net/sf/jcontracts/codeparser/IDependencyFilter.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/IDependencyFilter.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/IDependencyFilter.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   IDependencyFilter.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.io.IOException;
@@ -10,9 +5,6 @@
 
 import net.sf.jcontracts.idarwin.specification.openapi.IArchitectureSpecification;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         CodeMetaclass
-
 public interface IDependencyFilter {
 
    public abstract void addDependency(String s, String s1, int i, PrintWriter printwriter, boolean flag, String s2, IArchitectureSpecification iarchitecturespecification, 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/IDotty_Component_Level.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/IDotty_Component_Level.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/IDotty_Component_Level.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   IDotty_Component_Level.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.io.PrintWriter;
@@ -10,9 +5,6 @@
 
 import net.sf.jcontracts.idarwin.specification.openapi.IArchitectureSpecification;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         CodeMetaclass
-
 public interface IDotty_Component_Level {
 
    public abstract void acceptMethod(CodeMetaclass codemetaclass, PrintWriter printwriter, boolean flag, IArchitectureSpecification iarchitecturespecification, boolean flag1);

Modified: trunk/source/java/net/sf/jcontracts/codeparser/Interface.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/Interface.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/Interface.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,15 +1,7 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Interface.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         TypeMetaclass, CodeMetaclass
-
 public class Interface extends TypeMetaclass {
 
    public Interface(String name, String filename, int line_number) {

Modified: trunk/source/java/net/sf/jcontracts/codeparser/JavaLexer.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/JavaLexer.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/JavaLexer.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   JavaLexer.java
-
 package net.sf.jcontracts.codeparser;
 
 import antlr.*;
@@ -10,9 +5,6 @@
 import java.io.InputStream;
 import java.util.Hashtable;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         JavaTokenTypes, ExtendedToken, CodeComment
-
 public class JavaLexer extends CharScannerNoBacktrackingNoInteractive
    implements JavaTokenTypes, Tokenizer {
 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/JavaParser.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/JavaParser.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/JavaParser.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   JavaParser.java
-
 package net.sf.jcontracts.codeparser;
 
 import antlr.*;
@@ -12,12 +7,6 @@
 
 import net.sf.jcontracts.dependencyanalyzer.Node;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         JavaTokenTypes, ICodeBody, CodeMetaclass, ParserMetaclassFactory, 
-//         TypeMetaclass, ExtendedToken, CodeComment, Method, 
-//         Variable, JavaLexer, MetaclassFactory, DebugVisitor, 
-//         Class, Interface
-
 public class JavaParser extends LLkParserNoInteractive
    implements JavaTokenTypes {
 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/JavaTokenTypes.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/JavaTokenTypes.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/JavaTokenTypes.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   JavaTokenTypes.java
-
 package net.sf.jcontracts.codeparser;
 
 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/MetaclassFactory.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/MetaclassFactory.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/MetaclassFactory.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,16 +1,7 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   MetaclassFactory.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         ParserMetaclassFactory, Class, CodeMetaclass, Interface, 
-//         Method, Variable
-
 public class MetaclassFactory
    implements ParserMetaclassFactory {
 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/Method.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/Method.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/Method.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,15 +1,7 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Method.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         CodeMetaclass, ICodeBody, ICodeMetaclassVisitor, TypeMetaclass
-
 public class Method extends CodeMetaclass
    implements ICodeBody {
 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/Parser.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/Parser.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/Parser.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Parser.java
-
 package net.sf.jcontracts.codeparser;
 
 import antlr.CharScanner;
@@ -11,9 +6,6 @@
 import java.util.Hashtable;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         JavaLexer, JavaParser, ParserMetaclassFactory
-
 public class Parser {
 
    private JavaParser _javaparser;

Modified: trunk/source/java/net/sf/jcontracts/codeparser/ParserMetaclassFactory.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/ParserMetaclassFactory.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/ParserMetaclassFactory.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,15 +1,7 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   ParserMetaclassFactory.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         Class, Interface, Method, Variable
-
 public interface ParserMetaclassFactory {
 
    public abstract String getPackage();

Modified: trunk/source/java/net/sf/jcontracts/codeparser/TypeMetaclass.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/TypeMetaclass.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/TypeMetaclass.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,15 +1,7 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   TypeMetaclass.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         CodeMetaclass, ICodeBody, ICodeMetaclassVisitor, Method
-
 public abstract class TypeMetaclass extends CodeMetaclass
    implements ICodeBody {
 

Modified: trunk/source/java/net/sf/jcontracts/codeparser/Variable.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/codeparser/Variable.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/codeparser/Variable.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,15 +1,7 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Variable.java
-
 package net.sf.jcontracts.codeparser;
 
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.codeParser:
-//         CodeMetaclass, ICodeMetaclassVisitor
-
 public class Variable extends CodeMetaclass {
 
    private String _type;

Modified: trunk/source/java/net/sf/jcontracts/dependencyanalyzer/BooleanBlockWithNodeArg.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/dependencyanalyzer/BooleanBlockWithNodeArg.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/dependencyanalyzer/BooleanBlockWithNodeArg.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,14 +1,6 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   BooleanBlockWithNodeArg.java
-
 package net.sf.jcontracts.dependencyanalyzer;
 
 
-// Referenced classes of package net.sf.jcontracts.dependencyAnalyzer:
-//         Node
-
 public interface BooleanBlockWithNodeArg {
 
    public abstract boolean eval(Node node);

Modified: trunk/source/java/net/sf/jcontracts/dependencyanalyzer/DependencyAnalyzer.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/dependencyanalyzer/DependencyAnalyzer.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/dependencyanalyzer/DependencyAnalyzer.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,16 +1,8 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   DependencyAnalyzer.java
-
 package net.sf.jcontracts.dependencyanalyzer;
 
 import java.util.Enumeration;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.dependencyAnalyzer:
-//         Graph, Node
-
 public class DependencyAnalyzer {
 
    private Graph dg_;

Modified: trunk/source/java/net/sf/jcontracts/dependencyanalyzer/Graph.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/dependencyanalyzer/Graph.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/dependencyanalyzer/Graph.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,16 +1,8 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Graph.java
-
 package net.sf.jcontracts.dependencyanalyzer;
 
 import java.io.PrintStream;
 import java.util.*;
 
-// Referenced classes of package net.sf.jcontracts.dependencyAnalyzer:
-//         Node, BooleanBlockWithNodeArg
-
 public class Graph {
 
    protected Vector nodes_;

Modified: trunk/source/java/net/sf/jcontracts/dependencyanalyzer/Node.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/dependencyanalyzer/Node.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/dependencyanalyzer/Node.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,16 +1,8 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Node.java
-
 package net.sf.jcontracts.dependencyanalyzer;
 
 import java.util.Enumeration;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.dependencyAnalyzer:
-//         BooleanBlockWithNodeArg
-
 public class Node {
 
    protected String name_;

Modified: trunk/source/java/net/sf/jcontracts/icontract/AllFilesUpToDateException.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/AllFilesUpToDateException.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/AllFilesUpToDateException.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   AllFilesUpToDateException.java
-
 package net.sf.jcontracts.icontract;
 
 public class AllFilesUpToDateException extends RuntimeException {

Modified: trunk/source/java/net/sf/jcontracts/icontract/AllOption.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/AllOption.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/AllOption.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,15 +1,7 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   AllOption.java
-
 package net.sf.jcontracts.icontract;
 
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         ParameterOption
-
 public class AllOption extends ParameterOption {
 
    public static final String NAME = "a";

Modified: trunk/source/java/net/sf/jcontracts/icontract/ArgMetaclassFactory.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/ArgMetaclassFactory.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/ArgMetaclassFactory.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   ArgMetaclassFactory.java
-
 package net.sf.jcontracts.icontract;
 
 import net.sf.jcontracts.argparser.*;
@@ -11,14 +6,6 @@
 import java.io.PrintStream;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         HelpOption, VerboseOption, CompilerOption, SourceCompilerOption, 
-//         NoRepositoryCompilationOption, OutputOption, OneOneOption, RepositoryOutputOption, 
-//         DefaultExceptionOption, CleanOption, MergeOption, InvCheckCallOption, 
-//         WrapExceptionOption, QuietOption, AllOption, XOption, 
-//         Internal0Option, NoInitialCompilationOption, StopException, Log, 
-//         FileTarget
-
 public class ArgMetaclassFactory
    implements ParserMetaclassFactory {
 

Modified: trunk/source/java/net/sf/jcontracts/icontract/AssertionExpression.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/AssertionExpression.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/AssertionExpression.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   AssertionExpression.java
-
 package net.sf.jcontracts.icontract;
 
 import net.sf.jcontracts.codeparser.CodeMetaclass;
@@ -12,9 +7,6 @@
 import java.util.Hashtable;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         IContracted, Log, UnableToDetermineTypeException
-
 class AssertionExpression {
    private static final Logger log = Logger.getLogger(AssertionExpression.class);
    private String expression_;

Modified: trunk/source/java/net/sf/jcontracts/icontract/Class.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/Class.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/Class.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Class.java
-
 package net.sf.jcontracts.icontract;
 
 import net.sf.jcontracts.codeparser.CodeMetaclass;
@@ -15,10 +10,6 @@
 import java.util.Enumeration;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         InvCheck, PrePostCheck, Log, Method, 
-//         StopException, AssertionExpression, UnableToDetermineTypeException
-
 public class Class extends net.sf.jcontracts.codeparser.Class
         implements InvCheck, PrePostCheck {
    private static final Logger log = Logger.getLogger(Class.class);

Modified: trunk/source/java/net/sf/jcontracts/icontract/CleanOption.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/CleanOption.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/CleanOption.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,16 +1,8 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   CleanOption.java
-
 package net.sf.jcontracts.icontract;
 
 import org.apache.log4j.Logger;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         ParameterOption
-
 public class CleanOption extends ParameterOption {
 
    public static final String NAME = "r";

Modified: trunk/source/java/net/sf/jcontracts/icontract/CompilerOption.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/CompilerOption.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/CompilerOption.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   CompilerOption.java
-
 package net.sf.jcontracts.icontract;
 
 import net.sf.jcontracts.argparser.OptionMetaclass;
@@ -13,9 +8,6 @@
 import java.util.Vector;
 import sun.tools.javac.Main;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         ParameterOption, Log, StopException, Internal0Option
-
 public class CompilerOption extends ParameterOption {
    private static final Logger log = Logger.getLogger(CompilerOption.class);
 

Modified: trunk/source/java/net/sf/jcontracts/icontract/Constants.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/Constants.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/Constants.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Constants.java
-
 package net.sf.jcontracts.icontract;
 
 import org.apache.log4j.Logger;

Modified: trunk/source/java/net/sf/jcontracts/icontract/Darwin.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/Darwin.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/Darwin.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space
-// Source File Name:   Darwin.java
-
 package net.sf.jcontracts.icontract;
 
 import net.sf.jcontracts.argparser.Parser;
@@ -16,10 +11,6 @@
 import java.util.*;
 import javax.swing.JOptionPane;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         ArgMetaclassFactory, SystemInTarget, Target, HelpOption,
-//         Option, ParameterOption, StopException, AllFilesUpToDateException
-
 public class Darwin {
     private static final Logger log = Logger.getLogger(Darwin.class);
     

Modified: trunk/source/java/net/sf/jcontracts/icontract/DefaultExceptionOption.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/DefaultExceptionOption.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/DefaultExceptionOption.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   DefaultExceptionOption.java
-
 package net.sf.jcontracts.icontract;
 
 import net.sf.jcontracts.argparser.OptionMetaclass;
@@ -10,9 +5,6 @@
 import org.apache.log4j.Logger;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         ParameterOption
-
 public class DefaultExceptionOption extends ParameterOption {
 
    public static final String NAME = "d";

Modified: trunk/source/java/net/sf/jcontracts/icontract/FileTarget.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/FileTarget.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/FileTarget.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space
-// Source File Name:   FileTarget.java
-
 package net.sf.jcontracts.icontract;
 
 import net.sf.jcontracts.codeparser.Parser;
@@ -12,10 +7,6 @@
 import java.util.Enumeration;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         Target, StopException, Log, Option,
-//         CleanOption, MetaclassFactory, ProcessingOption
-
 public class FileTarget extends Target {
     private static final Logger log = Logger.getLogger(FileTarget.class);
     

Modified: trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/HelpOption.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,17 +1,9 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   HelpOption.java
-
 package net.sf.jcontracts.icontract;
 
 import org.apache.log4j.Logger;
 import java.io.PrintStream;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         ParameterOption, StopException
-
 public class HelpOption extends ParameterOption {
 
    public static final String VERSION = "for JDK 1.5, iContract v2.0";

Modified: trunk/source/java/net/sf/jcontracts/icontract/IContracted.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/IContracted.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/IContracted.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,15 +1,7 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   IContracted.java
-
 package net.sf.jcontracts.icontract;
 
 import org.apache.log4j.Logger;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         UnableToDetermineTypeException
-
 public interface IContracted {
 
    public abstract String getTypeOfValue(String s) throws UnableToDetermineTypeException;

Modified: trunk/source/java/net/sf/jcontracts/icontract/Interface.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/Interface.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/Interface.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,8 +1,3 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Interface.java
-
 package net.sf.jcontracts.icontract;
 
 import net.sf.jcontracts.codeparser.CodeMetaclass;
@@ -15,10 +10,6 @@
 import java.util.Enumeration;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         PrePostCheck, InvCheck, Class, Log, 
-//         Method, StopException, UnableToDetermineTypeException
-
 public class Interface extends net.sf.jcontracts.codeparser.Interface
     implements PrePostCheck, InvCheck {
    private static final Logger log = Logger.getLogger(Interface.class);

Modified: trunk/source/java/net/sf/jcontracts/icontract/Internal0Option.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/Internal0Option.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/Internal0Option.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,16 +1,8 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   Internal0Option.java
-
 package net.sf.jcontracts.icontract;
 
 import org.apache.log4j.Logger;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         ParameterOption
-
 public class Internal0Option extends ParameterOption {
 
    public static final String NAME = "Z";

Modified: trunk/source/java/net/sf/jcontracts/icontract/InvCheck.java
===================================================================
--- trunk/source/java/net/sf/jcontracts/icontract/InvCheck.java	2006-11-23 12:54:51 UTC (rev 14)
+++ trunk/source/java/net/sf/jcontracts/icontract/InvCheck.java	2006-11-23 17:14:28 UTC (rev 15)
@@ -1,16 +1,8 @@
-// Decompiled by Jad v1.5.8f. Copyright 2001 Pavel Kouznetsov.
-// Jad home page: http://www.kpdus.com/jad.html
-// Decompiler options: packimports(3) braces fieldsfirst nonlb space 
-// Source File Name:   InvCheck.java
-
 package net.sf.jcontracts.icontract;
 
 import org.apache.log4j.Logger;
 import java.util.Vector;
 
-// Referenced classes of package net.sf.jcontracts.iContract:
-//         IContr...
 
[truncated message content]

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

jcontracts-svn