Uses of Class
org.glassfish.rmic.tools.tree.Vset

Packages that use Vset

Package	Description
org.glassfish.rmic.tools.java
org.glassfish.rmic.tools.javac
org.glassfish.rmic.tools.tree

Uses of Vset in org.glassfish.rmic.tools.java

Methods in org.glassfish.rmic.tools.java that return Vset

Modifier and Type	Method	Description
Vset	MemberDefinition.check(Environment env, Context ctx, Vset vset)	Really check the field definition.
Vset	ClassDefinition.checkLocalClass(Environment env, Context ctx, Vset vset, ClassDefinition sup, Expression[] args, Type[] argTypes)

Methods in org.glassfish.rmic.tools.java with parameters of type Vset

Modifier and Type	Method	Description
Vset	MemberDefinition.check(Environment env, Context ctx, Vset vset)	Really check the field definition.
Vset	ClassDefinition.checkLocalClass(Environment env, Context ctx, Vset vset, ClassDefinition sup, Expression[] args, Type[] argTypes)

Uses of Vset in org.glassfish.rmic.tools.javac

Methods in org.glassfish.rmic.tools.javac that return Vset

Modifier and Type	Method	Description
Vset	SourceMember.check(Environment env, Context ctx, Vset vset)	Deprecated. Check a field.
Vset	SourceClass.checkInsideClass(Environment env, Context ctx, Vset vset)	Deprecated. Check a class which is inside a local class, but is not itself local.
private Vset	SourceClass.checkInternal(Environment env, Context ctx, Vset vset)	Deprecated.
Vset	SourceClass.checkLocalClass(Environment env, Context ctx, Vset vset, ClassDefinition sup, Expression[] args, Type[] argTypes)	Deprecated. During the type-checking of an outer method body or initializer, this routine is called to check a local class body in the proper context.
private Vset	SourceClass.checkMembers(Environment env, Context ctx, Vset vset)	Deprecated. Check all of the members of this class.

Methods in org.glassfish.rmic.tools.javac with parameters of type Vset

Modifier and Type	Method	Description
Vset	SourceMember.check(Environment env, Context ctx, Vset vset)	Deprecated. Check a field.
private void	SourceClass.checkBlankFinals(Environment env, Context ctxInit, Vset vset, boolean isStatic)	Deprecated. Make sure all my blank finals exist now.
Vset	SourceClass.checkInsideClass(Environment env, Context ctx, Vset vset)	Deprecated. Check a class which is inside a local class, but is not itself local.
private Vset	SourceClass.checkInternal(Environment env, Context ctx, Vset vset)	Deprecated.
Vset	SourceClass.checkLocalClass(Environment env, Context ctx, Vset vset, ClassDefinition sup, Expression[] args, Type[] argTypes)	Deprecated. During the type-checking of an outer method body or initializer, this routine is called to check a local class body in the proper context.
private Vset	SourceClass.checkMembers(Environment env, Context ctx, Vset vset)	Deprecated. Check all of the members of this class.

Uses of Vset in org.glassfish.rmic.tools.tree

Fields in org.glassfish.rmic.tools.tree declared as Vset

Modifier and Type	Field	Description
static Vset	Statement.DEAD_END
(package private) static Vset	Vset.DEAD_END	This is the Vset which reports all vars assigned and unassigned.
Vset	CheckContext.vsBreak
Vset	CheckContext.vsContinue
(package private) Vset	ConditionVars.vsFalse
(package private) Vset	ConditionVars.vsTrue
Vset	CheckContext.vsTryExit

Methods in org.glassfish.rmic.tools.tree that return Vset

