[ {
  "relativePath" : "settings.gradle.kts",
  "extension" : "kts",
  "linesOfCode" : 2,
  "components" : [ "primary::ROOT" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyBrowser.kt",
  "extension" : "kt",
  "linesOfCode" : 177,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/hierarchy/clazz/ArendFieldHNodeDescriptor.kt",
  "extension" : "kt",
  "linesOfCode" : 19,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/hierarchy/clazz/ArendSubClassTreeStructure.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/hierarchy/clazz/ArendSuperClassTreeStructure.kt",
  "extension" : "kt",
  "linesOfCode" : 51,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/hierarchy/ArendHierarchyNodeDescriptor.kt",
  "extension" : "kt",
  "linesOfCode" : 39,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/hierarchy/call/ArendCalleeTreeStructure.kt",
  "extension" : "kt",
  "linesOfCode" : 31,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/hierarchy/call/ArendCallerTreeStructure.kt",
  "extension" : "kt",
  "linesOfCode" : 36,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/hierarchy/call/ArendCallHierarchyProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/hierarchy/call/ArendCallHierarchyBrowser.kt",
  "extension" : "kt",
  "linesOfCode" : 33,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/folding/ArendFoldingBuilder.kt",
  "extension" : "kt",
  "linesOfCode" : 64,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/folding/ImportFoldingBuilder.kt",
  "extension" : "kt",
  "linesOfCode" : 45,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/editor/ArendColorSettingsPage.kt",
  "extension" : "kt",
  "linesOfCode" : 55,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/editor/ArendSmartKeysConfigurable.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/editor/ArendSettingsView.kt",
  "extension" : "kt",
  "linesOfCode" : 84,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/editor/ArendEditorTabColorProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 30,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/editor/ArendConfigurable.kt",
  "extension" : "kt",
  "linesOfCode" : 19,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/editor/ArendAutoImportConfigurable.kt",
  "extension" : "kt",
  "linesOfCode" : 29,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/structure/ArendPsiStructureViewFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 17,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/structure/ArendStructureViewBuilderProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/structure/ArendStructureViewModel.kt",
  "extension" : "kt",
  "linesOfCode" : 46,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/ImpossibleEliminationQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 135,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/ImplicitLambdaQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 36,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/ArendQuickFixesBase.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/AddMissingArgumentsQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 45,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/implementCoClause/ImplementFieldsQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 262,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/implementCoClause/InstanceQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 117,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/implementCoClause/IntentionBackEndVisitor.kt",
  "extension" : "kt",
  "linesOfCode" : 25,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/implementCoClause/FirstCoClauseInserters.kt",
  "extension" : "kt",
  "linesOfCode" : 95,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/ExplicitnessQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 36,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/MisplacedImportQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 31,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/GoalFillingQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/FieldDependencyQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 29,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/ImplementMissingClausesQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 341,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/TruncatedDataQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 38,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/replacers/ReplaceFieldKindQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/replacers/ReplaceSigmaFieldKindQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 17,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/replacers/ReplaceAbsurdPatternQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/replacers/ReplaceWithWildcardPatternQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 27,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/replacers/ReplaceFunctionKindQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 37,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/FunctionArgInferenceQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 101,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/InteractiveGoalSolverQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 56,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/HideImportQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 35,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/AddReturnKeywordQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 25,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 937,
  "components" : [ "primary::src" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/SquashedDataQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 44,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/referenceResolve/ArendImportHintAction.kt",
  "extension" : "kt",
  "linesOfCode" : 167,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/referenceResolve/ArendAddImportAction.kt",
  "extension" : "kt",
  "linesOfCode" : 62,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/referenceResolve/ResolveReferenceAction.kt",
  "extension" : "kt",
  "linesOfCode" : 61,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/LambdaInferenceQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 41,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/AddTruncatedUniverseQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 51,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/DataUniverseQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 26,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/MakePatternExplicitQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 50,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveTruncatedUniverseQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemovePatternsQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 84,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveLevelQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 29,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveNoClassifyingKeywordQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveStrictKeywordQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveArgumentQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 17,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveClassifyingFieldQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveIgnoredLevelsQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 22,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveTupleExprQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 38,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveAsPatternQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 26,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveClauseQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 28,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveTruncatedKeywordQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 19,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveCoClauseQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 29,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemovePatternRightHandSideQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/removers/RemoveUseLevelQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/RenameDuplicateNameQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 51,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/GoalSolverFillingQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 28,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/ElimSubstQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 88,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/instance/AddInstanceArgumentQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 74,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/instance/AddRecursiveInstanceArgumentQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 39,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/instance/ReplaceWithLocalInstanceQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 57,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/instance/InstanceInferenceQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 111,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/quickfix/ImplicitnessQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 22,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/parser/ArendDocParser.kt",
  "extension" : "kt",
  "linesOfCode" : 135,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/parser/ArendParserDefinition.kt",
  "extension" : "kt",
  "linesOfCode" : 136,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/graph/GraphSimulator.kt",
  "extension" : "kt",
  "linesOfCode" : 156,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ArendImplementationTextSelectioner.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ArendBraceMatcher.kt",
  "extension" : "kt",
  "linesOfCode" : 31,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt",
  "extension" : "kt",
  "linesOfCode" : 98,
  "components" : [ "primary::src" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/ArendScratchCompilingExecutor.kt",
  "extension" : "kt",
  "linesOfCode" : 9,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/ArendScratchFileCreationHelper.kt",
  "extension" : "kt",
  "linesOfCode" : 39,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/Utils.kt",
  "extension" : "kt",
  "linesOfCode" : 17,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/ArendScratchFile.kt",
  "extension" : "kt",
  "linesOfCode" : 31,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/ArendScratchModuleService.kt",
  "extension" : "kt",
  "linesOfCode" : 12,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/ArendScratchFileModuleInfoProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 38,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/ArendScratchFileLanguageProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 12,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/ArendScratchReplExecutor.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 239,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/actions/ArendScratchAction.kt",
  "extension" : "kt",
  "linesOfCode" : 24,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/actions/ArendStopScratchAction.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/actions/ArendClearScratchAction.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/scratch/actions/ArendRunScratchAction.kt",
  "extension" : "kt",
  "linesOfCode" : 81,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/debug/ArendPositionManagerFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/debug/ArendDebuggerRunner.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ArendTokenType.kt",
  "extension" : "kt",
  "linesOfCode" : 25,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ArendFile.kt",
  "extension" : "kt",
  "linesOfCode" : 178,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ClassReferenceHolder.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/stubs/StubIndexing.kt",
  "extension" : "kt",
  "linesOfCode" : 68,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/stubs/StubInterfaces.kt",
  "extension" : "kt",
  "linesOfCode" : 6,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/stubs/ArendStubElementType.kt",
  "extension" : "kt",
  "linesOfCode" : 75,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/stubs/StubImplementations.kt",
  "extension" : "kt",
  "linesOfCode" : 154,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/stubs/index/ArendDefinitionIndex.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/stubs/index/ArendFileIndex.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/stubs/index/ArendGotoClassIndex.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/stubs/index/ArendNamedElementIndex.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ArendExpressionCodeFragment.kt",
  "extension" : "kt",
  "linesOfCode" : 59,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ArendFileScope.kt",
  "extension" : "kt",
  "linesOfCode" : 17,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ArendCompositeElementType.kt",
  "extension" : "kt",
  "linesOfCode" : 4,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ArendPsiFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 167,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/listener/ArendPsiChangeService.kt",
  "extension" : "kt",
  "linesOfCode" : 38,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/listener/ArendDefinitionChangeListener.kt",
  "extension" : "kt",
  "linesOfCode" : 6,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendLevelsExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendDefInstance.kt",
  "extension" : "kt",
  "linesOfCode" : 55,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendElim.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendDefFunction.kt",
  "extension" : "kt",
  "linesOfCode" : 64,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendAtomOnlyLevelExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendArrExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendFunctionDefinition.kt",
  "extension" : "kt",
  "linesOfCode" : 48,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendCoClause.kt",
  "extension" : "kt",
  "linesOfCode" : 16,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendTopLevelLevelExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/PsiLocatedReferable.kt",
  "extension" : "kt",
  "linesOfCode" : 37,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendTuple.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendIdentifierOrUnknown.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendReferenceElement.kt",
  "extension" : "kt",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendTele.kt",
  "extension" : "kt",
  "linesOfCode" : 67,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendLamExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendOnlyLevelExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendLongName.kt",
  "extension" : "kt",
  "linesOfCode" : 31,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendPattern.kt",
  "extension" : "kt",
  "linesOfCode" : 38,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendLevelCmp.kt",
  "extension" : "kt",
  "linesOfCode" : 9,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendSigmaExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendClassStat.kt",
  "extension" : "kt",
  "linesOfCode" : 24,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendDefData.kt",
  "extension" : "kt",
  "linesOfCode" : 55,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendLamParam.kt",
  "extension" : "kt",
  "linesOfCode" : 6,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendTypedExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendFunctionBody.kt",
  "extension" : "kt",
  "linesOfCode" : 25,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendSuperClass.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendAppPrefix.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendNsUsing.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/PsiReferable.kt",
  "extension" : "kt",
  "linesOfCode" : 75,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendLetClause.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendStatAccessMod.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendConstructor.kt",
  "extension" : "kt",
  "linesOfCode" : 47,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendConstructorClause.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendDefModule.kt",
  "extension" : "kt",
  "linesOfCode" : 34,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendClause.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendDefMeta.kt",
  "extension" : "kt",
  "linesOfCode" : 45,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendArgument.kt",
  "extension" : "kt",
  "linesOfCode" : 56,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendCaseExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 30,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendClassImplement.kt",
  "extension" : "kt",
  "linesOfCode" : 36,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendAtom.kt",
  "extension" : "kt",
  "linesOfCode" : 27,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendNewExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 54,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/TCDefinition.kt",
  "extension" : "kt",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendLevelExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 16,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendDataBody.kt",
  "extension" : "kt",
  "linesOfCode" : 12,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendDefinition.kt",
  "extension" : "kt",
  "linesOfCode" : 98,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendClassField.kt",
  "extension" : "kt",
  "linesOfCode" : 58,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendGroup.kt",
  "extension" : "kt",
  "linesOfCode" : 34,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendStatCmd.kt",
  "extension" : "kt",
  "linesOfCode" : 42,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendLevelParamsSeq.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendGoal.kt",
  "extension" : "kt",
  "linesOfCode" : 9,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendLetExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 19,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendAtomFieldsAcc.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendFunctionClauses.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendMaybeAtomLevelExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendAccessMod.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 16,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendFieldDefIdentifier.kt",
  "extension" : "kt",
  "linesOfCode" : 65,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/Identifiers.kt",
  "extension" : "kt",
  "linesOfCode" : 193,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendDefClass.kt",
  "extension" : "kt",
  "linesOfCode" : 77,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendCompositeElement.kt",
  "extension" : "kt",
  "linesOfCode" : 127,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendCaseArg.kt",
  "extension" : "kt",
  "linesOfCode" : 19,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendLocalCoClause.kt",
  "extension" : "kt",
  "linesOfCode" : 16,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendPiExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendReturnExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendUniverseExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendArgumentAppExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 19,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendWhere.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendOverriddenField.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendNsId.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendAppExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/PsiConcreteReferable.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendTupleExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 24,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/CoClauseBase.kt",
  "extension" : "kt",
  "linesOfCode" : 44,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendPrec.kt",
  "extension" : "kt",
  "linesOfCode" : 8,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendReferenceContainer.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendAtomLevelExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 34,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendCoClauseDef.kt",
  "extension" : "kt",
  "linesOfCode" : 61,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendWithBody.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendIPName.kt",
  "extension" : "kt",
  "linesOfCode" : 83,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ReferableBase.kt",
  "extension" : "kt",
  "linesOfCode" : 116,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendStat.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendAlias.kt",
  "extension" : "kt",
  "linesOfCode" : 9,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendReplLine.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendMaybeAtomLevelExprs.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendLongNameExpr.kt",
  "extension" : "kt",
  "linesOfCode" : 27,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendAsPattern.kt",
  "extension" : "kt",
  "linesOfCode" : 9,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/ArendLiteral.kt",
  "extension" : "kt",
  "linesOfCode" : 34,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/ext/Universes.kt",
  "extension" : "kt",
  "linesOfCode" : 54,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/doc/ArendDocCodeBlock.kt",
  "extension" : "kt",
  "linesOfCode" : 4,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/doc/ArendDocReferenceText.kt",
  "extension" : "kt",
  "linesOfCode" : 4,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/doc/ArendDocComment.kt",
  "extension" : "kt",
  "linesOfCode" : 30,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/doc/ArendDocReference.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/PsiElementUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 383,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/psi/SourceInfoErrorData.kt",
  "extension" : "kt",
  "linesOfCode" : 12,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/lexer/ArendLexerAdapter.kt",
  "extension" : "kt",
  "linesOfCode" : 3,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/lexer/ArendDocLexerAdapter.kt",
  "extension" : "kt",
  "linesOfCode" : 4,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/TypecheckerPass.kt",
  "extension" : "kt",
  "linesOfCode" : 46,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/EmptyHighlightingPass.kt",
  "extension" : "kt",
  "linesOfCode" : 12,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/ArendProblemHighlightFilter.kt",
  "extension" : "kt",
  "linesOfCode" : 8,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/NameShadowingHighlighterPassFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/ArendSyntaxHighlighterFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/NameShadowingHighlighterPass.kt",
  "extension" : "kt",
  "linesOfCode" : 49,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/RedundantParensPass.kt",
  "extension" : "kt",
  "linesOfCode" : 79,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/BasePass.kt",
  "extension" : "kt",
  "linesOfCode" : 633,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/BasePassFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 30,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/ArendHighlightingPass.kt",
  "extension" : "kt",
  "linesOfCode" : 243,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/PartiallyInfixOperatorPrefixFormPass.kt",
  "extension" : "kt",
  "linesOfCode" : 54,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/ArendHighlightingPassFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 34,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/ArendRainbowVisitor.kt",
  "extension" : "kt",
  "linesOfCode" : 41,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/ArendUnusedImportHighlightingPass.kt",
  "extension" : "kt",
  "linesOfCode" : 88,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/PartiallyInfixOperatorPrefixFormPassFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/ArendTargetElementEvaluator.kt",
  "extension" : "kt",
  "linesOfCode" : 19,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/TypecheckerPassFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 26,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/RedundantParensPassFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/ArendPassFactoryService.kt",
  "extension" : "kt",
  "linesOfCode" : 9,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/ArendHighlightingColors.kt",
  "extension" : "kt",
  "linesOfCode" : 41,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/ArendSyntaxHighlighter.kt",
  "extension" : "kt",
  "linesOfCode" : 44,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/ArendUnusedImportHighlightingPassFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/highlight/ArendChangeLocalityDetector.kt",
  "extension" : "kt",
  "linesOfCode" : 12,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/navigation/ArendNavigationContributorBase.kt",
  "extension" : "kt",
  "linesOfCode" : 44,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/navigation/ArendNavBarExtension.kt",
  "extension" : "kt",
  "linesOfCode" : 99,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/navigation/ArendFileNavigationContributor.kt",
  "extension" : "kt",
  "linesOfCode" : 48,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/navigation/Utils.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/navigation/ArendSymbolNavigationContributor.kt",
  "extension" : "kt",
  "linesOfCode" : 26,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/navigation/ArendClassNavigationContributor.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/PsiConcreteProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 122,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/IntellijTCLevelReferable.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/ArendReference.kt",
  "extension" : "kt",
  "linesOfCode" : 279,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/ArendResolverListener.kt",
  "extension" : "kt",
  "linesOfCode" : 108,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/DataLocatedReferable.kt",
  "extension" : "kt",
  "linesOfCode" : 83,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/BaseReferableConverter.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/ArendResolveCache.kt",
  "extension" : "kt",
  "linesOfCode" : 75,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/IntellijTCReferable.kt",
  "extension" : "kt",
  "linesOfCode" : 8,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/IntellijMetaReferable.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/util/TypingUtil.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/util/BinOpParser.kt",
  "extension" : "kt",
  "linesOfCode" : 86,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/util/ReferableExtractVisitor.kt",
  "extension" : "kt",
  "linesOfCode" : 136,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/util/ClassesUtil.kt",
  "extension" : "kt",
  "linesOfCode" : 36,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/resolving/ArendReferableConverter.kt",
  "extension" : "kt",
  "linesOfCode" : 12,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/formatting/ArendEnterAtIndentHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 133,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/formatting/ArendCodeStyleSettingsProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 48,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/formatting/ArendFormattingModelBuilder.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/formatting/block/AbstractArendBlock.kt",
  "extension" : "kt",
  "linesOfCode" : 56,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/formatting/block/GroupBlock.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/formatting/block/SimpleArendBlock.kt",
  "extension" : "kt",
  "linesOfCode" : 392,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/formatting/block/ArgumentAppExprBlock.kt",
  "extension" : "kt",
  "linesOfCode" : 109,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/formatting/block/CommentPieceBlock.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/formatting/ArendCodeStyleImportsPanelWrapper.kt",
  "extension" : "kt",
  "linesOfCode" : 83,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/formatting/ArendBackspaceDisabler.kt",
  "extension" : "kt",
  "linesOfCode" : 8,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ArendStartupActivity.kt",
  "extension" : "kt",
  "linesOfCode" : 46,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/move/MoveRefactoringSignatureContext.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/move/ArendLongNameCodeFragment.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/move/ArendMoveHandlerDelegate.kt",
  "extension" : "kt",
  "linesOfCode" : 55,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/move/ArendMoveRefactoringProcessor.kt",
  "extension" : "kt",
  "linesOfCode" : 591,
  "components" : [ "primary::src" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/move/ArendMoveMembersDialog.kt",
  "extension" : "kt",
  "linesOfCode" : 206,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 313,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendParametersInfo.kt",
  "extension" : "kt",
  "linesOfCode" : 192,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeInfo.kt",
  "extension" : "kt",
  "linesOfCode" : 132,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendParameterTableModel.kt",
  "extension" : "kt",
  "linesOfCode" : 74,
  "components" : [ "primary::src" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDescriptor.kt",
  "extension" : "kt",
  "linesOfCode" : 16,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUsageProcessor.kt",
  "extension" : "kt",
  "linesOfCode" : 81,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ChangeSignatureRefactoringDescriptor.kt",
  "extension" : "kt",
  "linesOfCode" : 397,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendUsageInfo.kt",
  "extension" : "kt",
  "linesOfCode" : 55,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialogParameter.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt",
  "extension" : "kt",
  "linesOfCode" : 348,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialogParameterTableModelItem.kt",
  "extension" : "kt",
  "linesOfCode" : 9,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 337,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 50,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendTextualParameter.kt",
  "extension" : "kt",
  "linesOfCode" : 34,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/entries/AbstractExpressionEntry.kt",
  "extension" : "kt",
  "linesOfCode" : 128,
  "components" : [ "primary::src" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/entries/NoArgumentsEntry.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/entries/CoClauseEntry.kt",
  "extension" : "kt",
  "linesOfCode" : 78,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/entries/UsageEntry.kt",
  "extension" : "kt",
  "linesOfCode" : 279,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/entries/AppExpressionEntry.kt",
  "extension" : "kt",
  "linesOfCode" : 29,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/entries/PatternEntry.kt",
  "extension" : "kt",
  "linesOfCode" : 28,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/DoubleStringBuilder.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureProcessor.kt",
  "extension" : "kt",
  "linesOfCode" : 226,
  "components" : [ "primary::src" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/PsiLocatedRenamer.kt",
  "extension" : "kt",
  "linesOfCode" : 26,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/ArendNamesValidator.kt",
  "extension" : "kt",
  "linesOfCode" : 24,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/ArendMoveFileHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 61,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/ArendRenameInputValidator.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/rename/ArendAliasNameSuggestionProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 255,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/ArendSubExprUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 297,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/ArendRenamePsiElementProcessor.kt",
  "extension" : "kt",
  "linesOfCode" : 35,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 743,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/ArendRenameModuleHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 51,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/refactoring/ArendRefactoringSupportProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/projectView/ArendProjectViewStructureProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 88,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/yaml/schema/ArendYamlSchemaEnabler.kt",
  "extension" : "kt",
  "linesOfCode" : 9,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/yaml/schema/ArendYamlSchemaProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 25,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/yaml/schema/ArendYamlSchemaProviderFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/yaml/Utils.kt",
  "extension" : "kt",
  "linesOfCode" : 109,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/yaml/YamlNotificationProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 67,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/yaml/YamlFileService.kt",
  "extension" : "kt",
  "linesOfCode" : 142,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/yaml/codeInsight/YAMLReferenceContributor.kt",
  "extension" : "kt",
  "linesOfCode" : 73,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/yaml/codeInsight/YAMLCompletionContributor.kt",
  "extension" : "kt",
  "linesOfCode" : 90,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/yaml/codeInsight/YAMLHighlightingAnnotator.kt",
  "extension" : "kt",
  "linesOfCode" : 24,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/yaml/YAMLFileListener.kt",
  "extension" : "kt",
  "linesOfCode" : 69,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/ArendLibraryResolver.kt",
  "extension" : "kt",
  "linesOfCode" : 31,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunConfigurationEditor.kt",
  "extension" : "kt",
  "linesOfCode" : 87,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/PsiElementComparator.kt",
  "extension" : "kt",
  "linesOfCode" : 33,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/TypeCheckProcessHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 271,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt",
  "extension" : "kt",
  "linesOfCode" : 239,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunner.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/configurations/TypeCheckConfiguration.kt",
  "extension" : "kt",
  "linesOfCode" : 89,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/configurations/TypeCheckRunConfigurationModule.kt",
  "extension" : "kt",
  "linesOfCode" : 4,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/configurations/ArendRunConfigurationFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 16,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/configurations/TypecheckRunConfigurationType.kt",
  "extension" : "kt",
  "linesOfCode" : 8,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/configurations/TypeCheckRunState.kt",
  "extension" : "kt",
  "linesOfCode" : 149,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunLineMarkerContributor.kt",
  "extension" : "kt",
  "linesOfCode" : 36,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/DefinitionProxy.kt",
  "extension" : "kt",
  "linesOfCode" : 25,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/TypecheckRunConfigurationProducer.kt",
  "extension" : "kt",
  "linesOfCode" : 56,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/execution/TypeCheckCommand.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/PsiInstanceProviderSet.kt",
  "extension" : "kt",
  "linesOfCode" : 23,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/ArendExtensionChangeService.kt",
  "extension" : "kt",
  "linesOfCode" : 40,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/ArendExtensionChangeListener.kt",
  "extension" : "kt",
  "linesOfCode" : 47,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/BackgroundTypechecker.kt",
  "extension" : "kt",
  "linesOfCode" : 97,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/TypecheckingTaskQueue.kt",
  "extension" : "kt",
  "linesOfCode" : 50,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/ArendTypechecking.kt",
  "extension" : "kt",
  "linesOfCode" : 39,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/BinaryFileSaver.kt",
  "extension" : "kt",
  "linesOfCode" : 91,
  "components" : [ "primary::src" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/error/ArendError.kt",
  "extension" : "kt",
  "linesOfCode" : 23,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/error/NotificationErrorReporter.kt",
  "extension" : "kt",
  "linesOfCode" : 47,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/error/PsiHyperlinkInfo.kt",
  "extension" : "kt",
  "linesOfCode" : 68,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/error/ParserError.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/error/PsiSourceInfo.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/error/ErrorService.kt",
  "extension" : "kt",
  "linesOfCode" : 150,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/error/TypecheckingErrorReporter.kt",
  "extension" : "kt",
  "linesOfCode" : 131,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/ProgressCancellationIndicator.kt",
  "extension" : "kt",
  "linesOfCode" : 9,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/ArendExpressionTypechecker.kt",
  "extension" : "kt",
  "linesOfCode" : 34,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/DefinitionBlacklistService.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt",
  "extension" : "kt",
  "linesOfCode" : 404,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/ModificationCancellationIndicator.kt",
  "extension" : "kt",
  "linesOfCode" : 9,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/typechecking/TestBasedTypechecking.kt",
  "extension" : "kt",
  "linesOfCode" : 44,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/settings/ArendProjectSettingsState.kt",
  "extension" : "kt",
  "linesOfCode" : 53,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/settings/ArendCustomCodeStyleSettings.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/settings/ArendProjectStatistics.kt",
  "extension" : "kt",
  "linesOfCode" : 8,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/settings/ArendProjectSettings.kt",
  "extension" : "kt",
  "linesOfCode" : 129,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/settings/ArendSettings.kt",
  "extension" : "kt",
  "linesOfCode" : 40,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/ClassDescendantsSearch.kt",
  "extension" : "kt",
  "linesOfCode" : 96,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt",
  "extension" : "kt",
  "linesOfCode" : 595,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/proof/ArendProofSearchRenderer.kt",
  "extension" : "kt",
  "linesOfCode" : 204,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/proof/GearActionGroup.kt",
  "extension" : "kt",
  "linesOfCode" : 72,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/proof/ArendExpressionMatcher.kt",
  "extension" : "kt",
  "linesOfCode" : 236,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/proof/ArendProofSearchAction.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/proof/ProofSearchQuery.kt",
  "extension" : "kt",
  "linesOfCode" : 170,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/proof/ShowInFindWindowAction.kt",
  "extension" : "kt",
  "linesOfCode" : 78,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/proof/ProofSearchUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 245,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/proof/ShowHelpAction.kt",
  "extension" : "kt",
  "linesOfCode" : 19,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/proof/ProofSearchService.kt",
  "extension" : "kt",
  "linesOfCode" : 106,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/ArendFindUsagesProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 35,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/ArendCustomSearcher.kt",
  "extension" : "kt",
  "linesOfCode" : 99,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/ArendUsageTypeProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 104,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/ArendWordScanner.kt",
  "extension" : "kt",
  "linesOfCode" : 76,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/search/ArendGroupRuleProviders.kt",
  "extension" : "kt",
  "linesOfCode" : 42,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/tracer/ArendTracingTypechecker.kt",
  "extension" : "kt",
  "linesOfCode" : 33,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/tracer/ArendTraceAction.kt",
  "extension" : "kt",
  "linesOfCode" : 181,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/tracer/ArendTraceSyntheticError.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt",
  "extension" : "kt",
  "linesOfCode" : 231,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/tracer/ArendTraceContextView.kt",
  "extension" : "kt",
  "linesOfCode" : 27,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/tracer/ArendSuspendContext.kt",
  "extension" : "kt",
  "linesOfCode" : 109,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/tracer/ArendTrace.kt",
  "extension" : "kt",
  "linesOfCode" : 41,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/annotation/ArendHighlightRangeExtension.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ArendFileType.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/IArendFile.kt",
  "extension" : "kt",
  "linesOfCode" : 9,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/ArendPopupHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 56,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/ArendTypedHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 115,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/ArendParameterInfoHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 74,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/ArendDeclarationRangeHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/hints/ArendAxiomsInlayProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 22,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/hints/ArendDefinitionInlayProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 50,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/hints/ArendGoalsInlayProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 23,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/hints/ArendParametersInlayProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 121,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/ArendCodeInsightUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 556,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/ArendStringQuoteHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt",
  "extension" : "kt",
  "linesOfCode" : 581,
  "components" : [ "primary::src" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/ParameterDescriptor.kt",
  "extension" : "kt",
  "linesOfCode" : 232,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/completion/Constants.kt",
  "extension" : "kt",
  "linesOfCode" : 49,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/completion/ArendNoVariantsDelegator.kt",
  "extension" : "kt",
  "linesOfCode" : 123,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionConfidence.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/completion/ReplaceInsertHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/completion/ArendPatterns.kt",
  "extension" : "kt",
  "linesOfCode" : 27,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionContributor.kt",
  "extension" : "kt",
  "linesOfCode" : 732,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/ArendCharFilter.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/codeInsight/ArendLineMarkerProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 43,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/commenter/ArendCommenter.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/notification/FileOutsideSourcesProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 38,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/AbstractGenerateFunctionIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 261,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/SwapInfixOperatorArgumentsIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 37,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/RemoveClarifyingParensIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 121,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/ReplaceWithNormalFormIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/ReplaceBracketsIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 63,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/ImplementFieldsInCoClauseIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 28,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/ReplaceWithShortNameIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 29,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/generating/CreateLetBindingIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 283,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/generating/LetWrappingOptionEditorRenderer.kt",
  "extension" : "kt",
  "linesOfCode" : 68,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/generating/GenerateMissingClausesIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/generating/GenerateMissingClausesUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 53,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/generating/ShrinkAbstractVisitor.kt",
  "extension" : "kt",
  "linesOfCode" : 83,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/generating/GenerateElimMissingClausesIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 44,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/SelfTargetingIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 86,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/binOp/CaretHelper.kt",
  "extension" : "kt",
  "linesOfCode" : 23,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/binOp/BinOpIntentionUtil.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/binOp/BinOpSeqProcessor.kt",
  "extension" : "kt",
  "linesOfCode" : 72,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/ChangeArgumentExplicitnessIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 54,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/ExtractExpressionToFunctionIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 46,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/GenerateFunctionFromGoalIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 137,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 589,
  "components" : [ "primary::src" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/SelectionIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 46,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/ArendOptimizeImportsQuickFix.kt",
  "extension" : "kt",
  "linesOfCode" : 16,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/ReplaceMetaWithResultIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 45,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/WrapInGoalIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 27,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/BaseArendIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/ArendIntentionUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/intention/AddClarifyingParensIntention.kt",
  "extension" : "kt",
  "linesOfCode" : 49,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/liveTemplates/ArendTemplateContextType.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationEditor.kt",
  "extension" : "kt",
  "linesOfCode" : 60,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/editor/ArendModuleConfigEditorProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt",
  "extension" : "kt",
  "linesOfCode" : 261,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/AllArendFilesScope.kt",
  "extension" : "kt",
  "linesOfCode" : 73,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/UpgradeArendLibrary.kt",
  "extension" : "kt",
  "linesOfCode" : 82,
  "components" : [ "primary::src" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/ArendRawSource.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/ArendModuleBuilder.kt",
  "extension" : "kt",
  "linesOfCode" : 263,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/ArendLibraryType.kt",
  "extension" : "kt",
  "linesOfCode" : 53,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/ModuleSynchronizer.kt",
  "extension" : "kt",
  "linesOfCode" : 154,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/ReloadLibrariesAction.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/orderRoot/ArendConfigOrderRootType.kt",
  "extension" : "kt",
  "linesOfCode" : 8,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/orderRoot/ArendConfigOrderRootTypeUIFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/orderRoot/ArendLibraryRootsComponentDescriptor.kt",
  "extension" : "kt",
  "linesOfCode" : 34,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/orderRoot/ArendConfigRootDetector.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/starter/ArendStarterSettings.kt",
  "extension" : "kt",
  "linesOfCode" : 3,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/starter/ArendCommonStarterInitialStep.kt",
  "extension" : "kt",
  "linesOfCode" : 168,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt",
  "extension" : "kt",
  "linesOfCode" : 261,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/starter/ArendGeneratorContext.kt",
  "extension" : "kt",
  "linesOfCode" : 57,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/starter/ArendCommonStarterContext.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/starter/ArendStarterInitialStep.kt",
  "extension" : "kt",
  "linesOfCode" : 207,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/starter/ArendStarterLibrariesStep.kt",
  "extension" : "kt",
  "linesOfCode" : 364,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/starter/ArendStarterUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 135,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/ArendRawLibrary.kt",
  "extension" : "kt",
  "linesOfCode" : 194,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/IntellijBinarySource.kt",
  "extension" : "kt",
  "linesOfCode" : 41,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/ModuleScope.kt",
  "extension" : "kt",
  "linesOfCode" : 82,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/ArendPreludeScope.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/config/ArendModuleConfigurationUpdater.kt",
  "extension" : "kt",
  "linesOfCode" : 82,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/config/LibraryConfig.kt",
  "extension" : "kt",
  "linesOfCode" : 210,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/config/ArendModuleStructureExtension.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/config/EmptyLibraryConfig.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/config/ExternalLibraryConfig.kt",
  "extension" : "kt",
  "linesOfCode" : 30,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/config/ArendModuleConfigService.kt",
  "extension" : "kt",
  "linesOfCode" : 254,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/config/ArendModuleConfiguration.kt",
  "extension" : "kt",
  "linesOfCode" : 74,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/IntellijClassLoaderDelegate.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/ArendPreludeLibrary.kt",
  "extension" : "kt",
  "linesOfCode" : 68,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/ArendFakeRawSource.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/ArendModuleType.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/module/AllModulesScope.kt",
  "extension" : "kt",
  "linesOfCode" : 22,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt",
  "extension" : "kt",
  "linesOfCode" : 197,
  "components" : [ "primary::src" ],
  "concerns" : [ "::TODOs" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/inspection/ArendInspectionBase.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/inspection/UnresolvedArendPatternInspection.kt",
  "extension" : "kt",
  "linesOfCode" : 64,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/inspection/RedundantParensInspection.kt",
  "extension" : "kt",
  "linesOfCode" : 191,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/inspection/RedundantParameterInspection.kt",
  "extension" : "kt",
  "linesOfCode" : 49,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/inspection/ArendInspectionSuppressor.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/inspection/ArendUnusedImportInspection.kt",
  "extension" : "kt",
  "linesOfCode" : 8,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/repl/ArendReplExecutionHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 107,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/repl/ArendReplService.kt",
  "extension" : "kt",
  "linesOfCode" : 43,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/repl/IntellijRepl.kt",
  "extension" : "kt",
  "linesOfCode" : 143,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/repl/ArendReplCompletion.kt",
  "extension" : "kt",
  "linesOfCode" : 11,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/repl/ArendShowReplAction.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/repl/action/ShowContextCommandIntellij.kt",
  "extension" : "kt",
  "linesOfCode" : 16,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/repl/action/IntellijReplCommand.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/repl/action/SetPromptCommand.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/SimpleToolWindowService.kt",
  "extension" : "kt",
  "linesOfCode" : 17,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendPrintOptionsFilterAction.kt",
  "extension" : "kt",
  "linesOfCode" : 67,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesFilterAction.kt",
  "extension" : "kt",
  "linesOfCode" : 31,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendPrintOptionsActionGroup.kt",
  "extension" : "kt",
  "linesOfCode" : 25,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesService.kt",
  "extension" : "kt",
  "linesOfCode" : 70,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesView.kt",
  "extension" : "kt",
  "linesOfCode" : 355,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendPinGoalAction.kt",
  "extension" : "kt",
  "linesOfCode" : 26,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesViewEditor.kt",
  "extension" : "kt",
  "linesOfCode" : 58,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTree.kt",
  "extension" : "kt",
  "linesOfCode" : 207,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeElement.kt",
  "extension" : "kt",
  "linesOfCode" : 26,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeCellRenderer.kt",
  "extension" : "kt",
  "linesOfCode" : 30,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeListener.kt",
  "extension" : "kt",
  "linesOfCode" : 6,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollFromSource.kt",
  "extension" : "kt",
  "linesOfCode" : 115,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollToSource.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeCellRendererService.kt",
  "extension" : "kt",
  "linesOfCode" : 25,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendShowGoalsInErrorsPanelAction.kt",
  "extension" : "kt",
  "linesOfCode" : 26,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendShowErrorsPanelAction.kt",
  "extension" : "kt",
  "linesOfCode" : 19,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesFilterActionGroup.kt",
  "extension" : "kt",
  "linesOfCode" : 39,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendClearGoalAction.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendPinErrorAction.kt",
  "extension" : "kt",
  "linesOfCode" : 26,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/JDocBuilder.kt",
  "extension" : "kt",
  "linesOfCode" : 73,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/MessageType.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/toolWindow/errors/ArendShowImplicitGoalsAction.kt",
  "extension" : "kt",
  "linesOfCode" : 19,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/util/FreeVariablesWithDependenciesCollector.kt",
  "extension" : "kt",
  "linesOfCode" : 117,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/util/FileUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 43,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/util/ArendBundle.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/util/ArendBinOpUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 183,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/util/ProjectUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 79,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/util/KotlinUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 39,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/util/ExpressionUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 6,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/util/ArendLibraryChooserDescriptor.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/util/VirtualFileUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 93,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/CollectingDocStringBuilder.kt",
  "extension" : "kt",
  "linesOfCode" : 57,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/InjectionTextFileType.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/InjectionTextFileElementType.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/PsiInjectionTextFile.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/PsiInjectionText.kt",
  "extension" : "kt",
  "linesOfCode" : 12,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/TrivialTextEscaper.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/PsiInjectionTextDocumentationProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/InjectionTextASTFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/ArendLanguageInjector.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/InjectedArendEditor.kt",
  "extension" : "kt",
  "linesOfCode" : 357,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/InjectionHighlightingPassFactory.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/InjectionTextParserDefinition.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/InjectionHighlightingPass.kt",
  "extension" : "kt",
  "linesOfCode" : 84,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt",
  "extension" : "kt",
  "linesOfCode" : 281,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/actions/RevealingInformationCaretListener.kt",
  "extension" : "kt",
  "linesOfCode" : 98,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/actions/UnblockingDocumentAction.kt",
  "extension" : "kt",
  "linesOfCode" : 28,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/actions/HideImplicitInformationAction.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/actions/NormalizationCache.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/actions/RevealingUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 40,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/actions/RevealImplicitInformationAction.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/injection/actions/UndoableConfigModificationAction.kt",
  "extension" : "kt",
  "linesOfCode" : 37,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/project/ArendPreludeLibraryRootProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 33,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/project/ArendProjectOpenProcessor.kt",
  "extension" : "kt",
  "linesOfCode" : 41,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/project/ArendProjectStructureDetector.kt",
  "extension" : "kt",
  "linesOfCode" : 35,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/project/ArendProjectImportBuilder.kt",
  "extension" : "kt",
  "linesOfCode" : 48,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/project/ArendProjectImportProvider.kt",
  "extension" : "kt",
  "linesOfCode" : 23,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/IconButton.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/ArendEditor.kt",
  "extension" : "kt",
  "linesOfCode" : 38,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/ArendManipulateImplicitArgumentComponent.kt",
  "extension" : "kt",
  "linesOfCode" : 145,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/ListsDnD.kt",
  "extension" : "kt",
  "linesOfCode" : 87,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/cellRenderer/ToolTipListCellRenderer.kt",
  "extension" : "kt",
  "linesOfCode" : 13,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/ArendEditorUI.kt",
  "extension" : "kt",
  "linesOfCode" : 30,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/query/TextFieldQuery.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/query/SpinnerQuery.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/query/CheckBoxQuery.kt",
  "extension" : "kt",
  "linesOfCode" : 7,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/query/ComboBoxQuery.kt",
  "extension" : "kt",
  "linesOfCode" : 8,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/ArendConsoleImpl.kt",
  "extension" : "kt",
  "linesOfCode" : 24,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/session/ArendToolWindowSession.kt",
  "extension" : "kt",
  "linesOfCode" : 58,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/session/LabeledComponent.kt",
  "extension" : "kt",
  "linesOfCode" : 15,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/session/ArendEditorSession.kt",
  "extension" : "kt",
  "linesOfCode" : 79,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/session/ArendSessionsService.kt",
  "extension" : "kt",
  "linesOfCode" : 57,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/session/ComponentSessionItem.kt",
  "extension" : "kt",
  "linesOfCode" : 6,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/session/ComponentSession.kt",
  "extension" : "kt",
  "linesOfCode" : 95,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/impl/ArendGeneralUI.kt",
  "extension" : "kt",
  "linesOfCode" : 20,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/console/ArendClearConsoleAction.kt",
  "extension" : "kt",
  "linesOfCode" : 19,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/console/ArendConsoleService.kt",
  "extension" : "kt",
  "linesOfCode" : 49,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/console/ArendConsoleView.kt",
  "extension" : "kt",
  "linesOfCode" : 24,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/console/ArendConsoleViewEditor.kt",
  "extension" : "kt",
  "linesOfCode" : 17,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/TextFieldChangeListener.kt",
  "extension" : "kt",
  "linesOfCode" : 56,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/DualList.kt",
  "extension" : "kt",
  "linesOfCode" : 119,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/SimpleListModel.kt",
  "extension" : "kt",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ui/ArendDialog.kt",
  "extension" : "kt",
  "linesOfCode" : 17,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/ArendIcons.kt",
  "extension" : "kt",
  "linesOfCode" : 72,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/ArendToolbarGroup.kt",
  "extension" : "kt",
  "linesOfCode" : 16,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/mark/ArendMarkResourceRootAction.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/mark/ArendUnmarkRootAction.kt",
  "extension" : "kt",
  "linesOfCode" : 63,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/mark/ArendMarkTestSourceRootAction.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/mark/ArendMarkResourceTestRootAction.kt",
  "extension" : "kt",
  "linesOfCode" : 14,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/mark/ArendMarkSourceRootAction.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/mark/ArendMarkBinRootAction.kt",
  "extension" : "kt",
  "linesOfCode" : 21,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/mark/ArendMarkActionUtils.kt",
  "extension" : "kt",
  "linesOfCode" : 152,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/mark/ArendMarkExcludeRootAction.kt",
  "extension" : "kt",
  "linesOfCode" : 17,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/ArendGotoNextErrorAction.kt",
  "extension" : "kt",
  "linesOfCode" : 74,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/ArendActions.kt",
  "extension" : "kt",
  "linesOfCode" : 8,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/ArendCreateFileAction.kt",
  "extension" : "kt",
  "linesOfCode" : 32,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/ArendNormalizeToggleAction.kt",
  "extension" : "kt",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/ArendShowTypeAction.kt",
  "extension" : "kt",
  "linesOfCode" : 117,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/ArendOpenInReplAction.kt",
  "extension" : "kt",
  "linesOfCode" : 27,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/GotoArendFileAction.kt",
  "extension" : "kt",
  "linesOfCode" : 17,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/ArendPopupAction.kt",
  "extension" : "kt",
  "linesOfCode" : 33,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/ArendShowNormalFormAction.kt",
  "extension" : "kt",
  "linesOfCode" : 33,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/ArendExtendWordSelectionHandler.kt",
  "extension" : "kt",
  "linesOfCode" : 27,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/kotlin/org/arend/actions/SearchArendFilesContributor.kt",
  "extension" : "kt",
  "linesOfCode" : 39,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/html/highlight-hover.js",
  "extension" : "js",
  "linesOfCode" : 18,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/html/change-notes.html",
  "extension" : "html",
  "linesOfCode" : 1,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/html/Arend.css",
  "extension" : "css",
  "linesOfCode" : 29,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/html/description.html",
  "extension" : "html",
  "linesOfCode" : 4,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/grammars/ArendLexer.flex",
  "extension" : "flex",
  "linesOfCode" : 198,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/grammars/ArendDocLexer.flex",
  "extension" : "flex",
  "linesOfCode" : 342,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/java/org/arend/parser/ParserMixin.java",
  "extension" : "java",
  "linesOfCode" : 60,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/java/org/arend/parser/ParserUtil.java",
  "extension" : "java",
  "linesOfCode" : 25,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/java/org/arend/InjectionTextLanguage.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/java/org/arend/ArendLanguage.java",
  "extension" : "java",
  "linesOfCode" : 8,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/ImplementFieldsInCoClauseIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/AddClarifyingParensIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/WrapInGoalIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/SplitAtomPatternIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/RemoveClarifyingParensIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/CreateLetBindingIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/GenerateFunctionFromGoalIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/ReplaceBracketsIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/ChangeArgumentExplicitnessIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/ReplaceWithShortNameIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/GenerateElimMissingClausesIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/GenerateMissingClausesIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/SwapInfixOperatorArgumentsIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/ReplaceWithNormalFormIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 6,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/ReplaceMetaWithResultIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/intentionDescriptions/ExtractExpressionToFunctionIntention/description.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/META-INF/plugin-json.xml",
  "extension" : "xml",
  "linesOfCode" : 10,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/META-INF/plugin.xml",
  "extension" : "xml",
  "linesOfCode" : 384,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/inspectionDescriptions/RedundantParens.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/inspectionDescriptions/RedundantParameter.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/inspectionDescriptions/ArendUnusedImport.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/inspectionDescriptions/UnresolvedArendPattern.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/fileTemplates/internal/Arend File.ard.html",
  "extension" : "html",
  "linesOfCode" : 5,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "src/main/resources/liveTemplates/Arend.xml",
  "extension" : "xml",
  "linesOfCode" : 112,
  "components" : [ "primary::src" ],
  "concerns" : [ "::Unclassified" ]
}, {
  "relativePath" : "build.gradle.kts",
  "extension" : "kts",
  "linesOfCode" : 146,
  "components" : [ "primary::ROOT" ],
  "concerns" : [ "::Unclassified" ]
} ]