org.jetbrains.kotlin.cfg
Class JetFlowInformationProvider

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

public class JetFlowInformationProvider
extends java.lang.Object

Nested Class Summary

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

Constructor Summary

JetFlowInformationProvider(JetElement declaration, BindingTrace trace)

Method Summary

void	checkDeclaration()
void	checkDefiniteReturn(JetType expectedReturnType, UnreachableCode unreachableCode)
void	checkForLocalClassOrObjectMode()
void	checkFunction(JetType expectedReturnType)
PseudocodeVariablesData	getPseudocodeVariablesData()
void	markStatements()
void	markTailCalls()
void	markUninitializedVariables()
void	markUnusedExpressions()
void	markUnusedVariables()
void	markWhenWithoutElse()
void	recordInitializedVariables()

Methods inherited from class java.lang.Object

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

Constructor Detail

JetFlowInformationProvider

public JetFlowInformationProvider(@NotNull
                                  JetElement declaration,
                                  @NotNull
                                  BindingTrace trace)

Method Detail

getPseudocodeVariablesData

public PseudocodeVariablesData getPseudocodeVariablesData()

checkForLocalClassOrObjectMode

public void checkForLocalClassOrObjectMode()

checkDeclaration

public void checkDeclaration()

checkFunction

public void checkFunction(@Nullable
                          JetType expectedReturnType)

checkDefiniteReturn

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

markUninitializedVariables

public void markUninitializedVariables()

recordInitializedVariables

public void recordInitializedVariables()

markUnusedVariables

public void markUnusedVariables()

markUnusedExpressions

public void markUnusedExpressions()

markStatements

public void markStatements()

markWhenWithoutElse

public void markWhenWithoutElse()

markTailCalls

public void markTailCalls()