Modifier and Type	Method	Description
Vset	Vset.addDAandJoinDU(Vset other)	Add in the definite assignment bits of another vset, but join the definite unassignment bits.
Vset	Vset.addVar(int varNumber)	Note that a var is definitely assigned.
Vset	Vset.addVarUnassigned(int varNumber)	Note that a var is definitely un-assigned.
private Vset	IdentifierExpression.assign(Environment env, Context ctx, Vset vset)	Assign a value to this identifier.
Vset	BinaryAssignExpression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check void expression
(package private) Vset	BreakStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	CaseStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	CatchStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
Vset	CommaExpression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check void expression
(package private) Vset	CompoundStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
Vset	ConditionalExpression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
(package private) Vset	ContinueStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	DeclarationStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement Report an error unless the call is checkBlockStatement.
(package private) Vset	DoStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
Vset	Expression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
(package private) Vset	ExpressionStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	FinallyStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	ForStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	IfStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
Vset	IncDecExpression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check void expression
Vset	MethodExpression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check void expression
Vset	NewInstanceExpression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check void expression
(package private) Vset	ReturnStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	Statement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
(package private) Vset	SwitchStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	SynchronizedStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	ThrowStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	TryStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	WhileStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check a while statement
Vset	ArrayAccessExpression.checkAmbigName(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)
Vset	Expression.checkAmbigName(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)	Check something that might be an AmbiguousName (refman 6.5.2).
Vset	FieldExpression.checkAmbigName(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)	Check if the present name is part of a scoping prefix.
Vset	IdentifierExpression.checkAmbigName(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)	Check if the present name is part of a scoping prefix.
Vset	SuperExpression.checkAmbigName(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)	Check if the present name is part of a scoping prefix.
Vset	TypeExpression.checkAmbigName(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)
Vset	ArrayAccessExpression.checkAssignOp(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, Expression outside)
Vset	Expression.checkAssignOp(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, Expression outside)
Vset	ExprExpression.checkAssignOp(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, Expression outside)	Check the expression if it appears as an lvalue.
Vset	FieldExpression.checkAssignOp(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, Expression outside)	Check the expression if it appears on the LHS of an op= expression
Vset	IdentifierExpression.checkAssignOp(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, Expression outside)	Check the expression if it appears on the LHS of an op= expression
(package private) Vset	DeclarationStatement.checkBlockStatement(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
(package private) Vset	Statement.checkBlockStatement(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	This is called in contexts where declarations are valid.
private Vset	FieldExpression.checkCommon(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc, boolean isLHS)	Common code for checkValue and checkAmbigName
private Vset	SuperExpression.checkCommon(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Common code for checkValue and checkAmbigName
(package private) Vset	Statement.checkDeclaration(Environment env, Context ctx, Vset vset, int mod, Type t, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
(package private) Vset	VarDeclarationStatement.checkDeclaration(Environment env, Context ctx, Vset vset, int mod, Type t, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
static Vset	FieldExpression.checkFinalAssign(Environment env, Context ctx, Vset vset, long where, MemberDefinition field)	There is a simple assignment being made to the given final field.
Vset	ArrayExpression.checkInitializer(Environment env, Context ctx, Vset vset, Type t, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Vset	Expression.checkInitializer(Environment env, Context ctx, Vset vset, Type t, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
private Vset	FieldExpression.checkInnerClass(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)	This field expression is an inner class reference.
Vset	ArrayAccessExpression.checkLHS(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Vset	Expression.checkLHS(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Vset	FieldExpression.checkLHS(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the expression if it appears on the LHS of an assignment
Vset	IdentifierExpression.checkLHS(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the expression if it appears on the LHS of an assignment
Vset	Statement.checkMethod(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check a statement
Vset	ArrayAccessExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression type
Vset	ArrayExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression type
Vset	AssignExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check an assignment expression
Vset	AssignOpExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check an assignment expression
Vset	BinaryExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check a binary expression
Vset	BinaryLogicalExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check a binary expression
Vset	CastExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the expression
Vset	ConditionalExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the expression
Vset	ConvertExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the value
Vset	Expression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check an expression
Vset	FieldExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the expression
Vset	IdentifierExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression
Vset	IncDecExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check an increment or decrement expression
Vset	InstanceOfExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the expression
Vset	LengthExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Select the type of the expression
Vset	MethodExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression type
Vset	NewArrayExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check
Vset	NewInstanceExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression type
Vset	SuperExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression
Vset	ThisExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression
Vset	TypeExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check an expression
Vset	UnaryExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check a unary expression
Vset	Vset.clearDeadEnd()	Replace canonical DEAD_END with a distinct but equivalent Vset.
Vset	Vset.clearVar(int varNumber)	Retract any assertion about the var.
Vset	Vset.copy()	Create an copy of the given Vset.
static Vset	Vset.firstDAandSecondDU(Vset sourceDA, Vset sourceDU)	Construct a vset consisting of the DA bits of the first argument and the DU bits of the second argument.
private Vset	IdentifierExpression.get(Environment env, Context ctx, Vset vset)	Get the value of this identifier.
Vset	Vset.join(Vset other)	Join with another vset.
(package private) Vset	Statement.reach(Environment env, Vset vset)
Vset	Context.removeAdditionalVars(Vset vset)	Remove variables from the vset set that are no longer part of this context.
Vset	Vset.removeAdditionalVars(int varNumber)	Remove variables from the vset that are no longer part of a context.

Methods in org.glassfish.rmic.tools.tree with parameters of type Vset

Modifier and Type	Method	Description
Vset	Vset.addDAandJoinDU(Vset other)	Add in the definite assignment bits of another vset, but join the definite unassignment bits.
private Vset	IdentifierExpression.assign(Environment env, Context ctx, Vset vset)	Assign a value to this identifier.
Vset	BinaryAssignExpression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check void expression
(package private) Vset	BreakStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	CaseStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	CatchStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
Vset	CommaExpression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check void expression
(package private) Vset	CompoundStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
Vset	ConditionalExpression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
(package private) Vset	ContinueStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	DeclarationStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement Report an error unless the call is checkBlockStatement.
(package private) Vset	DoStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
Vset	Expression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
(package private) Vset	ExpressionStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	FinallyStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	ForStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	IfStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
Vset	IncDecExpression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check void expression
Vset	MethodExpression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check void expression
Vset	NewInstanceExpression.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check void expression
(package private) Vset	ReturnStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	Statement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
(package private) Vset	SwitchStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	SynchronizedStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	ThrowStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	TryStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
(package private) Vset	WhileStatement.check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check a while statement
Vset	ArrayAccessExpression.checkAmbigName(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)
Vset	Expression.checkAmbigName(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)	Check something that might be an AmbiguousName (refman 6.5.2).
Vset	FieldExpression.checkAmbigName(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)	Check if the present name is part of a scoping prefix.
Vset	IdentifierExpression.checkAmbigName(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)	Check if the present name is part of a scoping prefix.
Vset	SuperExpression.checkAmbigName(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)	Check if the present name is part of a scoping prefix.
Vset	TypeExpression.checkAmbigName(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)
Vset	ArrayAccessExpression.checkAssignOp(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, Expression outside)
Vset	Expression.checkAssignOp(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, Expression outside)
Vset	ExprExpression.checkAssignOp(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, Expression outside)	Check the expression if it appears as an lvalue.
Vset	FieldExpression.checkAssignOp(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, Expression outside)	Check the expression if it appears on the LHS of an op= expression
Vset	IdentifierExpression.checkAssignOp(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, Expression outside)	Check the expression if it appears on the LHS of an op= expression
void	Context.checkBackBranch(Environment env, Statement loop, Vset vsEntry, Vset vsBack)	Raise an error if a blank final was definitely unassigned on entry to a loop, but has possibly been assigned on the back-branch.
(package private) Vset	DeclarationStatement.checkBlockStatement(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
(package private) Vset	Statement.checkBlockStatement(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	This is called in contexts where declarations are valid.
private Vset	FieldExpression.checkCommon(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc, boolean isLHS)	Common code for checkValue and checkAmbigName
private Vset	SuperExpression.checkCommon(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Common code for checkValue and checkAmbigName
void	AndExpression.checkCondition(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, ConditionVars cvars)
abstract void	BinaryLogicalExpression.checkCondition(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, ConditionVars cvars)
void	BooleanExpression.checkCondition(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, ConditionVars cvars)
ConditionVars	Expression.checkCondition(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check a condition.
void	Expression.checkCondition(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, ConditionVars cvars)
void	ExprExpression.checkCondition(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, ConditionVars cvars)	Check a condition.
void	NotExpression.checkCondition(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, ConditionVars cvars)
void	OrExpression.checkCondition(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, ConditionVars cvars)
(package private) Vset	Statement.checkDeclaration(Environment env, Context ctx, Vset vset, int mod, Type t, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
(package private) Vset	VarDeclarationStatement.checkDeclaration(Environment env, Context ctx, Vset vset, int mod, Type t, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check statement
static Vset	FieldExpression.checkFinalAssign(Environment env, Context ctx, Vset vset, long where, MemberDefinition field)	There is a simple assignment being made to the given final field.
Vset	ArrayExpression.checkInitializer(Environment env, Context ctx, Vset vset, Type t, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Vset	Expression.checkInitializer(Environment env, Context ctx, Vset vset, Type t, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
private Vset	FieldExpression.checkInnerClass(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp, UnaryExpression loc)	This field expression is an inner class reference.
Vset	ArrayAccessExpression.checkLHS(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Vset	Expression.checkLHS(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Vset	FieldExpression.checkLHS(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the expression if it appears on the LHS of an assignment
Vset	IdentifierExpression.checkLHS(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the expression if it appears on the LHS of an assignment
Vset	Statement.checkMethod(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check a statement
Vset	ArrayAccessExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression type
Vset	ArrayExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression type
Vset	AssignExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check an assignment expression
Vset	AssignOpExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check an assignment expression
Vset	BinaryExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check a binary expression
Vset	BinaryLogicalExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check a binary expression
Vset	CastExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the expression
Vset	ConditionalExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the expression
Vset	ConvertExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the value
Vset	Expression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check an expression
Vset	FieldExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the expression
Vset	IdentifierExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression
Vset	IncDecExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check an increment or decrement expression
Vset	InstanceOfExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check the expression
Vset	LengthExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Select the type of the expression
Vset	MethodExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression type
Vset	NewArrayExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check
Vset	NewInstanceExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression type
Vset	SuperExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression
Vset	ThisExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check expression
Vset	TypeExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check an expression
Vset	UnaryExpression.checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)	Check a unary expression
static Vset	Vset.firstDAandSecondDU(Vset sourceDA, Vset sourceDU)	Construct a vset consisting of the DA bits of the first argument and the DU bits of the second argument.
private Vset	IdentifierExpression.get(Environment env, Context ctx, Vset vset)	Get the value of this identifier.
Vset	Vset.join(Vset other)	Join with another vset.
(package private) Vset	Statement.reach(Environment env, Vset vset)
Vset	Context.removeAdditionalVars(Vset vset)	Remove variables from the vset set that are no longer part of this context.