id: 1 unit: fun getRefactoringDescriptors() file: src/main/kotlin/org/arend/refactoring/changeSignature/ChangeSignatureRefactoringDescriptor.kt start line: 283 end line: 458 size: 163 LOC McCabe index: 27 number of parameters: 4 id: 2 unit: fun getUsagesPreprocessor() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureProcessor.kt start line: 94 end line: 262 size: 148 LOC McCabe index: 36 number of parameters: 7 id: 3 unit: override fun startNotify() file: src/main/kotlin/org/arend/typechecking/execution/TypeCheckProcessHandler.kt start line: 56 end line: 204 size: 138 LOC McCabe index: 35 number of parameters: 0 id: 4 unit: override fun getChildAttributes() file: src/main/kotlin/org/arend/formatting/block/SimpleArendBlock.kt start line: 173 end line: 301 size: 104 LOC McCabe index: 52 number of parameters: 1 id: 5 unit: override fun getSpacing() file: src/main/kotlin/org/arend/formatting/block/SimpleArendBlock.kt start line: 38 end line: 160 size: 99 LOC McCabe index: 146 number of parameters: 2 id: 6 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/ImpossibleEliminationQuickFix.kt start line: 44 end line: 159 size: 97 LOC McCabe index: 26 number of parameters: 3 id: 7 unit: fun getParameterInfo() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendParametersInfo.kt start line: 125 end line: 208 size: 82 LOC McCabe index: 5 number of parameters: 1 id: 8 unit: fun getImprovedTextRange() file: src/main/kotlin/org/arend/highlight/BasePass.kt start line: 590 end line: 680 size: 80 LOC McCabe index: 26 number of parameters: 2 id: 9 unit: override fun buildChildren() file: src/main/kotlin/org/arend/formatting/block/SimpleArendBlock.kt start line: 303 end line: 385 size: 75 LOC McCabe index: 21 number of parameters: 0 id: 10 unit: override fun getUsageType() file: src/main/kotlin/org/arend/search/ArendUsageTypeProvider.kt start line: 15 end line: 98 size: 72 LOC McCabe index: 27 number of parameters: 1 id: 11 unit: override fun execute() file: src/main/kotlin/org/arend/typechecking/execution/configurations/TypeCheckRunState.kt start line: 39 end line: 110 size: 68 LOC McCabe index: 21 number of parameters: 2 id: 12 unit: fun modifyExternalParameters() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUtils.kt start line: 30 end line: 106 size: 66 LOC McCabe index: 19 number of parameters: 4 id: 13 unit: fun install() file: src/main/kotlin/org/arend/ui/ListsDnD.kt start line: 26 end line: 97 size: 66 LOC McCabe index: 26 number of parameters: 0 id: 14 unit: fun generateProofSearchResults() file: src/main/kotlin/org/arend/search/proof/ProofSearchUtils.kt start line: 41 end line: 111 size: 65 LOC McCabe index: 11 number of parameters: 2 id: 15 unit: fun insertClauses() file: src/main/kotlin/org/arend/quickfix/ImplementMissingClausesQuickFix.kt start line: 115 end line: 182 size: 64 LOC McCabe index: 9 number of parameters: 3 id: 16 unit: fun updateEditors() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesView.kt start line: 173 end line: 237 size: 64 LOC McCabe index: 24 number of parameters: 0 id: 17 unit: override fun getListCellRendererComponent() file: src/main/kotlin/org/arend/search/proof/ArendProofSearchRenderer.kt start line: 75 end line: 137 size: 62 LOC McCabe index: 6 number of parameters: 5 id: 18 unit: fun updateFromIDEA() file: src/main/kotlin/org/arend/module/config/ArendModuleConfigService.kt start line: 192 end line: 263 size: 62 LOC McCabe index: 11 number of parameters: 1 id: 19 unit: override fun doEliminateAndInitializePrimers() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 681 end line: 747 size: 60 LOC McCabe index: 32 number of parameters: 4 id: 20 unit: fun parameterText() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendParametersInfo.kt start line: 38 end line: 98 size: 55 LOC McCabe index: 29 number of parameters: 0 id: 21 unit: override fun update() file: src/main/kotlin/org/arend/module/config/ArendModuleConfigurationUpdater.kt start line: 31 end line: 93 size: 55 LOC McCabe index: 17 number of parameters: 2 id: 22 unit: override fun collect() file: src/main/kotlin/org/arend/codeInsight/hints/ArendParametersInlayProvider.kt start line: 61 end line: 115 size: 52 LOC McCabe index: 22 number of parameters: 3 id: 23 unit: fun update() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesView.kt start line: 348 end line: 402 size: 52 LOC McCabe index: 5 number of parameters: 0 id: 24 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/ImplementMissingClausesQuickFix.kt start line: 46 end line: 102 size: 51 LOC McCabe index: 18 number of parameters: 3 id: 25 unit: fun getStrippedPsi() file: src/main/kotlin/org/arend/psi/PsiElementUtils.kt start line: 392 end line: 442 size: 50 LOC McCabe index: 28 number of parameters: 1 id: 26 unit: override fun resolve() file: src/main/kotlin/org/arend/resolving/ArendReference.kt start line: 52 end line: 102 size: 50 LOC McCabe index: 9 number of parameters: 0 id: 27 unit: open fun printUsageEntryInternal() file: src/main/kotlin/org/arend/refactoring/changeSignature/entries/UsageEntry.kt start line: 105 end line: 161 size: 50 LOC McCabe index: 18 number of parameters: 6 id: 28 unit: fun printPattern() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 765 end line: 817 size: 49 LOC McCabe index: 16 number of parameters: 5 id: 29 unit: protected fun printParam() file: src/main/kotlin/org/arend/refactoring/changeSignature/entries/UsageEntry.kt start line: 163 end line: 215 size: 49 LOC McCabe index: 25 number of parameters: 7 id: 30 unit: fun correspondedSubExpr() file: src/main/kotlin/org/arend/refactoring/ArendSubExprUtils.kt start line: 115 end line: 169 size: 49 LOC McCabe index: 9 number of parameters: 3 id: 31 unit: fun show() file: src/main/kotlin/org/arend/search/proof/ProofSearchService.kt start line: 40 end line: 91 size: 48 LOC McCabe index: 5 number of parameters: 1 id: 32 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemovePatternsQuickFix.kt start line: 44 end line: 99 size: 47 LOC McCabe index: 20 number of parameters: 3 id: 33 unit: fun contract() file: src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt start line: 558 end line: 611 size: 47 LOC McCabe index: 16 number of parameters: 3 id: 34 unit: fun copyFromYAML() file: src/main/kotlin/org/arend/module/config/ArendModuleConfigService.kt start line: 134 end line: 182 size: 47 LOC McCabe index: 8 number of parameters: 2 id: 35 unit: fun runProofSearch() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 483 end line: 528 size: 45 LOC McCabe index: 11 number of parameters: 2 id: 36 unit: fun resolveReference() file: src/main/kotlin/org/arend/resolving/util/BinOpParser.kt start line: 20 end line: 71 size: 44 LOC McCabe index: 12 number of parameters: 3 id: 37 unit: fun collectArendExprs() file: src/main/kotlin/org/arend/refactoring/ArendSubExprUtils.kt start line: 248 end line: 291 size: 44 LOC McCabe index: 7 number of parameters: 2 id: 38 unit: fun initialize() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 151 end line: 206 size: 44 LOC McCabe index: 7 number of parameters: 0 id: 39 unit: override fun computeMatchingPatterns() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 576 end line: 627 size: 43 LOC McCabe index: 18 number of parameters: 3 id: 40 unit: fun insertPrimers() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 878 end line: 922 size: 43 LOC McCabe index: 12 number of parameters: 5 id: 41 unit: override fun processQuery() file: src/main/kotlin/org/arend/search/ArendCustomSearcher.kt start line: 26 end line: 86 size: 43 LOC McCabe index: 8 number of parameters: 2 id: 42 unit: fun doUnwrapParens() file: src/main/kotlin/org/arend/inspection/RedundantParensInspection.kt start line: 181 end line: 229 size: 43 LOC McCabe index: 13 number of parameters: 1 id: 43 unit: override fun findUsages() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveRefactoringProcessor.kt start line: 72 end line: 120 size: 42 LOC McCabe index: 16 number of parameters: 0 id: 44 unit: fun transformPostfixToPrefix() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 663 end line: 705 size: 42 LOC McCabe index: 5 number of parameters: 7 id: 45 unit: fun doParseTokens() file: src/main/kotlin/org/arend/search/proof/ProofSearchQuery.kt start line: 100 end line: 142 size: 42 LOC McCabe index: 7 number of parameters: 2 id: 46 unit: override fun resolveReference() file: src/main/kotlin/org/arend/highlight/ArendHighlightingPass.kt start line: 85 end line: 129 size: 40 LOC McCabe index: 14 number of parameters: 4 id: 47 unit: override fun preprocessEnter() file: src/main/kotlin/org/arend/formatting/ArendEnterAtIndentHandler.kt start line: 25 end line: 70 size: 40 LOC McCabe index: 12 number of parameters: 6 id: 48 unit: fun getContextName() file: src/main/kotlin/org/arend/refactoring/changeSignature/entries/UsageEntry.kt start line: 269 end line: 314 size: 40 LOC McCabe index: 10 number of parameters: 2 id: 49 unit: fun execute() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 184 end line: 226 size: 40 LOC McCabe index: 13 number of parameters: 1 id: 50 unit: fun selectErrorFromEditor() file: src/main/kotlin/org/arend/actions/ArendGotoNextErrorAction.kt start line: 40 end line: 82 size: 40 LOC McCabe index: 10 number of parameters: 5 id: 51 unit: fun printPattern() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUtils.kt start line: 254 end line: 317 size: 39 LOC McCabe index: 18 number of parameters: 3 id: 52 unit: override fun run() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 319 end line: 361 size: 39 LOC McCabe index: 10 number of parameters: 1 id: 53 unit: protected fun stripWords() file: src/main/kotlin/org/arend/search/ArendWordScanner.kt start line: 43 end line: 84 size: 38 LOC McCabe index: 15 number of parameters: 6 id: 54 unit: override fun collectInformationWithProgress() file: src/main/kotlin/org/arend/highlight/PartiallyInfixOperatorPrefixFormPass.kt start line: 20 end line: 60 size: 37 LOC McCabe index: 9 number of parameters: 1 id: 55 unit: fun search() file: src/main/kotlin/org/arend/search/ClassDescendantsSearch.kt start line: 41 end line: 84 size: 37 LOC McCabe index: 9 number of parameters: 1 id: 56 unit: override fun apply() file: src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationEditor.kt start line: 22 end line: 60 size: 37 LOC McCabe index: 10 number of parameters: 0 id: 57 unit: override fun calculateEntriesToEliminate() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 503 end line: 539 size: 36 LOC McCabe index: 13 number of parameters: 1 id: 58 unit: fun matchConcreteWithWellTyped() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 1067 end line: 1104 size: 36 LOC McCabe index: 9 number of parameters: 5 id: 59 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/actions/mark/ArendUnmarkRootAction.kt start line: 32 end line: 68 size: 36 LOC McCabe index: 6 number of parameters: 1 id: 60 unit: override fun isApplicableTo() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 52 end line: 87 size: 35 LOC McCabe index: 10 number of parameters: 3 id: 61 unit: fun addDoc() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 265 end line: 301 size: 34 LOC McCabe index: 4 number of parameters: 2 id: 62 unit: override fun preparePatternTypechecking() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 636 end line: 673 size: 33 LOC McCabe index: 1 number of parameters: 1 id: 63 unit: fun findClassReference() file: src/main/kotlin/org/arend/resolving/util/ReferableExtractVisitor.kt start line: 23 end line: 58 size: 33 LOC McCabe index: 7 number of parameters: 2 id: 64 unit: override fun editingStopped() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 233 end line: 266 size: 33 LOC McCabe index: 12 number of parameters: 1 id: 65 unit: override fun run() file: src/main/kotlin/org/arend/typechecking/BackgroundTypechecker.kt start line: 48 end line: 85 size: 33 LOC McCabe index: 12 number of parameters: 1 id: 66 unit: override fun charTyped() file: src/main/kotlin/org/arend/codeInsight/ArendTypedHandler.kt start line: 85 end line: 124 size: 33 LOC McCabe index: 18 number of parameters: 4 id: 67 unit: override fun getElements() file: src/main/kotlin/org/arend/module/ModuleScope.kt start line: 41 end line: 73 size: 33 LOC McCabe index: 10 number of parameters: 0 id: 68 unit: override fun parseLight() file: src/main/kotlin/org/arend/parser/ArendDocParser.kt start line: 19 end line: 52 size: 32 LOC McCabe index: 5 number of parameters: 2 id: 69 unit: protected fun printParams() file: src/main/kotlin/org/arend/refactoring/changeSignature/entries/UsageEntry.kt start line: 217 end line: 252 size: 32 LOC McCabe index: 10 number of parameters: 6 id: 70 unit: override fun report() file: src/main/kotlin/org/arend/typechecking/error/ErrorService.kt start line: 40 end line: 73 size: 32 LOC McCabe index: 5 number of parameters: 1 id: 71 unit: override fun registerAdditionalActions() file: src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt start line: 51 end line: 82 size: 32 LOC McCabe index: 1 number of parameters: 3 id: 72 unit: override fun visitElement() file: src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt start line: 381 end line: 415 size: 32 LOC McCabe index: 10 number of parameters: 1 id: 73 unit: fun doAddImplicitArg() file: src/main/kotlin/org/arend/quickfix/instance/InstanceInferenceQuickFix.kt start line: 90 end line: 123 size: 31 LOC McCabe index: 8 number of parameters: 3 id: 74 unit: fun onTestStarted() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 141 end line: 176 size: 31 LOC McCabe index: 7 number of parameters: 1 id: 75 unit: override fun getItems() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 252 end line: 283 size: 31 LOC McCabe index: 10 number of parameters: 3 id: 76 unit: fun getExternalParameters() file: src/main/kotlin/org/arend/codeInsight/ArendCodeInsightUtils.kt start line: 288 end line: 323 size: 31 LOC McCabe index: 8 number of parameters: 1 id: 77 unit: override fun addFieldsAfter() file: src/main/kotlin/org/arend/module/ArendModuleBuilder.kt start line: 270 end line: 302 size: 31 LOC McCabe index: 1 number of parameters: 1 id: 78 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/implementCoClause/ImplementFieldsQuickFix.kt start line: 252 end line: 286 size: 30 LOC McCabe index: 6 number of parameters: 3 id: 79 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/AddTruncatedUniverseQuickFix.kt start line: 27 end line: 59 size: 30 LOC McCabe index: 5 number of parameters: 3 id: 80 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/instance/ReplaceWithLocalInstanceQuickFix.kt start line: 32 end line: 64 size: 30 LOC McCabe index: 9 number of parameters: 3 id: 81 unit: override fun definitionResolved() file: src/main/kotlin/org/arend/highlight/ArendHighlightingPass.kt start line: 154 end line: 187 size: 29 LOC McCabe index: 7 number of parameters: 1 id: 82 unit: fun needParentheses() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 775 end line: 822 size: 29 LOC McCabe index: 9 number of parameters: 4 id: 83 unit: override fun getState() file: src/main/kotlin/org/arend/settings/ArendProjectSettings.kt start line: 59 end line: 91 size: 29 LOC McCabe index: 1 number of parameters: 0 id: 84 unit: fun match() file: src/main/kotlin/org/arend/search/proof/ArendExpressionMatcher.kt start line: 27 end line: 56 size: 29 LOC McCabe index: 6 number of parameters: 4 id: 85 unit: fun findArendFileOrDirectory() file: src/main/kotlin/org/arend/module/config/LibraryConfig.kt start line: 160 end line: 192 size: 29 LOC McCabe index: 6 number of parameters: 3 id: 86 unit: fun previewPattern() file: src/main/kotlin/org/arend/quickfix/ImplementMissingClausesQuickFix.kt start line: 221 end line: 252 size: 28 LOC McCabe index: 12 number of parameters: 5 id: 87 unit: override suspend fun createFileEditor() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 58 end line: 86 size: 28 LOC McCabe index: 1 number of parameters: 4 id: 88 unit: override fun doApplyInformationToEditor() file: src/main/kotlin/org/arend/highlight/ArendUnusedImportHighlightingPass.kt start line: 68 end line: 95 size: 28 LOC McCabe index: 4 number of parameters: 0 id: 89 unit: override fun doRename() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 58 end line: 85 size: 28 LOC McCabe index: 11 number of parameters: 3 id: 90 unit: fun onSuiteStarted() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 73 end line: 103 size: 28 LOC McCabe index: 5 number of parameters: 1 id: 91 unit: protected fun loadDependencyConfig() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 166 end line: 195 size: 28 LOC McCabe index: 2 number of parameters: 0 id: 92 unit: override fun customizeRenderer() file: src/main/kotlin/org/arend/module/starter/ArendStarterLibrariesStep.kt start line: 99 end line: 128 size: 27 LOC McCabe index: 3 number of parameters: 7 id: 93 unit: fun findDefAndArgsInParsedBinop() file: src/main/kotlin/org/arend/util/ArendBinOpUtils.kt start line: 151 end line: 183 size: 27 LOC McCabe index: 8 number of parameters: 2 id: 94 unit: fun findRevealableCoreAtOffset() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 68 end line: 94 size: 27 LOC McCabe index: 3 number of parameters: 5 id: 95 unit: override fun findUsages() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUsageProcessor.kt start line: 27 end line: 60 size: 26 LOC McCabe index: 6 number of parameters: 1 id: 96 unit: override fun processPrimaryMethod() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUsageProcessor.kt start line: 66 end line: 100 size: 26 LOC McCabe index: 7 number of parameters: 1 id: 97 unit: override fun printUsageEntryInternal() file: src/main/kotlin/org/arend/refactoring/changeSignature/entries/AbstractExpressionEntry.kt start line: 102 end line: 131 size: 26 LOC McCabe index: 7 number of parameters: 6 id: 98 unit: fun addIdToUsing() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 336 end line: 362 size: 26 LOC McCabe index: 5 number of parameters: 6 id: 99 unit: fun onSuitesFinished() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 113 end line: 139 size: 26 LOC McCabe index: 6 number of parameters: 0 id: 100 unit: fun insertDefinition() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 610 end line: 635 size: 26 LOC McCabe index: 3 number of parameters: 3 id: 101 unit: override fun addCompletions() file: src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionContributor.kt start line: 694 end line: 720 size: 26 LOC McCabe index: 4 number of parameters: 3 id: 102 unit: override fun getElements() file: src/main/kotlin/org/arend/module/AllArendFilesScope.kt start line: 25 end line: 53 size: 26 LOC McCabe index: 6 number of parameters: 0 id: 103 unit: override fun _init() file: src/main/kotlin/org/arend/module/starter/ArendStarterLibrariesStep.kt start line: 274 end line: 308 size: 26 LOC McCabe index: 5 number of parameters: 0 id: 104 unit: fun renameParameters() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUtils.kt start line: 319 end line: 343 size: 25 LOC McCabe index: 6 number of parameters: 3 id: 105 unit: override fun compare() file: src/main/kotlin/org/arend/typechecking/execution/PsiElementComparator.kt start line: 10 end line: 35 size: 25 LOC McCabe index: 7 number of parameters: 2 id: 106 unit: override fun getUseScope() file: src/main/kotlin/org/arend/psi/ext/Identifiers.kt start line: 44 end line: 71 size: 24 LOC McCabe index: 11 number of parameters: 0 id: 107 unit: override fun getState() file: src/main/kotlin/org/arend/typechecking/execution/configurations/TypeCheckConfiguration.kt start line: 59 end line: 82 size: 24 LOC McCabe index: 6 number of parameters: 2 id: 108 unit: override fun customizePresentation() file: src/main/kotlin/org/arend/tracer/ArendSuspendContext.kt start line: 58 end line: 82 size: 24 LOC McCabe index: 2 number of parameters: 1 id: 109 unit: fun show() file: src/main/kotlin/org/arend/toolWindow/repl/ArendReplService.kt start line: 24 end line: 48 size: 24 LOC McCabe index: 3 number of parameters: 0 id: 110 unit: override fun visitElement() file: src/main/kotlin/org/arend/injection/InjectionHighlightingPass.kt start line: 45 end line: 68 size: 24 LOC McCabe index: 8 number of parameters: 1 id: 111 unit: fun getChildren() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendSuperClassTreeStructure.kt start line: 19 end line: 42 size: 23 LOC McCabe index: 6 number of parameters: 2 id: 112 unit: override fun getExternalParameters() file: src/main/kotlin/org/arend/psi/ext/ArendDefinition.kt start line: 80 end line: 104 size: 23 LOC McCabe index: 11 number of parameters: 0 id: 113 unit: override fun preprocessUsages() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureProcessor.kt start line: 51 end line: 82 size: 23 LOC McCabe index: 8 number of parameters: 1 id: 114 unit: override fun getInfo() file: src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunLineMarkerContributor.kt start line: 15 end line: 40 size: 23 LOC McCabe index: 5 number of parameters: 1 id: 115 unit: override fun loadState() file: src/main/kotlin/org/arend/settings/ArendProjectSettings.kt start line: 108 end line: 133 size: 23 LOC McCabe index: 1 number of parameters: 1 id: 116 unit: override fun performRefactoring() file: src/main/kotlin/org/arend/intention/generating/CreateLetBindingIntention.kt start line: 87 end line: 110 size: 23 LOC McCabe index: 3 number of parameters: 4 id: 117 unit: override fun applyTo() file: src/main/kotlin/org/arend/intention/ChangeArgumentExplicitnessIntention.kt start line: 28 end line: 53 size: 23 LOC McCabe index: 10 number of parameters: 3 id: 118 unit: override fun visitElement() file: src/main/kotlin/org/arend/inspection/RedundantParensInspection.kt start line: 32 end line: 54 size: 23 LOC McCabe index: 20 number of parameters: 1 id: 119 unit: override fun preprocessUsages() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveRefactoringProcessor.kt start line: 501 end line: 526 size: 22 LOC McCabe index: 7 number of parameters: 1 id: 120 unit: fun getCompleteWhere() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 474 end line: 496 size: 22 LOC McCabe index: 7 number of parameters: 2 id: 121 unit: override fun sessionInitialized() file: src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt start line: 93 end line: 114 size: 22 LOC McCabe index: 4 number of parameters: 0 id: 122 unit: fun mapBinOp() file: src/main/kotlin/org/arend/intention/binOp/BinOpSeqProcessor.kt start line: 29 end line: 50 size: 22 LOC McCabe index: 3 number of parameters: 3 id: 123 unit: override fun initParams() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 204 end line: 228 size: 22 LOC McCabe index: 10 number of parameters: 1 id: 124 unit: override fun update() file: src/main/kotlin/org/arend/hierarchy/ArendHierarchyNodeDescriptor.kt start line: 15 end line: 49 size: 21 LOC McCabe index: 5 number of parameters: 0 id: 125 unit: override fun buildChildren() file: src/main/kotlin/org/arend/hierarchy/call/ArendCallerTreeStructure.kt start line: 18 end line: 38 size: 21 LOC McCabe index: 5 number of parameters: 1 id: 126 unit: override fun toString() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 141 end line: 164 size: 21 LOC McCabe index: 7 number of parameters: 0 id: 127 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveTupleExprQuickFix.kt start line: 23 end line: 45 size: 21 LOC McCabe index: 6 number of parameters: 3 id: 128 unit: override fun fileCreated() file: src/main/kotlin/org/arend/scratch/ArendScratchFileModuleInfoProvider.kt start line: 20 end line: 42 size: 21 LOC McCabe index: 2 number of parameters: 1 id: 129 unit: fun getTopmostEquivalentSourceNode() file: src/main/kotlin/org/arend/psi/ext/ArendCompositeElement.kt start line: 92 end line: 113 size: 21 LOC McCabe index: 14 number of parameters: 1 id: 130 unit: override fun getItemsByName() file: src/main/kotlin/org/arend/navigation/ArendFileNavigationContributor.kt start line: 27 end line: 47 size: 21 LOC McCabe index: 2 number of parameters: 4 id: 131 unit: fun toParametersInfo() file: src/main/kotlin/org/arend/refactoring/changeSignature/ChangeSignatureRefactoringDescriptor.kt start line: 85 end line: 107 size: 21 LOC McCabe index: 18 number of parameters: 0 id: 132 unit: override fun expressionFragmentResolved() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 84 end line: 107 size: 21 LOC McCabe index: 6 number of parameters: 1 id: 133 unit: fun writeFileChangeMap() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUtils.kt start line: 345 end line: 365 size: 21 LOC McCabe index: 5 number of parameters: 2 id: 134 unit: fun flush() file: src/main/kotlin/org/arend/typechecking/error/TypecheckingErrorReporter.kt start line: 40 end line: 61 size: 21 LOC McCabe index: 7 number of parameters: 0 id: 135 unit: fun doInsertPatternPrimers() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 1021 end line: 1041 size: 20 LOC McCabe index: 7 number of parameters: 6 id: 136 unit: fun getProposedFix() file: src/main/kotlin/org/arend/quickfix/referenceResolve/ResolveReferenceAction.kt start line: 37 end line: 58 size: 20 LOC McCabe index: 2 number of parameters: 2 id: 137 unit: fun getContext() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 146 end line: 166 size: 20 LOC McCabe index: 6 number of parameters: 3 id: 138 unit: fun rangeOfConcrete() file: src/main/kotlin/org/arend/refactoring/ArendSubExprUtils.kt start line: 207 end line: 227 size: 20 LOC McCabe index: 3 number of parameters: 1 id: 139 unit: fun addStatCmd() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 278 end line: 298 size: 20 LOC McCabe index: 1 number of parameters: 3 id: 140 unit: override fun processWords() file: src/main/kotlin/org/arend/search/ArendWordScanner.kt start line: 15 end line: 34 size: 20 LOC McCabe index: 11 number of parameters: 2 id: 141 unit: override fun mapArgument() file: src/main/kotlin/org/arend/intention/RemoveClarifyingParensIntention.kt start line: 113 end line: 132 size: 20 LOC McCabe index: 7 number of parameters: 4 id: 142 unit: override fun applyTo() file: src/main/kotlin/org/arend/intention/generating/GenerateElimMissingClausesIntention.kt start line: 23 end line: 48 size: 20 LOC McCabe index: 1 number of parameters: 3 id: 143 unit: override fun convertValueToText() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTree.kt start line: 96 end line: 115 size: 20 LOC McCabe index: 3 number of parameters: 6 id: 144 unit: fun showManipulatePrettyPrinterHint() file: src/main/kotlin/org/arend/ui/ArendManipulateImplicitArgumentComponent.kt start line: 26 end line: 46 size: 20 LOC McCabe index: 3 number of parameters: 3 id: 145 unit: fun doInsertElimVars() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 949 end line: 967 size: 19 LOC McCabe index: 5 number of parameters: 5 id: 146 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/instance/AddRecursiveInstanceArgumentQuickFix.kt start line: 26 end line: 47 size: 19 LOC McCabe index: 4 number of parameters: 3 id: 147 unit: override fun collectInformationWithProgress() file: src/main/kotlin/org/arend/highlight/TypecheckerPass.kt start line: 17 end line: 35 size: 19 LOC McCabe index: 5 number of parameters: 1 id: 148 unit: fun fixEliminator() file: src/main/kotlin/org/arend/refactoring/changeSignature/ChangeSignatureRefactoringDescriptor.kt start line: 65 end line: 83 size: 19 LOC McCabe index: 7 number of parameters: 0 id: 149 unit: fun textGetterForPatterns() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUtils.kt start line: 294 end line: 313 size: 19 LOC McCabe index: 12 number of parameters: 2 id: 150 unit: override fun prepareMovedFile() file: src/main/kotlin/org/arend/refactoring/ArendMoveFileHandler.kt start line: 29 end line: 47 size: 19 LOC McCabe index: 6 number of parameters: 3 id: 151 unit: fun admitsPatternMatchingOnIdp() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 539 end line: 557 size: 19 LOC McCabe index: 15 number of parameters: 3 id: 152 unit: fun runTypechecker() file: src/main/kotlin/org/arend/typechecking/BackgroundTypechecker.kt start line: 28 end line: 87 size: 19 LOC McCabe index: 7 number of parameters: 5 id: 153 unit: fun getAllDescendants() file: src/main/kotlin/org/arend/search/ClassDescendantsSearch.kt start line: 86 end line: 106 size: 19 LOC McCabe index: 5 number of parameters: 1 id: 154 unit: override fun update() file: src/main/kotlin/org/arend/tracer/ArendTraceAction.kt start line: 43 end line: 61 size: 19 LOC McCabe index: 4 number of parameters: 4 id: 155 unit: override fun extractSelectionData() file: src/main/kotlin/org/arend/intention/GenerateFunctionFromGoalIntention.kt start line: 48 end line: 66 size: 19 LOC McCabe index: 1 number of parameters: 3 id: 156 unit: fun dfsDependencyModuleGraph() file: src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt start line: 282 end line: 300 size: 19 LOC McCabe index: 6 number of parameters: 3 id: 157 unit: override fun visitElement() file: src/main/kotlin/org/arend/inspection/UnresolvedArendPatternInspection.kt start line: 27 end line: 47 size: 19 LOC McCabe index: 6 number of parameters: 1 id: 158 unit: fun getOffsetInEditor() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 347 end line: 365 size: 19 LOC McCabe index: 4 number of parameters: 2 id: 159 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/RenameDuplicateNameQuickFix.kt start line: 30 end line: 47 size: 18 LOC McCabe index: 4 number of parameters: 3 id: 160 unit: override fun applyInformationWithProgress() file: src/main/kotlin/org/arend/highlight/BasePass.kt start line: 88 end line: 107 size: 18 LOC McCabe index: 7 number of parameters: 0 id: 161 unit: override fun applyInformationWithProgress() file: src/main/kotlin/org/arend/highlight/ArendHighlightingPass.kt start line: 252 end line: 272 size: 18 LOC McCabe index: 6 number of parameters: 0 id: 162 unit: fun validateUsages() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 354 end line: 371 size: 18 LOC McCabe index: 6 number of parameters: 2 id: 163 unit: override fun printUsageEntryInternal() file: src/main/kotlin/org/arend/refactoring/changeSignature/entries/CoClauseEntry.kt start line: 68 end line: 88 size: 18 LOC McCabe index: 4 number of parameters: 6 id: 164 unit: fun collectDefinedVariables() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 723 end line: 743 size: 18 LOC McCabe index: 5 number of parameters: 1 id: 165 unit: fun updateTypecheckingErrors() file: src/main/kotlin/org/arend/typechecking/error/ErrorService.kt start line: 140 end line: 157 size: 18 LOC McCabe index: 9 number of parameters: 2 id: 166 unit: fun print() file: src/main/kotlin/org/arend/typechecking/error/TypecheckingErrorReporter.kt start line: 76 end line: 94 size: 18 LOC McCabe index: 3 number of parameters: 0 id: 167 unit: override fun collect() file: src/main/kotlin/org/arend/codeInsight/hints/ArendDefinitionInlayProvider.kt start line: 32 end line: 50 size: 18 LOC McCabe index: 3 number of parameters: 3 id: 168 unit: fun getParameterContext() file: src/main/kotlin/org/arend/codeInsight/ParameterDescriptor.kt start line: 254 end line: 275 size: 18 LOC McCabe index: 10 number of parameters: 1 id: 169 unit: fun findPrevAnchor() file: src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionContributor.kt start line: 866 end line: 889 size: 18 LOC McCabe index: 14 number of parameters: 2 id: 170 unit: override fun visitBinOpSequence() file: src/main/kotlin/org/arend/intention/generating/ShrinkAbstractVisitor.kt start line: 53 end line: 70 size: 18 LOC McCabe index: 7 number of parameters: 4 id: 171 unit: override fun invoke() file: src/main/kotlin/org/arend/intention/ReplaceMetaWithResultIntention.kt start line: 31 end line: 49 size: 18 LOC McCabe index: 2 number of parameters: 3 id: 172 unit: override fun run() file: src/main/kotlin/org/arend/module/config/ArendModuleConfigService.kt start line: 108 end line: 125 size: 18 LOC McCabe index: 5 number of parameters: 1 id: 173 unit: fun doVisit() file: src/main/kotlin/org/arend/util/ArendBinOpUtils.kt start line: 199 end line: 216 size: 18 LOC McCabe index: 3 number of parameters: 1 id: 174 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyBrowser.kt start line: 199 end line: 218 size: 17 LOC McCabe index: 2 number of parameters: 1 id: 175 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/ExplicitnessQuickFix.kt start line: 25 end line: 44 size: 17 LOC McCabe index: 4 number of parameters: 3 id: 176 unit: fun getIntegralNumber() file: src/main/kotlin/org/arend/quickfix/ImplementMissingClausesQuickFix.kt start line: 254 end line: 270 size: 17 LOC McCabe index: 17 number of parameters: 1 id: 177 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/TruncatedDataQuickFix.kt start line: 27 end line: 45 size: 17 LOC McCabe index: 4 number of parameters: 3 id: 178 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/SquashedDataQuickFix.kt start line: 23 end line: 41 size: 17 LOC McCabe index: 4 number of parameters: 3 id: 179 unit: override fun getEnclosingClass() file: src/main/kotlin/org/arend/psi/ext/ArendDefinition.kt start line: 59 end line: 75 size: 17 LOC McCabe index: 6 number of parameters: 0 id: 180 unit: override fun dropTCReferable() file: src/main/kotlin/org/arend/psi/ext/ReferableBase.kt start line: 106 end line: 122 size: 17 LOC McCabe index: 3 number of parameters: 0 id: 181 unit: override fun getPresentableText() file: src/main/kotlin/org/arend/navigation/ArendNavBarExtension.kt start line: 37 end line: 53 size: 17 LOC McCabe index: 4 number of parameters: 1 id: 182 unit: fun getCached() file: src/main/kotlin/org/arend/resolving/ArendResolveCache.kt start line: 25 end line: 45 size: 17 LOC McCabe index: 7 number of parameters: 1 id: 183 unit: override fun execute() file: src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt start line: 356 end line: 375 size: 17 LOC McCabe index: 6 number of parameters: 0 id: 184 unit: override fun runToPosition() file: src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt start line: 132 end line: 148 size: 17 LOC McCabe index: 3 number of parameters: 2 id: 185 unit: fun getParameterList() file: src/main/kotlin/org/arend/codeInsight/ArendCodeInsightUtils.kt start line: 262 end line: 286 size: 17 LOC McCabe index: 4 number of parameters: 3 id: 186 unit: override fun consume() file: src/main/kotlin/org/arend/codeInsight/completion/ArendNoVariantsDelegator.kt start line: 31 end line: 47 size: 17 LOC McCabe index: 5 number of parameters: 1 id: 187 unit: override fun patternString() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 236 end line: 253 size: 17 LOC McCabe index: 5 number of parameters: 1 id: 188 unit: override fun validate() file: src/main/kotlin/org/arend/module/ArendModuleBuilder.kt start line: 231 end line: 248 size: 17 LOC McCabe index: 3 number of parameters: 0 id: 189 unit: fun update() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTree.kt start line: 190 end line: 208 size: 17 LOC McCabe index: 5 number of parameters: 2 id: 190 unit: override fun getTreeCellRendererComponent() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeCellRenderer.kt start line: 17 end line: 34 size: 17 LOC McCabe index: 2 number of parameters: 7 id: 191 unit: override fun prettyPrintParameter() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 216 end line: 232 size: 17 LOC McCabe index: 6 number of parameters: 1 id: 192 unit: fun buildChildren() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyBrowser.kt start line: 95 end line: 110 size: 16 LOC McCabe index: 5 number of parameters: 2 id: 193 unit: override fun doRefresh() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyBrowser.kt start line: 126 end line: 145 size: 16 LOC McCabe index: 3 number of parameters: 1 id: 194 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/AddMissingArgumentsQuickFix.kt start line: 36 end line: 52 size: 16 LOC McCabe index: 4 number of parameters: 3 id: 195 unit: override fun insertFirstCoClause() file: src/main/kotlin/org/arend/quickfix/implementCoClause/FirstCoClauseInserters.kt start line: 30 end line: 48 size: 16 LOC McCabe index: 1 number of parameters: 3 id: 196 unit: override fun computeMatchingPatterns() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 447 end line: 465 size: 16 LOC McCabe index: 5 number of parameters: 3 id: 197 unit: fun fillAdditionalNames() file: src/main/kotlin/org/arend/psi/ext/ArendGroup.kt start line: 28 end line: 43 size: 16 LOC McCabe index: 3 number of parameters: 2 id: 198 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/ArendLiteral.kt start line: 25 end line: 40 size: 16 LOC McCabe index: 1 number of parameters: 2 id: 199 unit: override fun collectInformationWithProgress() file: src/main/kotlin/org/arend/highlight/RedundantParensPass.kt start line: 28 end line: 43 size: 16 LOC McCabe index: 3 number of parameters: 1 id: 200 unit: override fun createHighlightingPass() file: src/main/kotlin/org/arend/highlight/BasePassFactory.kt start line: 18 end line: 44 size: 16 LOC McCabe index: 6 number of parameters: 2 id: 201 unit: fun getPresentation() file: src/main/kotlin/org/arend/navigation/Utils.kt start line: 12 end line: 29 size: 16 LOC McCabe index: 1 number of parameters: 1 id: 202 unit: fun findReferable() file: src/main/kotlin/org/arend/resolving/util/ReferableExtractVisitor.kt start line: 70 end line: 85 size: 16 LOC McCabe index: 6 number of parameters: 1 id: 203 unit: fun startingParenOffset() file: src/main/kotlin/org/arend/formatting/ArendEnterAtIndentHandler.kt start line: 104 end line: 119 size: 16 LOC McCabe index: 5 number of parameters: 3 id: 204 unit: fun returnPart() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeInfo.kt start line: 99 end line: 114 size: 16 LOC McCabe index: 7 number of parameters: 0 id: 205 unit: fun isParenthesizedLongName() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendUsageInfo.kt start line: 44 end line: 62 size: 16 LOC McCabe index: 13 number of parameters: 1 id: 206 unit: fun checkExternalParametersOk() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureHandler.kt start line: 40 end line: 58 size: 16 LOC McCabe index: 7 number of parameters: 1 id: 207 unit: fun getImportedNames() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 364 end line: 384 size: 16 LOC McCabe index: 6 number of parameters: 2 id: 208 unit: fun splitTele() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 592 end line: 607 size: 16 LOC McCabe index: 4 number of parameters: 2 id: 209 unit: override fun collectNotificationData() file: src/main/kotlin/org/arend/yaml/YamlNotificationProvider.kt start line: 22 end line: 37 size: 16 LOC McCabe index: 6 number of parameters: 2 id: 210 unit: override fun resolve() file: src/main/kotlin/org/arend/typechecking/ArendLibraryResolver.kt start line: 18 end line: 36 size: 16 LOC McCabe index: 6 number of parameters: 2 id: 211 unit: override fun onSuccess() file: src/main/kotlin/org/arend/typechecking/ArendExtensionChangeListener.kt start line: 16 end line: 32 size: 16 LOC McCabe index: 4 number of parameters: 1 id: 212 unit: fun runTimed() file: src/main/kotlin/org/arend/typechecking/DefinitionBlacklistService.kt start line: 17 end line: 32 size: 16 LOC McCabe index: 4 number of parameters: 3 id: 213 unit: fun getFileModulePath() file: src/main/kotlin/org/arend/module/config/LibraryConfig.kt start line: 194 end line: 210 size: 16 LOC McCabe index: 2 number of parameters: 1 id: 214 unit: fun checkConcreteExprIsArendExpr() file: src/main/kotlin/org/arend/util/ArendBinOpUtils.kt start line: 123 end line: 143 size: 16 LOC McCabe index: 6 number of parameters: 2 id: 215 unit: override fun visitText() file: src/main/kotlin/org/arend/injection/CollectingDocStringBuilder.kt start line: 49 end line: 68 size: 16 LOC McCabe index: 5 number of parameters: 2 id: 216 unit: public static boolean exprWOBImpl() file: src/main/java/org/arend/parser/ParserUtil.java start line: 12 end line: 27 size: 16 LOC McCabe index: 9 number of parameters: 2 id: 217 unit: fun doAnnotate() file: src/main/kotlin/org/arend/quickfix/implementCoClause/InstanceQuickFix.kt start line: 141 end line: 155 size: 15 LOC McCabe index: 8 number of parameters: 1 id: 218 unit: override fun doEliminateAndInitializePrimers() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 541 end line: 561 size: 15 LOC McCabe index: 5 number of parameters: 4 id: 219 unit: override fun getFunctionKind() file: src/main/kotlin/org/arend/psi/ext/ArendDefFunction.kt start line: 34 end line: 48 size: 15 LOC McCabe index: 1 number of parameters: 0 id: 220 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/ArendAtomLevelExpr.kt start line: 26 end line: 40 size: 15 LOC McCabe index: 1 number of parameters: 2 id: 221 unit: override fun compareTo() file: src/main/kotlin/org/arend/psi/PsiElementUtils.kt start line: 298 end line: 312 size: 15 LOC McCabe index: 9 number of parameters: 1 id: 222 unit: override fun getItemsByName() file: src/main/kotlin/org/arend/navigation/ArendNavigationContributorBase.kt start line: 25 end line: 39 size: 15 LOC McCabe index: 4 number of parameters: 4 id: 223 unit: override fun onFinishTesting() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 53 end line: 71 size: 15 LOC McCabe index: 3 number of parameters: 0 id: 224 unit: fun saveAll() file: src/main/kotlin/org/arend/typechecking/BinaryFileSaver.kt start line: 89 end line: 104 size: 15 LOC McCabe index: 3 number of parameters: 0 id: 225 unit: fun getCompleteModuleLocation() file: src/main/kotlin/org/arend/search/proof/ProofSearchUtils.kt start line: 263 end line: 278 size: 15 LOC McCabe index: 2 number of parameters: 1 id: 226 unit: override fun processTextOccurrence() file: src/main/kotlin/org/arend/search/ArendCustomSearcher.kt start line: 69 end line: 83 size: 15 LOC McCabe index: 7 number of parameters: 3 id: 227 unit: fun findModules() file: src/main/kotlin/org/arend/module/config/LibraryConfig.kt start line: 93 end line: 108 size: 15 LOC McCabe index: 3 number of parameters: 1 id: 228 unit: override fun typecheckStatements() file: src/main/kotlin/org/arend/toolWindow/repl/IntellijRepl.kt start line: 142 end line: 156 size: 15 LOC McCabe index: 2 number of parameters: 2 id: 229 unit: fun containsNode() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTree.kt start line: 117 end line: 131 size: 15 LOC McCabe index: 5 number of parameters: 1 id: 230 unit: override fun compare() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTree.kt start line: 211 end line: 225 size: 15 LOC McCabe index: 4 number of parameters: 2 id: 231 unit: fun resolveCauseReference() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 381 end line: 396 size: 15 LOC McCabe index: 6 number of parameters: 1 id: 232 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/ImplicitLambdaQuickFix.kt start line: 28 end line: 45 size: 14 LOC McCabe index: 2 number of parameters: 3 id: 233 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveUseLevelQuickFix.kt start line: 24 end line: 38 size: 14 LOC McCabe index: 4 number of parameters: 3 id: 234 unit: override fun getInteger() file: src/main/kotlin/org/arend/psi/ext/ArendPattern.kt start line: 29 end line: 42 size: 14 LOC McCabe index: 3 number of parameters: 0 id: 235 unit: override fun getIcon() file: src/main/kotlin/org/arend/navigation/ArendNavBarExtension.kt start line: 67 end line: 80 size: 14 LOC McCabe index: 4 number of parameters: 1 id: 236 unit: override fun getPrecedence() file: src/main/kotlin/org/arend/resolving/DataLocatedReferable.kt start line: 38 end line: 51 size: 14 LOC McCabe index: 4 number of parameters: 0 id: 237 unit: override fun visitLam() file: src/main/kotlin/org/arend/resolving/util/ReferableExtractVisitor.kt start line: 102 end line: 117 size: 14 LOC McCabe index: 7 number of parameters: 4 id: 238 unit: fun psiOfConcrete() file: src/main/kotlin/org/arend/refactoring/ArendSubExprUtils.kt start line: 233 end line: 246 size: 14 LOC McCabe index: 7 number of parameters: 1 id: 239 unit: fun doAddIdToHiding() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 126 end line: 139 size: 14 LOC McCabe index: 5 number of parameters: 2 id: 240 unit: override fun fillCompletionVariants() file: src/main/kotlin/org/arend/yaml/codeInsight/YAMLCompletionContributor.kt start line: 27 end line: 41 size: 14 LOC McCabe index: 3 number of parameters: 2 id: 241 unit: override fun dispose() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 214 end line: 227 size: 14 LOC McCabe index: 4 number of parameters: 0 id: 242 unit: override fun beforeSelectionRemoved() file: src/main/kotlin/org/arend/codeInsight/ArendTypedHandler.kt start line: 70 end line: 83 size: 14 LOC McCabe index: 7 number of parameters: 4 id: 243 unit: fun getScopeProvider() file: src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt start line: 277 end line: 290 size: 14 LOC McCabe index: 3 number of parameters: 2 id: 244 unit: override fun collectSlowLineMarkers() file: src/main/kotlin/org/arend/codeInsight/ArendLineMarkerProvider.kt start line: 24 end line: 37 size: 14 LOC McCabe index: 4 number of parameters: 2 id: 245 unit: override fun invoke() file: src/main/kotlin/org/arend/intention/ReplaceWithNormalFormIntention.kt start line: 21 end line: 34 size: 14 LOC McCabe index: 1 number of parameters: 5 id: 246 unit: override fun updateDataModel() file: src/main/kotlin/org/arend/module/starter/ArendStarterInitialStep.kt start line: 60 end line: 76 size: 14 LOC McCabe index: 2 number of parameters: 0 id: 247 unit: override fun nodeStateChanged() file: src/main/kotlin/org/arend/module/starter/ArendStarterLibrariesStep.kt start line: 137 end line: 152 size: 14 LOC McCabe index: 2 number of parameters: 1 id: 248 unit: override fun resetDefinition() file: src/main/kotlin/org/arend/module/ArendRawLibrary.kt start line: 113 end line: 126 size: 14 LOC McCabe index: 5 number of parameters: 1 id: 249 unit: fun setupActions() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesViewEditor.kt start line: 43 end line: 56 size: 14 LOC McCabe index: 2 number of parameters: 0 id: 250 unit: override fun setSelected() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollFromSource.kt start line: 99 end line: 113 size: 14 LOC McCabe index: 5 number of parameters: 2 id: 251 unit: fun setSelected() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesFilterActionGroup.kt start line: 30 end line: 44 size: 14 LOC McCabe index: 6 number of parameters: 2 id: 252 unit: fun clearText() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 303 end line: 316 size: 14 LOC McCabe index: 2 number of parameters: 0 id: 253 unit: override fun insertFirstCoClause() file: src/main/kotlin/org/arend/quickfix/implementCoClause/FirstCoClauseInserters.kt start line: 97 end line: 111 size: 13 LOC McCabe index: 1 number of parameters: 3 id: 254 unit: fun findSubExpr() file: src/main/kotlin/org/arend/quickfix/FunctionArgInferenceQuickFix.kt start line: 50 end line: 62 size: 13 LOC McCabe index: 8 number of parameters: 1 id: 255 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/HideImportQuickFix.kt start line: 28 end line: 40 size: 13 LOC McCabe index: 4 number of parameters: 3 id: 256 unit: override fun toString() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 89 end line: 105 size: 13 LOC McCabe index: 2 number of parameters: 0 id: 257 unit: fun doInsertPrimers() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 933 end line: 947 size: 13 LOC McCabe index: 5 number of parameters: 7 id: 258 unit: override fun execute() file: src/main/kotlin/org/arend/quickfix/referenceResolve/ArendAddImportAction.kt start line: 24 end line: 40 size: 13 LOC McCabe index: 6 number of parameters: 0 id: 259 unit: override fun doAction() file: src/main/kotlin/org/arend/graph/GraphSimulator.kt start line: 85 end line: 98 size: 13 LOC McCabe index: 3 number of parameters: 1 id: 260 unit: override fun getTextEndOffset() file: src/main/kotlin/org/arend/ArendImplementationTextSelectioner.kt start line: 22 end line: 34 size: 13 LOC McCabe index: 4 number of parameters: 1 id: 261 unit: fun calcPrecedence() file: src/main/kotlin/org/arend/psi/ext/ReferableBase.kt start line: 125 end line: 137 size: 13 LOC McCabe index: 5 number of parameters: 1 id: 262 unit: override fun getLeafElement() file: src/main/kotlin/org/arend/navigation/ArendNavBarExtension.kt start line: 82 end line: 94 size: 13 LOC McCabe index: 3 number of parameters: 1 id: 263 unit: fun getDefinitionsWithExternalParameters() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeInfo.kt start line: 118 end line: 131 size: 13 LOC McCabe index: 2 number of parameters: 1 id: 264 unit: override fun performRefactoring() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 253 end line: 265 size: 13 LOC McCabe index: 5 number of parameters: 1 id: 265 unit: fun addImplicitArgAfter() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 571 end line: 583 size: 13 LOC McCabe index: 7 number of parameters: 4 id: 266 unit: override fun modify() file: src/main/kotlin/org/arend/projectView/ArendProjectViewStructureProvider.kt start line: 24 end line: 36 size: 13 LOC McCabe index: 4 number of parameters: 3 id: 267 unit: override fun annotate() file: src/main/kotlin/org/arend/yaml/codeInsight/YAMLHighlightingAnnotator.kt start line: 14 end line: 27 size: 13 LOC McCabe index: 5 number of parameters: 2 id: 268 unit: override fun after() file: src/main/kotlin/org/arend/yaml/YAMLFileListener.kt start line: 47 end line: 59 size: 13 LOC McCabe index: 3 number of parameters: 1 id: 269 unit: override fun after() file: src/main/kotlin/org/arend/typechecking/BinaryFileSaver.kt start line: 35 end line: 48 size: 13 LOC McCabe index: 4 number of parameters: 1 id: 270 unit: fun notify() file: src/main/kotlin/org/arend/typechecking/error/NotificationErrorReporter.kt start line: 25 end line: 37 size: 13 LOC McCabe index: 1 number of parameters: 4 id: 271 unit: fun collect() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 295 end line: 307 size: 13 LOC McCabe index: 5 number of parameters: 1 id: 272 unit: fun pairingWordCondition() file: src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionContributor.kt start line: 210 end line: 222 size: 13 LOC McCabe index: 5 number of parameters: 1 id: 273 unit: override fun invoke() file: src/main/kotlin/org/arend/intention/AbstractGenerateFunctionIntention.kt start line: 76 end line: 88 size: 13 LOC McCabe index: 1 number of parameters: 3 id: 274 unit: fun findAllVariablePatterns() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 441 end line: 456 size: 13 LOC McCabe index: 3 number of parameters: 2 id: 275 unit: fun locatePattern() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 470 end line: 484 size: 13 LOC McCabe index: 4 number of parameters: 1 id: 276 unit: override fun invoke() file: src/main/kotlin/org/arend/intention/WrapInGoalIntention.kt start line: 17 end line: 30 size: 13 LOC McCabe index: 3 number of parameters: 5 id: 277 unit: override fun mapArgument() file: src/main/kotlin/org/arend/intention/AddClarifyingParensIntention.kt start line: 41 end line: 53 size: 13 LOC McCabe index: 4 number of parameters: 4 id: 278 unit: override fun createNewLibrary() file: src/main/kotlin/org/arend/module/ArendLibraryType.kt start line: 38 end line: 58 size: 13 LOC McCabe index: 2 number of parameters: 3 id: 279 unit: fun addGeneratedModule() file: src/main/kotlin/org/arend/module/ArendRawLibrary.kt start line: 50 end line: 62 size: 13 LOC McCabe index: 1 number of parameters: 2 id: 280 unit: fun copyFrom() file: src/main/kotlin/org/arend/module/config/ArendModuleConfiguration.kt start line: 36 end line: 48 size: 13 LOC McCabe index: 1 number of parameters: 1 id: 281 unit: override fun visitElement() file: src/main/kotlin/org/arend/inspection/RedundantParameterInspection.kt start line: 28 end line: 41 size: 13 LOC McCabe index: 4 number of parameters: 1 id: 282 unit: override fun setSelected() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesFilterAction.kt start line: 24 end line: 37 size: 13 LOC McCabe index: 3 number of parameters: 2 id: 283 unit: fun renderCellArendFile() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeCellRendererService.kt start line: 15 end line: 27 size: 13 LOC McCabe index: 2 number of parameters: 3 id: 284 unit: override fun visitApp() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 202 end line: 214 size: 13 LOC McCabe index: 5 number of parameters: 2 id: 285 unit: override fun importProjectAfterwards() file: src/main/kotlin/org/arend/project/ArendProjectOpenProcessor.kt start line: 37 end line: 49 size: 13 LOC McCabe index: 2 number of parameters: 2 id: 286 unit: override fun mouseEntered() file: src/main/kotlin/org/arend/ui/ArendManipulateImplicitArgumentComponent.kt start line: 88 end line: 100 size: 13 LOC McCabe index: 1 number of parameters: 1 id: 287 unit: override fun mouseEntered() file: src/main/kotlin/org/arend/ui/ArendManipulateImplicitArgumentComponent.kt start line: 119 end line: 131 size: 13 LOC McCabe index: 1 number of parameters: 1 id: 288 unit: override fun doUpdate() file: src/main/kotlin/org/arend/actions/mark/ArendUnmarkRootAction.kt start line: 17 end line: 30 size: 13 LOC McCabe index: 4 number of parameters: 3 id: 289 unit: override fun select() file: src/main/kotlin/org/arend/actions/ArendExtendWordSelectionHandler.kt start line: 17 end line: 29 size: 13 LOC McCabe index: 1 number of parameters: 4 id: 290 unit: override fun createComponent() file: src/main/kotlin/org/arend/editor/ArendSmartKeysConfigurable.kt start line: 27 end line: 39 size: 12 LOC McCabe index: 1 number of parameters: 0 id: 291 unit: fun apply() file: src/main/kotlin/org/arend/editor/ArendSettingsView.kt start line: 59 end line: 73 size: 12 LOC McCabe index: 1 number of parameters: 0 id: 292 unit: override fun insertFirstCoClause() file: src/main/kotlin/org/arend/quickfix/implementCoClause/FirstCoClauseInserters.kt start line: 54 end line: 66 size: 12 LOC McCabe index: 4 number of parameters: 3 id: 293 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/MisplacedImportQuickFix.kt start line: 25 end line: 38 size: 12 LOC McCabe index: 4 number of parameters: 3 id: 294 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/InteractiveGoalSolverQuickFix.kt start line: 28 end line: 39 size: 12 LOC McCabe index: 3 number of parameters: 3 id: 295 unit: override fun toString() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 121 end line: 133 size: 12 LOC McCabe index: 3 number of parameters: 0 id: 296 unit: override fun getExpressions() file: src/main/kotlin/org/arend/scratch/ArendScratchFile.kt start line: 18 end line: 29 size: 12 LOC McCabe index: 2 number of parameters: 1 id: 297 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/ArendLongNameExpr.kt start line: 22 end line: 33 size: 12 LOC McCabe index: 4 number of parameters: 2 id: 298 unit: override fun getGeneratedItems() file: src/main/kotlin/org/arend/navigation/ArendSymbolNavigationContributor.kt start line: 16 end line: 27 size: 12 LOC McCabe index: 2 number of parameters: 1 id: 299 unit: override fun getConcrete() file: src/main/kotlin/org/arend/resolving/PsiConcreteProvider.kt start line: 108 end line: 121 size: 12 LOC McCabe index: 3 number of parameters: 1 id: 300 unit: fun hasLfBefore() file: src/main/kotlin/org/arend/formatting/block/AbstractArendBlock.kt start line: 51 end line: 62 size: 12 LOC McCabe index: 5 number of parameters: 1 id: 301 unit: override fun getChildAttributes() file: src/main/kotlin/org/arend/formatting/block/ArgumentAppExprBlock.kt start line: 34 end line: 50 size: 12 LOC McCabe index: 5 number of parameters: 1 id: 302 unit: override fun findUsages() file: src/main/kotlin/org/arend/refactoring/ArendMoveFileHandler.kt start line: 49 end line: 61 size: 12 LOC McCabe index: 2 number of parameters: 4 id: 303 unit: fun calculateRelevantNsId() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 268 end line: 279 size: 12 LOC McCabe index: 6 number of parameters: 4 id: 304 unit: override fun documentChanged() file: src/main/kotlin/org/arend/yaml/YAMLFileListener.kt start line: 26 end line: 37 size: 12 LOC McCabe index: 3 number of parameters: 1 id: 305 unit: fun getTypecheckingErrors() file: src/main/kotlin/org/arend/typechecking/error/ErrorService.kt start line: 122 end line: 134 size: 12 LOC McCabe index: 2 number of parameters: 1 id: 306 unit: override fun afterLibraryLoading() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 97 end line: 108 size: 12 LOC McCabe index: 5 number of parameters: 3 id: 307 unit: fun findInstances() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 250 end line: 261 size: 12 LOC McCabe index: 4 number of parameters: 2 id: 308 unit: fun updateDefinition() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 447 end line: 458 size: 12 LOC McCabe index: 3 number of parameters: 1 id: 309 unit: override fun init() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 187 end line: 198 size: 12 LOC McCabe index: 3 number of parameters: 0 id: 310 unit: fun indexOfEntry() file: src/main/kotlin/org/arend/tracer/ArendTrace.kt start line: 13 end line: 24 size: 12 LOC McCabe index: 1 number of parameters: 1 id: 311 unit: fun getThisParameter() file: src/main/kotlin/org/arend/codeInsight/ArendCodeInsightUtils.kt start line: 41 end line: 54 size: 12 LOC McCabe index: 7 number of parameters: 1 id: 312 unit: fun run() file: src/main/kotlin/org/arend/intention/binOp/BinOpSeqProcessor.kt start line: 16 end line: 27 size: 12 LOC McCabe index: 2 number of parameters: 4 id: 313 unit: override fun initParams() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 292 end line: 304 size: 12 LOC McCabe index: 3 number of parameters: 1 id: 314 unit: override fun resolveNamespace() file: src/main/kotlin/org/arend/module/ModuleScope.kt start line: 77 end line: 88 size: 12 LOC McCabe index: 9 number of parameters: 2 id: 315 unit: fun findArendFileOrDirectoryByModulePath() file: src/main/kotlin/org/arend/module/config/LibraryConfig.kt start line: 243 end line: 254 size: 12 LOC McCabe index: 3 number of parameters: 2 id: 316 unit: override fun setSelected() file: src/main/kotlin/org/arend/toolWindow/errors/ArendPrintOptionsFilterAction.kt start line: 26 end line: 37 size: 12 LOC McCabe index: 3 number of parameters: 2 id: 317 unit: fun activate() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesService.kt start line: 39 end line: 50 size: 12 LOC McCabe index: 2 number of parameters: 2 id: 318 unit: fun scrollPathToVisibleVertical() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTree.kt start line: 70 end line: 81 size: 12 LOC McCabe index: 2 number of parameters: 1 id: 319 unit: fun getExistingPrefix() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTree.kt start line: 83 end line: 94 size: 12 LOC McCabe index: 4 number of parameters: 1 id: 320 unit: override fun visitLam() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 280 end line: 291 size: 12 LOC McCabe index: 5 number of parameters: 2 id: 321 unit: override fun doStart() file: src/main/kotlin/org/arend/ui/impl/session/ArendEditorSession.kt start line: 77 end line: 89 size: 12 LOC McCabe index: 3 number of parameters: 0 id: 322 unit: override fun buildFoldRegions() file: src/main/kotlin/org/arend/folding/ArendFoldingBuilder.kt start line: 20 end line: 30 size: 11 LOC McCabe index: 2 number of parameters: 3 id: 323 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveLevelQuickFix.kt start line: 24 end line: 34 size: 11 LOC McCabe index: 3 number of parameters: 3 id: 324 unit: override fun onFinished() file: src/main/kotlin/org/arend/quickfix/instance/InstanceInferenceQuickFix.kt start line: 60 end line: 85 size: 11 LOC McCabe index: 6 number of parameters: 0 id: 325 unit: override fun accept() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 44 end line: 54 size: 11 LOC McCabe index: 3 number of parameters: 2 id: 326 unit: fun executeScratch() file: src/main/kotlin/org/arend/scratch/actions/ArendRunScratchAction.kt start line: 44 end line: 54 size: 11 LOC McCabe index: 4 number of parameters: 0 id: 327 unit: override fun update() file: src/main/kotlin/org/arend/scratch/actions/ArendRunScratchAction.kt start line: 84 end line: 98 size: 11 LOC McCabe index: 2 number of parameters: 1 id: 328 unit: fun createImportCommand() file: src/main/kotlin/org/arend/psi/ArendPsiFactory.kt start line: 172 end line: 182 size: 11 LOC McCabe index: 3 number of parameters: 2 id: 329 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/ArendCaseExpr.kt start line: 27 end line: 37 size: 11 LOC McCabe index: 1 number of parameters: 2 id: 330 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/ArendNewExpr.kt start line: 41 end line: 51 size: 11 LOC McCabe index: 7 number of parameters: 2 id: 331 unit: override fun doCollectInformation() file: src/main/kotlin/org/arend/highlight/ArendUnusedImportHighlightingPass.kt start line: 36 end line: 47 size: 11 LOC McCabe index: 2 number of parameters: 1 id: 332 unit: override fun getParent() file: src/main/kotlin/org/arend/navigation/ArendNavBarExtension.kt start line: 55 end line: 65 size: 11 LOC McCabe index: 3 number of parameters: 1 id: 333 unit: override fun childrenFromNodeAndProviders() file: src/main/kotlin/org/arend/navigation/ArendNavBarExtension.kt start line: 96 end line: 106 size: 11 LOC McCabe index: 3 number of parameters: 1 id: 334 unit: override fun getNames() file: src/main/kotlin/org/arend/navigation/ArendFileNavigationContributor.kt start line: 15 end line: 25 size: 11 LOC McCabe index: 1 number of parameters: 2 id: 335 unit: override fun visitPi() file: src/main/kotlin/org/arend/resolving/util/ReferableExtractVisitor.kt start line: 119 end line: 131 size: 11 LOC McCabe index: 5 number of parameters: 4 id: 336 unit: override fun customizeSettings() file: src/main/kotlin/org/arend/formatting/ArendCodeStyleSettingsProvider.kt start line: 32 end line: 42 size: 11 LOC McCabe index: 2 number of parameters: 2 id: 337 unit: fun collectClassMembers() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveRefactoringProcessor.kt start line: 608 end line: 619 size: 11 LOC McCabe index: 7 number of parameters: 2 id: 338 unit: override fun beforeShowCallback() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveMembersDialog.kt start line: 160 end line: 170 size: 11 LOC McCabe index: 3 number of parameters: 0 id: 339 unit: override fun getSuggestedNames() file: src/main/kotlin/org/arend/refactoring/rename/ArendAliasNameSuggestionProvider.kt start line: 9 end line: 19 size: 11 LOC McCabe index: 3 number of parameters: 3 id: 340 unit: fun isMoreSpecific() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 99 end line: 109 size: 11 LOC McCabe index: 9 number of parameters: 2 id: 341 unit: override fun metaResolved() file: src/main/kotlin/org/arend/refactoring/ArendSubExprUtils.kt start line: 101 end line: 111 size: 11 LOC McCabe index: 4 number of parameters: 5 id: 342 unit: fun usingListToString() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 240 end line: 250 size: 11 LOC McCabe index: 4 number of parameters: 1 id: 343 unit: override fun canClose() file: src/main/kotlin/org/arend/refactoring/ArendRenameModuleHandler.kt start line: 30 end line: 40 size: 11 LOC McCabe index: 2 number of parameters: 1 id: 344 unit: override fun get() file: src/main/kotlin/org/arend/typechecking/PsiInstanceProviderSet.kt start line: 15 end line: 26 size: 11 LOC McCabe index: 3 number of parameters: 1 id: 345 unit: override fun checkExpr() file: src/main/kotlin/org/arend/typechecking/ArendExpressionTypechecker.kt start line: 23 end line: 33 size: 11 LOC McCabe index: 4 number of parameters: 2 id: 346 unit: fun getElementAtRange() file: src/main/kotlin/org/arend/tracer/ArendTraceAction.kt start line: 92 end line: 102 size: 11 LOC McCabe index: 3 number of parameters: 2 id: 347 unit: fun update() file: src/main/kotlin/org/arend/tracer/ArendTraceContextView.kt start line: 20 end line: 30 size: 11 LOC McCabe index: 2 number of parameters: 1 id: 348 unit: override fun findElementForUpdatingParameterInfo() file: src/main/kotlin/org/arend/codeInsight/ArendParameterInfoHandler.kt start line: 78 end line: 88 size: 11 LOC McCabe index: 2 number of parameters: 1 id: 349 unit: override fun createComponent() file: src/main/kotlin/org/arend/codeInsight/hints/ArendParametersInlayProvider.kt start line: 122 end line: 132 size: 11 LOC McCabe index: 1 number of parameters: 1 id: 350 unit: fun getParameters() file: src/main/kotlin/org/arend/codeInsight/ArendCodeInsightUtils.kt start line: 408 end line: 418 size: 11 LOC McCabe index: 2 number of parameters: 1 id: 351 unit: override fun collectNotificationData() file: src/main/kotlin/org/arend/notification/FileOutsideSourcesProvider.kt start line: 21 end line: 32 size: 11 LOC McCabe index: 6 number of parameters: 2 id: 352 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt start line: 234 end line: 246 size: 11 LOC McCabe index: 3 number of parameters: 1 id: 353 unit: fun setupFromConfig() file: src/main/kotlin/org/arend/module/ModuleSynchronizer.kt start line: 162 end line: 172 size: 11 LOC McCabe index: 3 number of parameters: 2 id: 354 unit: override fun _commit() file: src/main/kotlin/org/arend/module/starter/ArendStarterLibrariesStep.kt start line: 72 end line: 83 size: 11 LOC McCabe index: 3 number of parameters: 1 id: 355 unit: fun toAbsolute() file: src/main/kotlin/org/arend/module/config/ArendModuleConfiguration.kt start line: 73 end line: 83 size: 11 LOC McCabe index: 2 number of parameters: 2 id: 356 unit: override fun findClass() file: src/main/kotlin/org/arend/module/IntellijClassLoaderDelegate.kt start line: 8 end line: 19 size: 11 LOC McCabe index: 3 number of parameters: 1 id: 357 unit: override fun checkExpr() file: src/main/kotlin/org/arend/toolWindow/repl/IntellijRepl.kt start line: 126 end line: 136 size: 11 LOC McCabe index: 1 number of parameters: 3 id: 358 unit: override fun projectClosing() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesView.kt start line: 159 end line: 169 size: 11 LOC McCabe index: 2 number of parameters: 1 id: 359 unit: fun setEnabled() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollFromSource.kt start line: 36 end line: 46 size: 11 LOC McCabe index: 8 number of parameters: 2 id: 360 unit: override fun visitVList() file: src/main/kotlin/org/arend/toolWindow/errors/JDocBuilder.kt start line: 14 end line: 24 size: 11 LOC McCabe index: 2 number of parameters: 2 id: 361 unit: override fun visitReference() file: src/main/kotlin/org/arend/util/FreeVariablesWithDependenciesCollector.kt start line: 40 end line: 50 size: 11 LOC McCabe index: 2 number of parameters: 2 id: 362 unit: fun getDoc() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 253 end line: 263 size: 11 LOC McCabe index: 2 number of parameters: 4 id: 363 unit: override fun doApplyInformationToEditor() file: src/main/kotlin/org/arend/injection/InjectionHighlightingPass.kt start line: 80 end line: 91 size: 11 LOC McCabe index: 3 number of parameters: 0 id: 364 unit: override fun visitTuple() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 178 end line: 188 size: 11 LOC McCabe index: 3 number of parameters: 2 id: 365 unit: override fun visitTyped() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 190 end line: 200 size: 11 LOC McCabe index: 4 number of parameters: 2 id: 366 unit: override fun visitGoal() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 245 end line: 255 size: 11 LOC McCabe index: 3 number of parameters: 2 id: 367 unit: override fun prettyPrintClassFieldImpl() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 257 end line: 267 size: 11 LOC McCabe index: 5 number of parameters: 1 id: 368 unit: override fun mouseClicked() file: src/main/kotlin/org/arend/ui/ArendManipulateImplicitArgumentComponent.kt start line: 106 end line: 116 size: 11 LOC McCabe index: 2 number of parameters: 1 id: 369 unit: override fun mouseClicked() file: src/main/kotlin/org/arend/ui/ArendManipulateImplicitArgumentComponent.kt start line: 137 end line: 147 size: 11 LOC McCabe index: 2 number of parameters: 1 id: 370 unit: window.onload = function() file: src/main/html/highlight-hover.js start line: 6 end line: 24 size: 11 LOC McCabe index: 3 number of parameters: 0 id: 371 unit: override fun createTrees() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyBrowser.kt start line: 66 end line: 77 size: 10 LOC McCabe index: 1 number of parameters: 1 id: 372 unit: fun reset() file: src/main/kotlin/org/arend/editor/ArendSettingsView.kt start line: 75 end line: 87 size: 10 LOC McCabe index: 1 number of parameters: 0 id: 373 unit: override fun isAvailable() file: src/main/kotlin/org/arend/quickfix/AddMissingArgumentsQuickFix.kt start line: 25 end line: 34 size: 10 LOC McCabe index: 3 number of parameters: 3 id: 374 unit: override fun insertFirstCoClause() file: src/main/kotlin/org/arend/quickfix/implementCoClause/FirstCoClauseInserters.kt start line: 82 end line: 91 size: 10 LOC McCabe index: 2 number of parameters: 3 id: 375 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/replacers/ReplaceWithWildcardPatternQuickFix.kt start line: 23 end line: 33 size: 10 LOC McCabe index: 3 number of parameters: 3 id: 376 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/referenceResolve/ArendImportHintAction.kt start line: 86 end line: 97 size: 10 LOC McCabe index: 5 number of parameters: 3 id: 377 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveAsPatternQuickFix.kt start line: 22 end line: 31 size: 10 LOC McCabe index: 2 number of parameters: 3 id: 378 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveCoClauseQuickFix.kt start line: 25 end line: 35 size: 10 LOC McCabe index: 5 number of parameters: 3 id: 379 unit: override fun componentResized() file: src/main/kotlin/org/arend/graph/GraphSimulator.kt start line: 110 end line: 121 size: 10 LOC McCabe index: 1 number of parameters: 1 id: 380 unit: override fun parseContents() file: src/main/kotlin/org/arend/psi/ArendExpressionCodeFragment.kt start line: 50 end line: 59 size: 10 LOC McCabe index: 1 number of parameters: 1 id: 381 unit: fun getClassReferenceData() file: src/main/kotlin/org/arend/psi/ext/CoClauseBase.kt start line: 45 end line: 55 size: 10 LOC McCabe index: 2 number of parameters: 1 id: 382 unit: override fun dropTypechecked() file: src/main/kotlin/org/arend/psi/ext/ReferableBase.kt start line: 95 end line: 104 size: 10 LOC McCabe index: 1 number of parameters: 0 id: 383 unit: fun isInDynamicPart() file: src/main/kotlin/org/arend/psi/PsiElementUtils.kt start line: 380 end line: 389 size: 10 LOC McCabe index: 6 number of parameters: 1 id: 384 unit: fun resolveCached() file: src/main/kotlin/org/arend/resolving/ArendResolveCache.kt start line: 47 end line: 59 size: 10 LOC McCabe index: 4 number of parameters: 1 id: 385 unit: override fun visitBinOpSequence() file: src/main/kotlin/org/arend/resolving/util/ReferableExtractVisitor.kt start line: 87 end line: 96 size: 10 LOC McCabe index: 3 number of parameters: 4 id: 386 unit: override fun execute() file: src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt start line: 331 end line: 342 size: 10 LOC McCabe index: 2 number of parameters: 0 id: 387 unit: override fun setValue() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendParameterTableModel.kt start line: 36 end line: 45 size: 10 LOC McCabe index: 6 number of parameters: 2 id: 388 unit: override fun compareTo() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendUsageInfo.kt start line: 32 end line: 41 size: 10 LOC McCabe index: 9 number of parameters: 1 id: 389 unit: fun calculateUsagesOf() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 337 end line: 346 size: 10 LOC McCabe index: 4 number of parameters: 1 id: 390 unit: override fun findUsages() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 240 end line: 251 size: 10 LOC McCabe index: 2 number of parameters: 0 id: 391 unit: fun shouldBeIncluded() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 281 end line: 290 size: 10 LOC McCabe index: 3 number of parameters: 3 id: 392 unit: fun executeProxyAction() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 230 end line: 239 size: 10 LOC McCabe index: 2 number of parameters: 2 id: 393 unit: fun executeProxyAction() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 241 end line: 250 size: 10 LOC McCabe index: 2 number of parameters: 2 id: 394 unit: override fun visitReference() file: src/main/kotlin/org/arend/typechecking/error/TypecheckingErrorReporter.kt start line: 120 end line: 129 size: 10 LOC McCabe index: 3 number of parameters: 2 id: 395 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/search/proof/GearActionGroup.kt start line: 23 end line: 32 size: 10 LOC McCabe index: 4 number of parameters: 1 id: 396 unit: override fun checkExpr() file: src/main/kotlin/org/arend/tracer/ArendTracingTypechecker.kt start line: 30 end line: 39 size: 10 LOC McCabe index: 1 number of parameters: 2 id: 397 unit: fun ancestorsUntil() file: src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionContributor.kt start line: 855 end line: 864 size: 10 LOC McCabe index: 5 number of parameters: 1 id: 398 unit: override fun invoke() file: src/main/kotlin/org/arend/intention/SwapInfixOperatorArgumentsIntention.kt start line: 22 end line: 31 size: 10 LOC McCabe index: 1 number of parameters: 3 id: 399 unit: override fun applyTo() file: src/main/kotlin/org/arend/intention/ReplaceWithShortNameIntention.kt start line: 18 end line: 27 size: 10 LOC McCabe index: 4 number of parameters: 3 id: 400 unit: fun cleanup() file: src/main/kotlin/org/arend/intention/generating/LetWrappingOptionEditorRenderer.kt start line: 35 end line: 44 size: 10 LOC McCabe index: 2 number of parameters: 0 id: 401 unit: override fun isAvailable() file: src/main/kotlin/org/arend/intention/SelectionIntention.kt start line: 33 end line: 42 size: 10 LOC McCabe index: 5 number of parameters: 3 id: 402 unit: fun getSelectedLibraries() file: src/main/kotlin/org/arend/module/starter/ArendStarterLibrariesStep.kt start line: 248 end line: 257 size: 10 LOC McCabe index: 3 number of parameters: 0 id: 403 unit: override fun getElements() file: src/main/kotlin/org/arend/module/AllModulesScope.kt start line: 13 end line: 22 size: 10 LOC McCabe index: 1 number of parameters: 0 id: 404 unit: override fun print() file: src/main/kotlin/org/arend/toolWindow/repl/ArendReplExecutionHandler.kt start line: 31 end line: 40 size: 10 LOC McCabe index: 4 number of parameters: 1 id: 405 unit: fun update() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesService.kt start line: 56 end line: 65 size: 10 LOC McCabe index: 3 number of parameters: 0 id: 406 unit: override fun visitReference() file: src/main/kotlin/org/arend/injection/CollectingDocStringBuilder.kt start line: 20 end line: 29 size: 10 LOC McCabe index: 2 number of parameters: 2 id: 407 unit: override fun getLanguagesToInject() file: src/main/kotlin/org/arend/injection/ArendLanguageInjector.kt start line: 10 end line: 19 size: 10 LOC McCabe index: 3 number of parameters: 2 id: 408 unit: override fun visitSigma() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 234 end line: 243 size: 10 LOC McCabe index: 5 number of parameters: 2 id: 409 unit: override fun visitPi() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 269 end line: 278 size: 10 LOC McCabe index: 4 number of parameters: 2 id: 410 unit: override fun showMessage() file: src/main/kotlin/org/arend/ui/impl/ArendEditorUI.kt start line: 13 end line: 22 size: 10 LOC McCabe index: 3 number of parameters: 2 id: 411 unit: override fun showErrorMessage() file: src/main/kotlin/org/arend/ui/impl/ArendEditorUI.kt start line: 24 end line: 33 size: 10 LOC McCabe index: 3 number of parameters: 2 id: 412 unit: override fun getChildren() file: src/main/kotlin/org/arend/actions/ArendToolbarGroup.kt start line: 8 end line: 17 size: 10 LOC McCabe index: 2 number of parameters: 1 id: 413 unit: fun unmarkDirectory() file: src/main/kotlin/org/arend/actions/mark/ArendMarkActionUtils.kt start line: 165 end line: 174 size: 10 LOC McCabe index: 1 number of parameters: 2 id: 414 unit: override fun changeView() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyBrowser.kt start line: 56 end line: 64 size: 9 LOC McCabe index: 2 number of parameters: 1 id: 415 unit: fun makeFieldList() file: src/main/kotlin/org/arend/quickfix/implementCoClause/InstanceQuickFix.kt start line: 131 end line: 139 size: 9 LOC McCabe index: 4 number of parameters: 2 id: 416 unit: override fun insertFirstCoClause() file: src/main/kotlin/org/arend/quickfix/implementCoClause/FirstCoClauseInserters.kt start line: 70 end line: 78 size: 9 LOC McCabe index: 2 number of parameters: 3 id: 417 unit: override fun onChosen() file: src/main/kotlin/org/arend/quickfix/referenceResolve/ArendAddImportAction.kt start line: 62 end line: 71 size: 9 LOC McCabe index: 3 number of parameters: 2 id: 418 unit: override fun getTextStartOffset() file: src/main/kotlin/org/arend/ArendImplementationTextSelectioner.kt start line: 12 end line: 20 size: 9 LOC McCabe index: 3 number of parameters: 1 id: 419 unit: override fun processHelper() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 150 end line: 161 size: 9 LOC McCabe index: 5 number of parameters: 1 id: 420 unit: override fun contains() file: src/main/kotlin/org/arend/psi/ArendFileScope.kt start line: 10 end line: 18 size: 9 LOC McCabe index: 3 number of parameters: 1 id: 421 unit: fun createLam() file: src/main/kotlin/org/arend/psi/ArendPsiFactory.kt start line: 149 end line: 157 size: 9 LOC McCabe index: 1 number of parameters: 2 id: 422 unit: fun isPLevels() file: src/main/kotlin/org/arend/psi/ext/ArendTopLevelLevelExpr.kt start line: 7 end line: 15 size: 9 LOC McCabe index: 2 number of parameters: 0 id: 423 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/Universes.kt start line: 61 end line: 69 size: 9 LOC McCabe index: 1 number of parameters: 2 id: 424 unit: fun isApplicationUsedAsBinOpArgument() file: src/main/kotlin/org/arend/highlight/RedundantParensPass.kt start line: 62 end line: 70 size: 9 LOC McCabe index: 7 number of parameters: 2 id: 425 unit: override fun postProcessEnter() file: src/main/kotlin/org/arend/formatting/ArendEnterAtIndentHandler.kt start line: 81 end line: 90 size: 9 LOC McCabe index: 1 number of parameters: 3 id: 426 unit: fun getGrandParentAlignment() file: src/main/kotlin/org/arend/formatting/block/AbstractArendBlock.kt start line: 31 end line: 39 size: 9 LOC McCabe index: 3 number of parameters: 0 id: 427 unit: override fun buildChildren() file: src/main/kotlin/org/arend/formatting/block/ArgumentAppExprBlock.kt start line: 20 end line: 30 size: 9 LOC McCabe index: 4 number of parameters: 0 id: 428 unit: fun getReturnExpr() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeInfo.kt start line: 144 end line: 152 size: 9 LOC McCabe index: 1 number of parameters: 1 id: 429 unit: fun getContextName() file: src/main/kotlin/org/arend/refactoring/changeSignature/entries/UsageEntry.kt start line: 259 end line: 267 size: 9 LOC McCabe index: 2 number of parameters: 3 id: 430 unit: override fun invoke() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 87 end line: 95 size: 9 LOC McCabe index: 5 number of parameters: 4 id: 431 unit: fun doGetClassifyingField() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 421 end line: 432 size: 9 LOC McCabe index: 5 number of parameters: 2 id: 432 unit: fun getFirstExplicitParameter() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 561 end line: 569 size: 9 LOC McCabe index: 3 number of parameters: 2 id: 433 unit: override fun navigate() file: src/main/kotlin/org/arend/typechecking/error/PsiHyperlinkInfo.kt start line: 34 end line: 42 size: 9 LOC McCabe index: 2 number of parameters: 1 id: 434 unit: fun mapToTypeDiffInfo() file: src/main/kotlin/org/arend/typechecking/error/PsiHyperlinkInfo.kt start line: 45 end line: 53 size: 9 LOC McCabe index: 3 number of parameters: 1 id: 435 unit: override fun getRegisteredLibraries() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 87 end line: 95 size: 9 LOC McCabe index: 3 number of parameters: 0 id: 436 unit: fun registerSearchAttempt() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 314 end line: 322 size: 9 LOC McCabe index: 3 number of parameters: 0 id: 437 unit: override fun perform() file: src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt start line: 185 end line: 193 size: 9 LOC McCabe index: 2 number of parameters: 2 id: 438 unit: override fun perform() file: src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt start line: 197 end line: 205 size: 9 LOC McCabe index: 2 number of parameters: 2 id: 439 unit: fun appendQuestionMark() file: src/main/kotlin/org/arend/codeInsight/ArendParameterInfoHandler.kt start line: 21 end line: 29 size: 9 LOC McCabe index: 9 number of parameters: 0 id: 440 unit: override fun visitFunCall() file: src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt start line: 427 end line: 435 size: 9 LOC McCabe index: 2 number of parameters: 2 id: 441 unit: open fun computePrefix() file: src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionContributor.kt start line: 746 end line: 754 size: 9 LOC McCabe index: 5 number of parameters: 2 id: 442 unit: override fun isApplicableTo() file: src/main/kotlin/org/arend/intention/ReplaceBracketsIntention.kt start line: 35 end line: 43 size: 9 LOC McCabe index: 3 number of parameters: 3 id: 443 unit: override fun applyTo() file: src/main/kotlin/org/arend/intention/ReplaceBracketsIntention.kt start line: 60 end line: 70 size: 9 LOC McCabe index: 3 number of parameters: 3 id: 444 unit: fun renderOption() file: src/main/kotlin/org/arend/intention/generating/LetWrappingOptionEditorRenderer.kt start line: 49 end line: 58 size: 9 LOC McCabe index: 2 number of parameters: 2 id: 445 unit: fun removeCaretMarker() file: src/main/kotlin/org/arend/intention/binOp/CaretHelper.kt start line: 15 end line: 23 size: 9 LOC McCabe index: 3 number of parameters: 1 id: 446 unit: override fun isAvailable() file: src/main/kotlin/org/arend/intention/ExtractExpressionToFunctionIntention.kt start line: 42 end line: 50 size: 9 LOC McCabe index: 3 number of parameters: 3 id: 447 unit: override fun loadCommands() file: src/main/kotlin/org/arend/toolWindow/repl/IntellijRepl.kt start line: 94 end line: 102 size: 9 LOC McCabe index: 1 number of parameters: 0 id: 448 unit: override fun mouseClicked() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTree.kt start line: 35 end line: 43 size: 9 LOC McCabe index: 2 number of parameters: 1 id: 449 unit: override fun visitClassCall() file: src/main/kotlin/org/arend/util/FreeVariablesWithDependenciesCollector.kt start line: 60 end line: 68 size: 9 LOC McCabe index: 2 number of parameters: 2 id: 450 unit: override fun visitProj() file: src/main/kotlin/org/arend/util/FreeVariablesWithDependenciesCollector.kt start line: 128 end line: 137 size: 9 LOC McCabe index: 2 number of parameters: 2 id: 451 unit: fun getCurrentConfig() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 243 end line: 251 size: 9 LOC McCabe index: 1 number of parameters: 1 id: 452 unit: protected fun modifyDocument() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 367 end line: 375 size: 9 LOC McCabe index: 1 number of parameters: 1 id: 453 unit: override fun canImport() file: src/main/kotlin/org/arend/project/ArendProjectImportProvider.kt start line: 14 end line: 22 size: 9 LOC McCabe index: 4 number of parameters: 2 id: 454 unit: override fun close() file: src/main/kotlin/org/arend/ui/ArendEditor.kt start line: 32 end line: 40 size: 9 LOC McCabe index: 2 number of parameters: 0 id: 455 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/actions/ArendOpenInReplAction.kt start line: 20 end line: 29 size: 9 LOC McCabe index: 1 number of parameters: 1 id: 456 unit: override fun buildChildren() file: src/main/kotlin/org/arend/hierarchy/call/ArendCalleeTreeStructure.kt start line: 14 end line: 21 size: 8 LOC McCabe index: 1 number of parameters: 1 id: 457 unit: override fun buildFoldRegions() file: src/main/kotlin/org/arend/folding/ImportFoldingBuilder.kt start line: 17 end line: 25 size: 8 LOC McCabe index: 2 number of parameters: 3 id: 458 unit: override fun onChosen() file: src/main/kotlin/org/arend/quickfix/implementCoClause/ImplementFieldsQuickFix.kt start line: 196 end line: 203 size: 8 LOC McCabe index: 3 number of parameters: 2 id: 459 unit: override fun onChosen() file: src/main/kotlin/org/arend/quickfix/implementCoClause/ImplementFieldsQuickFix.kt start line: 221 end line: 228 size: 8 LOC McCabe index: 2 number of parameters: 2 id: 460 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/FieldDependencyQuickFix.kt start line: 27 end line: 37 size: 8 LOC McCabe index: 1 number of parameters: 3 id: 461 unit: fun calculateNumberOfUsages() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 349 end line: 356 size: 8 LOC McCabe index: 4 number of parameters: 1 id: 462 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/LambdaInferenceQuickFix.kt start line: 28 end line: 38 size: 8 LOC McCabe index: 1 number of parameters: 3 id: 463 unit: fun addHole() file: src/main/kotlin/org/arend/quickfix/ElimSubstQuickFix.kt start line: 75 end line: 82 size: 8 LOC McCabe index: 3 number of parameters: 0 id: 464 unit: override fun isVariable() file: src/main/kotlin/org/arend/psi/ext/ArendArgument.kt start line: 69 end line: 77 size: 8 LOC McCabe index: 3 number of parameters: 0 id: 465 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/ArendAtomFieldsAcc.kt start line: 18 end line: 25 size: 8 LOC McCabe index: 2 number of parameters: 2 id: 466 unit: override fun getTypeClassReference() file: src/main/kotlin/org/arend/psi/ext/Identifiers.kt start line: 126 end line: 133 size: 8 LOC McCabe index: 2 number of parameters: 0 id: 467 unit: fun insertLineBreak() file: src/main/kotlin/org/arend/formatting/ArendEnterAtIndentHandler.kt start line: 121 end line: 128 size: 8 LOC McCabe index: 1 number of parameters: 3 id: 468 unit: fun isVisible() file: src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt start line: 187 end line: 197 size: 8 LOC McCabe index: 6 number of parameters: 2 id: 469 unit: fun calculateReferenceName() file: src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt start line: 200 end line: 207 size: 8 LOC McCabe index: 3 number of parameters: 4 id: 470 unit: fun modifySignature() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeInfo.kt start line: 75 end line: 82 size: 8 LOC McCabe index: 6 number of parameters: 0 id: 471 unit: fun processFragment() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 162 end line: 169 size: 8 LOC McCabe index: 3 number of parameters: 1 id: 472 unit: fun checkFragment() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 180 end line: 187 size: 8 LOC McCabe index: 1 number of parameters: 2 id: 473 unit: override fun invoke() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureHandler.kt start line: 21 end line: 29 size: 8 LOC McCabe index: 7 number of parameters: 3 id: 474 unit: override fun createMemberRenamer() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 38 end line: 47 size: 8 LOC McCabe index: 5 number of parameters: 3 id: 475 unit: override fun isAvailable() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 49 end line: 56 size: 8 LOC McCabe index: 6 number of parameters: 3 id: 476 unit: override fun getChildren() file: src/main/kotlin/org/arend/projectView/ArendProjectViewStructureProvider.kt start line: 58 end line: 65 size: 8 LOC McCabe index: 2 number of parameters: 0 id: 477 unit: override fun resetEditorFrom() file: src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunConfigurationEditor.kt start line: 64 end line: 71 size: 8 LOC McCabe index: 1 number of parameters: 1 id: 478 unit: override fun applyEditorTo() file: src/main/kotlin/org/arend/typechecking/execution/TypeCheckRunConfigurationEditor.kt start line: 73 end line: 80 size: 8 LOC McCabe index: 1 number of parameters: 1 id: 479 unit: fun onTestFinished() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 190 end line: 197 size: 8 LOC McCabe index: 1 number of parameters: 1 id: 480 unit: protected open fun typecheckingFinished() file: src/main/kotlin/org/arend/typechecking/ArendTypechecking.kt start line: 30 end line: 37 size: 8 LOC McCabe index: 2 number of parameters: 2 id: 481 unit: override fun navigate() file: src/main/kotlin/org/arend/typechecking/error/PsiHyperlinkInfo.kt start line: 56 end line: 65 size: 8 LOC McCabe index: 1 number of parameters: 1 id: 482 unit: fun checkAllowed() file: src/main/kotlin/org/arend/search/proof/ProofSearchUtils.kt start line: 251 end line: 258 size: 8 LOC McCabe index: 6 number of parameters: 1 id: 483 unit: fun getThisParameterAsList() file: src/main/kotlin/org/arend/codeInsight/ArendCodeInsightUtils.kt start line: 56 end line: 63 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 484 unit: override fun run() file: src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt start line: 71 end line: 78 size: 8 LOC McCabe index: 2 number of parameters: 0 id: 485 unit: override fun elementFinished() file: src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt start line: 453 end line: 460 size: 8 LOC McCabe index: 3 number of parameters: 1 id: 486 unit: open fun createFromReferable() file: src/main/kotlin/org/arend/codeInsight/ParameterDescriptor.kt start line: 81 end line: 88 size: 8 LOC McCabe index: 1 number of parameters: 2 id: 487 unit: protected fun invokeRenamer() file: src/main/kotlin/org/arend/intention/AbstractGenerateFunctionIntention.kt start line: 285 end line: 292 size: 8 LOC McCabe index: 1 number of parameters: 3 id: 488 unit: override fun isAvailable() file: src/main/kotlin/org/arend/intention/RemoveClarifyingParensIntention.kt start line: 21 end line: 28 size: 8 LOC McCabe index: 1 number of parameters: 3 id: 489 unit: override fun invoke() file: src/main/kotlin/org/arend/intention/RemoveClarifyingParensIntention.kt start line: 30 end line: 37 size: 8 LOC McCabe index: 1 number of parameters: 3 id: 490 unit: override fun isApplicableTo() file: src/main/kotlin/org/arend/intention/ImplementFieldsInCoClauseIntention.kt start line: 15 end line: 22 size: 8 LOC McCabe index: 2 number of parameters: 3 id: 491 unit: override fun isAvailable() file: src/main/kotlin/org/arend/intention/generating/CreateLetBindingIntention.kt start line: 64 end line: 71 size: 8 LOC McCabe index: 2 number of parameters: 3 id: 492 unit: override fun visitLet() file: src/main/kotlin/org/arend/intention/generating/ShrinkAbstractVisitor.kt start line: 84 end line: 91 size: 8 LOC McCabe index: 2 number of parameters: 6 id: 493 unit: override fun isApplicableTo() file: src/main/kotlin/org/arend/intention/ChangeArgumentExplicitnessIntention.kt start line: 18 end line: 26 size: 8 LOC McCabe index: 7 number of parameters: 3 id: 494 unit: override fun isAvailable() file: src/main/kotlin/org/arend/intention/GenerateFunctionFromGoalIntention.kt start line: 39 end line: 46 size: 8 LOC McCabe index: 3 number of parameters: 3 id: 495 unit: override fun visitApp() file: src/main/kotlin/org/arend/intention/GenerateFunctionFromGoalIntention.kt start line: 120 end line: 127 size: 8 LOC McCabe index: 2 number of parameters: 2 id: 496 unit: override fun invoke() file: src/main/kotlin/org/arend/intention/SelectionIntention.kt start line: 44 end line: 51 size: 8 LOC McCabe index: 4 number of parameters: 3 id: 497 unit: override fun updateOtherLists() file: src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt start line: 117 end line: 124 size: 8 LOC McCabe index: 3 number of parameters: 0 id: 498 unit: override fun getCustomOptionsStep() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 129 end line: 137 size: 8 LOC McCabe index: 1 number of parameters: 2 id: 499 unit: override fun resetGroup() file: src/main/kotlin/org/arend/module/ArendRawLibrary.kt start line: 104 end line: 111 size: 8 LOC McCabe index: 1 number of parameters: 1 id: 500 unit: override fun getElements() file: src/main/kotlin/org/arend/module/ArendPreludeScope.kt start line: 13 end line: 20 size: 8 LOC McCabe index: 1 number of parameters: 0 id: 501 unit: fun clearAdditionalModules() file: src/main/kotlin/org/arend/module/config/LibraryConfig.kt start line: 120 end line: 127 size: 8 LOC McCabe index: 2 number of parameters: 0 id: 502 unit: override fun moduleRemoved() file: src/main/kotlin/org/arend/module/config/ArendModuleStructureExtension.kt start line: 9 end line: 16 size: 8 LOC McCabe index: 3 number of parameters: 1 id: 503 unit: fun updateSourceDirFromIDEA() file: src/main/kotlin/org/arend/module/config/ArendModuleConfigService.kt start line: 265 end line: 272 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 504 unit: fun updateTestDirFromIDEA() file: src/main/kotlin/org/arend/module/config/ArendModuleConfigService.kt start line: 274 end line: 281 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 505 unit: fun updateBinDirFromIDEA() file: src/main/kotlin/org/arend/module/config/ArendModuleConfigService.kt start line: 283 end line: 290 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 506 unit: override fun load() file: src/main/kotlin/org/arend/module/ArendPreludeLibrary.kt start line: 60 end line: 68 size: 8 LOC McCabe index: 3 number of parameters: 2 id: 507 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/toolWindow/repl/ArendReplExecutionHandler.kt start line: 95 end line: 102 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 508 unit: override fun invoke() file: src/main/kotlin/org/arend/toolWindow/repl/action/ShowContextCommandIntellij.kt start line: 9 end line: 16 size: 8 LOC McCabe index: 2 number of parameters: 3 id: 509 unit: fun update() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesViewEditor.kt start line: 23 end line: 30 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 510 unit: fun updateCurrentSelection() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollFromSource.kt start line: 63 end line: 70 size: 8 LOC McCabe index: 2 number of parameters: 0 id: 511 unit: override fun visitSubst() file: src/main/kotlin/org/arend/util/FreeVariablesWithDependenciesCollector.kt start line: 70 end line: 77 size: 8 LOC McCabe index: 2 number of parameters: 2 id: 512 unit: fun refreshLibrariesDirectory() file: src/main/kotlin/org/arend/util/VirtualFileUtils.kt start line: 93 end line: 100 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 513 unit: override fun visitTermLine() file: src/main/kotlin/org/arend/injection/CollectingDocStringBuilder.kt start line: 31 end line: 38 size: 8 LOC McCabe index: 1 number of parameters: 2 id: 514 unit: override fun visitPattern() file: src/main/kotlin/org/arend/injection/CollectingDocStringBuilder.kt start line: 40 end line: 47 size: 8 LOC McCabe index: 1 number of parameters: 2 id: 515 unit: fun setupProjectStructure() file: src/main/kotlin/org/arend/project/ArendProjectStructureDetector.kt start line: 28 end line: 35 size: 8 LOC McCabe index: 2 number of parameters: 2 id: 516 unit: override fun commit() file: src/main/kotlin/org/arend/project/ArendProjectImportBuilder.kt start line: 32 end line: 39 size: 8 LOC McCabe index: 1 number of parameters: 4 id: 517 unit: fun removeTab() file: src/main/kotlin/org/arend/ui/impl/session/ArendSessionsService.kt start line: 56 end line: 63 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 518 unit: override fun embedded() file: src/main/kotlin/org/arend/ui/impl/session/ComponentSession.kt start line: 83 end line: 90 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 519 unit: protected fun endSession() file: src/main/kotlin/org/arend/ui/impl/session/ComponentSession.kt start line: 106 end line: 113 size: 8 LOC McCabe index: 3 number of parameters: 1 id: 520 unit: override fun update() file: src/main/kotlin/org/arend/actions/mark/ArendMarkResourceRootAction.kt start line: 8 end line: 15 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 521 unit: override fun update() file: src/main/kotlin/org/arend/actions/mark/ArendMarkTestSourceRootAction.kt start line: 8 end line: 15 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 522 unit: override fun update() file: src/main/kotlin/org/arend/actions/mark/ArendMarkResourceTestRootAction.kt start line: 8 end line: 15 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 523 unit: override fun update() file: src/main/kotlin/org/arend/actions/mark/ArendMarkSourceRootAction.kt start line: 8 end line: 15 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 524 unit: override fun update() file: src/main/kotlin/org/arend/actions/mark/ArendMarkBinRootAction.kt start line: 13 end line: 20 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 525 unit: override fun update() file: src/main/kotlin/org/arend/actions/mark/ArendMarkExcludeRootAction.kt start line: 12 end line: 19 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 526 unit: override fun getIcon() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendFieldHNodeDescriptor.kt start line: 14 end line: 20 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 527 unit: override fun visitElement() file: src/main/kotlin/org/arend/folding/ArendFoldingBuilder.kt start line: 45 end line: 51 size: 7 LOC McCabe index: 1 number of parameters: 1 id: 528 unit: fun doRenameDuplicateName() file: src/main/kotlin/org/arend/quickfix/RenameDuplicateNameQuickFix.kt start line: 50 end line: 56 size: 7 LOC McCabe index: 1 number of parameters: 3 id: 529 unit: override fun itemSelected() file: src/main/kotlin/org/arend/quickfix/instance/InstanceInferenceQuickFix.kt start line: 71 end line: 77 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 530 unit: override fun update() file: src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt start line: 66 end line: 72 size: 7 LOC McCabe index: 1 number of parameters: 1 id: 531 unit: override fun setSelected() file: src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt start line: 108 end line: 118 size: 7 LOC McCabe index: 2 number of parameters: 2 id: 532 unit: fun initTokenSet() file: src/main/kotlin/org/arend/psi/ArendTokenType.kt start line: 12 end line: 18 size: 7 LOC McCabe index: 1 number of parameters: 1 id: 533 unit: fun createNestedCoClause() file: src/main/kotlin/org/arend/psi/ArendPsiFactory.kt start line: 141 end line: 147 size: 7 LOC McCabe index: 1 number of parameters: 1 id: 534 unit: fun updateDefinition() file: src/main/kotlin/org/arend/psi/listener/ArendPsiChangeService.kt start line: 39 end line: 45 size: 7 LOC McCabe index: 2 number of parameters: 3 id: 535 unit: override fun getReference() file: src/main/kotlin/org/arend/psi/ext/Identifiers.kt start line: 222 end line: 228 size: 7 LOC McCabe index: 4 number of parameters: 0 id: 536 unit: override fun getOwner() file: src/main/kotlin/org/arend/psi/doc/ArendDocComment.kt start line: 20 end line: 26 size: 7 LOC McCabe index: 2 number of parameters: 0 id: 537 unit: override fun applyInformationWithProgress() file: src/main/kotlin/org/arend/highlight/TypecheckerPass.kt start line: 37 end line: 43 size: 7 LOC McCabe index: 1 number of parameters: 0 id: 538 unit: override fun visitHole() file: src/main/kotlin/org/arend/highlight/RedundantParensPass.kt start line: 51 end line: 57 size: 7 LOC McCabe index: 3 number of parameters: 2 id: 539 unit: override fun getNamedElement() file: src/main/kotlin/org/arend/highlight/ArendTargetElementEvaluator.kt start line: 15 end line: 22 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 540 unit: override fun toDataLocatedReferable() file: src/main/kotlin/org/arend/resolving/ArendReferableConverter.kt start line: 8 end line: 14 size: 7 LOC McCabe index: 1 number of parameters: 1 id: 541 unit: override fun createModel() file: src/main/kotlin/org/arend/formatting/ArendFormattingModelBuilder.kt start line: 15 end line: 21 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 542 unit: fun hasLfBefore() file: src/main/kotlin/org/arend/formatting/block/AbstractArendBlock.kt start line: 64 end line: 71 size: 7 LOC McCabe index: 3 number of parameters: 1 id: 543 unit: override fun getChildAttributes() file: src/main/kotlin/org/arend/formatting/block/GroupBlock.kt start line: 20 end line: 26 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 544 unit: override fun modulesAdded() file: src/main/kotlin/org/arend/ArendStartupActivity.kt start line: 28 end line: 34 size: 7 LOC McCabe index: 3 number of parameters: 2 id: 545 unit: override fun beforeModuleRemoved() file: src/main/kotlin/org/arend/ArendStartupActivity.kt start line: 36 end line: 42 size: 7 LOC McCabe index: 1 number of parameters: 2 id: 546 unit: override fun compareTo() file: src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt start line: 149 end line: 155 size: 7 LOC McCabe index: 6 number of parameters: 1 id: 547 unit: fun processDeferredImport() file: src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt start line: 233 end line: 239 size: 7 LOC McCabe index: 5 number of parameters: 1 id: 548 unit: fun checkShortNameInScope() file: src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt start line: 245 end line: 251 size: 7 LOC McCabe index: 4 number of parameters: 1 id: 549 unit: fun isParameterNamesChanged() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendParametersInfo.kt start line: 114 end line: 120 size: 7 LOC McCabe index: 4 number of parameters: 0 id: 550 unit: override fun createRowItem() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendParameterTableModel.kt start line: 26 end line: 33 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 551 unit: override fun getTableCellEditorComponent() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendParameterTableModel.kt start line: 58 end line: 64 size: 7 LOC McCabe index: 2 number of parameters: 5 id: 552 unit: override fun getFragmentScope() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 113 end line: 119 size: 7 LOC McCabe index: 3 number of parameters: 1 id: 553 unit: override fun execute() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 389 end line: 395 size: 7 LOC McCabe index: 1 number of parameters: 0 id: 554 unit: override fun performRefactoring() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureProcessor.kt start line: 84 end line: 91 size: 7 LOC McCabe index: 3 number of parameters: 1 id: 555 unit: fun findElementAtCaret() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 138 end line: 144 size: 7 LOC McCabe index: 8 number of parameters: 2 id: 556 unit: override fun run() file: src/main/kotlin/org/arend/refactoring/ArendSubExprUtils.kt start line: 318 end line: 324 size: 7 LOC McCabe index: 1 number of parameters: 1 id: 557 unit: override fun canRun() file: src/main/kotlin/org/arend/refactoring/ArendRenamePsiElementProcessor.kt start line: 31 end line: 37 size: 7 LOC McCabe index: 2 number of parameters: 0 id: 558 unit: fun getCorrectPreludeItemStringReference() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 231 end line: 238 size: 7 LOC McCabe index: 1 number of parameters: 3 id: 559 unit: fun surroundWithClassStat() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 443 end line: 449 size: 7 LOC McCabe index: 1 number of parameters: 2 id: 560 unit: override fun before() file: src/main/kotlin/org/arend/yaml/YAMLFileListener.kt start line: 39 end line: 45 size: 7 LOC McCabe index: 3 number of parameters: 1 id: 561 unit: override fun onStartTesting() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 45 end line: 51 size: 7 LOC McCabe index: 1 number of parameters: 0 id: 562 unit: fun onSuiteFailure() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 105 end line: 111 size: 7 LOC McCabe index: 1 number of parameters: 1 id: 563 unit: fun onTestFailure() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 182 end line: 188 size: 7 LOC McCabe index: 1 number of parameters: 2 id: 564 unit: override fun setupConfigurationFromContext() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckRunConfigurationProducer.kt start line: 27 end line: 33 size: 7 LOC McCabe index: 1 number of parameters: 3 id: 565 unit: override fun showLibraryNotFoundError() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 71 end line: 77 size: 7 LOC McCabe index: 3 number of parameters: 1 id: 566 unit: override fun showIncorrectLanguageVersionError() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 79 end line: 85 size: 7 LOC McCabe index: 2 number of parameters: 2 id: 567 unit: fun setAutoScrollFromSource() file: src/main/kotlin/org/arend/settings/ArendProjectSettings.kt start line: 36 end line: 42 size: 7 LOC McCabe index: 2 number of parameters: 2 id: 568 unit: fun setShowMessages() file: src/main/kotlin/org/arend/settings/ArendProjectSettings.kt start line: 44 end line: 50 size: 7 LOC McCabe index: 2 number of parameters: 2 id: 569 unit: override fun createHeader() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 159 end line: 165 size: 7 LOC McCabe index: 1 number of parameters: 0 id: 570 unit: override fun stop() file: src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt start line: 150 end line: 156 size: 7 LOC McCabe index: 1 number of parameters: 0 id: 571 unit: open fun typeGetter() file: src/main/kotlin/org/arend/codeInsight/ParameterDescriptor.kt start line: 70 end line: 76 size: 7 LOC McCabe index: 2 number of parameters: 2 id: 572 unit: override fun handleInsert() file: src/main/kotlin/org/arend/codeInsight/completion/ReplaceInsertHandler.kt start line: 8 end line: 14 size: 7 LOC McCabe index: 1 number of parameters: 2 id: 573 unit: override fun expressionString() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 255 end line: 262 size: 7 LOC McCabe index: 4 number of parameters: 1 id: 574 unit: override fun isAvailable() file: src/main/kotlin/org/arend/intention/AddClarifyingParensIntention.kt start line: 17 end line: 23 size: 7 LOC McCabe index: 1 number of parameters: 3 id: 575 unit: override fun invoke() file: src/main/kotlin/org/arend/intention/AddClarifyingParensIntention.kt start line: 25 end line: 31 size: 7 LOC McCabe index: 1 number of parameters: 3 id: 576 unit: fun isModuleOrLibraryExists() file: src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt start line: 84 end line: 91 size: 7 LOC McCabe index: 4 number of parameters: 1 id: 577 unit: override fun visitFile() file: src/main/kotlin/org/arend/module/AllArendFilesScope.kt start line: 58 end line: 64 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 578 unit: fun synchronizeModule() file: src/main/kotlin/org/arend/module/ModuleSynchronizer.kt start line: 48 end line: 54 size: 7 LOC McCabe index: 2 number of parameters: 2 id: 579 unit: override fun getOutputStream() file: src/main/kotlin/org/arend/module/IntellijBinarySource.kt start line: 43 end line: 49 size: 7 LOC McCabe index: 2 number of parameters: 0 id: 580 unit: fun findArendDirectory() file: src/main/kotlin/org/arend/module/config/LibraryConfig.kt start line: 139 end line: 145 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 581 unit: fun clearGoalEditor() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesView.kt start line: 323 end line: 329 size: 7 LOC McCabe index: 2 number of parameters: 0 id: 582 unit: override fun setSelected() file: src/main/kotlin/org/arend/toolWindow/errors/ArendPinGoalAction.kt start line: 21 end line: 27 size: 7 LOC McCabe index: 2 number of parameters: 2 id: 583 unit: override fun setSelected() file: src/main/kotlin/org/arend/toolWindow/errors/ArendPinErrorAction.kt start line: 21 end line: 27 size: 7 LOC McCabe index: 2 number of parameters: 2 id: 584 unit: override fun visitCaching() file: src/main/kotlin/org/arend/toolWindow/errors/JDocBuilder.kt start line: 65 end line: 77 size: 7 LOC McCabe index: 1 number of parameters: 2 id: 585 unit: override fun visitTermLine() file: src/main/kotlin/org/arend/toolWindow/errors/JDocBuilder.kt start line: 79 end line: 85 size: 7 LOC McCabe index: 1 number of parameters: 2 id: 586 unit: override fun visitPattern() file: src/main/kotlin/org/arend/toolWindow/errors/JDocBuilder.kt start line: 87 end line: 93 size: 7 LOC McCabe index: 1 number of parameters: 2 id: 587 unit: override fun visitLet() file: src/main/kotlin/org/arend/util/FreeVariablesWithDependenciesCollector.kt start line: 107 end line: 113 size: 7 LOC McCabe index: 2 number of parameters: 2 id: 588 unit: override fun undo() file: src/main/kotlin/org/arend/injection/actions/UnblockingDocumentAction.kt start line: 14 end line: 20 size: 7 LOC McCabe index: 2 number of parameters: 0 id: 589 unit: override fun redo() file: src/main/kotlin/org/arend/injection/actions/UnblockingDocumentAction.kt start line: 22 end line: 28 size: 7 LOC McCabe index: 2 number of parameters: 0 id: 590 unit: override fun getListCellRendererComponent() file: src/main/kotlin/org/arend/ui/cellRenderer/ToolTipListCellRenderer.kt start line: 9 end line: 15 size: 7 LOC McCabe index: 3 number of parameters: 5 id: 591 unit: static boolean recursion_guard_() file: src/main/java/org/arend/parser/ParserMixin.java start line: 59 end line: 65 size: 7 LOC McCabe index: 2 number of parameters: 3 id: 592 unit: override fun prependActions() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyBrowser.kt start line: 86 end line: 91 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 593 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/AddReturnKeywordQuickFix.kt start line: 26 end line: 31 size: 6 LOC McCabe index: 1 number of parameters: 3 id: 594 unit: fun printExprSubstitution() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 109 end line: 114 size: 6 LOC McCabe index: 2 number of parameters: 2 id: 595 unit: fun reportError() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 179 end line: 184 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 596 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/MakePatternExplicitQuickFix.kt start line: 54 end line: 59 size: 6 LOC McCabe index: 3 number of parameters: 3 id: 597 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemovePatternRightHandSideQuickFix.kt start line: 20 end line: 25 size: 6 LOC McCabe index: 3 number of parameters: 3 id: 598 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/GoalSolverFillingQuickFix.kt start line: 19 end line: 24 size: 6 LOC McCabe index: 1 number of parameters: 3 id: 599 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/ImplicitnessQuickFix.kt start line: 22 end line: 27 size: 6 LOC McCabe index: 1 number of parameters: 3 id: 600 unit: override fun getTransferData() file: src/main/kotlin/org/arend/graph/GraphSimulator.kt start line: 172 end line: 177 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 601 unit: override fun visitElement() file: src/main/kotlin/org/arend/scratch/ArendScratchFileCreationHelper.kt start line: 35 end line: 40 size: 6 LOC McCabe index: 3 number of parameters: 1 id: 602 unit: override fun dispose() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 173 end line: 178 size: 6 LOC McCabe index: 1 number of parameters: 0 id: 603 unit: override fun findReferenceAt() file: src/main/kotlin/org/arend/psi/ArendFile.kt start line: 226 end line: 231 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 604 unit: override fun deserialize() file: src/main/kotlin/org/arend/psi/stubs/ArendStubElementType.kt start line: 30 end line: 35 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 605 unit: fun createNameTele() file: src/main/kotlin/org/arend/psi/ArendPsiFactory.kt start line: 47 end line: 52 size: 6 LOC McCabe index: 4 number of parameters: 3 id: 606 unit: fun createLamTele() file: src/main/kotlin/org/arend/psi/ArendPsiFactory.kt start line: 54 end line: 59 size: 6 LOC McCabe index: 3 number of parameters: 3 id: 607 unit: override fun getClassReferenceData() file: src/main/kotlin/org/arend/psi/ext/ArendDefInstance.kt start line: 61 end line: 66 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 608 unit: override fun getClassReferenceData() file: src/main/kotlin/org/arend/psi/ext/ArendDefFunction.kt start line: 68 end line: 73 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 609 unit: fun addHighlightInfo() file: src/main/kotlin/org/arend/highlight/BasePass.kt start line: 109 end line: 114 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 610 unit: override fun patternParsed() file: src/main/kotlin/org/arend/highlight/ArendHighlightingPass.kt start line: 131 end line: 136 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 611 unit: override fun createHighlightingPass() file: src/main/kotlin/org/arend/highlight/ArendUnusedImportHighlightingPassFactory.kt start line: 17 end line: 22 size: 6 LOC McCabe index: 3 number of parameters: 2 id: 612 unit: override fun coPatternResolved() file: src/main/kotlin/org/arend/resolving/ArendResolverListener.kt start line: 83 end line: 88 size: 6 LOC McCabe index: 1 number of parameters: 4 id: 613 unit: fun dropCache() file: src/main/kotlin/org/arend/resolving/ArendResolveCache.kt start line: 78 end line: 83 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 614 unit: fun clear() file: src/main/kotlin/org/arend/resolving/ArendResolveCache.kt start line: 85 end line: 90 size: 6 LOC McCabe index: 1 number of parameters: 0 id: 615 unit: override fun getElements() file: src/main/kotlin/org/arend/resolving/util/ClassesUtil.kt start line: 34 end line: 39 size: 6 LOC McCabe index: 4 number of parameters: 1 id: 616 unit: fun createArendBlock() file: src/main/kotlin/org/arend/formatting/block/AbstractArendBlock.kt start line: 23 end line: 28 size: 6 LOC McCabe index: 3 number of parameters: 4 id: 617 unit: fun parseCommentPiece() file: src/main/kotlin/org/arend/formatting/block/SimpleArendBlock.kt start line: 418 end line: 423 size: 6 LOC McCabe index: 1 number of parameters: 3 id: 618 unit: fun skipWhitespace() file: src/main/kotlin/org/arend/formatting/block/SimpleArendBlock.kt start line: 425 end line: 430 size: 6 LOC McCabe index: 3 number of parameters: 1 id: 619 unit: override fun apply() file: src/main/kotlin/org/arend/formatting/ArendCodeStyleImportsPanelWrapper.kt start line: 34 end line: 39 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 620 unit: override fun resetImpl() file: src/main/kotlin/org/arend/formatting/ArendCodeStyleImportsPanelWrapper.kt start line: 47 end line: 52 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 621 unit: fun isParameterSetOrOrderChanged() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendParametersInfo.kt start line: 101 end line: 106 size: 6 LOC McCabe index: 5 number of parameters: 0 id: 622 unit: fun invalidateIndices() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 347 end line: 352 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 623 unit: open fun getLambdaParams() file: src/main/kotlin/org/arend/refactoring/changeSignature/entries/UsageEntry.kt start line: 42 end line: 47 size: 6 LOC McCabe index: 3 number of parameters: 2 id: 624 unit: fun deleteSuperfluousPatternParentheses() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 386 end line: 392 size: 6 LOC McCabe index: 3 number of parameters: 1 id: 625 unit: fun moveCaretToEndOffset() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 394 end line: 399 size: 6 LOC McCabe index: 2 number of parameters: 2 id: 626 unit: fun moveCaretToStartOffset() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 401 end line: 406 size: 6 LOC McCabe index: 2 number of parameters: 2 id: 627 unit: fun stopTimer() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 38 end line: 43 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 628 unit: override fun isConfigurationFromContext() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckRunConfigurationProducer.kt start line: 20 end line: 25 size: 6 LOC McCabe index: 3 number of parameters: 2 id: 629 unit: fun notifyIfNeeded() file: src/main/kotlin/org/arend/typechecking/ArendExtensionChangeService.kt start line: 39 end line: 44 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 630 unit: override fun report() file: src/main/kotlin/org/arend/typechecking/error/NotificationErrorReporter.kt start line: 40 end line: 45 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 631 unit: fun report() file: src/main/kotlin/org/arend/typechecking/error/ErrorService.kt start line: 33 end line: 38 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 632 unit: override fun forDependencies() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 236 end line: 241 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 633 unit: fun setPrintOption() file: src/main/kotlin/org/arend/settings/ArendProjectSettings.kt start line: 52 end line: 57 size: 6 LOC McCabe index: 2 number of parameters: 3 id: 634 unit: override fun createEditor() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 218 end line: 223 size: 6 LOC McCabe index: 1 number of parameters: 0 id: 635 unit: override fun visitElement() file: src/main/kotlin/org/arend/search/proof/ProofSearchUtils.kt start line: 212 end line: 217 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 636 unit: override fun getBodyDoc() file: src/main/kotlin/org/arend/tracer/ArendTraceSyntheticError.kt start line: 25 end line: 30 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 637 unit: override fun registerAdditionalContent() file: src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt start line: 85 end line: 90 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 638 unit: override fun visitElement() file: src/main/kotlin/org/arend/intention/AbstractGenerateFunctionIntention.kt start line: 102 end line: 107 size: 6 LOC McCabe index: 3 number of parameters: 1 id: 639 unit: override fun applyTo() file: src/main/kotlin/org/arend/intention/ImplementFieldsInCoClauseIntention.kt start line: 24 end line: 29 size: 6 LOC McCabe index: 3 number of parameters: 3 id: 640 unit: override fun getListCellRendererComponent() file: src/main/kotlin/org/arend/intention/generating/CreateLetBindingIntention.kt start line: 55 end line: 60 size: 6 LOC McCabe index: 1 number of parameters: 5 id: 641 unit: fun checkNotGeneratePreview() file: src/main/kotlin/org/arend/intention/ArendIntentionUtils.kt start line: 3 end line: 8 size: 6 LOC McCabe index: 2 number of parameters: 0 id: 642 unit: override fun isInContext() file: src/main/kotlin/org/arend/liveTemplates/ArendTemplateContextType.kt start line: 25 end line: 30 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 643 unit: override fun validateModuleName() file: src/main/kotlin/org/arend/module/ArendModuleBuilder.kt start line: 251 end line: 256 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 644 unit: override fun addRoots() file: src/main/kotlin/org/arend/module/ArendLibraryType.kt start line: 51 end line: 56 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 645 unit: override fun setupModule() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 104 end line: 111 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 646 unit: override fun doAddContentEntry() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 295 end line: 301 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 647 unit: override fun updateDataModel() file: src/main/kotlin/org/arend/module/starter/ArendStarterLibrariesStep.kt start line: 55 end line: 60 size: 6 LOC McCabe index: 1 number of parameters: 0 id: 648 unit: override fun getPersistableBinarySource() file: src/main/kotlin/org/arend/module/ArendRawLibrary.kt start line: 94 end line: 100 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 649 unit: fun resolveNames() file: src/main/kotlin/org/arend/module/ArendPreludeLibrary.kt start line: 78 end line: 83 size: 6 LOC McCabe index: 2 number of parameters: 2 id: 650 unit: override fun visitFunction() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 17 end line: 22 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 651 unit: override fun visitMeta() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 24 end line: 29 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 652 unit: override fun visitData() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 31 end line: 36 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 653 unit: override fun visitClass() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 44 end line: 49 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 654 unit: override fun visitApp() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 57 end line: 62 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 655 unit: override fun visitReference() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 64 end line: 69 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 656 unit: override fun visitThis() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 71 end line: 76 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 657 unit: override fun visitLam() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 83 end line: 88 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 658 unit: override fun visitPi() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 90 end line: 95 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 659 unit: override fun visitUniverse() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 97 end line: 102 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 660 unit: override fun visitHole() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 104 end line: 109 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 661 unit: override fun visitApplyHole() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 111 end line: 116 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 662 unit: override fun visitGoal() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 118 end line: 123 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 663 unit: override fun visitTuple() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 125 end line: 130 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 664 unit: override fun visitSigma() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 132 end line: 137 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 665 unit: override fun visitBinOpSequence() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 139 end line: 144 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 666 unit: override fun visitCase() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 157 end line: 162 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 667 unit: override fun visitEval() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 164 end line: 169 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 668 unit: override fun visitBox() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 171 end line: 176 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 669 unit: override fun visitProj() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 178 end line: 183 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 670 unit: override fun visitClassExt() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 196 end line: 201 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 671 unit: override fun visitNew() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 203 end line: 208 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 672 unit: override fun visitLet() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 210 end line: 216 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 673 unit: override fun visitNumericLiteral() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 218 end line: 223 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 674 unit: override fun visitStringLiteral() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 225 end line: 230 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 675 unit: override fun visitTyped() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 232 end line: 237 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 676 unit: override fun execute() file: src/main/kotlin/org/arend/toolWindow/repl/ArendReplExecutionHandler.kt start line: 57 end line: 62 size: 6 LOC McCabe index: 2 number of parameters: 2 id: 677 unit: fun updateGoalText() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesView.kt start line: 309 end line: 314 size: 6 LOC McCabe index: 2 number of parameters: 0 id: 678 unit: fun updateErrorText() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesView.kt start line: 316 end line: 321 size: 6 LOC McCabe index: 3 number of parameters: 0 id: 679 unit: override fun visitReference() file: src/main/kotlin/org/arend/toolWindow/errors/JDocBuilder.kt start line: 53 end line: 63 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 680 unit: override fun visitElimBody() file: src/main/kotlin/org/arend/util/FreeVariablesWithDependenciesCollector.kt start line: 115 end line: 120 size: 6 LOC McCabe index: 2 number of parameters: 2 id: 681 unit: override fun buildPattern() file: src/main/kotlin/org/arend/util/ArendBinOpUtils.kt start line: 51 end line: 56 size: 6 LOC McCabe index: 4 number of parameters: 1 id: 682 unit: fun release() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 107 end line: 112 size: 6 LOC McCabe index: 2 number of parameters: 0 id: 683 unit: override fun printIndent() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 171 end line: 176 size: 6 LOC McCabe index: 1 number of parameters: 0 id: 684 unit: override fun getAdditionalProjectLibraries() file: src/main/kotlin/org/arend/project/ArendPreludeLibraryRootProvider.kt start line: 14 end line: 19 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 685 unit: override fun equals() file: src/main/kotlin/org/arend/project/ArendPreludeLibraryRootProvider.kt start line: 25 end line: 30 size: 6 LOC McCabe index: 3 number of parameters: 1 id: 686 unit: override fun doOpenProject() file: src/main/kotlin/org/arend/project/ArendProjectOpenProcessor.kt start line: 28 end line: 33 size: 6 LOC McCabe index: 2 number of parameters: 3 id: 687 unit: fun add() file: src/main/kotlin/org/arend/ui/ListsDnD.kt start line: 19 end line: 24 size: 6 LOC McCabe index: 1 number of parameters: 4 id: 688 unit: override fun doStart() file: src/main/kotlin/org/arend/ui/impl/session/ArendToolWindowSession.kt start line: 60 end line: 66 size: 6 LOC McCabe index: 1 number of parameters: 0 id: 689 unit: override fun contentRemoved() file: src/main/kotlin/org/arend/ui/impl/session/ArendSessionsService.kt start line: 39 end line: 44 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 690 unit: protected fun comboBoxQuery() file: src/main/kotlin/org/arend/ui/impl/session/ComponentSession.kt start line: 73 end line: 78 size: 6 LOC McCabe index: 1 number of parameters: 4 id: 691 unit: fun fireEvent() file: src/main/kotlin/org/arend/ui/TextFieldChangeListener.kt start line: 37 end line: 42 size: 6 LOC McCabe index: 2 number of parameters: 0 id: 692 unit: override fun customizeCellRenderer() file: src/main/kotlin/org/arend/ui/DualList.kt start line: 19 end line: 24 size: 6 LOC McCabe index: 4 number of parameters: 5 id: 693 unit: override fun customizeCellRenderer() file: src/main/kotlin/org/arend/ui/DualList.kt start line: 27 end line: 32 size: 6 LOC McCabe index: 4 number of parameters: 5 id: 694 unit: fun commitModel() file: src/main/kotlin/org/arend/actions/mark/ArendMarkActionUtils.kt start line: 48 end line: 53 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 695 unit: override fun invoke() file: src/main/kotlin/org/arend/actions/ArendGotoNextErrorAction.kt start line: 32 end line: 37 size: 6 LOC McCabe index: 2 number of parameters: 3 id: 696 unit: override fun isValidForFile() file: src/main/kotlin/org/arend/actions/ArendPopupAction.kt start line: 41 end line: 46 size: 6 LOC McCabe index: 3 number of parameters: 3 id: 697 unit: override fun createHierarchyBrowser() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyProvider.kt start line: 16 end line: 20 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 698 unit: override fun visitFunction() file: src/main/kotlin/org/arend/quickfix/implementCoClause/IntentionBackEndVisitor.kt start line: 8 end line: 12 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 699 unit: override fun visitClassExt() file: src/main/kotlin/org/arend/quickfix/implementCoClause/IntentionBackEndVisitor.kt start line: 19 end line: 23 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 700 unit: override fun visitNew() file: src/main/kotlin/org/arend/quickfix/implementCoClause/IntentionBackEndVisitor.kt start line: 25 end line: 29 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 701 unit: fun getFreshName() file: src/main/kotlin/org/arend/quickfix/ImplementMissingClausesQuickFix.kt start line: 284 end line: 288 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 702 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/replacers/ReplaceFieldKindQuickFix.kt start line: 21 end line: 25 size: 5 LOC McCabe index: 1 number of parameters: 3 id: 703 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/replacers/ReplaceFunctionKindQuickFix.kt start line: 27 end line: 31 size: 5 LOC McCabe index: 2 number of parameters: 3 id: 704 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 76 end line: 80 size: 5 LOC McCabe index: 2 number of parameters: 3 id: 705 unit: fun processMismatchedPattern() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 825 end line: 829 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 706 unit: fun referenceUnresolved() file: src/main/kotlin/org/arend/quickfix/referenceResolve/ArendImportHintAction.kt start line: 191 end line: 195 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 707 unit: fun checkIfAvailable() file: src/main/kotlin/org/arend/quickfix/referenceResolve/ResolveReferenceAction.kt start line: 31 end line: 35 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 708 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/DataUniverseQuickFix.kt start line: 27 end line: 32 size: 5 LOC McCabe index: 1 number of parameters: 3 id: 709 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveTruncatedUniverseQuickFix.kt start line: 22 end line: 26 size: 5 LOC McCabe index: 1 number of parameters: 3 id: 710 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveIgnoredLevelsQuickFix.kt start line: 23 end line: 27 size: 5 LOC McCabe index: 1 number of parameters: 3 id: 711 unit: fun doRemoveClause() file: src/main/kotlin/org/arend/quickfix/removers/RemoveClauseQuickFix.kt start line: 29 end line: 33 size: 5 LOC McCabe index: 3 number of parameters: 1 id: 712 unit: override fun previewLineToSourceLines() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 134 end line: 139 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 713 unit: override fun sourceLineToPreviewLines() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 141 end line: 146 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 714 unit: override fun onLayoutChange() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 223 end line: 227 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 715 unit: override fun update() file: src/main/kotlin/org/arend/scratch/actions/ArendStopScratchAction.kt start line: 17 end line: 23 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 716 unit: override fun serialize() file: src/main/kotlin/org/arend/psi/stubs/ArendStubElementType.kt start line: 24 end line: 28 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 717 unit: fun createFieldTele() file: src/main/kotlin/org/arend/psi/ArendPsiFactory.kt start line: 61 end line: 65 size: 5 LOC McCabe index: 3 number of parameters: 3 id: 718 unit: fun createTypeTele() file: src/main/kotlin/org/arend/psi/ArendPsiFactory.kt start line: 67 end line: 71 size: 5 LOC McCabe index: 3 number of parameters: 3 id: 719 unit: override fun getClassReference() file: src/main/kotlin/org/arend/psi/ext/ArendFunctionDefinition.kt start line: 43 end line: 47 size: 5 LOC McCabe index: 2 number of parameters: 0 id: 720 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/ArendArgumentAppExpr.kt start line: 20 end line: 24 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 721 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/ArendTupleExpr.kt start line: 27 end line: 31 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 722 unit: override fun registerHighlightingPassFactory() file: src/main/kotlin/org/arend/highlight/NameShadowingHighlighterPassFactory.kt start line: 21 end line: 25 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 723 unit: override fun registerHighlightingPassFactory() file: src/main/kotlin/org/arend/highlight/PartiallyInfixOperatorPrefixFormPassFactory.kt start line: 21 end line: 25 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 724 unit: override fun registerHighlightingPassFactory() file: src/main/kotlin/org/arend/highlight/TypecheckerPassFactory.kt start line: 15 end line: 19 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 725 unit: override fun registerHighlightingPassFactory() file: src/main/kotlin/org/arend/highlight/RedundantParensPassFactory.kt start line: 20 end line: 24 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 726 unit: override fun getNames() file: src/main/kotlin/org/arend/navigation/ArendNavigationContributorBase.kt start line: 19 end line: 23 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 727 unit: override fun referenceResolved() file: src/main/kotlin/org/arend/resolving/ArendReference.kt start line: 268 end line: 272 size: 5 LOC McCabe index: 3 number of parameters: 5 id: 728 unit: override fun levelResolved() file: src/main/kotlin/org/arend/resolving/ArendReference.kt start line: 274 end line: 278 size: 5 LOC McCabe index: 3 number of parameters: 4 id: 729 unit: override fun overriddenFieldResolved() file: src/main/kotlin/org/arend/resolving/ArendResolverListener.kt start line: 90 end line: 94 size: 5 LOC McCabe index: 1 number of parameters: 4 id: 730 unit: override fun namespaceResolved() file: src/main/kotlin/org/arend/resolving/ArendResolverListener.kt start line: 96 end line: 100 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 731 unit: override fun renamingResolved() file: src/main/kotlin/org/arend/resolving/ArendResolverListener.kt start line: 102 end line: 106 size: 5 LOC McCabe index: 1 number of parameters: 3 id: 732 unit: override fun definitionResolved() file: src/main/kotlin/org/arend/resolving/ArendResolverListener.kt start line: 122 end line: 126 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 733 unit: fun replaceCache() file: src/main/kotlin/org/arend/resolving/ArendResolveCache.kt start line: 61 end line: 65 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 734 unit: override fun getTextRange() file: src/main/kotlin/org/arend/formatting/block/GroupBlock.kt start line: 14 end line: 18 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 735 unit: override fun toString() file: src/main/kotlin/org/arend/formatting/block/GroupBlock.kt start line: 33 end line: 37 size: 5 LOC McCabe index: 2 number of parameters: 0 id: 736 unit: override fun isModified() file: src/main/kotlin/org/arend/formatting/ArendCodeStyleImportsPanelWrapper.kt start line: 41 end line: 45 size: 5 LOC McCabe index: 3 number of parameters: 1 id: 737 unit: override fun resolve() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveRefactoringProcessor.kt start line: 562 end line: 566 size: 5 LOC McCabe index: 2 number of parameters: 0 id: 738 unit: fun isParameterTypesChanged() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendParametersInfo.kt start line: 108 end line: 112 size: 5 LOC McCabe index: 4 number of parameters: 0 id: 739 unit: override fun createReturnTypeCodeFragment() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 138 end line: 142 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 740 unit: fun getCorrectedContextName() file: src/main/kotlin/org/arend/refactoring/changeSignature/entries/UsageEntry.kt start line: 316 end line: 320 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 741 unit: override fun retargetUsages() file: src/main/kotlin/org/arend/refactoring/ArendMoveFileHandler.kt start line: 63 end line: 67 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 742 unit: override fun visitElement() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 411 end line: 415 size: 5 LOC McCabe index: 4 number of parameters: 1 id: 743 unit: override fun registerReferenceProviders() file: src/main/kotlin/org/arend/yaml/codeInsight/YAMLReferenceContributor.kt start line: 23 end line: 27 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 744 unit: override fun onTestsReporterAttached() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 208 end line: 212 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 745 unit: fun executeProxyAction() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 252 end line: 256 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 746 unit: override fun configureBeforeRunTaskDefaults() file: src/main/kotlin/org/arend/typechecking/execution/configurations/ArendRunConfigurationFactory.kt start line: 13 end line: 17 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 747 unit: override fun projectClosing() file: src/main/kotlin/org/arend/typechecking/BinaryFileSaver.kt start line: 52 end line: 56 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 748 unit: fun addToQueue() file: src/main/kotlin/org/arend/typechecking/BinaryFileSaver.kt start line: 83 end line: 87 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 749 unit: override fun visitHList() file: src/main/kotlin/org/arend/typechecking/error/TypecheckingErrorReporter.kt start line: 96 end line: 100 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 750 unit: override fun visitText() file: src/main/kotlin/org/arend/typechecking/error/TypecheckingErrorReporter.kt start line: 102 end line: 106 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 751 unit: override fun visitTermLine() file: src/main/kotlin/org/arend/typechecking/error/TypecheckingErrorReporter.kt start line: 108 end line: 112 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 752 unit: override fun visitPattern() file: src/main/kotlin/org/arend/typechecking/error/TypecheckingErrorReporter.kt start line: 114 end line: 118 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 753 unit: fun clearTCRefMaps() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 131 end line: 135 size: 5 LOC McCabe index: 2 number of parameters: 0 id: 754 unit: fun cleanupTCRefMaps() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 137 end line: 141 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 755 unit: override fun updateDefinition() file: src/main/kotlin/org/arend/search/ClassDescendantsSearch.kt start line: 108 end line: 112 size: 5 LOC McCabe index: 5 number of parameters: 3 id: 756 unit: override fun dispose() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 119 end line: 123 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 757 unit: override fun createList() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 125 end line: 130 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 758 unit: override fun getPreferredSize() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 225 end line: 229 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 759 unit: override fun run() file: src/main/kotlin/org/arend/search/proof/ShowInFindWindowAction.kt start line: 43 end line: 47 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 760 unit: override fun getParentGroupFor() file: src/main/kotlin/org/arend/search/ArendGroupRuleProviders.kt start line: 45 end line: 49 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 761 unit: override fun report() file: src/main/kotlin/org/arend/tracer/ArendTraceAction.kt start line: 186 end line: 190 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 762 unit: override fun computeStackFrames() file: src/main/kotlin/org/arend/tracer/ArendSuspendContext.kt start line: 34 end line: 38 size: 5 LOC McCabe index: 2 number of parameters: 2 id: 763 unit: fun create() file: src/main/kotlin/org/arend/tracer/ArendSuspendContext.kt start line: 115 end line: 119 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 764 unit: override fun findElementForParameterInfo() file: src/main/kotlin/org/arend/codeInsight/ArendParameterInfoHandler.kt start line: 68 end line: 72 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 765 unit: override fun getText() file: src/main/kotlin/org/arend/codeInsight/hints/ArendGoalsInlayProvider.kt start line: 25 end line: 29 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 766 unit: override fun processFile() file: src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt start line: 59 end line: 63 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 767 unit: override fun addCompletions() file: src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionContributor.kt start line: 776 end line: 780 size: 5 LOC McCabe index: 2 number of parameters: 3 id: 768 unit: override fun applyTo() file: src/main/kotlin/org/arend/intention/generating/GenerateMissingClausesIntention.kt start line: 15 end line: 20 size: 5 LOC McCabe index: 1 number of parameters: 3 id: 769 unit: fun isSucPattern() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 435 end line: 439 size: 5 LOC McCabe index: 3 number of parameters: 1 id: 770 unit: override fun isAvailable() file: src/main/kotlin/org/arend/intention/ReplaceMetaWithResultIntention.kt start line: 23 end line: 27 size: 5 LOC McCabe index: 2 number of parameters: 3 id: 771 unit: override fun isInContext() file: src/main/kotlin/org/arend/liveTemplates/ArendTemplateContextType.kt start line: 14 end line: 18 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 772 unit: override fun isOK() file: src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt start line: 94 end line: 99 size: 5 LOC McCabe index: 4 number of parameters: 1 id: 773 unit: override fun setupRootModel() file: src/main/kotlin/org/arend/module/ArendModuleBuilder.kt start line: 258 end line: 262 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 774 unit: override fun createProject() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 97 end line: 101 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 775 unit: override fun createWizardSteps() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 139 end line: 143 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 776 unit: override fun loadGeneratedModules() file: src/main/kotlin/org/arend/module/ArendRawLibrary.kt start line: 64 end line: 68 size: 5 LOC McCabe index: 2 number of parameters: 0 id: 777 unit: override fun unload() file: src/main/kotlin/org/arend/module/ArendRawLibrary.kt start line: 70 end line: 74 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 778 unit: override fun getBinarySource() file: src/main/kotlin/org/arend/module/ArendRawLibrary.kt start line: 88 end line: 92 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 779 unit: override fun orderModules() file: src/main/kotlin/org/arend/module/ArendPreludeLibrary.kt start line: 54 end line: 58 size: 5 LOC McCabe index: 3 number of parameters: 1 id: 780 unit: override fun visitConstructor() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 38 end line: 42 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 781 unit: override fun visitClassField() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 51 end line: 55 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 782 unit: override fun visitPattern() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 146 end line: 150 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 783 unit: override fun visitClassFieldImpl() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 185 end line: 189 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 784 unit: override fun invoke() file: src/main/kotlin/org/arend/inspection/RedundantParameterInspection.kt start line: 52 end line: 56 size: 5 LOC McCabe index: 1 number of parameters: 4 id: 785 unit: override fun eprintln() file: src/main/kotlin/org/arend/toolWindow/repl/ArendReplExecutionHandler.kt start line: 42 end line: 46 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 786 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/toolWindow/repl/ArendReplExecutionHandler.kt start line: 107 end line: 111 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 787 unit: fun resetCurrentLineScope() file: src/main/kotlin/org/arend/toolWindow/repl/IntellijRepl.kt start line: 111 end line: 115 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 788 unit: override fun errorRemoved() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesView.kt start line: 337 end line: 341 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 789 unit: fun clear() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesViewEditor.kt start line: 37 end line: 41 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 790 unit: override fun isSelected() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollFromSource.kt start line: 93 end line: 97 size: 5 LOC McCabe index: 6 number of parameters: 1 id: 791 unit: override fun visitLam() file: src/main/kotlin/org/arend/util/FreeVariablesWithDependenciesCollector.kt start line: 89 end line: 93 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 792 unit: override fun visitPi() file: src/main/kotlin/org/arend/util/FreeVariablesWithDependenciesCollector.kt start line: 95 end line: 99 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 793 unit: override fun visitSigma() file: src/main/kotlin/org/arend/util/FreeVariablesWithDependenciesCollector.kt start line: 101 end line: 105 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 794 unit: override fun visitCase() file: src/main/kotlin/org/arend/util/FreeVariablesWithDependenciesCollector.kt start line: 122 end line: 126 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 795 unit: override fun visitFieldAccs() file: src/main/kotlin/org/arend/util/ArendBinOpUtils.kt start line: 39 end line: 43 size: 5 LOC McCabe index: 2 number of parameters: 4 id: 796 unit: fun addEditorComponent() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 118 end line: 122 size: 5 LOC McCabe index: 2 number of parameters: 0 id: 797 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/injection/actions/HideImplicitInformationAction.kt start line: 18 end line: 22 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 798 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/injection/actions/RevealImplicitInformationAction.kt start line: 18 end line: 22 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 799 unit: override fun setList() file: src/main/kotlin/org/arend/project/ArendProjectImportBuilder.kt start line: 48 end line: 52 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 800 unit: override fun selectionChanged() file: src/main/kotlin/org/arend/ui/impl/session/ArendSessionsService.kt start line: 46 end line: 50 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 801 unit: override fun binaryQuery() file: src/main/kotlin/org/arend/ui/impl/session/ComponentSession.kt start line: 55 end line: 59 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 802 unit: override fun stringQuery() file: src/main/kotlin/org/arend/ui/impl/session/ComponentSession.kt start line: 61 end line: 65 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 803 unit: override fun intQuery() file: src/main/kotlin/org/arend/ui/impl/session/ComponentSession.kt start line: 67 end line: 71 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 804 unit: fun print() file: src/main/kotlin/org/arend/ui/console/ArendConsoleService.kt start line: 45 end line: 49 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 805 unit: override fun setSelected() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyBrowser.kt start line: 153 end line: 156 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 806 unit: override fun setSelected() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyBrowser.kt start line: 165 end line: 168 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 807 unit: override fun buildChildren() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendSuperClassTreeStructure.kt start line: 53 end line: 56 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 808 unit: fun nodePath() file: src/main/kotlin/org/arend/hierarchy/ArendHierarchyNodeDescriptor.kt start line: 61 end line: 64 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 809 unit: override fun getTarget() file: src/main/kotlin/org/arend/hierarchy/call/ArendCallHierarchyProvider.kt start line: 21 end line: 24 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 810 unit: override fun createTrees() file: src/main/kotlin/org/arend/hierarchy/call/ArendCallHierarchyBrowser.kt start line: 26 end line: 29 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 811 unit: override fun getEditorTabColor() file: src/main/kotlin/org/arend/editor/ArendEditorTabColorProvider.kt start line: 15 end line: 18 size: 4 LOC McCabe index: 2 number of parameters: 2 id: 812 unit: override fun getProjectViewColor() file: src/main/kotlin/org/arend/editor/ArendEditorTabColorProvider.kt start line: 20 end line: 23 size: 4 LOC McCabe index: 2 number of parameters: 2 id: 813 unit: override fun createComponent() file: src/main/kotlin/org/arend/editor/ArendConfigurable.kt start line: 24 end line: 27 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 814 unit: override fun apply() file: src/main/kotlin/org/arend/editor/ArendAutoImportConfigurable.kt start line: 18 end line: 21 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 815 unit: override fun reset() file: src/main/kotlin/org/arend/editor/ArendAutoImportConfigurable.kt start line: 23 end line: 26 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 816 unit: override fun getStructureViewBuilder() file: src/main/kotlin/org/arend/structure/ArendStructureViewBuilderProvider.kt start line: 12 end line: 15 size: 4 LOC McCabe index: 1 number of parameters: 3 id: 817 unit: override fun visitClassFieldImpl() file: src/main/kotlin/org/arend/quickfix/implementCoClause/IntentionBackEndVisitor.kt start line: 14 end line: 17 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 818 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/GoalFillingQuickFix.kt start line: 12 end line: 15 size: 4 LOC McCabe index: 1 number of parameters: 3 id: 819 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/replacers/ReplaceAbsurdPatternQuickFix.kt start line: 23 end line: 26 size: 4 LOC McCabe index: 1 number of parameters: 3 id: 820 unit: override fun visitCase() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 481 end line: 484 size: 4 LOC McCabe index: 2 number of parameters: 2 id: 821 unit: fun nextConcretePattern() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 843 end line: 846 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 822 unit: fun doInitOccupiedLocalNames() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 969 end line: 972 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 823 unit: override fun getTextFor() file: src/main/kotlin/org/arend/quickfix/referenceResolve/ArendAddImportAction.kt start line: 54 end line: 57 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 824 unit: override fun toString() file: src/main/kotlin/org/arend/quickfix/referenceResolve/ResolveReferenceAction.kt start line: 20 end line: 23 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 825 unit: fun execute() file: src/main/kotlin/org/arend/quickfix/referenceResolve/ResolveReferenceAction.kt start line: 25 end line: 28 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 826 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveClauseQuickFix.kt start line: 23 end line: 26 size: 4 LOC McCabe index: 1 number of parameters: 3 id: 827 unit: override fun parse() file: src/main/kotlin/org/arend/parser/ArendDocParser.kt start line: 14 end line: 17 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 828 unit: override fun doAction() file: src/main/kotlin/org/arend/graph/GraphSimulator.kt start line: 78 end line: 81 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 829 unit: override fun createEditor() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 88 end line: 91 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 830 unit: override fun clear() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 279 end line: 282 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 831 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/scratch/actions/ArendClearScratchAction.kt start line: 11 end line: 15 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 832 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/scratch/actions/ArendRunScratchAction.kt start line: 30 end line: 34 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 833 unit: fun decLastModification() file: src/main/kotlin/org/arend/psi/ArendFile.kt start line: 65 end line: 68 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 834 unit: fun getTCRefMap() file: src/main/kotlin/org/arend/psi/ArendFile.kt start line: 86 end line: 89 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 835 unit: override fun serialize() file: src/main/kotlin/org/arend/psi/stubs/StubImplementations.kt start line: 200 end line: 203 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 836 unit: fun getExpr() file: src/main/kotlin/org/arend/psi/ArendExpressionCodeFragment.kt start line: 39 end line: 42 size: 4 LOC McCabe index: 3 number of parameters: 0 id: 837 unit: fun createPattern() file: src/main/kotlin/org/arend/psi/ArendPsiFactory.kt start line: 112 end line: 115 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 838 unit: fun createPairOfBraces() file: src/main/kotlin/org/arend/psi/ArendPsiFactory.kt start line: 159 end line: 162 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 839 unit: fun createPairOfParens() file: src/main/kotlin/org/arend/psi/ArendPsiFactory.kt start line: 164 end line: 167 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 840 unit: override fun isCowith() file: src/main/kotlin/org/arend/psi/ext/ArendDefInstance.kt start line: 30 end line: 33 size: 4 LOC McCabe index: 3 number of parameters: 0 id: 841 unit: override fun getTypeClassReference() file: src/main/kotlin/org/arend/psi/ext/ArendDefInstance.kt start line: 45 end line: 48 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 842 unit: override fun getBodyReference() file: src/main/kotlin/org/arend/psi/ext/ArendDefInstance.kt start line: 50 end line: 53 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 843 unit: override fun getTypeClassReference() file: src/main/kotlin/org/arend/psi/ext/ArendDefFunction.kt start line: 52 end line: 55 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 844 unit: override fun getBodyReference() file: src/main/kotlin/org/arend/psi/ext/ArendDefFunction.kt start line: 57 end line: 60 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 845 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/ArendArrExpr.kt start line: 15 end line: 18 size: 4 LOC McCabe index: 2 number of parameters: 2 id: 846 unit: override fun getReferent() file: src/main/kotlin/org/arend/psi/ext/ArendLongName.kt start line: 26 end line: 29 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 847 unit: override fun getTailReferences() file: src/main/kotlin/org/arend/psi/ext/ArendLongName.kt start line: 33 end line: 36 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 848 unit: override fun getConstructors() file: src/main/kotlin/org/arend/psi/ext/ArendDefData.kt start line: 31 end line: 34 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 849 unit: override fun getClauses() file: src/main/kotlin/org/arend/psi/ext/ArendDefData.kt start line: 49 end line: 52 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 850 unit: override fun setName() file: src/main/kotlin/org/arend/psi/ext/PsiReferable.kt start line: 66 end line: 69 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 851 unit: override fun setName() file: src/main/kotlin/org/arend/psi/ext/PsiReferable.kt start line: 89 end line: 92 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 852 unit: override fun getTypeClassReference() file: src/main/kotlin/org/arend/psi/ext/ArendClassField.kt start line: 64 end line: 67 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 853 unit: override fun isUsing() file: src/main/kotlin/org/arend/psi/ext/ArendStatCmd.kt start line: 46 end line: 49 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 854 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/ArendLetExpr.kt start line: 20 end line: 23 size: 4 LOC McCabe index: 3 number of parameters: 2 id: 855 unit: override fun resolveName() file: src/main/kotlin/org/arend/psi/ext/ArendCompositeElement.kt start line: 79 end line: 82 size: 4 LOC McCabe index: 5 number of parameters: 2 id: 856 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/ArendUniverseExpr.kt start line: 9 end line: 12 size: 4 LOC McCabe index: 2 number of parameters: 2 id: 857 unit: fun getClassReference() file: src/main/kotlin/org/arend/psi/ext/CoClauseBase.kt start line: 40 end line: 43 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 858 unit: fun getScope() file: src/main/kotlin/org/arend/psi/doc/ArendDocComment.kt start line: 29 end line: 32 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 859 unit: fun updateErrors() file: src/main/kotlin/org/arend/highlight/TypecheckerPass.kt start line: 46 end line: 49 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 860 unit: override fun collectInformationWithProgress() file: src/main/kotlin/org/arend/highlight/NameShadowingHighlighterPass.kt start line: 18 end line: 21 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 861 unit: fun getCauseElement() file: src/main/kotlin/org/arend/highlight/BasePass.kt start line: 537 end line: 540 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 862 unit: fun isEmptyGoal() file: src/main/kotlin/org/arend/highlight/BasePass.kt start line: 695 end line: 698 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 863 unit: public override fun collectInformationWithProgress() file: src/main/kotlin/org/arend/highlight/ArendHighlightingPass.kt start line: 52 end line: 55 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 864 unit: override fun registerHighlightingPassFactory() file: src/main/kotlin/org/arend/highlight/ArendHighlightingPassFactory.kt start line: 17 end line: 20 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 865 unit: override fun registerHighlightingPassFactory() file: src/main/kotlin/org/arend/highlight/ArendUnusedImportHighlightingPassFactory.kt start line: 12 end line: 15 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 866 unit: override fun getConcreteFunction() file: src/main/kotlin/org/arend/resolving/PsiConcreteProvider.kt start line: 123 end line: 126 size: 4 LOC McCabe index: 4 number of parameters: 1 id: 867 unit: override fun getConcreteInstance() file: src/main/kotlin/org/arend/resolving/PsiConcreteProvider.kt start line: 128 end line: 131 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 868 unit: override fun getConcreteClass() file: src/main/kotlin/org/arend/resolving/PsiConcreteProvider.kt start line: 133 end line: 136 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 869 unit: override fun getConcreteData() file: src/main/kotlin/org/arend/resolving/PsiConcreteProvider.kt start line: 138 end line: 141 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 870 unit: override fun handleElementRename() file: src/main/kotlin/org/arend/resolving/ArendReference.kt start line: 47 end line: 50 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 871 unit: override fun bindingResolved() file: src/main/kotlin/org/arend/resolving/ArendResolverListener.kt start line: 66 end line: 69 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 872 unit: override fun visitBinOpSequence() file: src/main/kotlin/org/arend/resolving/util/BinOpParser.kt start line: 99 end line: 102 size: 4 LOC McCabe index: 1 number of parameters: 4 id: 873 unit: fun findClassReferable() file: src/main/kotlin/org/arend/resolving/util/ReferableExtractVisitor.kt start line: 60 end line: 63 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 874 unit: fun findReferableInType() file: src/main/kotlin/org/arend/resolving/util/ReferableExtractVisitor.kt start line: 65 end line: 68 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 875 unit: override fun customizeDefaults() file: src/main/kotlin/org/arend/formatting/ArendCodeStyleSettingsProvider.kt start line: 27 end line: 30 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 876 unit: override fun initTabs() file: src/main/kotlin/org/arend/formatting/ArendCodeStyleSettingsProvider.kt start line: 50 end line: 53 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 877 unit: fun getCommonContainer() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveHandlerDelegate.kt start line: 57 end line: 60 size: 4 LOC McCabe index: 3 number of parameters: 1 id: 878 unit: override fun isReturnTypeChanged() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeInfo.kt start line: 88 end line: 91 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 879 unit: override fun setValue() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendParameterTableModel.kt start line: 51 end line: 54 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 880 unit: override fun setValue() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendParameterTableModel.kt start line: 74 end line: 77 size: 4 LOC McCabe index: 2 number of parameters: 2 id: 881 unit: override fun getTypeClassReference() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialogParameter.kt start line: 14 end line: 17 size: 4 LOC McCabe index: 3 number of parameters: 0 id: 882 unit: override fun updatePropagateButtons() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 121 end line: 124 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 883 unit: override fun removeEditor() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 228 end line: 231 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 884 unit: override fun documentChanged() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 280 end line: 283 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 885 unit: override fun execute() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 383 end line: 386 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 886 unit: fun append() file: src/main/kotlin/org/arend/refactoring/changeSignature/DoubleStringBuilder.kt start line: 7 end line: 10 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 887 unit: fun append() file: src/main/kotlin/org/arend/refactoring/changeSignature/DoubleStringBuilder.kt start line: 12 end line: 15 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 888 unit: fun writeAllImportCommands() file: src/main/kotlin/org/arend/refactoring/PsiLocatedRenamer.kt start line: 26 end line: 29 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 889 unit: override fun isIdentifier() file: src/main/kotlin/org/arend/refactoring/ArendNamesValidator.kt start line: 14 end line: 17 size: 4 LOC McCabe index: 2 number of parameters: 2 id: 890 unit: override fun performInplaceRename() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 215 end line: 218 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 891 unit: override fun startsOnTheSameElement() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 220 end line: 223 size: 4 LOC McCabe index: 4 number of parameters: 2 id: 892 unit: fun argNeedsParentheses() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 824 end line: 827 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 893 unit: override fun update() file: src/main/kotlin/org/arend/projectView/ArendProjectViewStructureProvider.kt start line: 53 end line: 56 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 894 unit: fun updateIdea() file: src/main/kotlin/org/arend/yaml/YamlFileService.kt start line: 104 end line: 107 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 895 unit: fun register() file: src/main/kotlin/org/arend/yaml/YAMLFileListener.kt start line: 21 end line: 24 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 896 unit: override fun writeExternal() file: src/main/kotlin/org/arend/typechecking/execution/configurations/TypeCheckConfiguration.kt start line: 84 end line: 87 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 897 unit: override fun readExternal() file: src/main/kotlin/org/arend/typechecking/execution/configurations/TypeCheckConfiguration.kt start line: 89 end line: 92 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 898 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/typechecking/ArendExtensionChangeService.kt start line: 26 end line: 29 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 899 unit: fun clearAllErrors() file: src/main/kotlin/org/arend/typechecking/error/ErrorService.kt start line: 167 end line: 170 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 900 unit: override fun report() file: src/main/kotlin/org/arend/typechecking/error/TypecheckingErrorReporter.kt start line: 35 end line: 38 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 901 unit: fun getPsiReferable() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 216 end line: 219 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 902 unit: fun isInstanceAvailable() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 263 end line: 266 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 903 unit: override fun createCellRenderer() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 132 end line: 135 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 904 unit: override fun createPrefixMatcher() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 239 end line: 242 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 905 unit: fun close() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 592 end line: 595 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 906 unit: override fun setSelected() file: src/main/kotlin/org/arend/search/proof/GearActionGroup.kt start line: 57 end line: 60 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 907 unit: override fun onThrowable() file: src/main/kotlin/org/arend/search/proof/ShowInFindWindowAction.kt start line: 53 end line: 56 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 908 unit: override fun update() file: src/main/kotlin/org/arend/search/proof/ShowInFindWindowAction.kt start line: 86 end line: 89 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 909 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/search/proof/ShowHelpAction.kt start line: 17 end line: 20 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 910 unit: override fun computeChildren() file: src/main/kotlin/org/arend/tracer/ArendSuspendContext.kt start line: 84 end line: 87 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 911 unit: override fun getText() file: src/main/kotlin/org/arend/codeInsight/hints/ArendAxiomsInlayProvider.kt start line: 25 end line: 28 size: 4 LOC McCabe index: 4 number of parameters: 1 id: 912 unit: fun processRedundantImportedDefinitions() file: src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt start line: 139 end line: 142 size: 4 LOC McCabe index: 2 number of parameters: 4 id: 913 unit: override fun prefixMatchesEx() file: src/main/kotlin/org/arend/codeInsight/completion/ArendNoVariantsDelegator.kt start line: 65 end line: 68 size: 4 LOC McCabe index: 3 number of parameters: 1 id: 914 unit: open fun lookupElement() file: src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionContributor.kt start line: 741 end line: 744 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 915 unit: override fun browse() file: src/main/kotlin/org/arend/codeInsight/ArendLineMarkerProvider.kt start line: 42 end line: 45 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 916 unit: override fun isAvailable() file: src/main/kotlin/org/arend/intention/SwapInfixOperatorArgumentsIntention.kt start line: 17 end line: 20 size: 4 LOC McCabe index: 1 number of parameters: 3 id: 917 unit: override fun isApplicableTo() file: src/main/kotlin/org/arend/intention/ReplaceWithShortNameIntention.kt start line: 13 end line: 16 size: 4 LOC McCabe index: 3 number of parameters: 3 id: 918 unit: override fun equals() file: src/main/kotlin/org/arend/intention/SelfTargetingIntention.kt start line: 91 end line: 94 size: 4 LOC McCabe index: 4 number of parameters: 1 id: 919 unit: fun implicitArgumentText() file: src/main/kotlin/org/arend/intention/binOp/BinOpSeqProcessor.kt start line: 69 end line: 72 size: 4 LOC McCabe index: 2 number of parameters: 2 id: 920 unit: override fun createComponent() file: src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationEditor.kt start line: 66 end line: 69 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 921 unit: override fun createEditors() file: src/main/kotlin/org/arend/module/editor/ArendModuleConfigEditorProvider.kt start line: 8 end line: 11 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 922 unit: override fun notAvailableNotification() file: src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt start line: 112 end line: 115 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 923 unit: fun updateAvailableLibrariesAndDependencies() file: src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt start line: 273 end line: 276 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 924 unit: override fun textRepresentation() file: src/main/kotlin/org/arend/module/AllArendFilesScope.kt start line: 72 end line: 75 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 925 unit: override fun createLibrariesStep() file: src/main/kotlin/org/arend/module/ArendModuleBuilder.kt start line: 163 end line: 166 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 926 unit: fun install() file: src/main/kotlin/org/arend/module/ModuleSynchronizer.kt start line: 25 end line: 28 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 927 unit: protected fun suggestName() file: src/main/kotlin/org/arend/module/starter/ArendCommonStarterInitialStep.kt start line: 154 end line: 157 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 928 unit: override fun setupRootModel() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 157 end line: 160 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 929 unit: fun isSdkAtLeast() file: src/main/kotlin/org/arend/module/starter/ArendGeneratorContext.kt start line: 57 end line: 60 size: 4 LOC McCabe index: 3 number of parameters: 1 id: 930 unit: override fun onStepLeaving() file: src/main/kotlin/org/arend/module/starter/ArendStarterLibrariesStep.kt start line: 62 end line: 66 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 931 unit: fun synchronizeDependencies() file: src/main/kotlin/org/arend/module/config/ArendModuleConfigService.kt start line: 129 end line: 132 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 932 unit: fun registerProblem() file: src/main/kotlin/org/arend/inspection/UnresolvedArendPatternInspection.kt start line: 22 end line: 25 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 933 unit: fun registerFix() file: src/main/kotlin/org/arend/inspection/RedundantParensInspection.kt start line: 26 end line: 29 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 934 unit: fun hasNoLevelArguments() file: src/main/kotlin/org/arend/inspection/RedundantParensInspection.kt start line: 89 end line: 93 size: 4 LOC McCabe index: 3 number of parameters: 1 id: 935 unit: fun registerFix() file: src/main/kotlin/org/arend/inspection/RedundantParameterInspection.kt start line: 19 end line: 22 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 936 unit: override fun getNormalizationMode() file: src/main/kotlin/org/arend/toolWindow/repl/IntellijRepl.kt start line: 85 end line: 88 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 937 unit: override fun help() file: src/main/kotlin/org/arend/toolWindow/repl/action/IntellijReplCommand.kt start line: 16 end line: 19 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 938 unit: fun updateActionGroup() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesViewEditor.kt start line: 32 end line: 35 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 939 unit: public override fun isAutoScrollEnabled() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollFromSource.kt start line: 84 end line: 87 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 940 unit: fun caching() file: src/main/kotlin/org/arend/util/KotlinUtils.kt start line: 32 end line: 35 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 941 unit: override fun decode() file: src/main/kotlin/org/arend/injection/TrivialTextEscaper.kt start line: 9 end line: 12 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 942 unit: override fun visitReference() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 128 end line: 131 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 943 unit: override fun caretPositionChanged() file: src/main/kotlin/org/arend/injection/actions/RevealingInformationCaretListener.kt start line: 19 end line: 22 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 944 unit: fun getNormalizedExpression() file: src/main/kotlin/org/arend/injection/actions/NormalizationCache.kt start line: 10 end line: 13 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 945 unit: override fun undo() file: src/main/kotlin/org/arend/injection/actions/UndoableConfigModificationAction.kt start line: 18 end line: 21 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 946 unit: override fun cleanup() file: src/main/kotlin/org/arend/project/ArendProjectImportBuilder.kt start line: 41 end line: 44 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 947 unit: override fun itemSelected() file: src/main/kotlin/org/arend/ui/impl/session/ArendEditorSession.kt start line: 63 end line: 66 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 948 unit: override fun onFileChosen() file: src/main/kotlin/org/arend/ui/TextFieldChangeListener.kt start line: 55 end line: 58 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 949 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/actions/mark/ArendMarkTestSourceRootAction.kt start line: 17 end line: 20 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 950 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/actions/mark/ArendMarkSourceRootAction.kt start line: 17 end line: 20 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 951 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/actions/mark/ArendMarkBinRootAction.kt start line: 22 end line: 25 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 952 unit: override fun run() file: src/main/kotlin/org/arend/actions/ArendShowTypeAction.kt start line: 69 end line: 72 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 953 unit: override fun update() file: src/main/kotlin/org/arend/actions/ArendOpenInReplAction.kt start line: 15 end line: 18 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 954 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/actions/ArendPopupAction.kt start line: 35 end line: 39 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 955 unit: override fun acceptItem() file: src/main/kotlin/org/arend/actions/SearchArendFilesContributor.kt start line: 28 end line: 31 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 956 unit: override fun createHierarchyBrowser() file: src/main/kotlin/org/arend/hierarchy/call/ArendCallHierarchyProvider.kt start line: 13 end line: 15 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 957 unit: override fun browserActivated() file: src/main/kotlin/org/arend/hierarchy/call/ArendCallHierarchyProvider.kt start line: 17 end line: 19 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 958 unit: override fun visitComment() file: src/main/kotlin/org/arend/folding/ArendFoldingBuilder.kt start line: 53 end line: 55 size: 3 LOC McCabe index: 2 number of parameters: 1 id: 959 unit: override fun apply() file: src/main/kotlin/org/arend/editor/ArendSmartKeysConfigurable.kt start line: 19 end line: 21 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 960 unit: override fun reset() file: src/main/kotlin/org/arend/editor/ArendSmartKeysConfigurable.kt start line: 23 end line: 25 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 961 unit: override fun apply() file: src/main/kotlin/org/arend/editor/ArendConfigurable.kt start line: 16 end line: 18 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 962 unit: override fun reset() file: src/main/kotlin/org/arend/editor/ArendConfigurable.kt start line: 20 end line: 22 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 963 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/replacers/ReplaceSigmaFieldKindQuickFix.kt start line: 20 end line: 22 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 964 unit: override fun calculateEntriesToEliminate() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 677 end line: 679 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 965 unit: override fun isAvailable() file: src/main/kotlin/org/arend/quickfix/removers/RemovePatternsQuickFix.kt start line: 19 end line: 21 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 966 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveNoClassifyingKeywordQuickFix.kt start line: 23 end line: 25 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 967 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveStrictKeywordQuickFix.kt start line: 23 end line: 25 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 968 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveArgumentQuickFix.kt start line: 20 end line: 22 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 969 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveClassifyingFieldQuickFix.kt start line: 23 end line: 25 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 970 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/removers/RemoveTruncatedKeywordQuickFix.kt start line: 23 end line: 25 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 971 unit: override fun run() file: src/main/kotlin/org/arend/quickfix/instance/InstanceInferenceQuickFix.kt start line: 56 end line: 58 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 972 unit: override fun createActions() file: src/main/kotlin/org/arend/graph/GraphSimulator.kt start line: 143 end line: 145 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 973 unit: override fun getTransferDataFlavors() file: src/main/kotlin/org/arend/graph/GraphSimulator.kt start line: 164 end line: 166 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 974 unit: override fun isDataFlavorSupported() file: src/main/kotlin/org/arend/graph/GraphSimulator.kt start line: 168 end line: 170 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 975 unit: override fun onStart() file: src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt start line: 49 end line: 51 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 976 unit: override fun onFinish() file: src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt start line: 53 end line: 55 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 977 unit: override fun isSelected() file: src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt start line: 74 end line: 76 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 978 unit: override fun setSelected() file: src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt start line: 78 end line: 80 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 979 unit: override fun isSelected() file: src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt start line: 89 end line: 91 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 980 unit: override fun setSelected() file: src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt start line: 93 end line: 95 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 981 unit: override fun isSelected() file: src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt start line: 104 end line: 106 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 982 unit: override fun hasErrors() file: src/main/kotlin/org/arend/scratch/ArendScratchFile.kt start line: 31 end line: 33 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 983 unit: fun updateFileModule() file: src/main/kotlin/org/arend/scratch/ArendScratchModuleService.kt start line: 11 end line: 13 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 984 unit: override fun needProcessToStart() file: src/main/kotlin/org/arend/scratch/ArendScratchReplExecutor.kt start line: 12 end line: 15 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 985 unit: override fun navigateTo() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 180 end line: 182 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 986 unit: override fun canNavigateTo() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 184 end line: 186 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 987 unit: override fun getEditor() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 188 end line: 190 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 988 unit: override fun createToolbar() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 192 end line: 194 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 989 unit: fun clearOutputHandlers() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 196 end line: 198 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 990 unit: override fun createViewActionGroup() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 203 end line: 205 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 991 unit: fun setPreviewEnabled() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 230 end line: 232 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 992 unit: override fun onStart() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 263 end line: 265 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 993 unit: override fun handle() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 267 end line: 269 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 994 unit: override fun error() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 271 end line: 273 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 995 unit: override fun onFinish() file: src/main/kotlin/org/arend/scratch/ArendScratchFileEditorProvider.kt start line: 275 end line: 277 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 996 unit: override fun update() file: src/main/kotlin/org/arend/scratch/actions/ArendScratchAction.kt start line: 18 end line: 20 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 997 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/scratch/actions/ArendStopScratchAction.kt start line: 13 end line: 15 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 998 unit: override fun createPositionManager() file: src/main/kotlin/org/arend/debug/ArendPositionManagerFactory.kt start line: 10 end line: 12 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 999 unit: override fun getRunnerId() file: src/main/kotlin/org/arend/debug/ArendDebuggerRunner.kt start line: 8 end line: 10 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1000 unit: override fun moduleInitialized() file: src/main/kotlin/org/arend/psi/ArendFile.kt start line: 179 end line: 181 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1001 unit: override fun indexStub() file: src/main/kotlin/org/arend/psi/stubs/StubImplementations.kt start line: 35 end line: 37 size: 3 LOC McCabe index: 2 number of parameters: 2 id: 1002 unit: override fun projectClosing() file: src/main/kotlin/org/arend/psi/listener/ArendPsiChangeService.kt start line: 21 end line: 23 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1003 unit: fun incModificationCount() file: src/main/kotlin/org/arend/psi/listener/ArendPsiChangeService.kt start line: 27 end line: 29 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1004 unit: fun addListener() file: src/main/kotlin/org/arend/psi/listener/ArendPsiChangeService.kt start line: 31 end line: 33 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1005 unit: fun removeListener() file: src/main/kotlin/org/arend/psi/listener/ArendPsiChangeService.kt start line: 35 end line: 37 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1006 unit: override fun visitErrorElement() file: src/main/kotlin/org/arend/psi/ext/ArendDefinition.kt start line: 43 end line: 45 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1007 unit: override fun accept() file: src/main/kotlin/org/arend/psi/ext/ArendExpr.kt start line: 22 end line: 24 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1008 unit: override fun dropTCReferable() file: src/main/kotlin/org/arend/psi/ext/Identifiers.kt start line: 162 end line: 164 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1009 unit: fun dropTCCache() file: src/main/kotlin/org/arend/psi/ext/ReferableBase.kt start line: 64 end line: 66 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1010 unit: override fun doApplyInformationToEditor() file: src/main/kotlin/org/arend/highlight/EmptyHighlightingPass.kt start line: 12 end line: 14 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1011 unit: override fun value() file: src/main/kotlin/org/arend/highlight/ArendProblemHighlightFilter.kt start line: 7 end line: 9 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1012 unit: override fun createPass() file: src/main/kotlin/org/arend/highlight/NameShadowingHighlighterPassFactory.kt start line: 15 end line: 17 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1013 unit: override fun invoke() file: src/main/kotlin/org/arend/highlight/RedundantParensPass.kt start line: 83 end line: 85 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1014 unit: protected fun addHighlightInfo() file: src/main/kotlin/org/arend/highlight/BasePass.kt start line: 116 end line: 118 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1015 unit: fun registerFix() file: src/main/kotlin/org/arend/highlight/BasePass.kt start line: 153 end line: 155 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1016 unit: override fun report() file: src/main/kotlin/org/arend/highlight/BasePass.kt start line: 507 end line: 509 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1017 unit: fun addInfo() file: src/main/kotlin/org/arend/highlight/ArendRainbowVisitor.kt start line: 19 end line: 21 size: 3 LOC McCabe index: 2 number of parameters: 2 id: 1018 unit: override fun createPass() file: src/main/kotlin/org/arend/highlight/PartiallyInfixOperatorPrefixFormPassFactory.kt start line: 15 end line: 17 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1019 unit: override fun createPass() file: src/main/kotlin/org/arend/highlight/RedundantParensPassFactory.kt start line: 14 end line: 16 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1020 unit: override fun addParameters() file: src/main/kotlin/org/arend/resolving/PsiConcreteProvider.kt start line: 30 end line: 32 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1021 unit: override fun referenceResolved() file: src/main/kotlin/org/arend/resolving/ArendResolverListener.kt start line: 71 end line: 73 size: 3 LOC McCabe index: 1 number of parameters: 5 id: 1022 unit: override fun levelResolved() file: src/main/kotlin/org/arend/resolving/ArendResolverListener.kt start line: 75 end line: 77 size: 3 LOC McCabe index: 1 number of parameters: 4 id: 1023 unit: override fun patternResolved() file: src/main/kotlin/org/arend/resolving/ArendResolverListener.kt start line: 79 end line: 81 size: 3 LOC McCabe index: 1 number of parameters: 4 id: 1024 unit: override fun beforeDefinitionResolved() file: src/main/kotlin/org/arend/resolving/ArendResolverListener.kt start line: 110 end line: 112 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1025 unit: fun setPointer() file: src/main/kotlin/org/arend/resolving/DataLocatedReferable.kt start line: 73 end line: 75 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1026 unit: override fun createCustomSettings() file: src/main/kotlin/org/arend/formatting/ArendCodeStyleSettingsProvider.kt start line: 44 end line: 46 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1027 unit: override fun getBackspaceMode() file: src/main/kotlin/org/arend/formatting/ArendBackspaceDisabler.kt start line: 7 end line: 9 size: 3 LOC McCabe index: 2 number of parameters: 1 id: 1028 unit: override fun getActionName() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveHandlerDelegate.kt start line: 50 end line: 52 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1029 unit: fun processStatCmd() file: src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt start line: 229 end line: 231 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1030 unit: fun processParentGroup() file: src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt start line: 241 end line: 243 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1031 unit: fun addLongNameAsReferenceName() file: src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt start line: 253 end line: 255 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1032 unit: override fun scopeModified() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 109 end line: 111 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1033 unit: override fun customizeParametersTable() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 126 end line: 128 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1034 unit: override fun beforeShowCallback() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 211 end line: 213 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1035 unit: override fun invoke() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureHandler.kt start line: 31 end line: 33 size: 3 LOC McCabe index: 1 number of parameters: 4 id: 1036 unit: override fun setName() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendTextualParameter.kt start line: 23 end line: 25 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1037 unit: fun setType() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendTextualParameter.kt start line: 33 end line: 35 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1038 unit: fun switchExplicit() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendTextualParameter.kt start line: 39 end line: 41 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1039 unit: fun getOldParameters() file: src/main/kotlin/org/arend/refactoring/changeSignature/entries/UsageEntry.kt start line: 49 end line: 51 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1040 unit: fun getNewParameters() file: src/main/kotlin/org/arend/refactoring/changeSignature/entries/UsageEntry.kt start line: 53 end line: 55 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1041 unit: override fun canProcessElement() file: src/main/kotlin/org/arend/refactoring/ArendRenamePsiElementProcessor.kt start line: 14 end line: 16 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1042 unit: override fun createRenameDialog() file: src/main/kotlin/org/arend/refactoring/ArendRenamePsiElementProcessor.kt start line: 18 end line: 20 size: 3 LOC McCabe index: 1 number of parameters: 4 id: 1043 unit: override fun getSuggestedNames() file: src/main/kotlin/org/arend/refactoring/ArendRenamePsiElementProcessor.kt start line: 23 end line: 25 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1044 unit: override fun areButtonsValid() file: src/main/kotlin/org/arend/refactoring/ArendRenamePsiElementProcessor.kt start line: 39 end line: 41 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1045 unit: override fun updateImpl() file: src/main/kotlin/org/arend/projectView/ArendProjectViewStructureProvider.kt start line: 99 end line: 101 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1046 unit: fun containsChangedFile() file: src/main/kotlin/org/arend/yaml/YamlFileService.kt start line: 29 end line: 31 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1047 unit: fun removeChangedFile() file: src/main/kotlin/org/arend/yaml/YamlFileService.kt start line: 37 end line: 39 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1048 unit: fun getSameFields() file: src/main/kotlin/org/arend/yaml/YamlFileService.kt start line: 41 end line: 43 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1049 unit: fun clearSameFields() file: src/main/kotlin/org/arend/yaml/YamlFileService.kt start line: 49 end line: 51 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1050 unit: override fun detachProcessImpl() file: src/main/kotlin/org/arend/typechecking/execution/TypeCheckProcessHandler.kt start line: 290 end line: 293 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1051 unit: fun startTimer() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 34 end line: 36 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1052 unit: fun onTestFailure() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 178 end line: 180 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1053 unit: override fun processTerminated() file: src/main/kotlin/org/arend/typechecking/execution/configurations/TypeCheckRunState.kt start line: 158 end line: 160 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1054 unit: fun initializeModule() file: src/main/kotlin/org/arend/typechecking/ArendExtensionChangeService.kt start line: 18 end line: 20 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1055 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/typechecking/ArendExtensionChangeService.kt start line: 32 end line: 34 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1056 unit: fun clearQueue() file: src/main/kotlin/org/arend/typechecking/TypecheckingTaskQueue.kt start line: 53 end line: 55 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1057 unit: override fun updateDefinition() file: src/main/kotlin/org/arend/typechecking/TypecheckingTaskQueue.kt start line: 57 end line: 59 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1058 unit: override fun typecheckingUnitFinished() file: src/main/kotlin/org/arend/typechecking/ArendTypechecking.kt start line: 39 end line: 41 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1059 unit: override fun typecheckingBodyFinished() file: src/main/kotlin/org/arend/typechecking/ArendTypechecking.kt start line: 43 end line: 45 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1060 unit: fun info() file: src/main/kotlin/org/arend/typechecking/error/NotificationErrorReporter.kt start line: 47 end line: 49 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1061 unit: fun warn() file: src/main/kotlin/org/arend/typechecking/error/NotificationErrorReporter.kt start line: 51 end line: 53 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1062 unit: override fun navigate() file: src/main/kotlin/org/arend/typechecking/error/PsiHyperlinkInfo.kt start line: 28 end line: 30 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1063 unit: override fun forAffectedDefinitions() file: src/main/kotlin/org/arend/typechecking/error/ParserError.kt start line: 14 end line: 16 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1064 unit: fun clearNameResolverErrors() file: src/main/kotlin/org/arend/typechecking/error/ErrorService.kt start line: 136 end line: 138 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1065 unit: fun clearTypecheckingErrors() file: src/main/kotlin/org/arend/typechecking/error/ErrorService.kt start line: 159 end line: 161 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1066 unit: fun clearTypecheckingErrors() file: src/main/kotlin/org/arend/typechecking/error/ErrorService.kt start line: 163 end line: 165 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1067 unit: override fun runAction() file: src/main/kotlin/org/arend/typechecking/error/TypecheckingErrorReporter.kt start line: 64 end line: 66 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1068 unit: override fun cancel() file: src/main/kotlin/org/arend/typechecking/ProgressCancellationIndicator.kt start line: 10 end line: 12 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1069 unit: override fun typechecked() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 223 end line: 225 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1070 unit: override fun loaded() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 227 end line: 229 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1071 unit: override fun request() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 371 end line: 373 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1072 unit: override fun updateDefinition() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 460 end line: 462 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1073 unit: fun setStdLibrary() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 469 end line: 471 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1074 unit: override fun cancel() file: src/main/kotlin/org/arend/typechecking/ModificationCancellationIndicator.kt start line: 9 end line: 11 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1075 unit: override fun typecheckingUnitStarted() file: src/main/kotlin/org/arend/typechecking/TestBasedTypechecking.kt start line: 42 end line: 44 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1076 unit: override fun loadState() file: src/main/kotlin/org/arend/settings/ArendSettings.kt start line: 52 end line: 54 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1077 unit: override fun shouldHaveBorder() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 231 end line: 233 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1078 unit: override fun getIcon() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 244 end line: 246 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1079 unit: override fun getTailText() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 248 end line: 250 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1080 unit: override fun documentChanged() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 307 end line: 309 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1081 unit: override fun getSearchPattern() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 375 end line: 377 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1082 unit: override fun mouseClicked() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 381 end line: 383 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1083 unit: fun moveListDown() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 601 end line: 603 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1084 unit: fun moveListUp() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 605 end line: 607 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1085 unit: override fun dispose() file: src/main/kotlin/org/arend/search/proof/ArendProofSearchRenderer.kt start line: 201 end line: 203 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1086 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/search/proof/ArendProofSearchAction.kt start line: 14 end line: 16 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1087 unit: override fun toString() file: src/main/kotlin/org/arend/search/proof/ProofSearchQuery.kt start line: 14 end line: 16 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1088 unit: override fun toString() file: src/main/kotlin/org/arend/search/proof/ProofSearchQuery.kt start line: 23 end line: 25 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1089 unit: override fun copy() file: src/main/kotlin/org/arend/tracer/ArendTracingTypechecker.kt start line: 26 end line: 28 size: 3 LOC McCabe index: 1 number of parameters: 6 id: 1090 unit: fun getElementAtCursor() file: src/main/kotlin/org/arend/tracer/ArendTraceAction.kt start line: 104 end line: 106 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1091 unit: override fun resume() file: src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt start line: 116 end line: 118 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1092 unit: override fun startStepOver() file: src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt start line: 120 end line: 122 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1093 unit: override fun startStepInto() file: src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt start line: 124 end line: 126 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1094 unit: override fun startStepOut() file: src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt start line: 128 end line: 130 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1095 unit: override fun showParameterInfo() file: src/main/kotlin/org/arend/codeInsight/ArendParameterInfoHandler.kt start line: 74 end line: 76 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1096 unit: override fun reset() file: src/main/kotlin/org/arend/codeInsight/hints/ArendParametersInlayProvider.kt start line: 134 end line: 136 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1097 unit: fun isFieldOrDynamic() file: src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt start line: 535 end line: 537 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1098 unit: fun withParent() file: src/main/kotlin/org/arend/codeInsight/completion/ArendPatterns.kt start line: 16 end line: 18 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1099 unit: override fun isApplicableTo() file: src/main/kotlin/org/arend/intention/generating/GenerateMissingClausesIntention.kt start line: 11 end line: 13 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1100 unit: override fun visitCase() file: src/main/kotlin/org/arend/intention/generating/ShrinkAbstractVisitor.kt start line: 72 end line: 74 size: 3 LOC McCabe index: 1 number of parameters: 8 id: 1101 unit: override fun visitFieldAccs() file: src/main/kotlin/org/arend/intention/generating/ShrinkAbstractVisitor.kt start line: 76 end line: 78 size: 3 LOC McCabe index: 1 number of parameters: 4 id: 1102 unit: override fun visitClassExt() file: src/main/kotlin/org/arend/intention/generating/ShrinkAbstractVisitor.kt start line: 80 end line: 82 size: 3 LOC McCabe index: 1 number of parameters: 9 id: 1103 unit: override fun visitNumericLiteral() file: src/main/kotlin/org/arend/intention/generating/ShrinkAbstractVisitor.kt start line: 93 end line: 95 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1104 unit: override fun visitStringLiteral() file: src/main/kotlin/org/arend/intention/generating/ShrinkAbstractVisitor.kt start line: 97 end line: 99 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1105 unit: override fun visitTyped() file: src/main/kotlin/org/arend/intention/generating/ShrinkAbstractVisitor.kt start line: 101 end line: 103 size: 3 LOC McCabe index: 1 number of parameters: 4 id: 1106 unit: override fun isApplicableTo() file: src/main/kotlin/org/arend/intention/generating/GenerateElimMissingClausesIntention.kt start line: 19 end line: 21 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1107 unit: override fun beforeTemplateFinished() file: src/main/kotlin/org/arend/intention/generating/GenerateElimMissingClausesIntention.kt start line: 44 end line: 46 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1108 unit: protected fun setText() file: src/main/kotlin/org/arend/intention/SelfTargetingIntention.kt start line: 26 end line: 28 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1109 unit: override fun applyTo() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 89 end line: 91 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1110 unit: override fun getNormalizationMode() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 316 end line: 318 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1111 unit: override fun applyFix() file: src/main/kotlin/org/arend/intention/ArendOptimizeImportsQuickFix.kt start line: 18 end line: 20 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1112 unit: override fun reset() file: src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationEditor.kt start line: 62 end line: 64 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1113 unit: override fun setText() file: src/main/kotlin/org/arend/module/editor/ArendModuleConfigurationView.kt start line: 54 end line: 56 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1114 unit: override fun setText() file: src/main/kotlin/org/arend/module/ArendModuleBuilder.kt start line: 42 end line: 44 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1115 unit: override fun createOptionsStep() file: src/main/kotlin/org/arend/module/ArendModuleBuilder.kt start line: 264 end line: 266 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1116 unit: override fun rootsChanged() file: src/main/kotlin/org/arend/module/ModuleSynchronizer.kt start line: 30 end line: 32 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1117 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/module/ReloadLibrariesAction.kt start line: 12 end line: 14 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1118 unit: protected open fun isDependencyAvailable() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 84 end line: 86 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1119 unit: override fun isSuitableSdkType() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 88 end line: 90 size: 3 LOC McCabe index: 2 number of parameters: 1 id: 1120 unit: override fun modifyProjectTypeStep() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 92 end line: 95 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1121 unit: protected open fun createOptionsStep() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 145 end line: 147 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1122 unit: protected open fun createLibrariesStep() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 149 end line: 151 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1123 unit: override fun getIgnoredSteps() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 153 end line: 155 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1124 unit: protected fun getDependencyConfig() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 309 end line: 311 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1125 unit: fun hasLanguage() file: src/main/kotlin/org/arend/module/starter/ArendGeneratorContext.kt start line: 22 end line: 24 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1126 unit: fun hasLibrary() file: src/main/kotlin/org/arend/module/starter/ArendGeneratorContext.kt start line: 26 end line: 28 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1127 unit: fun hasAnyLibrary() file: src/main/kotlin/org/arend/module/starter/ArendGeneratorContext.kt start line: 30 end line: 32 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1128 unit: fun hasAllLibraries() file: src/main/kotlin/org/arend/module/starter/ArendGeneratorContext.kt start line: 34 end line: 36 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1129 unit: fun getVersion() file: src/main/kotlin/org/arend/module/starter/ArendGeneratorContext.kt start line: 38 end line: 40 size: 3 LOC McCabe index: 2 number of parameters: 2 id: 1130 unit: fun getBomProperty() file: src/main/kotlin/org/arend/module/starter/ArendGeneratorContext.kt start line: 42 end line: 44 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1131 unit: fun getProperty() file: src/main/kotlin/org/arend/module/starter/ArendGeneratorContext.kt start line: 46 end line: 48 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1132 unit: fun asPlaceholder() file: src/main/kotlin/org/arend/module/starter/ArendGeneratorContext.kt start line: 53 end line: 55 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1133 unit: override fun getComponent() file: src/main/kotlin/org/arend/module/starter/ArendStarterInitialStep.kt start line: 78 end line: 80 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1134 unit: override fun validate() file: src/main/kotlin/org/arend/module/starter/ArendStarterInitialStep.kt start line: 145 end line: 147 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1135 unit: override fun getComponent() file: src/main/kotlin/org/arend/module/starter/ArendStarterLibrariesStep.kt start line: 68 end line: 70 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1136 unit: override fun getPreferredFocusedComponent() file: src/main/kotlin/org/arend/module/starter/ArendStarterLibrariesStep.kt start line: 93 end line: 95 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1137 unit: fun addAdditionalModule() file: src/main/kotlin/org/arend/module/config/LibraryConfig.kt start line: 116 end line: 118 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1138 unit: fun copyFromYAML() file: src/main/kotlin/org/arend/module/config/ArendModuleConfigService.kt start line: 184 end line: 186 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1139 unit: fun saveSettings() file: src/main/kotlin/org/arend/module/config/ArendModuleConfigService.kt start line: 188 end line: 190 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1140 unit: override fun visitParameters() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 78 end line: 81 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1141 unit: override fun visitClauses() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 152 end line: 155 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1142 unit: override fun visitElements() file: src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt start line: 191 end line: 194 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1143 unit: override fun invoke() file: src/main/kotlin/org/arend/inspection/RedundantParensInspection.kt start line: 176 end line: 178 size: 3 LOC McCabe index: 1 number of parameters: 4 id: 1144 unit: fun clearScope() file: src/main/kotlin/org/arend/toolWindow/repl/IntellijRepl.kt start line: 79 end line: 81 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1145 unit: override fun setNormalizationMode() file: src/main/kotlin/org/arend/toolWindow/repl/IntellijRepl.kt start line: 90 end line: 92 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1146 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/toolWindow/repl/ArendShowReplAction.kt start line: 9 end line: 11 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1147 unit: override fun invoke() file: src/main/kotlin/org/arend/toolWindow/repl/action/SetPromptCommand.kt start line: 9 end line: 11 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1148 unit: fun initView() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesService.kt start line: 52 end line: 54 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1149 unit: fun updateEditors() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesService.kt start line: 67 end line: 69 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1150 unit: fun updateGoalText() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesService.kt start line: 71 end line: 73 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1151 unit: fun updateErrorText() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesService.kt start line: 75 end line: 77 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1152 unit: fun clearGoalEditor() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesService.kt start line: 79 end line: 81 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1153 unit: override fun toolWindowShown() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesView.kt start line: 85 end line: 87 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1154 unit: override fun createToolWindowContent() file: src/main/kotlin/org/arend/toolWindow/errors/ArendMessagesFactory.kt start line: 10 end line: 12 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1155 unit: fun add() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeElement.kt start line: 31 end line: 33 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1156 unit: override fun caretPositionChanged() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollFromSource.kt start line: 50 end line: 52 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1157 unit: override fun selectElementFromEditor() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollFromSource.kt start line: 78 end line: 80 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1158 unit: override fun setAutoScrollMode() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollToSource.kt start line: 17 end line: 19 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1159 unit: override fun scrollToSource() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollToSource.kt start line: 21 end line: 23 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1160 unit: override fun setSelected() file: src/main/kotlin/org/arend/toolWindow/errors/ArendShowGoalsInErrorsPanelAction.kt start line: 22 end line: 24 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1161 unit: override fun setSelected() file: src/main/kotlin/org/arend/toolWindow/errors/ArendShowErrorsPanelAction.kt start line: 20 end line: 22 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1162 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/toolWindow/errors/ArendClearGoalAction.kt start line: 14 end line: 16 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1163 unit: override fun setSelected() file: src/main/kotlin/org/arend/toolWindow/errors/ArendShowImplicitGoalsAction.kt start line: 21 end line: 23 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1164 unit: override fun accept() file: src/main/kotlin/org/arend/injection/PsiInjectionTextFile.kt start line: 21 end line: 23 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1165 unit: override fun accept() file: src/main/kotlin/org/arend/injection/PsiInjectionText.kt start line: 15 end line: 17 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1166 unit: fun removeUnnecessaryComponents() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 123 end line: 125 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1167 unit: override fun getVerboseLevel() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 334 end line: 336 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1168 unit: override fun getVerboseLevel() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 338 end line: 340 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1169 unit: override fun getNormalizationMode() file: src/main/kotlin/org/arend/injection/InjectedArendEditor.kt start line: 342 end line: 344 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1170 unit: override fun registerHighlightingPassFactory() file: src/main/kotlin/org/arend/injection/InjectionHighlightingPassFactory.kt start line: 12 end line: 14 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1171 unit: override fun createParser() file: src/main/kotlin/org/arend/injection/InjectionTextParserDefinition.kt start line: 16 end line: 18 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1172 unit: override fun getTextId() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 35 end line: 37 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1173 unit: override fun getTextId() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 42 end line: 44 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1174 unit: override fun getTextId() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 49 end line: 51 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1175 unit: override fun getTextId() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 56 end line: 58 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1176 unit: override fun printReferenceName() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 133 end line: 135 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1177 unit: override fun getAffectedDocuments() file: src/main/kotlin/org/arend/injection/actions/UnblockingDocumentAction.kt start line: 30 end line: 32 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1178 unit: override fun isGlobal() file: src/main/kotlin/org/arend/injection/actions/UnblockingDocumentAction.kt start line: 34 end line: 36 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1179 unit: override fun update() file: src/main/kotlin/org/arend/injection/actions/HideImplicitInformationAction.kt start line: 14 end line: 16 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1180 unit: override fun visitVList() file: src/main/kotlin/org/arend/injection/actions/RevealingUtils.kt start line: 16 end line: 18 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1181 unit: override fun visitHList() file: src/main/kotlin/org/arend/injection/actions/RevealingUtils.kt start line: 20 end line: 22 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1182 unit: override fun visitText() file: src/main/kotlin/org/arend/injection/actions/RevealingUtils.kt start line: 24 end line: 26 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1183 unit: override fun visitHang() file: src/main/kotlin/org/arend/injection/actions/RevealingUtils.kt start line: 28 end line: 30 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1184 unit: override fun visitReference() file: src/main/kotlin/org/arend/injection/actions/RevealingUtils.kt start line: 32 end line: 34 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1185 unit: override fun visitCaching() file: src/main/kotlin/org/arend/injection/actions/RevealingUtils.kt start line: 36 end line: 38 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1186 unit: override fun visitTermLine() file: src/main/kotlin/org/arend/injection/actions/RevealingUtils.kt start line: 40 end line: 42 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1187 unit: override fun visitPattern() file: src/main/kotlin/org/arend/injection/actions/RevealingUtils.kt start line: 44 end line: 46 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1188 unit: override fun visitTerm() file: src/main/kotlin/org/arend/injection/actions/RevealingUtils.kt start line: 48 end line: 50 size: 3 LOC McCabe index: 2 number of parameters: 2 id: 1189 unit: override fun update() file: src/main/kotlin/org/arend/injection/actions/RevealImplicitInformationAction.kt start line: 14 end line: 16 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1190 unit: override fun redo() file: src/main/kotlin/org/arend/injection/actions/UndoableConfigModificationAction.kt start line: 23 end line: 25 size: 3 LOC McCabe index: 2 number of parameters: 0 id: 1191 unit: override fun getAffectedDocuments() file: src/main/kotlin/org/arend/injection/actions/UndoableConfigModificationAction.kt start line: 38 end line: 40 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1192 unit: override fun isGlobal() file: src/main/kotlin/org/arend/injection/actions/UndoableConfigModificationAction.kt start line: 42 end line: 44 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1193 unit: override fun setupProjectStructure() file: src/main/kotlin/org/arend/project/ArendProjectStructureDetector.kt start line: 37 end line: 39 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 1194 unit: override fun setOpenProjectSettingsAfter() file: src/main/kotlin/org/arend/project/ArendProjectImportBuilder.kt start line: 28 end line: 30 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1195 unit: override fun mouseExited() file: src/main/kotlin/org/arend/ui/ArendManipulateImplicitArgumentComponent.kt start line: 102 end line: 104 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1196 unit: override fun mouseExited() file: src/main/kotlin/org/arend/ui/ArendManipulateImplicitArgumentComponent.kt start line: 133 end line: 135 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1197 unit: override fun show() file: src/main/kotlin/org/arend/ui/ArendManipulateImplicitArgumentComponent.kt start line: 153 end line: 155 size: 3 LOC McCabe index: 1 number of parameters: 5 id: 1198 unit: override fun println() file: src/main/kotlin/org/arend/ui/impl/ArendConsoleImpl.kt start line: 19 end line: 21 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1199 unit: override fun lookupCanceled() file: src/main/kotlin/org/arend/ui/impl/session/ArendEditorSession.kt start line: 68 end line: 70 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1200 unit: override fun message() file: src/main/kotlin/org/arend/ui/impl/session/ComponentSession.kt start line: 51 end line: 53 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1201 unit: override fun showMessage() file: src/main/kotlin/org/arend/ui/impl/ArendGeneralUI.kt start line: 15 end line: 17 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1202 unit: override fun showErrorMessage() file: src/main/kotlin/org/arend/ui/impl/ArendGeneralUI.kt start line: 19 end line: 21 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1203 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/ui/console/ArendClearConsoleAction.kt start line: 19 end line: 21 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1204 unit: fun clearText() file: src/main/kotlin/org/arend/ui/console/ArendConsoleService.kt start line: 55 end line: 57 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1205 unit: override fun projectClosing() file: src/main/kotlin/org/arend/ui/console/ArendConsoleView.kt start line: 22 end line: 24 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1206 unit: override fun focusLost() file: src/main/kotlin/org/arend/ui/TextFieldChangeListener.kt start line: 24 end line: 26 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1207 unit: override fun textChanged() file: src/main/kotlin/org/arend/ui/TextFieldChangeListener.kt start line: 50 end line: 52 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1208 unit: override fun setSelected() file: src/main/kotlin/org/arend/actions/ArendNormalizeToggleAction.kt start line: 20 end line: 22 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 1209 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/actions/GotoArendFileAction.kt start line: 11 end line: 13 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1210 unit: override fun isShownInSeparateTab() file: src/main/kotlin/org/arend/actions/SearchArendFilesContributor.kt start line: 22 end line: 24 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1211 unit: override fun getActions() file: src/main/kotlin/org/arend/actions/SearchArendFilesContributor.kt start line: 37 end line: 39 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1212 unit: override fun createContributor() file: src/main/kotlin/org/arend/actions/SearchArendFilesContributor.kt start line: 43 end line: 45 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1213 unit: obj.onmouseover = function() file: src/main/html/highlight-hover.js start line: 17 end line: 19 size: 3 LOC McCabe index: 2 number of parameters: 0 id: 1214 unit: obj.onmouseout = function() file: src/main/html/highlight-hover.js start line: 20 end line: 22 size: 3 LOC McCabe index: 2 number of parameters: 0 id: 1215 unit: public ASTNode parseContents() file: src/main/java/org/arend/parser/ParserMixin.java start line: 47 end line: 49 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1216 unit: public ASTNode createNode() file: src/main/java/org/arend/parser/ParserMixin.java start line: 52 end line: 54 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 1217 unit: protected InjectionTextLanguage() file: src/main/java/org/arend/InjectionTextLanguage.java start line: 8 end line: 10 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1218 unit: protected ArendLanguage() file: src/main/java/org/arend/ArendLanguage.java start line: 8 end line: 10 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 1219 unit: override fun browserActivated() file: src/main/kotlin/org/arend/hierarchy/clazz/ArendClassHierarchyProvider.kt start line: 22 end line: 24 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 1220 unit: override fun execute() file: src/main/kotlin/org/arend/scratch/ArendScratchCompilingExecutor.kt start line: 7 end line: 9 size: 2 LOC McCabe index: 1 number of parameters: 0 id: 1221 unit: override fun stop() file: src/main/kotlin/org/arend/scratch/ArendScratchCompilingExecutor.kt start line: 11 end line: 13 size: 2 LOC McCabe index: 1 number of parameters: 0 id: 1222 unit: override fun executeStatement() file: src/main/kotlin/org/arend/scratch/ArendScratchReplExecutor.kt start line: 8 end line: 10 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 1223 unit: override fun startExecution() file: src/main/kotlin/org/arend/scratch/ArendScratchReplExecutor.kt start line: 17 end line: 19 size: 2 LOC McCabe index: 1 number of parameters: 0 id: 1224 unit: override fun stopExecution() file: src/main/kotlin/org/arend/scratch/ArendScratchReplExecutor.kt start line: 21 end line: 23 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 1225 unit: override fun serialize() file: src/main/kotlin/org/arend/psi/stubs/StubImplementations.kt start line: 28 end line: 29 size: 2 LOC McCabe index: 1 number of parameters: 2 id: 1226 unit: protected fun printChildAttributesContext() file: src/main/kotlin/org/arend/formatting/block/AbstractArendBlock.kt start line: 43 end line: 48 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 1227 unit: override fun updateMovedFile() file: src/main/kotlin/org/arend/refactoring/ArendMoveFileHandler.kt start line: 25 end line: 27 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 1228 unit: override fun onUncapturedOutput() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 199 end line: 200 size: 2 LOC McCabe index: 1 number of parameters: 2 id: 1229 unit: override fun onError() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 202 end line: 203 size: 2 LOC McCabe index: 1 number of parameters: 3 id: 1230 unit: override fun installScrollingActions() file: src/main/kotlin/org/arend/search/proof/ProofSearchUI.kt start line: 200 end line: 202 size: 2 LOC McCabe index: 1 number of parameters: 0 id: 1231 unit: override fun update() file: src/main/kotlin/org/arend/search/proof/ShowHelpAction.kt start line: 22 end line: 23 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 1232 unit: open fun createExternalParameter() file: src/main/kotlin/org/arend/codeInsight/ParameterDescriptor.kt start line: 116 end line: 117 size: 2 LOC McCabe index: 1 number of parameters: 2 id: 1233 unit: fun jointOfStatementsCondition() file: src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionContributor.kt start line: 679 end line: 680 size: 2 LOC McCabe index: 1 number of parameters: 2 id: 1234 unit: protected open fun validateConfiguration() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 198 end line: 199 size: 2 LOC McCabe index: 1 number of parameters: 0 id: 1235 unit: open fun applyAdditionalChanges() file: src/main/kotlin/org/arend/module/starter/ArendStarterModuleBuilder.kt start line: 305 end line: 307 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 1236 unit: fun updateText() file: src/main/kotlin/org/arend/ui/console/ArendConsoleService.kt start line: 51 end line: 53 size: 2 LOC McCabe index: 1 number of parameters: 0 id: 1237 unit: override fun dropTypechecked() file: src/main/kotlin/org/arend/psi/ArendFile.kt start line: 178 end line: 178 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 1238 unit: override fun dropTCReferable() file: src/main/kotlin/org/arend/psi/ArendFile.kt start line: 183 end line: 183 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 1239 unit: fun fragmentResolved() file: src/main/kotlin/org/arend/psi/ArendExpressionCodeFragment.kt start line: 44 end line: 44 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 1240 unit: fun scopeModified() file: src/main/kotlin/org/arend/psi/ArendExpressionCodeFragment.kt start line: 46 end line: 46 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1241 unit: override fun doCollectInformation() file: src/main/kotlin/org/arend/highlight/EmptyHighlightingPass.kt start line: 10 end line: 10 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1242 unit: override fun setTypechecked() file: src/main/kotlin/org/arend/resolving/ArendReference.kt start line: 212 end line: 212 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1243 unit: protected open fun resolveReference() file: src/main/kotlin/org/arend/resolving/ArendResolverListener.kt start line: 36 end line: 36 size: 1 LOC McCabe index: 1 number of parameters: 4 id: 1244 unit: override fun beforeDocumentChange() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveMembersDialog.kt start line: 126 end line: 126 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1245 unit: override fun documentChanged() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveMembersDialog.kt start line: 128 end line: 128 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1246 unit: override fun bulkUpdateStarting() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveMembersDialog.kt start line: 130 end line: 130 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1247 unit: override fun bulkUpdateFinished() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveMembersDialog.kt start line: 132 end line: 132 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1248 unit: override fun registerConflictResolvers() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUsageProcessor.kt start line: 106 end line: 106 size: 1 LOC McCabe index: 1 number of parameters: 4 id: 1249 unit: override fun setUseAnySingleVariable() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendTextualParameter.kt start line: 31 end line: 31 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1250 unit: override fun dispose() file: src/main/kotlin/org/arend/typechecking/TypeCheckingService.kt start line: 480 end line: 480 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 1251 unit: override fun updateParameterInfo() file: src/main/kotlin/org/arend/codeInsight/ArendParameterInfoHandler.kt start line: 90 end line: 90 size: 1 LOC McCabe index: 1 number of parameters: 2 id: 1252 unit: override fun initParams() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 331 end line: 331 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1253 unit: protected open fun addFieldsBefore() file: src/main/kotlin/org/arend/module/starter/ArendCommonStarterInitialStep.kt start line: 144 end line: 144 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1254 unit: protected open fun addFieldsAfter() file: src/main/kotlin/org/arend/module/starter/ArendCommonStarterInitialStep.kt start line: 146 end line: 146 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1255 unit: override fun resetGroup() file: src/main/kotlin/org/arend/module/ArendPreludeLibrary.kt start line: 70 end line: 70 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1256 unit: override fun resetDefinition() file: src/main/kotlin/org/arend/module/ArendPreludeLibrary.kt start line: 72 end line: 72 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1257 unit: override fun reset() file: src/main/kotlin/org/arend/module/ArendPreludeLibrary.kt start line: 76 end line: 76 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 1258 unit: fun errorAdded() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeListener.kt start line: 6 end line: 6 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1259 unit: fun errorRemoved() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeListener.kt start line: 7 end line: 7 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1260 unit: override fun setAutoScrollEnabled() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollFromSource.kt start line: 82 end line: 82 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1261 unit: override fun addMouseListener() file: src/main/kotlin/org/arend/ui/ArendManipulateImplicitArgumentComponent.kt start line: 51 end line: 51 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1262 unit: override fun focusGained() file: src/main/kotlin/org/arend/ui/TextFieldChangeListener.kt start line: 28 end line: 28 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1263 unit: open fun notAvailableNotification() file: src/main/kotlin/org/arend/ui/DualList.kt start line: 115 end line: 115 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 1264 unit: open fun updateOtherLists() file: src/main/kotlin/org/arend/ui/DualList.kt start line: 117 end line: 117 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 1265 unit: override fun getStructureViewBuilder() file: src/main/kotlin/org/arend/structure/ArendPsiStructureViewFactory.kt start line: 12 end line: 12 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1266 unit: fun doTransformPattern() file: src/main/kotlin/org/arend/quickfix/ImplementMissingClausesQuickFix.kt start line: 272 end line: 272 size: 0 LOC McCabe index: 1 number of parameters: 10 id: 1267 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/FunctionArgInferenceQuickFix.kt start line: 40 end line: 40 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1268 unit: fun runQuickFix() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 186 end line: 186 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1269 unit: override fun preparePatternTypechecking() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 469 end line: 469 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1270 unit: fun unify() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 819 end line: 819 size: 0 LOC McCabe index: 1 number of parameters: 5 id: 1271 unit: fun doInsertCaseArgs() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 974 end line: 974 size: 0 LOC McCabe index: 1 number of parameters: 10 id: 1272 unit: fun doWriteTypeQualification() file: src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt start line: 1008 end line: 1008 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1273 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/ElimSubstQuickFix.kt start line: 32 end line: 32 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1274 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/instance/AddInstanceArgumentQuickFix.kt start line: 43 end line: 43 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1275 unit: override fun invoke() file: src/main/kotlin/org/arend/quickfix/instance/InstanceInferenceQuickFix.kt start line: 51 end line: 51 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1276 unit: override fun spaceExistenceTypeBetweenTokens() file: src/main/kotlin/org/arend/parser/ArendParserDefinition.kt start line: 42 end line: 42 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1277 unit: fun displayOrthogonal() file: src/main/kotlin/org/arend/graph/GraphSimulator.kt start line: 38 end line: 38 size: 0 LOC McCabe index: 1 number of parameters: 4 id: 1278 unit: override fun createCenterPanel() file: src/main/kotlin/org/arend/graph/GraphSimulator.kt start line: 105 end line: 105 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1279 unit: override fun isPairedBracesAllowedBeforeType() file: src/main/kotlin/org/arend/ArendBraceMatcher.kt start line: 17 end line: 17 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1280 unit: override fun prepareText() file: src/main/kotlin/org/arend/scratch/ArendScratchFileCreationHelper.kt start line: 17 end line: 17 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1281 unit: fun doAction() file: src/main/kotlin/org/arend/scratch/actions/ArendRunScratchAction.kt start line: 38 end line: 38 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1282 unit: override fun getTypecheckable() file: src/main/kotlin/org/arend/psi/ext/PsiLocatedReferable.kt start line: 13 end line: 13 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1283 unit: fun dropTCReferable() file: src/main/kotlin/org/arend/psi/ext/PsiLocatedReferable.kt start line: 22 end line: 22 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1284 unit: fun dropTypechecked() file: src/main/kotlin/org/arend/psi/ext/PsiLocatedReferable.kt start line: 32 end line: 32 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1285 unit: override fun computeConcrete() file: src/main/kotlin/org/arend/psi/ext/ArendDefinition.kt start line: 39 end line: 39 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1286 unit: override fun getGroup() file: src/main/kotlin/org/arend/psi/ext/ArendGroup.kt start line: 8 end line: 8 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1287 unit: override fun getNamespaceCommand() file: src/main/kotlin/org/arend/psi/ext/ArendGroup.kt start line: 9 end line: 9 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1288 unit: override fun getStatements() file: src/main/kotlin/org/arend/psi/ext/ArendGroup.kt start line: 15 end line: 15 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1289 unit: override fun getParentGroup() file: src/main/kotlin/org/arend/psi/ext/ArendGroup.kt start line: 17 end line: 17 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1290 unit: override fun getDynamicSubgroups() file: src/main/kotlin/org/arend/psi/ext/ArendGroup.kt start line: 19 end line: 19 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1291 unit: override fun getInternalReferables() file: src/main/kotlin/org/arend/psi/ext/ArendGroup.kt start line: 21 end line: 21 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1292 unit: override fun getReferable() file: src/main/kotlin/org/arend/psi/ext/ArendGroup.kt start line: 25 end line: 25 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1293 unit: override fun getReference() file: src/main/kotlin/org/arend/psi/ext/ArendCompositeElement.kt start line: 32 end line: 32 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1294 unit: override fun getTopmostEquivalentSourceNode() file: src/main/kotlin/org/arend/psi/ext/ArendCompositeElement.kt start line: 49 end line: 49 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1295 unit: override fun getParentSourceNode() file: src/main/kotlin/org/arend/psi/ext/ArendCompositeElement.kt start line: 50 end line: 50 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1296 unit: fun getArendScope() file: src/main/kotlin/org/arend/psi/ext/ArendCompositeElement.kt start line: 53 end line: 53 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1297 unit: fun isApplicationUsedAsBinOpArgument() file: src/main/kotlin/org/arend/highlight/RedundantParensPass.kt start line: 45 end line: 45 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1298 unit: fun reportToEditor() file: src/main/kotlin/org/arend/highlight/BasePass.kt start line: 157 end line: 157 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1299 unit: override fun visit() file: src/main/kotlin/org/arend/highlight/ArendRainbowVisitor.kt start line: 15 end line: 15 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1300 unit: override fun getElement() file: src/main/kotlin/org/arend/resolving/ArendReference.kt start line: 41 end line: 41 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1301 unit: override fun resolve() file: src/main/kotlin/org/arend/resolving/ArendReference.kt start line: 43 end line: 43 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1302 unit: override fun getVariants() file: src/main/kotlin/org/arend/resolving/ArendReference.kt start line: 236 end line: 236 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1303 unit: fun parseBinOp() file: src/main/kotlin/org/arend/resolving/util/BinOpParser.kt start line: 96 end line: 96 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1304 unit: override fun performRefactoring() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveRefactoringProcessor.kt start line: 140 end line: 140 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1305 unit: fun resolve() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveRefactoringProcessor.kt start line: 552 end line: 552 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1306 unit: fun getUsagesToPreprocess() file: src/main/kotlin/org/arend/refactoring/move/ArendMoveRefactoringProcessor.kt start line: 570 end line: 570 size: 0 LOC McCabe index: 1 number of parameters: 5 id: 1307 unit: fun doCalculateReferenceName() file: src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt start line: 24 end line: 24 size: 0 LOC McCabe index: 1 number of parameters: 4 id: 1308 unit: fun getComplementScope() file: src/main/kotlin/org/arend/refactoring/ArendReferenceNameCalculatorUtils.kt start line: 219 end line: 219 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1309 unit: override fun doCreateEditor() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendParameterTableModel.kt start line: 56 end line: 56 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1310 unit: override fun validateAndCommitData() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 146 end line: 146 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1311 unit: override fun createParametersPanel() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 224 end line: 224 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1312 unit: override fun prepareEditor() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureDialog.kt start line: 277 end line: 277 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1313 unit: fun printAppExpr() file: src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureUtils.kt start line: 143 end line: 143 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1314 unit: fun customPerformDialogRename() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 111 end line: 111 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1315 unit: override fun collectRefs() file: src/main/kotlin/org/arend/refactoring/rename/ArendGlobalReferableRenameHandler.kt start line: 180 end line: 180 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1316 unit: fun exprToConcrete() file: src/main/kotlin/org/arend/refactoring/ArendSubExprUtils.kt start line: 293 end line: 293 size: 0 LOC McCabe index: 1 number of parameters: 4 id: 1317 unit: fun getClassifyingField() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 420 end line: 420 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1318 unit: fun surroundWithBraces() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 437 end line: 437 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1319 unit: fun transformPostfixToPrefix1() file: src/main/kotlin/org/arend/refactoring/ArendRefactoringUtils.kt start line: 623 end line: 623 size: 0 LOC McCabe index: 1 number of parameters: 5 id: 1320 unit: override fun invoke() file: src/main/kotlin/org/arend/refactoring/ArendRenameModuleHandler.kt start line: 20 end line: 20 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1321 unit: override fun getReferencesByElement() file: src/main/kotlin/org/arend/yaml/codeInsight/YAMLReferenceContributor.kt start line: 45 end line: 45 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1322 unit: fun runAction() file: src/main/kotlin/org/arend/typechecking/execution/TypecheckingEventsProcessor.kt start line: 22 end line: 22 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1323 unit: fun getAllIdentifiers() file: src/main/kotlin/org/arend/search/proof/ProofSearchQuery.kt start line: 66 end line: 66 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1324 unit: override fun actionPerformed() file: src/main/kotlin/org/arend/search/proof/ShowInFindWindowAction.kt start line: 29 end line: 29 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1325 unit: override fun invoke() file: src/main/kotlin/org/arend/tracer/ArendTraceAction.kt start line: 64 end line: 64 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1326 unit: override fun createExpressionCodeFragment() file: src/main/kotlin/org/arend/tracer/ArendTraceProcess.kt start line: 228 end line: 228 size: 0 LOC McCabe index: 1 number of parameters: 4 id: 1327 unit: fun displayEditorHint() file: src/main/kotlin/org/arend/codeInsight/ArendPopupHandler.kt start line: 30 end line: 30 size: 0 LOC McCabe index: 1 number of parameters: 4 id: 1328 unit: override fun updateUI() file: src/main/kotlin/org/arend/codeInsight/ArendParameterInfoHandler.kt start line: 9 end line: 9 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1329 unit: override fun getCollectorFor() file: src/main/kotlin/org/arend/codeInsight/hints/ArendDefinitionInlayProvider.kt start line: 28 end line: 28 size: 0 LOC McCabe index: 1 number of parameters: 4 id: 1330 unit: override fun getCollectorFor() file: src/main/kotlin/org/arend/codeInsight/hints/ArendParametersInlayProvider.kt start line: 58 end line: 58 size: 0 LOC McCabe index: 1 number of parameters: 4 id: 1331 unit: fun getPartialExpectedConstructorSignature() file: src/main/kotlin/org/arend/codeInsight/ArendCodeInsightUtils.kt start line: 79 end line: 79 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1332 unit: override fun fillCompletionVariants() file: src/main/kotlin/org/arend/codeInsight/completion/ArendNoVariantsDelegator.kt start line: 27 end line: 27 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1333 unit: override fun addCompletions() file: src/main/kotlin/org/arend/codeInsight/completion/ArendCompletionContributor.kt start line: 756 end line: 756 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1334 unit: override fun generatePreview() file: src/main/kotlin/org/arend/intention/generating/CreateLetBindingIntention.kt start line: 112 end line: 112 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1335 unit: fun initParams() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 192 end line: 192 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1336 unit: fun patternString() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 193 end line: 193 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1337 unit: fun expressionString() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 194 end line: 194 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1338 unit: fun requiresParentheses() file: src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt start line: 195 end line: 195 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1339 unit: override fun buildArendVisitor() file: src/main/kotlin/org/arend/inspection/UnresolvedArendPatternInspection.kt start line: 19 end line: 19 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1340 unit: override fun buildArendVisitor() file: src/main/kotlin/org/arend/inspection/RedundantParensInspection.kt start line: 25 end line: 25 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1341 unit: override fun buildArendVisitor() file: src/main/kotlin/org/arend/inspection/RedundantParameterInspection.kt start line: 18 end line: 18 size: 0 LOC McCabe index: 1 number of parameters: 2 id: 1342 unit: override fun install() file: src/main/kotlin/org/arend/toolWindow/errors/tree/ArendErrorTreeAutoScrollFromSource.kt start line: 48 end line: 48 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1343 unit: fun forEachRange() file: src/main/kotlin/org/arend/util/ArendBinOpUtils.kt start line: 196 end line: 196 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1344 unit: override fun doCollectInformation() file: src/main/kotlin/org/arend/injection/InjectionHighlightingPass.kt start line: 31 end line: 31 size: 0 LOC McCabe index: 1 number of parameters: 1 id: 1345 unit: fun getTextId() file: src/main/kotlin/org/arend/injection/InjectedEditorActionsUtil.kt start line: 28 end line: 28 size: 0 LOC McCabe index: 1 number of parameters: 0 id: 1346 unit: override fun detectRoots() file: src/main/kotlin/org/arend/project/ArendProjectStructureDetector.kt start line: 18 end line: 18 size: 0 LOC McCabe index: 1 number of parameters: 4 id: 1347 unit: fun addTab() file: src/main/kotlin/org/arend/ui/impl/session/ArendSessionsService.kt start line: 29 end line: 29 size: 0 LOC McCabe index: 1 number of parameters: 5 id: 1348 unit: override fun getActionName() file: src/main/kotlin/org/arend/actions/ArendCreateFileAction.kt start line: 15 end line: 15 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1349 unit: override fun buildDialog() file: src/main/kotlin/org/arend/actions/ArendCreateFileAction.kt start line: 21 end line: 21 size: 0 LOC McCabe index: 1 number of parameters: 3 id: 1350 unit: override fun createModel() file: src/main/kotlin/org/arend/actions/SearchArendFilesContributor.kt start line: 26 end line: 26 size: 0 LOC McCabe index: 1 number of parameters: 1