Fork me on GitHub

Checkstyle Results

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

Summary

Files  Info  Warnings  Errors
72 0 141 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/Distinct.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 5 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 2 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 3 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 9 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/NullAllowed.java 0 2 0
com/pholser/junit/quickcheck/internal/generator/NullableGenerator.java 0 4 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 2 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/NoValuesSatisfiedPropertyAssumptions.java 0 1 0
com/pholser/junit/quickcheck/runner/PropertyFalsified.java 0 6 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/Shrinker.java 0 3 0
org/junit/runners/model/JUnitQuickcheckTestClass.java 0 1 0

Rules

Category Rule Violations Severity
blocks RightCurly 2  Warning
coding EmptyStatement 1  Warning
HiddenField
  • ignoreConstructorParameter: "true"
  • ignoreSetter: "true"
1  Warning
IllegalCatch 6  Warning
IllegalThrows 5  Warning
MagicNumber
  • ignoreNumbers: "-1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 100"
6  Warning
MultipleStringLiterals 4  Warning
ReturnCount
  • max: "4"
4  Warning
design VisibilityModifier
  • publicMemberPattern: "^$"
3  Warning
header Header
  • fileExtensions: "java"
  • headerFile: "/Users/pholser/java/junit-quickcheck/core/target/checkstyle-header.txt"
  • ignoreLines: "1, 24"
72  Error
imports AvoidStarImport
  • allowStaticMemberImports: "true"
1  Warning
ImportOrder
  • ordered: "true"
  • groups: "/^javax?\./,."
  • separated: "true"
  • option: "bottom"
4  Warning
UnusedImports 3  Warning
javadoc JavadocMethod
  • allowMissingPropertyJavadoc: "true"
  • allowUndeclaredRTE: "true"
  • scope: "protected"
  • allowMissingJavadoc: "true"
2  Warning
JavadocVariable
  • scope: "protected"
2  Warning
metrics ClassDataAbstractionCoupling
  • max: "10"
2  Warning
ClassFanOutComplexity
  • max: "24"
2  Warning
NPathComplexity
  • max: "20"
1  Warning
misc TrailingComment 1  Warning
naming MethodName 1  Warning
sizes FileLength
  • max: "400"
1  Error
FileLength 1  Error
LineLength
  • max: "120"
3  Warning
MethodCount
  • maxTotal: "30"
1  Warning
ParameterNumber
  • max: "4"
8  Warning
whitespace NoWhitespaceAfter 2  Warning
OperatorWrap 1  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/Distinct.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 sizes LineLength Line is longer than 120 characters (found 156). 142
 Warning javadoc JavadocMethod Unable to get class information for @throws tag 'GeneratorConfigurationException'. 253
 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). 60
 Warning coding ReturnCount Return count is 6 (max allowed is 4). 60

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
 Warning imports ImportOrder Wrong order for 'java.math.BigDecimal' import. 30

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
 Warning imports AvoidStarImport Using the '.*' form of import should be avoided - com.pholser.junit.quickcheck.generator.*. 38
 Warning coding HiddenField 'distinct' hides a field. 84

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 sizes FileLength File length is 414 lines (max allowed is 400). 1
 Warning header Header Line does not match expected header line of ' Copyright (c) 2010-2017 Paul R. Holser, Jr.'. 4
 Warning sizes MethodCount Total number of methods is 31 (max allowed is 30). 64
 Warning metrics ClassDataAbstractionCoupling Class Data Abstraction Coupling is 11 (max allowed is 10) classes [, ArrayGenerator, CompositeGenerator, Ctor, EnumGenerator, Fields, LambdaGenerator, LinkedHashSet, NullableGenerator, ParameterTypeContext, Weighted]. 64
 Warning metrics ClassFanOutComplexity Class Fan-Out Complexity is 25 (max allowed is 24). 64
 Warning misc TrailingComment Don't use trailing comments. 66
 Warning sizes LineLength Line is longer than 120 characters (found 121). 230
 Warning sizes LineLength Line is longer than 120 characters (found 124). 294
 Warning whitespace OperatorWrap '&&' should be on a new line. 408

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/NullAllowed.java

Severity Category Rule Message Line
 Warning header Header Missing a header - not enough lines in file. 1
 Warning coding MagicNumber '0.2f' is a magic number. 20

com/pholser/junit/quickcheck/internal/generator/NullableGenerator.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 'java.lang.reflect.AnnotatedElement' import. 33
 Warning blocks RightCurly '}' at column 9 should be on the same line as the next part of a multi-block statement. 54
 Warning blocks RightCurly '}' at column 9 should be on the same line as the next part of a multi-block statement. 63

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
 Warning imports UnusedImports Unused import - java.util.Comparator. 30

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/NoValuesSatisfiedPropertyAssumptions.java

Severity Category Rule Message Line
 Warning header Header Missing a header - not enough lines in file. 1

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. 43
 Warning coding MultipleStringLiterals The String "With arguments: %s%n" appears 2 times in the file. 44
 Warning coding MultipleStringLiterals The String "Seeds for reproduction: %s" appears 2 times in the file. 45
 Warning coding MultipleStringLiterals The String ":" appears 2 times in the file. 48
 Warning sizes ParameterNumber More than 4 parameters (found 6). 61

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 12 (max allowed is 10) classes [AssertionError, ExhaustiveParameterSampler, NoValuesSatisfiedPropertyAssumptions, ParameterTypeContext, PropertyParameterContext, PropertyParameterGenerationContext, PropertyVerifier, Random, ShrinkControl, Shrinker, SourceOfRandomness, TupleParameterSampler]. 62
 Warning metrics ClassFanOutComplexity Class Fan-Out Complexity is 26 (max allowed is 24). 62
 Warning sizes ParameterNumber More than 4 parameters (found 5). 72
 Warning coding IllegalCatch Catching 'Throwable' is not allowed. 154
 Warning sizes ParameterNumber More than 4 parameters (found 5). 161
 Warning coding IllegalThrows Throwing 'Throwable' is not allowed. 167

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/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. 69
 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