Menu
▾
▴
[Jcontracts-svn] SF.net SVN: jcontracts: [15] trunk/source/java/net/sf/jcontracts
|
From: <js...@us...> - 2006-11-23 17:14:30
|
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] |
