Uses of Class
org.eclipse.jdt.internal.compiler.flow.InitializationFlowContext

Packages that use InitializationFlowContext

org.eclipse.jdt.internal.compiler.ast
org.jmlspecs.jml4.ast

Uses of InitializationFlowContext in org.eclipse.jdt.internal.compiler.ast

Methods in org.eclipse.jdt.internal.compiler.ast with parameters of type InitializationFlowContext

void	MethodDeclaration.analyseCode(ClassScope classScope, InitializationFlowContext initializationContext, FlowInfo flowInfo)
void	ConstructorDeclaration.analyseCode(ClassScope classScope, InitializationFlowContext initializerFlowContext, FlowInfo flowInfo) Deprecated. use instead ConstructorDeclaration.analyseCode(ClassScope, InitializationFlowContext, FlowInfo, int)
void	Clinit.analyseCode(ClassScope classScope, InitializationFlowContext staticInitializerFlowContext, FlowInfo flowInfo)
abstract void	AbstractMethodDeclaration.analyseCode(ClassScope classScope, InitializationFlowContext initializationContext, FlowInfo info)
void	ConstructorDeclaration.analyseCode(ClassScope classScope, InitializationFlowContext initializerFlowContext, FlowInfo flowInfo, int initialReachMode) The flowInfo corresponds to non-static field initialization infos.

Uses of InitializationFlowContext in org.jmlspecs.jml4.ast

Methods in org.jmlspecs.jml4.ast with parameters of type InitializationFlowContext

void	JmlMethodDeclaration.analyseCode(ClassScope classScope, InitializationFlowContext initializationContext, FlowInfo flowInfo)
void	JmlClinit.analyseCode(ClassScope classScope, InitializationFlowContext staticInitializerFlowContext, FlowInfo flowInfo)
void	JmlConstructorDeclaration.analyseCode(ClassScope classScope, InitializationFlowContext initializerFlowContext, FlowInfo flowInfo, int initialReachMode)