Verwendungen von Klasse
org.aspectj.org.eclipse.jdt.internal.compiler.flow.FlowContext

Packages, die FlowContext verwenden

Package	Beschreibung
org.aspectj.ajdt.internal.compiler.ast
org.aspectj.org.eclipse.jdt.internal.codeassist.complete
org.aspectj.org.eclipse.jdt.internal.compiler.ast
org.aspectj.org.eclipse.jdt.internal.compiler.flow
org.aspectj.org.eclipse.jdt.internal.compiler.lookup
org.aspectj.org.eclipse.jdt.internal.eval

Verwendungen von FlowContext in org.aspectj.ajdt.internal.compiler.ast

Methoden in org.aspectj.ajdt.internal.compiler.ast mit Parametern vom Typ FlowContext

Modifizierer und Typ	Methode	Beschreibung
void	DeclareAnnotationDeclaration.analyseCode(ClassScope classScope, FlowContext flowContext, FlowInfo flowInfo)
void	InterTypeMethodDeclaration.analyseCode(ClassScope classScope, FlowContext flowContext, FlowInfo flowInfo)

Verwendungen von FlowContext in org.aspectj.org.eclipse.jdt.internal.codeassist.complete

Methoden in org.aspectj.org.eclipse.jdt.internal.codeassist.complete mit Parametern vom Typ FlowContext

Modifizierer und Typ	Methode	Beschreibung
FlowInfo	CompletionOnBreakStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	CompletionOnContinueStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)

Verwendungen von FlowContext in org.aspectj.org.eclipse.jdt.internal.compiler.ast

Methoden in org.aspectj.org.eclipse.jdt.internal.compiler.ast mit Parametern vom Typ FlowContext

