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

Packages that use FlowContext

org.eclipse.jdt.internal.codeassist.complete
org.eclipse.jdt.internal.compiler.ast
org.eclipse.jdt.internal.compiler.flow
org.eclipse.jdt.internal.eval
org.jmlspecs.jml4.ast
org.jmlspecs.jml4.nonnull

Uses of FlowContext in org.eclipse.jdt.internal.codeassist.complete

Methods in org.eclipse.jdt.internal.codeassist.complete with parameters of type FlowContext

FlowInfo

CompletionOnBrankStatementLabel.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)

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

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

FlowInfo	ThisReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)
FlowInfo	SingleNameReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)
abstract FlowInfo	Reference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)
FlowInfo	QualifiedNameReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)
FlowInfo	FieldReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)
FlowInfo	ArrayReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean compoundAssignment)
FlowInfo	WhileStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	UnaryExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	TypeReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	TypeDeclaration.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo) Flow analysis for a local innertype
FlowInfo	TryStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ThrowStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	SynchronizedStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	SwitchStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
abstract FlowInfo	Statement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	SingleNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ReturnStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	Reference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	QualifiedThisReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	QualifiedNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	QualifiedAllocationExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	OR_OR_Expression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	MessageSend.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	LocalDeclaration.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	Literal.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	LabeledStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	InstanceOfExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	IfStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ForStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ForeachStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	FieldReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	Expression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ExplicitConstructorCall.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	EqualExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	EmptyStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	DoStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ContinueStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ConditionalExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	CompoundAssignment.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	CombinedBinaryExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ClassLiteralAccess.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	CastExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	CaseStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	BreakStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	Block.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	BinaryExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	Assignment.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	AssertStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ArrayReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ArrayInitializer.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ArrayAllocationExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	AND_AND_Expression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	AllocationExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	AbstractVariableDeclaration.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	SingleNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)
FlowInfo	QualifiedThisReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)
FlowInfo	QualifiedNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)
FlowInfo	FieldReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)
FlowInfo	Expression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired) More sophisticated for of the flow analysis used for analyzing expressions, and be able to optimize out portions of expressions where no actual value is required.
void	TypeDeclaration.analyseCode(ClassScope currentScope, FlowContext flowContext, FlowInfo flowInfo) Flow analysis for a local member innertype
FlowInfo	Initializer.analyseCode(MethodScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	FieldDeclaration.analyseCode(MethodScope initializationScope, FlowContext flowContext, FlowInfo flowInfo)
void	Expression.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo) Check the local variable of this expression, if any, against potential NPEs given a flow context and an upstream flow info.
void	QualifiedNameReference.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, boolean checkString)

Uses of FlowContext in org.eclipse.jdt.internal.compiler.flow

Subclasses of FlowContext in org.eclipse.jdt.internal.compiler.flow

class	ExceptionHandlingFlowContext Reflects the context of code analysis, keeping track of enclosing try statements, exception handlers, etc...
class	FinallyFlowContext Reflects the context of code analysis, keeping track of enclosing try statements, exception handlers, etc...
class	InitializationFlowContext Reflects the context of code analysis, keeping track of enclosing try statements, exception handlers, etc...
class	InsideSubRoutineFlowContext Reflects the context of code analysis, keeping track of enclosing try statements, exception handlers, etc...
class	LabelFlowContext Reflects the context of code analysis, keeping track of enclosing try statements, exception handlers, etc...
class	LoopingFlowContext Reflects the context of code analysis, keeping track of enclosing try statements, exception handlers, etc...
class	SwitchFlowContext Reflects the context of code analysis, keeping track of enclosing try statements, exception handlers, etc...

Fields in org.eclipse.jdt.internal.compiler.flow declared as FlowContext

static FlowContext	FlowContext.NotContinuableContext
FlowContext	FlowContext.parent

Methods in org.eclipse.jdt.internal.compiler.flow that return FlowContext

FlowContext	FlowContext.getTargetContextForBreakLabel(char[] labelName)
FlowContext	FlowContext.getTargetContextForContinueLabel(char[] labelName)
FlowContext	FlowContext.getTargetContextForDefaultBreak()
FlowContext	FlowContext.getTargetContextForDefaultContinue()

Methods in org.eclipse.jdt.internal.compiler.flow with parameters of type FlowContext

