idea-plugin / arrow.meta.ide.plugins.proofs.resolve / MetaResolutionFacade

MetaResolutionFacade

class MetaResolutionFacade : ResolutionFacade

Constructors

<init> MetaResolutionFacade(delegate: ResolutionFacade)

Properties

delegate val delegate: ResolutionFacade

Functions

analyze fun analyze(elements: Collection<KtElement>, bodyResolveMode: BodyResolveMode): BindingContext
fun analyze(element: KtElement, bodyResolveMode: BodyResolveMode): BindingContext
analyzeWithAllCompilerChecks fun analyzeWithAllCompilerChecks(elements: Collection<KtElement>): AnalysisResult
getFrontendService fun <T : Any> getFrontendService(element: PsiElement, serviceClass: Class<T>): T
fun <T : Any> getFrontendService(serviceClass: Class<T>): T
fun <T : Any> getFrontendService(moduleDescriptor: ModuleDescriptor, serviceClass: Class<T>): T
getIdeService fun <T : Any> getIdeService(serviceClass: Class<T>): T
resolveToDescriptor fun resolveToDescriptor(declaration: KtDeclaration, bodyResolveMode: BodyResolveMode): DeclarationDescriptor
tryGetFrontendService fun <T : Any> tryGetFrontendService(element: PsiElement, serviceClass: Class<T>): T?

Do you like Arrow?

Arrow Org
<