org.jetbrains.jet.lang.cfg
Class JetFlowInformationProvider

java.lang.Object
  org.jetbrains.jet.lang.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)
void	checkForLocalClassOrObjectMode()
void	checkFunction(JetType expectedReturnType)
PseudocodeVariablesData	getPseudocodeVariablesData()
void	markTailCalls()
void	markUninitializedVariables()
void	markUnusedLiteralsInBlock()
void	markUnusedVariables()
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)

markUninitializedVariables

public void markUninitializedVariables()

recordInitializedVariables

public void recordInitializedVariables()

markUnusedVariables

public void markUnusedVariables()

markUnusedLiteralsInBlock

public void markUnusedLiteralsInBlock()

markTailCalls

public void markTailCalls()