Modifizierer und Typ	Methode	Beschreibung
protected void	Statement.analyseArguments(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, MethodBinding methodBinding, Expression[] arguments)	Analysing arguments of MessageSend, ExplicitConstructorCall, AllocationExpression.
FlowInfo	ArrayReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean compoundAssignment)
FlowInfo	FieldReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)
FlowInfo	QualifiedNameReference.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	SingleNameReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)
FlowInfo	ThisReference.analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)
FlowInfo	AbstractVariableDeclaration.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	AllocationExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	AND_AND_Expression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ArrayAllocationExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ArrayInitializer.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ArrayReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	AssertStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	Assignment.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	BinaryExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	Block.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	BreakStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	CaseStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	CastExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ClassLiteralAccess.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	CombinedBinaryExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	CompoundAssignment.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ConditionalExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ContinueStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	DoStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	EmptyStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	EqualExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ExplicitConstructorCall.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	Expression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
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.
FlowInfo	FieldDeclaration.analyseCode(MethodScope initializationScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	FieldReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	FieldReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)
FlowInfo	ForeachStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ForStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	GuardedPattern.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	IfStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	Initializer.analyseCode(MethodScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	InstanceOfExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	LabeledStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	LambdaExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	Literal.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	LocalDeclaration.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	MessageSend.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
void	MethodDeclaration.analyseCode(ClassScope classScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	OR_OR_Expression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	QualifiedAllocationExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	QualifiedNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	QualifiedNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)
FlowInfo	QualifiedThisReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	QualifiedThisReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)
FlowInfo	RecordComponent.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	RecordPattern.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	Reference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ReferenceExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ReturnStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	SingleNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	SingleNameReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, boolean valueRequired)
abstract FlowInfo	Statement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	SwitchExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	SwitchStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	SynchronizedStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	ThrowStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	TryStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	TypeDeclaration.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)	Flow analysis for a local innertype
void	TypeDeclaration.analyseCode(ClassScope currentScope, FlowContext flowContext, FlowInfo flowInfo)	Flow analysis for a local member innertype
FlowInfo	TypePattern.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	TypeReference.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	UnaryExpression.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	WhileStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	YieldStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
protected void	Statement.checkAgainstNullTypeAnnotation(BlockScope scope, TypeBinding requiredType, Expression expression, FlowContext flowContext, FlowInfo flowInfo)
protected void	CompactConstructorDeclaration.checkAndGenerateFieldAssignment(FlowContext flowContext, FlowInfo flowInfo, FieldBinding[] fields)
protected void	ConstructorDeclaration.checkAndGenerateFieldAssignment(FlowContext flowContext, FlowInfo flowInfo, FieldBinding[] fields)
static int	NullAnnotationMatching.checkAssignment(BlockScope currentScope, FlowContext flowContext, VariableBinding var, FlowInfo flowInfo, int nullStatus, Expression expression, TypeBinding providedType)	Check null-ness of 'var' against a possible null annotation
boolean	ArrayReference.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)
boolean	CastExpression.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)
boolean	ConditionalExpression.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)
boolean	Expression.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo)
boolean	Expression.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)	Check this expression against potential NPEs, which may occur: if the expression is the receiver in a field access, qualified allocation, array reference or message send incl. implicit message sends like it happens for the collection in a foreach statement. if the expression is subject to unboxing if the expression is the exception in a throw statement If a risk of NPE is detected report it to the context.
boolean	FieldReference.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)
boolean	MessageSend.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)
boolean	QualifiedNameReference.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)
boolean	Reference.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)
boolean	SingleNameReference.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)
boolean	SwitchExpression.checkNPE(BlockScope skope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)
boolean	ThisReference.checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)
protected void	Expression.checkNPEbyUnboxing(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo)	If this expression requires unboxing check if that operation can throw NPE.
protected boolean	Reference.checkNullableFieldDereference(Scope scope, FieldBinding field, long sourcePosition, FlowContext flowContext, int ttlForFieldCheck)
static FakedTrackingVariable	FakedTrackingVariable.getCloseTrackingVariable(Expression expression, FlowInfo flowInfo, FlowContext flowContext)	If expression resolves to a value of type AutoCloseable answer the variable that tracks closing of that local.
static void	FakedTrackingVariable.handleResourceAssignment(BlockScope scope, FlowInfo upstreamInfo, FlowInfo flowInfo, FlowContext flowContext, ASTNode location, Expression rhs, LocalVariableBinding local)	Given the rhs of an assignment or local declaration has a (Auto)Closeable type (or null), setup for leak analysis now: Create or re-use a tracking variable, and wire and initialize everything.
void	FakedTrackingVariable.markClose(FlowInfo flowInfo, FlowContext flowContext)	Mark that this resource is closed locally.
static FlowInfo	FakedTrackingVariable.markPassedToOutside(BlockScope scope, Expression expression, FlowInfo flowInfo, FlowContext flowContext, boolean owned)	Mark that this resource is passed to some outside code (as argument to a method/ctor call or as a return value from the current method), and thus should be considered as potentially closed.
int	ArrayReference.nullStatus(FlowInfo flowInfo, FlowContext flowContext)
int	Assignment.nullStatus(FlowInfo flowInfo, FlowContext flowContext)
int	CastExpression.nullStatus(FlowInfo flowInfo, FlowContext flowContext)
int	CompoundAssignment.nullStatus(FlowInfo flowInfo, FlowContext flowContext)
int	ConditionalExpression.nullStatus(FlowInfo flowInfo, FlowContext flowContext)
int	Expression.nullStatus(FlowInfo flowInfo, FlowContext flowContext)
int	MessageSend.nullStatus(FlowInfo flowInfo, FlowContext flowContext)
int	NullLiteral.nullStatus(FlowInfo flowInfo, FlowContext flowContext)
int	Reference.nullStatus(FlowInfo flowInfo, FlowContext flowContext)
int	SingleNameReference.nullStatus(FlowInfo flowInfo, FlowContext flowContext)
int	SwitchExpression.nullStatus(FlowInfo flowInfo, FlowContext flowContext)
int	ThisReference.nullStatus(FlowInfo flowInfo, FlowContext flowContext)

Konstruktoren in org.aspectj.org.eclipse.jdt.internal.compiler.ast mit Parametern vom Typ FlowContext

Modifizierer	Konstruktor	Beschreibung
	FakedTrackingVariable(LocalVariableBinding original, ASTNode location, FlowInfo flowInfo, FlowContext flowContext, int nullStatus)

Verwendungen von FlowContext in org.aspectj.org.eclipse.jdt.internal.compiler.flow

Unterklassen von FlowContext in org.aspectj.org.eclipse.jdt.internal.compiler.flow

Modifizierer und Typ	Klasse	Beschreibung
class	ExceptionHandlingFlowContext	Reflects the context of code analysis, keeping track of enclosing try statements, exception handlers, etc...
class	ExceptionInferenceFlowContext	Reflects the context of code analysis, keeping track of enclosing try statements, exception handlers, etc...
class	FieldInitsFakingFlowContext	For instances of this class, getInitsForFinalBlankInitializationCheck(org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeBinding, FlowInfo) will returns a FlowInfo.DEAD_END, which for which FlowInfo.isDefinitelyAssigned(org.aspectj.org.eclipse.jdt.internal.compiler.lookup.FieldBinding) returns true for all fields.
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...
class	TryFlowContext	Shared implementation for try-statement-related flow contexts.

Felder in org.aspectj.org.eclipse.jdt.internal.compiler.flow, die deklariert sind als FlowContext

