Checkstyle Results

The following document contains the results of Checkstyle 6.11.2 with /Users/prholser/java/junit-quickcheck/target/checkout/conf/src-checkstyle.xml ruleset. rss feed

Summary

Files  Info  Warnings  Errors
69 0 122 0

Files

File  I  W  E
com/pholser/junit/quickcheck/From.java 0 1 0
com/pholser/junit/quickcheck/MinimalCounterexampleHook.java 0 1 0
com/pholser/junit/quickcheck/Mode.java 0 1 0
com/pholser/junit/quickcheck/Pair.java 0 5 0
com/pholser/junit/quickcheck/Produced.java 0 1 0
com/pholser/junit/quickcheck/Property.java 0 3 0
com/pholser/junit/quickcheck/When.java 0 1 0
com/pholser/junit/quickcheck/conversion/StringConversion.java 0 1 0
com/pholser/junit/quickcheck/generator/Also.java 0 3 0
com/pholser/junit/quickcheck/generator/ComponentizedGenerator.java 0 1 0
com/pholser/junit/quickcheck/generator/Ctor.java 0 1 0
com/pholser/junit/quickcheck/generator/Fields.java 0 1 0
com/pholser/junit/quickcheck/generator/Gen.java 0 2 0
com/pholser/junit/quickcheck/generator/GenerationStatus.java 0 1 0
com/pholser/junit/quickcheck/generator/Generator.java 0 3 0
com/pholser/junit/quickcheck/generator/GeneratorConfiguration.java 0 1 0
com/pholser/junit/quickcheck/generator/GeneratorConfigurationException.java 0 1 0
com/pholser/junit/quickcheck/generator/Generators.java 0 1 0
com/pholser/junit/quickcheck/generator/Lambdas.java 0 3 0
com/pholser/junit/quickcheck/generator/Only.java 0 2 0
com/pholser/junit/quickcheck/generator/Shrink.java 0 1 0
com/pholser/junit/quickcheck/generator/Size.java 0 1 0
com/pholser/junit/quickcheck/generator/ValuesOf.java 0 1 0
com/pholser/junit/quickcheck/hook/NilMinimalCounterexampleHook.java 0 1 0
com/pholser/junit/quickcheck/internal/CartesianIterator.java 0 1 0
com/pholser/junit/quickcheck/internal/Comparables.java 0 3 0
com/pholser/junit/quickcheck/internal/FakeAnnotatedTypeFactory.java 0 1 0
com/pholser/junit/quickcheck/internal/GeometricDistribution.java 0 1 0
com/pholser/junit/quickcheck/internal/Items.java 0 1 0
com/pholser/junit/quickcheck/internal/Lists.java 0 1 0
com/pholser/junit/quickcheck/internal/ParameterSampler.java 0 1 0
com/pholser/junit/quickcheck/internal/ParameterTypeContext.java 0 2 0
com/pholser/junit/quickcheck/internal/PropertyParameterContext.java 0 1 0
com/pholser/junit/quickcheck/internal/Ranges.java 0 4 0
com/pholser/junit/quickcheck/internal/Reflection.java 0 2 0
com/pholser/junit/quickcheck/internal/ReflectionException.java 0 1 0
com/pholser/junit/quickcheck/internal/SeededValue.java 0 1 0
com/pholser/junit/quickcheck/internal/Sequences.java 0 1 0
com/pholser/junit/quickcheck/internal/ShrinkControl.java 0 1 0
com/pholser/junit/quickcheck/internal/Weighted.java 0 2 0
com/pholser/junit/quickcheck/internal/Zilch.java 0 1 0
com/pholser/junit/quickcheck/internal/constraint/ConstraintEvaluator.java 0 1 0
com/pholser/junit/quickcheck/internal/conversion/ConstructorInvokingStringConversion.java 0 2 0
com/pholser/junit/quickcheck/internal/conversion/MethodInvokingStringConversion.java 0 2 0
com/pholser/junit/quickcheck/internal/conversion/StringConversions.java 0 1 0
com/pholser/junit/quickcheck/internal/generator/AbstractGenerationStatus.java 0 1 0
com/pholser/junit/quickcheck/internal/generator/ArrayGenerator.java 0 1 0
com/pholser/junit/quickcheck/internal/generator/CompositeGenerator.java 0 1 0
com/pholser/junit/quickcheck/internal/generator/EnumGenerator.java 0 1 0
com/pholser/junit/quickcheck/internal/generator/ExhaustiveDomainGenerator.java 0 1 0
com/pholser/junit/quickcheck/internal/generator/GeneratorRepository.java 0 1 0
com/pholser/junit/quickcheck/internal/generator/GuaranteeValuesGenerator.java 0 1 0
com/pholser/junit/quickcheck/internal/generator/LambdaGenerator.java 0 1 0
com/pholser/junit/quickcheck/internal/generator/PropertyParameterGenerationContext.java 0 3 0
com/pholser/junit/quickcheck/internal/generator/SamplingDomainGenerator.java 0 1 0
com/pholser/junit/quickcheck/internal/generator/ServiceLoaderGeneratorSource.java 0 1 0
com/pholser/junit/quickcheck/internal/generator/SimpleGenerationStatus.java 0 1 0
com/pholser/junit/quickcheck/internal/generator/ZilchGenerator.java 0 1 0
com/pholser/junit/quickcheck/internal/sampling/ExhaustiveParameterSampler.java 0 3 0
com/pholser/junit/quickcheck/internal/sampling/TupleParameterSampler.java 0 2 0
com/pholser/junit/quickcheck/random/SourceOfRandomness.java 0 2 0
com/pholser/junit/quickcheck/runner/JUnitQuickcheck.java 0 1 0
com/pholser/junit/quickcheck/runner/PropertyFalsified.java 0 8 0
com/pholser/junit/quickcheck/runner/PropertyStatement.java 0 8 0
com/pholser/junit/quickcheck/runner/PropertyVerifier.java 0 5 0
com/pholser/junit/quickcheck/runner/ShrinkNode.java 0 4 0
com/pholser/junit/quickcheck/runner/ShrinkNodeQueue.java 0 1 0
com/pholser/junit/quickcheck/runner/Shrinker.java 0 3 0
org/junit/runners/model/JUnitQuickcheckTestClass.java 0 1 0

