[ {
  "shortName" : "private void performCommand()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Scenario.java",
  "fileLinesCount" : 154,
  "components" : [ "primary::src" ],
  "startLine" : 42,
  "endLine" : 98,
  "linesOfCode" : 51,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 3,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private CounterExampleImpl findCounterExample()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 47,
  "endLine" : 88,
  "linesOfCode" : 39,
  "mcCabeIndex" : 11,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private String calcMessage()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java",
  "fileLinesCount" : 137,
  "components" : [ "primary::src" ],
  "startLine" : 28,
  "endLine" : 72,
  "linesOfCode" : 38,
  "mcCabeIndex" : 10,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private ShrinkStep wrapChildShrink()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 97,
  "endLine" : 136,
  "linesOfCode" : 32,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "static ShrinkStep create()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/ShrinkStep.java",
  "fileLinesCount" : 75,
  "components" : [ "primary::src" ],
  "startLine" : 40,
  "endLine" : 73,
  "linesOfCode" : 29,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 4,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void shrinkAttempt()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 53,
  "endLine" : 78,
  "linesOfCode" : 24,
  "mcCabeIndex" : 6,
  "numberOfParameters" : 3,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private boolean tryStep()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 142,
  "endLine" : 166,
  "linesOfCode" : 23,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private LinkedHashSet getPossibleValues()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntCustomizer.java",
  "fileLinesCount" : 133,
  "components" : [ "primary::src" ],
  "startLine" : 74,
  "endLine" : 97,
  "linesOfCode" : 21,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 3,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private ShrinkStep findSuccessfulShrink()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 105,
  "endLine" : 124,
  "linesOfCode" : 18,
  "mcCabeIndex" : 7,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private boolean registerDifferentRange()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntCustomizer.java",
  "fileLinesCount" : 133,
  "components" : [ "primary::src" ],
  "startLine" : 56,
  "endLine" : 72,
  "linesOfCode" : 16,
  "mcCabeIndex" : 5,
  "numberOfParameters" : 3,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static  Generator frequency()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 162,
  "endLine" : 178,
  "linesOfCode" : 16,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "static IntDistribution uniform()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntDistribution.java",
  "fileLinesCount" : 69,
  "components" : [ "primary::src" ],
  "startLine" : 23,
  "endLine" : 39,
  "linesOfCode" : 15,
  "mcCabeIndex" : 6,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Parameters withIterationCount()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 84,
  "endLine" : 98,
  "linesOfCode" : 15,
  "mcCabeIndex" : 5,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private Scenario()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Scenario.java",
  "fileLinesCount" : 154,
  "components" : [ "primary::src" ],
  "startLine" : 20,
  "endLine" : 34,
  "linesOfCode" : 15,
  "mcCabeIndex" : 5,
  "numberOfParameters" : 3,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "StructureNode removeUnneeded()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 216,
  "endLine" : 230,
  "linesOfCode" : 15,
  "mcCabeIndex" : 5,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "CombinatorialIntCustomizer nextAttempt()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntCustomizer.java",
  "fileLinesCount" : 133,
  "components" : [ "primary::src" ],
  "startLine" : 104,
  "endLine" : 119,
  "linesOfCode" : 14,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private static int readINT()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/DataSerializer.java",
  "fileLinesCount" : 95,
  "components" : [ "primary::src" ],
  "startLine" : 14,
  "endLine" : 28,
  "linesOfCode" : 14,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "static  CounterExampleImpl checkProperty()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/CounterExampleImpl.java",
  "fileLinesCount" : 76,
  "components" : [ "primary::src" ],
  "startLine" : 61,
  "endLine" : 74,
  "linesOfCode" : 14,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 3,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private ShrinkStep processDelayedCombinations()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 127,
  "endLine" : 140,
  "linesOfCode" : 13,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "StructureNode replace()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 177,
  "endLine" : 192,
  "linesOfCode" : 13,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "static IntDistribution frequencyDistribution()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntDistribution.java",
  "fileLinesCount" : 69,
  "components" : [ "primary::src" ],
  "startLine" : 56,
  "endLine" : 68,
  "linesOfCode" : 12,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "Iteration performIteration()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 115,
  "endLine" : 129,
  "linesOfCode" : 12,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "T generateConditional()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/GenerativeDataStructure.java",
  "fileLinesCount" : 103,
  "components" : [ "primary::src" ],
  "startLine" : 56,
  "endLine" : 69,
  "linesOfCode" : 12,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private ShrinkStep shrinkIteration()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 91,
  "endLine" : 102,
  "linesOfCode" : 12,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private void findChildrenWithGenerator()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 142,
  "endLine" : 153,
  "linesOfCode" : 12,
  "mcCabeIndex" : 5,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "static void writeINT()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/DataSerializer.java",
  "fileLinesCount" : 95,
  "components" : [ "primary::src" ],
  "startLine" : 37,
  "endLine" : 47,
  "linesOfCode" : 11,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private static List getUserTrace()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java",
  "fileLinesCount" : 137,
  "components" : [ "primary::src" ],
  "startLine" : 116,
  "endLine" : 126,
  "linesOfCode" : 11,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "String printToReproduce()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 90,
  "endLine" : 100,
  "linesOfCode" : 11,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private RemoveListRange()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/RemoveListRange.java",
  "fileLinesCount" : 92,
  "components" : [ "primary::src" ],
  "startLine" : 29,
  "endLine" : 38,
  "linesOfCode" : 10,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 4,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "StructureNode apply()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/RemoveListRange.java",
  "fileLinesCount" : 92,
  "components" : [ "primary::src" ],
  "startLine" : 47,
  "endLine" : 57,
  "linesOfCode" : 10,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void run()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 162,
  "endLine" : 171,
  "linesOfCode" : 10,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private void shutdownExecutor()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 173,
  "endLine" : 182,
  "linesOfCode" : 10,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "T generateOn()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/GenerativeDataStructure.java",
  "fileLinesCount" : 103,
  "components" : [ "primary::src" ],
  "startLine" : 82,
  "endLine" : 91,
  "linesOfCode" : 10,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 3,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static  Generator frequency()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 151,
  "endLine" : 159,
  "linesOfCode" : 9,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 6,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "boolean tryReproducing()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/CounterExampleImpl.java",
  "fileLinesCount" : 76,
  "components" : [ "primary::src" ],
  "startLine" : 41,
  "endLine" : 49,
  "linesOfCode" : 9,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "ShrinkStep onFailure()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/RemoveListRange.java",
  "fileLinesCount" : 92,
  "components" : [ "primary::src" ],
  "startLine" : 60,
  "endLine" : 69,
  "linesOfCode" : 9,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private static String valueToString()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java",
  "fileLinesCount" : 137,
  "components" : [ "primary::src" ],
  "startLine" : 85,
  "endLine" : 93,
  "linesOfCode" : 9,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private String getShrinkingStats()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java",
  "fileLinesCount" : 137,
  "components" : [ "primary::src" ],
  "startLine" : 95,
  "endLine" : 105,
  "linesOfCode" : 9,
  "mcCabeIndex" : 5,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private  T safeGenerate()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Scenario.java",
  "fileLinesCount" : 154,
  "components" : [ "primary::src" ],
  "startLine" : 100,
  "endLine" : 108,
  "linesOfCode" : 9,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private boolean shouldPrint()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 40,
  "endLine" : 48,
  "linesOfCode" : 8,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "StructureNode writeChanges()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntCustomizer.java",
  "fileLinesCount" : 133,
  "components" : [ "primary::src" ],
  "startLine" : 121,
  "endLine" : 128,
  "linesOfCode" : 8,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private  T generate()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/ReplayDataStructure.java",
  "fileLinesCount" : 72,
  "components" : [ "primary::src" ],
  "startLine" : 40,
  "endLine" : 47,
  "linesOfCode" : 8,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "static String serialize()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/DataSerializer.java",
  "fileLinesCount" : 95,
  "components" : [ "primary::src" ],
  "startLine" : 49,
  "endLine" : 56,
  "linesOfCode" : 8,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public  Generator flatMap()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 67,
  "endLine" : 74,
  "linesOfCode" : 8,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static  Generator anyOf()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 132,
  "endLine" : 139,
  "linesOfCode" : 8,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private static  List generateList()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 318,
  "endLine" : 325,
  "linesOfCode" : 8,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 3,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public String toString()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/RemoveListRange.java",
  "fileLinesCount" : 92,
  "components" : [ "primary::src" ],
  "startLine" : 84,
  "endLine" : 91,
  "linesOfCode" : 8,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static BoundedIntDistribution bound()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/BoundedIntDistribution.java",
  "fileLinesCount" : 49,
  "components" : [ "primary::src" ],
  "startLine" : 41,
  "endLine" : 48,
  "linesOfCode" : 8,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 3,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "ShrinkStep shrinkChild()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 86,
  "endLine" : 94,
  "linesOfCode" : 8,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private ShrinkStep shrinkRecursion()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 156,
  "endLine" : 164,
  "linesOfCode" : 8,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public String toString()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 243,
  "endLine" : 250,
  "linesOfCode" : 8,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "ShrinkStep shrink()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 266,
  "endLine" : 274,
  "linesOfCode" : 8,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "static IntDistribution geometric()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntDistribution.java",
  "fileLinesCount" : 69,
  "components" : [ "primary::src" ],
  "startLine" : 44,
  "endLine" : 50,
  "linesOfCode" : 7,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "static int checkValidInt()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntCustomizer.java",
  "fileLinesCount" : 133,
  "components" : [ "primary::src" ],
  "startLine" : 16,
  "endLine" : 22,
  "linesOfCode" : 7,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private int suggestCombinatorialVariant()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntCustomizer.java",
  "fileLinesCount" : 133,
  "components" : [ "primary::src" ],
  "startLine" : 47,
  "endLine" : 54,
  "linesOfCode" : 7,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int drawInt()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/DataSerializer.java",
  "fileLinesCount" : 95,
  "components" : [ "primary::src" ],
  "startLine" : 86,
  "endLine" : 92,
  "linesOfCode" : 7,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static  Generator frequency()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 142,
  "endLine" : 148,
  "linesOfCode" : 7,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 4,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator doubles()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 293,
  "endLine" : 299,
  "linesOfCode" : 7,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Parameters withSeed()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 71,
  "endLine" : 78,
  "linesOfCode" : 7,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Parameters withSizeHint()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 112,
  "endLine" : 119,
  "linesOfCode" : 7,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public void checkScenarios()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 191,
  "endLine" : 197,
  "linesOfCode" : 7,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "ShrinkStep onSuccess()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/RemoveListRange.java",
  "fileLinesCount" : 92,
  "components" : [ "primary::src" ],
  "startLine" : 73,
  "endLine" : 81,
  "linesOfCode" : 7,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private static boolean exceptionsDiffer()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java",
  "fileLinesCount" : 137,
  "components" : [ "primary::src" ],
  "startLine" : 107,
  "endLine" : 114,
  "linesOfCode" : 7,
  "mcCabeIndex" : 6,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private void shrink()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 83,
  "endLine" : 89,
  "linesOfCode" : 7,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int generateInt()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/BoundedIntDistribution.java",
  "fileLinesCount" : 49,
  "components" : [ "primary::src" ],
  "startLine" : 28,
  "endLine" : 34,
  "linesOfCode" : 7,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private ShrinkStep tryReplacing()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 167,
  "endLine" : 173,
  "linesOfCode" : 7,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void iterationStarted()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 26,
  "endLine" : 31,
  "linesOfCode" : 6,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "static String printStackTrace()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 118,
  "endLine" : 123,
  "linesOfCode" : 6,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int suggestInt()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntCustomizer.java",
  "fileLinesCount" : 133,
  "components" : [ "primary::src" ],
  "startLine" : 40,
  "endLine" : 45,
  "linesOfCode" : 6,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private  E nextChild()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/ReplayDataStructure.java",
  "fileLinesCount" : 72,
  "components" : [ "primary::src" ],
  "startLine" : 27,
  "endLine" : 33,
  "linesOfCode" : 6,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private static int readWithEof()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/DataSerializer.java",
  "fileLinesCount" : 95,
  "components" : [ "primary::src" ],
  "startLine" : 30,
  "endLine" : 35,
  "linesOfCode" : 6,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static  Generator recursive()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 189,
  "endLine" : 194,
  "linesOfCode" : 6,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator asciiIdentifiers()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 263,
  "endLine" : 268,
  "linesOfCode" : 6,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private CounterExampleImpl()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/CounterExampleImpl.java",
  "fileLinesCount" : 76,
  "components" : [ "primary::src" ],
  "startLine" : 14,
  "endLine" : 19,
  "linesOfCode" : 6,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 4,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public CounterExampleImpl replay()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/CounterExampleImpl.java",
  "fileLinesCount" : 76,
  "components" : [ "primary::src" ],
  "startLine" : 34,
  "endLine" : 39,
  "linesOfCode" : 6,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "static RemoveListRange fromEnd()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/RemoveListRange.java",
  "fileLinesCount" : 92,
  "components" : [ "primary::src" ],
  "startLine" : 22,
  "endLine" : 27,
  "linesOfCode" : 6,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private static Throwable getRootCause()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java",
  "fileLinesCount" : 137,
  "components" : [ "primary::src" ],
  "startLine" : 74,
  "endLine" : 79,
  "linesOfCode" : 6,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "boolean ensureSuccessful()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Scenario.java",
  "fileLinesCount" : 154,
  "components" : [ "primary::src" ],
  "startLine" : 130,
  "endLine" : 135,
  "linesOfCode" : 6,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "int drawInt()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/GenerativeDataStructure.java",
  "fileLinesCount" : 103,
  "components" : [ "primary::src" ],
  "startLine" : 27,
  "endLine" : 32,
  "linesOfCode" : 6,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void changeKind()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/GenerativeDataStructure.java",
  "fileLinesCount" : 103,
  "components" : [ "primary::src" ],
  "startLine" : 72,
  "endLine" : 77,
  "linesOfCode" : 6,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "StructureNode copyWithChildren()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 49,
  "endLine" : 54,
  "linesOfCode" : 6,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void removeLastChild()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 70,
  "endLine" : 75,
  "linesOfCode" : 6,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private ShrinkStep tryNegation()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 276,
  "endLine" : 281,
  "linesOfCode" : 6,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private NodeId()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/NodeId.java",
  "fileLinesCount" : 35,
  "components" : [ "primary::src" ],
  "startLine" : 21,
  "endLine" : 25,
  "linesOfCode" : 5,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void counterExampleFound()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 33,
  "endLine" : 38,
  "linesOfCode" : 5,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void logEntryReceived()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 86,
  "endLine" : 90,
  "linesOfCode" : 5,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void beforePropertyCheck()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 92,
  "endLine" : 96,
  "linesOfCode" : 5,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void propertyCheckFailed()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 102,
  "endLine" : 106,
  "linesOfCode" : 5,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void beforeReproducing()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 125,
  "endLine" : 129,
  "linesOfCode" : 5,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void replayFailed()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 131,
  "endLine" : 135,
  "linesOfCode" : 5,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "T generateConditional()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/ReplayDataStructure.java",
  "fileLinesCount" : 72,
  "components" : [ "primary::src" ],
  "startLine" : 55,
  "endLine" : 59,
  "linesOfCode" : 5,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void changeKind()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/ReplayDataStructure.java",
  "fileLinesCount" : 72,
  "components" : [ "primary::src" ],
  "startLine" : 62,
  "endLine" : 66,
  "linesOfCode" : 5,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private static String charsToString()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 256,
  "endLine" : 260,
  "linesOfCode" : 5,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Parameters silent()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 125,
  "endLine" : 129,
  "linesOfCode" : 5,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private void addFailure()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Scenario.java",
  "fileLinesCount" : 154,
  "components" : [ "primary::src" ],
  "startLine" : 36,
  "endLine" : 40,
  "linesOfCode" : 5,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private GenerativeDataStructure()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/GenerativeDataStructure.java",
  "fileLinesCount" : 103,
  "components" : [ "primary::src" ],
  "startLine" : 20,
  "endLine" : 24,
  "linesOfCode" : 5,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 4,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "T generateNonShrinkable()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/GenerativeDataStructure.java",
  "fileLinesCount" : 103,
  "components" : [ "primary::src" ],
  "startLine" : 49,
  "endLine" : 53,
  "linesOfCode" : 5,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "StructureNode subStructure()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 64,
  "endLine" : 68,
  "linesOfCode" : 5,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "StructureElement findChildById()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 196,
  "endLine" : 200,
  "linesOfCode" : 5,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void serialize()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 203,
  "endLine" : 207,
  "linesOfCode" : 5,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private int indexOfChildContaining()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 209,
  "endLine" : 213,
  "linesOfCode" : 5,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private ShrinkStep divisionLoop()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 283,
  "endLine" : 287,
  "linesOfCode" : 5,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private ShrinkStep tryInt()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 289,
  "endLine" : 293,
  "linesOfCode" : 5,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 3,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void eofException()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 80,
  "endLine" : 84,
  "linesOfCode" : 4,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private static String shortenStackTrace()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 108,
  "endLine" : 111,
  "linesOfCode" : 4,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private CombinatorialIntCustomizer()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntCustomizer.java",
  "fileLinesCount" : 133,
  "components" : [ "primary::src" ],
  "startLine" : 35,
  "endLine" : 38,
  "linesOfCode" : 4,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Parameters printGeneratedValues()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 137,
  "endLine" : 140,
  "linesOfCode" : 4,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Parameters printRawData()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 147,
  "endLine" : 150,
  "linesOfCode" : 4,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private void initSeed()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 41,
  "endLine" : 44,
  "linesOfCode" : 4,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "ShrinkStep shrink()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 79,
  "endLine" : 83,
  "linesOfCode" : 4,
  "mcCabeIndex" : 4,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "NodeId childId()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/NodeId.java",
  "fileLinesCount" : 35,
  "components" : [ "primary::src" ],
  "startLine" : 27,
  "endLine" : 29,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public String toString()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/NodeId.java",
  "fileLinesCount" : 35,
  "components" : [ "primary::src" ],
  "startLine" : 32,
  "endLine" : 34,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private boolean isAlreadyPrinted()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 98,
  "endLine" : 100,
  "linesOfCode" : 3,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private static String formatCurrentTime()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StatusNotifier.java",
  "fileLinesCount" : 136,
  "components" : [ "primary::src" ],
  "startLine" : 114,
  "endLine" : 116,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "int childSizeHint()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/AbstractDataStructure.java",
  "fileLinesCount" : 39,
  "components" : [ "primary::src" ],
  "startLine" : 19,
  "endLine" : 21,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int getSizeHint()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/AbstractDataStructure.java",
  "fileLinesCount" : 39,
  "components" : [ "primary::src" ],
  "startLine" : 24,
  "endLine" : 26,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "int suggestCollectionSize()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/AbstractDataStructure.java",
  "fileLinesCount" : 39,
  "components" : [ "primary::src" ],
  "startLine" : 30,
  "endLine" : 32,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private boolean tooManyCombinations()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntCustomizer.java",
  "fileLinesCount" : 133,
  "components" : [ "primary::src" ],
  "startLine" : 99,
  "endLine" : 101,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "int countVariants()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/IntCustomizer.java",
  "fileLinesCount" : 133,
  "components" : [ "primary::src" ],
  "startLine" : 130,
  "endLine" : 132,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "int drawInt()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/ReplayDataStructure.java",
  "fileLinesCount" : 72,
  "components" : [ "primary::src" ],
  "startLine" : 22,
  "endLine" : 24,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public  T generate()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/ReplayDataStructure.java",
  "fileLinesCount" : 72,
  "components" : [ "primary::src" ],
  "startLine" : 36,
  "endLine" : 38,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "T generateNonShrinkable()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/ReplayDataStructure.java",
  "fileLinesCount" : 72,
  "components" : [ "primary::src" ],
  "startLine" : 50,
  "endLine" : 52,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public String toString()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/ReplayDataStructure.java",
  "fileLinesCount" : 72,
  "components" : [ "primary::src" ],
  "startLine" : 69,
  "endLine" : 71,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Predicate getCondition()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/CannotSatisfyCondition.java",
  "fileLinesCount" : 23,
  "components" : [ "primary::src" ],
  "startLine" : 20,
  "endLine" : 22,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "static CannotRestoreValue errorRestoringSerialized()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/DataSerializer.java",
  "fileLinesCount" : 95,
  "components" : [ "primary::src" ],
  "startLine" : 72,
  "endLine" : 74,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static  Generator from()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 46,
  "endLine" : 48,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "Function getGeneratorFunction()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 50,
  "endLine" : 52,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public  Generator map()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 58,
  "endLine" : 60,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Generator noShrink()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 82,
  "endLine" : 84,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Generator suchThat()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 101,
  "endLine" : 103,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static  Generator constant()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 110,
  "endLine" : 112,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static  Generator sampledFrom()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 116,
  "endLine" : 118,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static  Generator sampledFrom()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 121,
  "endLine" : 123,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static  Generator anyOf()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 127,
  "endLine" : 129,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static  Generator zipWith()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 181,
  "endLine" : 183,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 3,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator booleans()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 197,
  "endLine" : 199,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator charsInRange()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 204,
  "endLine" : 206,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator charsFrom()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 209,
  "endLine" : 211,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator asciiPrintableChars()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 214,
  "endLine" : 216,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator asciiUppercaseChars()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 219,
  "endLine" : 221,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator asciiLowercaseChars()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 224,
  "endLine" : 226,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator asciiLetters()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 229,
  "endLine" : 231,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator digits()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 234,
  "endLine" : 236,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator stringsOf()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 241,
  "endLine" : 243,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator stringsOf()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 246,
  "endLine" : 248,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator stringsOf()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 251,
  "endLine" : 253,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator integers()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 274,
  "endLine" : 276,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator naturals()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 278,
  "endLine" : 280,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator integers()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 283,
  "endLine" : 285,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Generator integers()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Generator.java",
  "fileLinesCount" : 326,
  "components" : [ "primary::src" ],
  "startLine" : 288,
  "endLine" : 290,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static  void forAll()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 22,
  "endLine" : 24,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static void checkScenarios()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 30,
  "endLine" : 32,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public static Parameters customized()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 37,
  "endLine" : 39,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private Parameters withForcedIterationCount()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 101,
  "endLine" : 103,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Parameters recheckingIteration()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 159,
  "endLine" : 161,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Parameters rechecking()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 171,
  "endLine" : 173,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public  void forAll()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 179,
  "endLine" : 181,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private  CheckSession createSession()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 183,
  "endLine" : 185,
  "linesOfCode" : 3,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "int getIterationCount()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyChecker.java",
  "fileLinesCount" : 206,
  "components" : [ "primary::src" ],
  "startLine" : 199,
  "endLine" : 201,
  "linesOfCode" : 3,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public T getExampleValue()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/CounterExampleImpl.java",
  "fileLinesCount" : 76,
  "components" : [ "primary::src" ],
  "startLine" : 22,
  "endLine" : 24,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Throwable getExceptionCause()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/CounterExampleImpl.java",
  "fileLinesCount" : 76,
  "components" : [ "primary::src" ],
  "startLine" : 28,
  "endLine" : 30,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public String getSerializedData()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/CounterExampleImpl.java",
  "fileLinesCount" : 76,
  "components" : [ "primary::src" ],
  "startLine" : 53,
  "endLine" : 55,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "ReplayDataStructure createReplayData()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/CounterExampleImpl.java",
  "fileLinesCount" : 76,
  "components" : [ "primary::src" ],
  "startLine" : 57,
  "endLine" : 59,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public boolean equals()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/ShrinkStep.java",
  "fileLinesCount" : 75,
  "components" : [ "primary::src" ],
  "startLine" : 31,
  "endLine" : 33,
  "linesOfCode" : 3,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int hashCode()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/ShrinkStep.java",
  "fileLinesCount" : 75,
  "components" : [ "primary::src" ],
  "startLine" : 36,
  "endLine" : 38,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "List getEqualityObjects()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/RemoveListRange.java",
  "fileLinesCount" : 92,
  "components" : [ "primary::src" ],
  "startLine" : 41,
  "endLine" : 43,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public String getMessage()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java",
  "fileLinesCount" : 137,
  "components" : [ "primary::src" ],
  "startLine" : 24,
  "endLine" : 26,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private static void appendTrace()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java",
  "fileLinesCount" : 137,
  "components" : [ "primary::src" ],
  "startLine" : 81,
  "endLine" : 83,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 3,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public PropertyFailure getFailure()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java",
  "fileLinesCount" : 137,
  "components" : [ "primary::src" ],
  "startLine" : 128,
  "endLine" : 130,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Object getBreakingValue()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java",
  "fileLinesCount" : 137,
  "components" : [ "primary::src" ],
  "startLine" : 133,
  "endLine" : 135,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public boolean test()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 15,
  "endLine" : 17,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public String toString()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 20,
  "endLine" : 22,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private String suggestWithSeed()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 102,
  "endLine" : 104,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private String suggestRecheckingIteration()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 106,
  "endLine" : 108,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "String printSeeds()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 110,
  "endLine" : 112,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "T generateValue()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 131,
  "endLine" : 133,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "protected boolean removeEldestEntry()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 146,
  "endLine" : 148,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "boolean addGeneratedNode()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Iteration.java",
  "fileLinesCount" : 183,
  "components" : [ "primary::src" ],
  "startLine" : 158,
  "endLine" : 160,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public boolean equals()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Scenario.java",
  "fileLinesCount" : 154,
  "components" : [ "primary::src" ],
  "startLine" : 112,
  "endLine" : 114,
  "linesOfCode" : 3,
  "mcCabeIndex" : 3,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int hashCode()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Scenario.java",
  "fileLinesCount" : 154,
  "components" : [ "primary::src" ],
  "startLine" : 117,
  "endLine" : 119,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public String toString()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Scenario.java",
  "fileLinesCount" : 154,
  "components" : [ "primary::src" ],
  "startLine" : 122,
  "endLine" : 124,
  "linesOfCode" : 3,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "boolean hasEmptyLog()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Scenario.java",
  "fileLinesCount" : 154,
  "components" : [ "primary::src" ],
  "startLine" : 126,
  "endLine" : 128,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "static Generator scenarios()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Scenario.java",
  "fileLinesCount" : 154,
  "components" : [ "primary::src" ],
  "startLine" : 137,
  "endLine" : 139,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public boolean equals()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Scenario.java",
  "fileLinesCount" : 154,
  "components" : [ "primary::src" ],
  "startLine" : 143,
  "endLine" : 145,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int hashCode()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/Scenario.java",
  "fileLinesCount" : 154,
  "components" : [ "primary::src" ],
  "startLine" : 148,
  "endLine" : 150,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void ensureActiveStructure()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/GenerativeDataStructure.java",
  "fileLinesCount" : 103,
  "components" : [ "primary::src" ],
  "startLine" : 34,
  "endLine" : 36,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public  T generate()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/GenerativeDataStructure.java",
  "fileLinesCount" : 103,
  "components" : [ "primary::src" ],
  "startLine" : 39,
  "endLine" : 41,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "private GenerativeDataStructure subStructure()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/GenerativeDataStructure.java",
  "fileLinesCount" : 103,
  "components" : [ "primary::src" ],
  "startLine" : 44,
  "endLine" : 46,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void checkContext()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/GenerativeDataStructure.java",
  "fileLinesCount" : 103,
  "components" : [ "primary::src" ],
  "startLine" : 93,
  "endLine" : 95,
  "linesOfCode" : 3,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public CounterExampleImpl getFirstCounterExample()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 37,
  "endLine" : 39,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public CounterExampleImpl getMinimalCounterexample()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 43,
  "endLine" : 45,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public Throwable getStoppingReason()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 49,
  "endLine" : 51,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int getTotalShrinkingExampleCount()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 54,
  "endLine" : 56,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int getShrinkingStageCount()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 59,
  "endLine" : 61,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int getIterationNumber()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 64,
  "endLine" : 66,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public long getIterationSeed()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 69,
  "endLine" : 71,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public long getGlobalSeed()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 74,
  "endLine" : 76,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int getSizeHint()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 79,
  "endLine" : 81,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int compareTo()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java",
  "fileLinesCount" : 182,
  "components" : [ "primary::src" ],
  "startLine" : 178,
  "endLine" : 180,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int getMin()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/BoundedIntDistribution.java",
  "fileLinesCount" : 49,
  "components" : [ "primary::src" ],
  "startLine" : 19,
  "endLine" : 21,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int getMax()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/BoundedIntDistribution.java",
  "fileLinesCount" : 49,
  "components" : [ "primary::src" ],
  "startLine" : 23,
  "endLine" : 25,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public boolean isValidValue()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/BoundedIntDistribution.java",
  "fileLinesCount" : 49,
  "components" : [ "primary::src" ],
  "startLine" : 37,
  "endLine" : 39,
  "linesOfCode" : 3,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "Iterator childrenIterator()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 56,
  "endLine" : 58,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void addChild()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 60,
  "endLine" : 62,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "boolean isIncompleteList()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 138,
  "endLine" : 140,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public boolean equals()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 233,
  "endLine" : 235,
  "linesOfCode" : 3,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int hashCode()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 238,
  "endLine" : 240,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "IntData replace()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 297,
  "endLine" : 299,
  "linesOfCode" : 3,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 2,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "StructureElement findChildById()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 303,
  "endLine" : 305,
  "linesOfCode" : 3,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "void serialize()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 308,
  "endLine" : 310,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "StructureElement removeUnneeded()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 313,
  "endLine" : 315,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public String toString()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 318,
  "endLine" : 320,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public boolean equals()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 323,
  "endLine" : 325,
  "linesOfCode" : 3,
  "mcCabeIndex" : 2,
  "numberOfParameters" : 1,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
}, {
  "shortName" : "public int hashCode()",
  "longName" : "",
  "relativeFileName" : "src/main/java/org/jetbrains/jetCheck/StructureNode.java",
  "fileLinesCount" : 335,
  "components" : [ "primary::src" ],
  "startLine" : 328,
  "endLine" : 330,
  "linesOfCode" : 3,
  "mcCabeIndex" : 1,
  "numberOfParameters" : 0,
  "numberOfLiterals" : 0,
  "numberOfStatements" : 0,
  "numberOfExpressions" : 0
} ]