idea-plugin / arrow.meta.ide / IdeMetaPlugin

IdeMetaPlugin

open class IdeMetaPlugin : MetaPlugin, IdeInternalRegistry, IdeSyntax

Constructors

<init> IdeMetaPlugin()

Functions

intercept open fun intercept(ctx: CompilerContext): List<CliPlugin>
open fun intercept(ctx: IdeContext): List<IdePlugin>

Extension Properties

codeFolding val IdeMetaPlugin.codeFolding: ExtensionPhase
codeFoldingOnKinds val IdeMetaPlugin.codeFoldingOnKinds: ExtensionPhase
codeFoldingOnTuples val IdeMetaPlugin.codeFoldingOnTuples: ExtensionPhase
codeFoldingOnUnions val IdeMetaPlugin.codeFoldingOnUnions: ExtensionPhase
comprehensionsIdePlugin val IdeMetaPlugin.comprehensionsIdePlugin: IdePlugin
foldingCaretListener val IdeMetaPlugin.foldingCaretListener: ExtensionPhase
helloWorld The following section exemplifies a Hello World IDE Pluginval IdeMetaPlugin.helloWorld: IdePlugin
initialIdeSetUp val IdeMetaPlugin.initialIdeSetUp: IdePlugin
opticsIdePlugin val IdeMetaPlugin.opticsIdePlugin: IdePlugin
proofsKotlinCache val IdeMetaPlugin.proofsKotlinCache: ExtensionPhase
purity val IdeMetaPlugin.purity: IdePlugin
purityInspection val IdeSyntax.purityInspection: AbstractApplicabilityBasedInspection<KtNamedFunction>
quoteLifecycle quoteLifecycle addresses ide lifecycle specific manipulates utilizing the QuoteSystemService, QuoteCache and QuoteHighlightingCache.val IdeMetaPlugin.quoteLifecycle: ExtensionPhase
quotes Please, view the sub directories cache , resolve and system for quotes related IDE features.val IdeMetaPlugin.quotes: IdePlugin
quotesCli quotes cli integration with the Ideval IdeMetaPlugin.quotesCli: CliPlugin
quoteSyntheticPackageFragmentProvider val IdeMetaPlugin.quoteSyntheticPackageFragmentProvider: ExtensionPhase
typeProofsIde val IdeMetaPlugin.typeProofsIde: IdePlugin

Extension Functions

coerceProofLineMarker fun IdeMetaPlugin.coerceProofLineMarker(icon: Icon): ExtensionPhase
proofLineMarkers fun <A : KtDeclaration> IdeMetaPlugin.proofLineMarkers(icon: Icon, filter: A.() -> Boolean): ExtensionPhase
refinementAnnotator fun IdeMetaPlugin.refinementAnnotator(): ExtensionPhase
refinementLineMarkers fun IdeMetaPlugin.refinementLineMarkers(): ExtensionPhase

Do you like Arrow?

Arrow Org
<