Rules

Category Rule Violations Severity
coding EmptyStatement 1  Warning
IllegalCatch 6  Warning
IllegalThrows 5  Warning
MagicNumber
  • ignoreNumbers: "-1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 100"
5  Warning
MultipleStringLiterals 6  Warning
ReturnCount
  • max: "4"
4  Warning
design VisibilityModifier
  • publicMemberPattern: "^$"
3  Warning
header Header
  • fileExtensions: "java"
  • headerFile: "/Users/prholser/java/junit-quickcheck/target/checkout/core/target/checkstyle-header.txt"
  • ignoreLines: "1, 24"
69  Error
imports ImportOrder
  • ordered: "true"
  • groups: "/^javax?\./,."
  • separated: "true"
  • option: "bottom"
2  Warning
UnusedImports 2  Warning
javadoc JavadocMethod
  • allowMissingPropertyJavadoc: "true"
  • allowUndeclaredRTE: "true"
  • scope: "protected"
  • allowMissingJavadoc: "true"
1  Warning
JavadocVariable
  • scope: "protected"
2  Warning
metrics ClassDataAbstractionCoupling
  • max: "10"
1  Warning
ClassFanOutComplexity
  • max: "24"
1  Warning
NPathComplexity
  • max: "20"
1  Warning
naming MethodName 1  Warning
sizes ParameterNumber
  • max: "4"
8  Warning
whitespace NoWhitespaceAfter 2  Warning
WhitespaceAround 2  Warning

