org.jetbrains.jet.lang.cfg
Class JetFlowInformationProvider

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

public class JetFlowInformationProvider
extends java.lang.Object

Constructor Summary

JetFlowInformationProvider(JetElement declaration, BindingTrace trace)

Method Summary

void	checkDefiniteReturn(JetType expectedReturnType)
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

checkDefiniteReturn

public void checkDefiniteReturn(@NotNull
                                JetType expectedReturnType)

markUninitializedVariables

public void markUninitializedVariables()

recordInitializedVariables

public void recordInitializedVariables()

markUnusedVariables

public void markUnusedVariables()

markUnusedLiteralsInBlock

public void markUnusedLiteralsInBlock()