void	InitializationFlowContext.checkInitializerExceptions(BlockScope currentScope, FlowContext initializerContext, FlowInfo flowInfo)
void	LoopingFlowContext.recordBreakTo(FlowContext targetContext)
void	FlowContext.recordBreakTo(FlowContext targetContext)
void	LoopingFlowContext.recordContinueFrom(FlowContext innerFlowContext, FlowInfo flowInfo)
void	FlowContext.recordContinueFrom(FlowContext innerFlowContext, FlowInfo flowInfo)

Constructors in org.eclipse.jdt.internal.compiler.flow with parameters of type FlowContext

ExceptionHandlingFlowContext(FlowContext parent, ASTNode associatedNode, ReferenceBinding[] handledExceptions, BlockScope scope, UnconditionalFlowInfo flowInfo)

FinallyFlowContext(FlowContext parent, ASTNode associatedNode)

FlowContext(FlowContext parent, ASTNode associatedNode)

InitializationFlowContext(FlowContext parent, ASTNode associatedNode, BlockScope scope)

InsideSubRoutineFlowContext(FlowContext parent, ASTNode associatedNode)

LabelFlowContext(FlowContext parent, ASTNode associatedNode, char[] labelName, BranchLabel breakLabel, BlockScope scope)

LoopingFlowContext(FlowContext parent, FlowInfo upstreamNullFlowInfo, ASTNode associatedNode, BranchLabel breakLabel, BranchLabel continueLabel, Scope associatedScope)

SwitchFlowContext(FlowContext parent, ASTNode associatedNode, BranchLabel breakLabel)

Uses of FlowContext in org.eclipse.jdt.internal.eval

Methods in org.eclipse.jdt.internal.eval with parameters of type FlowContext

FlowInfo	CodeSnippetReturnStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	CodeSnippetSingleNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)

Uses of FlowContext in org.jmlspecs.jml4.ast

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

FlowInfo	JmlStoreRefExpression.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound) Deprecated.
abstract FlowInfo	JmlTypeBodyDeclaration.analyseCode(BlockScope staticInitializerScope, BlockScope initializerScope, FlowContext context, FlowInfo flowInfo)
FlowInfo	JmlRepresentsClause.analyseCode(BlockScope staticInitializerScope, BlockScope initializerScope, FlowContext context, FlowInfo flowInfo)
FlowInfo	JmlInvariantForType.analyseCode(BlockScope staticInitializerScope, BlockScope initializerScope, FlowContext context, FlowInfo flowInfo)
FlowInfo	JmlInitiallyClause.analyseCode(BlockScope staticInitializerScope, BlockScope initializerScope, FlowContext context, FlowInfo flowInfo)
FlowInfo	JmlConstraintClause.analyseCode(BlockScope staticInitializerScope, BlockScope initializerScope, FlowContext context, FlowInfo flowInfo)
FlowInfo	JmlWhileStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlSubtypeExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlStoreRefListExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlSetStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlSetComprehension.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlReturnStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlResultReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlQuantifiedExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlOldExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlMessageSend.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
void	JmlLoopVariant.analyseCode(BlockScope scope, FlowContext context, FlowInfo flowInfo)
void	JmlLoopAnnotations.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlLocalDeclaration.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlForStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlForeachStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlExplicitConstructorCall.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlDoStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
void	JmlClause.analyseCode(BlockScope scope, FlowContext context, FlowInfo flowInfo)
FlowInfo	JmlAssignment.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlAssertOrAssumeStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlAllocationExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	JmlResultReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)
FlowInfo	JmlFieldDeclaration.analyseCode(MethodScope initializationScope, FlowContext flowContext, FlowInfo flowInfo)
void	JmlSpecCaseRestAsClauseSeq.analysePostcondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
abstract void	JmlSpecCaseRest.analysePostcondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCaseBody.analysePostcondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCaseBlock.analysePostcondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCase.analysePostcondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlMethodSpecification.analysePostcondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCaseHeader.analysePrecondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCaseBody.analysePrecondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCase.analysePrecondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlMethodSpecification.analysePrecondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlQualifiedNameReference.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, boolean checkString)
void	JmlTypeDeclaration.jmlAnalyseCode(FlowContext flowContext, FlowInfo flowInfo)

Uses of FlowContext in org.jmlspecs.jml4.nonnull

Methods in org.jmlspecs.jml4.nonnull with parameters of type FlowContext

static boolean	Nullity.isAssignable(TypeReference typeReference, Expression expression, BlockScope scope, FlowContext flowContext, FlowInfo flowInfo)
static void	Nullity.preparePossibleUnknowns(Expression exp, BlockScope scope, FlowContext flowContext, FlowInfo flowInfo)