Details

com/pholser/junit/quickcheck/From.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/MinimalCounterexampleHook.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/Mode.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/Pair.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning javadoc JavadocVariable Missing a Javadoc comment. 38
 Warning design VisibilityModifier Variable 'first' must be private and have accessor methods. 38
 Warning javadoc JavadocVariable Missing a Javadoc comment. 39
 Warning design VisibilityModifier Variable 'second' must be private and have accessor methods. 39

com/pholser/junit/quickcheck/Produced.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/Property.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning coding MagicNumber '20' is a magic number. 82
 Warning coding MagicNumber '60_000' is a magic number. 88

com/pholser/junit/quickcheck/When.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/conversion/StringConversion.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/generator/Also.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning imports UnusedImports Unused import - com.pholser.junit.quickcheck.Property. 31
 Warning javadoc JavadocMethod Expected an @return tag. 67

com/pholser/junit/quickcheck/generator/ComponentizedGenerator.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/generator/Ctor.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/generator/Fields.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/generator/Gen.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning naming MethodName Name '_gen' must match pattern '^[a-z][a-zA-Z0-9]*$'. 249

com/pholser/junit/quickcheck/generator/GenerationStatus.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/generator/Generator.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning whitespace WhitespaceAround '{' is not followed by whitespace. 378
 Warning whitespace WhitespaceAround '}' is not preceded with whitespace. 378

com/pholser/junit/quickcheck/generator/GeneratorConfiguration.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/generator/GeneratorConfigurationException.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/generator/Generators.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/generator/Lambdas.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning whitespace NoWhitespaceAfter '{' is followed by whitespace. 96
 Warning coding IllegalThrows Throwing 'Throwable' is not allowed. 148

com/pholser/junit/quickcheck/generator/Only.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning imports UnusedImports Unused import - com.pholser.junit.quickcheck.Property. 31

com/pholser/junit/quickcheck/generator/Shrink.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/generator/Size.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/generator/ValuesOf.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/hook/NilMinimalCounterexampleHook.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/CartesianIterator.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/Comparables.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning metrics NPathComplexity NPath Complexity is 72 (max allowed is 20). 50
 Warning coding ReturnCount Return count is 6 (max allowed is 4). 50

com/pholser/junit/quickcheck/internal/FakeAnnotatedTypeFactory.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/GeometricDistribution.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/Items.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/Lists.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/ParameterSampler.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/ParameterTypeContext.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning sizes ParameterNumber More than 4 parameters (found 5). 103

com/pholser/junit/quickcheck/internal/PropertyParameterContext.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/Ranges.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning coding MagicNumber '62' is a magic number. 98
 Warning coding MagicNumber '62' is a magic number. 98
 Warning coding MagicNumber '64' is a magic number. 126

com/pholser/junit/quickcheck/internal/Reflection.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning coding ReturnCount Return count is 5 (max allowed is 4). 269

com/pholser/junit/quickcheck/internal/ReflectionException.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/SeededValue.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/Sequences.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/ShrinkControl.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/Weighted.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning design VisibilityModifier Variable 'item' must be private and have accessor methods. 29

com/pholser/junit/quickcheck/internal/Zilch.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/constraint/ConstraintEvaluator.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/conversion/ConstructorInvokingStringConversion.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning coding IllegalCatch Catching 'Exception' is not allowed. 44

com/pholser/junit/quickcheck/internal/conversion/MethodInvokingStringConversion.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning coding IllegalCatch Catching 'Exception' is not allowed. 44

com/pholser/junit/quickcheck/internal/conversion/StringConversions.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/generator/AbstractGenerationStatus.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/generator/ArrayGenerator.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/generator/CompositeGenerator.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/generator/EnumGenerator.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/generator/ExhaustiveDomainGenerator.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/generator/GeneratorRepository.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/generator/GuaranteeValuesGenerator.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/generator/LambdaGenerator.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/generator/PropertyParameterGenerationContext.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning sizes ParameterNumber More than 4 parameters (found 5). 54
 Warning coding EmptyStatement Empty statement. 84

