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