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

Constructors

Constructor and Description
JetFlowInformationProvider(JetElement declaration, BindingTrace trace)

Method Summary

Methods

Modifier and Type	Method and Description
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()