Modifizierer und Typ	Feld	Beschreibung
FlowContext	ExceptionHandlingFlowContext.initializationParent
static final FlowContext	FlowContext.NotContinuableContext
FlowContext	TryFlowContext.outerTryContext	For a try statement nested inside a finally block this reference points to the flow context of the outer try block, for access to its initsOnFinally.
FlowContext	FlowContext.parent
FlowContext	FinallyFlowContext.tryContext

Methoden in org.aspectj.org.eclipse.jdt.internal.compiler.flow, die FlowContext zurückgeben

Modifizierer und Typ	Methode	Beschreibung
FlowContext	ExceptionHandlingFlowContext.getInitializationContext()
FlowContext	FlowContext.getInitializationContext()	Answer flow context that corresponds to initialization.
FlowContext	InitializationFlowContext.getInitializationContext()
FlowContext	FlowContext.getLocalParent()	Answer the parent flow context but be careful not to cross the boundary of a nested type, or null if no such parent exists.
FlowContext	FlowContext.getTargetContextForBreakLabel(char[] labelName)
FlowContext	FlowContext.getTargetContextForContinueLabel(char[] labelName)
FlowContext	FlowContext.getTargetContextForDefaultBreak()
FlowContext	FlowContext.getTargetContextForDefaultContinue()
FlowContext	FlowContext.getTargetContextForDefaultYield()

Methoden in org.aspectj.org.eclipse.jdt.internal.compiler.flow mit Parametern vom Typ FlowContext

Modifizierer und Typ	Methode	Beschreibung
void	InitializationFlowContext.checkInitializerExceptions(BlockScope currentScope, FlowContext initializerContext, FlowInfo flowInfo)
void	FlowContext.copyNullCheckedFieldsFrom(FlowContext other)
void	FlowContext.recordBreakTo(FlowContext targetContext)
void	LoopingFlowContext.recordBreakTo(FlowContext targetContext)
void	FlowContext.recordContinueFrom(FlowContext innerFlowContext, FlowInfo flowInfo)
void	LoopingFlowContext.recordContinueFrom(FlowContext innerFlowContext, FlowInfo flowInfo)

Konstruktoren in org.aspectj.org.eclipse.jdt.internal.compiler.flow mit Parametern vom Typ FlowContext

Modifizierer	Konstruktor	Beschreibung
	ExceptionHandlingFlowContext(FlowContext parent, ASTNode associatedNode, ReferenceBinding[] handledExceptions, FlowContext initializationParent, BlockScope scope, UnconditionalFlowInfo flowInfo)
	ExceptionHandlingFlowContext(FlowContext parent, TryStatement tryStatement, ReferenceBinding[] handledExceptions, int[] exceptionToCatchBlockMap, FlowContext initializationParent, BlockScope scope, FlowInfo flowInfo)
	ExceptionInferenceFlowContext(FlowContext parent, ASTNode associatedNode, ReferenceBinding[] handledExceptions, FlowContext initializationParent, BlockScope scope, UnconditionalFlowInfo flowInfo)
	FieldInitsFakingFlowContext(FlowContext parent, ASTNode associatedNode, ReferenceBinding[] handledExceptions, FlowContext initializationParent, BlockScope scope, UnconditionalFlowInfo flowInfo)
	FinallyFlowContext(FlowContext parent, ASTNode associatedNode, ExceptionHandlingFlowContext tryContext)
	FlowContext(FlowContext parent, ASTNode associatedNode, boolean inheritNullFieldChecks)
	InitializationFlowContext(FlowContext parent, ASTNode associatedNode, FlowInfo initsBeforeContext, FlowContext initializationParent, 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, boolean isPreTest)
	SwitchFlowContext(FlowContext parent, ASTNode associatedNode, BranchLabel breakLabel, boolean isPreTest, boolean inheritNullFieldChecks)
	TryFlowContext(FlowContext parent, ASTNode associatedNode)

Verwendungen von FlowContext in org.aspectj.org.eclipse.jdt.internal.compiler.lookup

Methoden in org.aspectj.org.eclipse.jdt.internal.compiler.lookup mit Parametern vom Typ FlowContext

Modifizierer und Typ	Methode	Beschreibung
void	BlockScope.checkUnclosedCloseables(FlowInfo flowInfo, FlowContext flowContext, ASTNode location, BlockScope locationScope)	At the end of a block check the closing-status of all tracked closeables that are declared in this block.

Verwendungen von FlowContext in org.aspectj.org.eclipse.jdt.internal.eval

Methoden in org.aspectj.org.eclipse.jdt.internal.eval mit Parametern vom Typ FlowContext

Modifizierer und Typ	Methode	Beschreibung
FlowInfo	CodeSnippetReturnStatement.analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)