Package com.intellij.codeInspection.dataFlow.inliner

Interface CallInliner

All Known Implementing Classes:

AssertAllInliner, AssumeInliner, BoxingInliner, ClassMethodsInliner, CollectionMethodInliner, LambdaInliner, MapUpdateInliner, OptionalChainInliner, SimpleMethodInliner, StreamChainInliner

public interface CallInliner

A CallInliner can recognize specific method calls and inline their implementation into current CFG

Method Summary

Modifier and Type	Method and Description
default boolean	mayInferPreciseType(PsiExpression expression)
boolean	tryInlineCall(CFGBuilder builder, PsiMethodCallExpression call) Try to inline the supplied call

Method Detail

tryInlineCall

boolean tryInlineCall(CFGBuilder builder,
                      PsiMethodCallExpression call)

Try to inline the supplied call

Parameters:

builder - a builder to use for inlining. Current state is before given method call (call arguments and qualifier are not handled yet).

call - a call to inline

Returns:

true if inlining is successful. In this case subsequent inliners are skipped and default processing is omitted. If false is returned, inliner must not emit any instructions via builder.

mayInferPreciseType

default boolean mayInferPreciseType(PsiExpression expression)

Parameters:

expression - expression to test

Returns:

true if this inliner may add constraints on the precise type of given expression