org.jetbrains.kotlin.cfg
Class ControlFlowInformationProvider

java.lang.Object
  org.jetbrains.kotlin.cfg.ControlFlowInformationProvider

public class ControlFlowInformationProvider
extends java.lang.Object

Nested Class Summary

static class	ControlFlowInformationProvider.FunctionVoid1<P>
static class	ControlFlowInformationProvider.InstructionDataAnalyzeStrategy<D>

Constructor Summary

ControlFlowInformationProvider(KtElement declaration, BindingTrace trace)

Method Summary

void	checkDeclaration()
void	checkDefiniteReturn(KotlinType expectedReturnType, UnreachableCode unreachableCode)
void	checkForLocalClassOrObjectMode()
void	checkFunction(KotlinType expectedReturnType)
void	checkIfExpressions()
void	checkWhenExpressions()
PseudocodeVariablesData	getPseudocodeVariablesData()
void	markStatements()
void	markTailCalls()
void	markUninitializedVariables()
void	markUnusedExpressions()
void	markUnusedVariables()
void	recordInitializedVariables()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ControlFlowInformationProvider

public ControlFlowInformationProvider(@NotNull
                                      KtElement declaration,
                                      @NotNull
                                      BindingTrace trace)

Method Detail

getPseudocodeVariablesData

public PseudocodeVariablesData getPseudocodeVariablesData()

checkForLocalClassOrObjectMode

public void checkForLocalClassOrObjectMode()

checkDeclaration

public void checkDeclaration()

checkFunction

public void checkFunction(@Nullable
                          KotlinType expectedReturnType)

checkDefiniteReturn

public void checkDefiniteReturn(@NotNull
                                KotlinType expectedReturnType,
                                @NotNull
                                UnreachableCode unreachableCode)

markUninitializedVariables

public void markUninitializedVariables()

recordInitializedVariables

public void recordInitializedVariables()

markUnusedVariables

public void markUnusedVariables()

markUnusedExpressions

public void markUnusedExpressions()

markStatements

public void markStatements()

checkIfExpressions

public void checkIfExpressions()

checkWhenExpressions

public void checkWhenExpressions()

markTailCalls

public void markTailCalls()