com/pholser/junit/quickcheck/internal/generator/SamplingDomainGenerator.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/generator/ServiceLoaderGeneratorSource.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/generator/SimpleGenerationStatus.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/generator/ZilchGenerator.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/internal/sampling/ExhaustiveParameterSampler.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning coding ReturnCount Return count is 5 (max allowed is 4). 64
 Warning coding ReturnCount Return count is 5 (max allowed is 4). 101

com/pholser/junit/quickcheck/internal/sampling/TupleParameterSampler.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning imports ImportOrder Wrong order for 'com.pholser.junit.quickcheck.conversion.StringConversion' import. 39

com/pholser/junit/quickcheck/random/SourceOfRandomness.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning whitespace NoWhitespaceAfter '{' is followed by whitespace. 388

com/pholser/junit/quickcheck/runner/JUnitQuickcheck.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/runner/PropertyFalsified.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning coding MultipleStringLiterals The String "Property named '%s' failed%s%n" appears 2 times in the file. 41
 Warning coding MultipleStringLiterals The String "With arguments: %s%n" appears 2 times in the file. 42
 Warning coding MultipleStringLiterals The String "Seeds for reproduction: %s" appears 2 times in the file. 43
 Warning coding MultipleStringLiterals The String ":" appears 2 times in the file. 50
 Warning coding MultipleStringLiterals The String " (" appears 2 times in the file. 51
 Warning coding MultipleStringLiterals The String "):" appears 2 times in the file. 51
 Warning sizes ParameterNumber More than 4 parameters (found 6). 57

com/pholser/junit/quickcheck/runner/PropertyStatement.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning imports ImportOrder Wrong order for 'com.pholser.junit.quickcheck.internal.sampling.ExhaustiveParameterSampler' import. 48
 Warning metrics ClassDataAbstractionCoupling Class Data Abstraction Coupling is 11 (max allowed is 10) classes [AssertionError, ExhaustiveParameterSampler, ParameterTypeContext, PropertyParameterContext, PropertyParameterGenerationContext, PropertyVerifier, Random, ShrinkControl, Shrinker, SourceOfRandomness, TupleParameterSampler]. 63
 Warning metrics ClassFanOutComplexity Class Fan-Out Complexity is 25 (max allowed is 24). 63
 Warning sizes ParameterNumber More than 4 parameters (found 5). 73
 Warning coding IllegalCatch Catching 'Throwable' is not allowed. 155
 Warning sizes ParameterNumber More than 4 parameters (found 5). 162
 Warning coding IllegalThrows Throwing 'Throwable' is not allowed. 168

com/pholser/junit/quickcheck/runner/PropertyVerifier.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning sizes ParameterNumber More than 4 parameters (found 7). 48
 Warning coding IllegalThrows Throwing 'Throwable' is not allowed. 68
 Warning coding IllegalCatch Catching 'Throwable' is not allowed. 85
 Warning coding IllegalCatch Catching 'Throwable' is not allowed. 89

com/pholser/junit/quickcheck/runner/ShrinkNode.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning sizes ParameterNumber More than 4 parameters (found 7). 57
 Warning sizes ParameterNumber More than 4 parameters (found 6). 78
 Warning coding IllegalThrows Throwing 'Throwable' is not allowed. 105

com/pholser/junit/quickcheck/runner/ShrinkNodeQueue.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4

com/pholser/junit/quickcheck/runner/Shrinker.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning coding IllegalThrows Throwing 'Throwable' is not allowed. 68
 Warning coding IllegalCatch Catching 'Throwable' is not allowed. 97

org/junit/runners/model/JUnitQuickcheckTestClass.java

Severity Category Rule Message Line
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4