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 statementVset
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 statementVset
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 statementVset
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 statementVset
IncDecExpression. check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check void expressionVset
MethodExpression. check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check void expressionVset
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 statementVset
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= expressionVset
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 checkAmbigNameprivate 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 statementstatic 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 assignmentVset
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 assignmentVset
Statement. checkMethod(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a statementVset
ArrayAccessExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression typeVset
ArrayExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression typeVset
AssignExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an assignment expressionVset
AssignOpExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an assignment expressionVset
BinaryExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a binary expressionVset
BinaryLogicalExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a binary expressionVset
CastExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the expressionVset
ConditionalExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the expressionVset
ConvertExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the valueVset
Expression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an expressionVset
FieldExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the expressionVset
IdentifierExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expressionVset
IncDecExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an increment or decrement expressionVset
InstanceOfExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the expressionVset
LengthExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Select the type of the expressionVset
MethodExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression typeVset
NewArrayExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
CheckVset
NewInstanceExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression typeVset
SuperExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expressionVset
ThisExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expressionVset
TypeExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an expressionVset
UnaryExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a unary expressionVset
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 statementVset
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 statementVset
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 statementVset
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 statementVset
IncDecExpression. check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check void expressionVset
MethodExpression. check(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check void expressionVset
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 statementVset
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= expressionVset
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= expressionvoid
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 checkAmbigNameprivate Vset
SuperExpression. checkCommon(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Common code for checkValue and checkAmbigNamevoid
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 statementstatic 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 assignmentVset
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 assignmentVset
Statement. checkMethod(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a statementVset
ArrayAccessExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression typeVset
ArrayExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression typeVset
AssignExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an assignment expressionVset
AssignOpExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an assignment expressionVset
BinaryExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a binary expressionVset
BinaryLogicalExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a binary expressionVset
CastExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the expressionVset
ConditionalExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the expressionVset
ConvertExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the valueVset
Expression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an expressionVset
FieldExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the expressionVset
IdentifierExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expressionVset
IncDecExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an increment or decrement expressionVset
InstanceOfExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the expressionVset
LengthExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Select the type of the expressionVset
MethodExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression typeVset
NewArrayExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
CheckVset
NewInstanceExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression typeVset
SuperExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expressionVset
ThisExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expressionVset
TypeExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an expressionVset
UnaryExpression. checkValue(Environment env, Context ctx, Vset vset, java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a unary expressionstatic 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.
-