| Package | Description |
|---|---|
| sun.tools.java | |
| sun.tools.javac | |
| sun.tools.tree |
| Modifier and Type | Method and 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) |
| Modifier and Type | Method and 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) |
| Modifier and Type | Method and 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.
|
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.
|
| Modifier and Type | Method and 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.
|
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.
|
| Modifier and Type | Field and Description |
|---|---|
static Vset |
Statement.DEAD_END |
Vset |
CheckContext.vsBreak |
Vset |
CheckContext.vsContinue |
Vset |
CheckContext.vsTryExit |
| Modifier and Type | Method and 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.
|
Vset |
NewInstanceExpression.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 |
IncDecExpression.check(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check void expression
|
Vset |
Expression.check(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp) |
Vset |
ConditionalExpression.check(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp) |
Vset |
CommaExpression.check(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check void expression
|
Vset |
BinaryAssignExpression.check(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check void expression
|
Vset |
TypeExpression.checkAmbigName(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
UnaryExpression loc) |
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 |
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 |
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 |
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 |
ArrayAccessExpression.checkAmbigName(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
UnaryExpression loc) |
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
|
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 |
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 |
Expression.checkAssignOp(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
Expression outside) |
Vset |
ArrayAccessExpression.checkAssignOp(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
Expression outside) |
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 |
Expression.checkInitializer(Environment env,
Context ctx,
Vset vset,
Type t,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp) |
Vset |
ArrayExpression.checkInitializer(Environment env,
Context ctx,
Vset vset,
Type t,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp) |
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 |
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 |
Expression.checkLHS(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp) |
Vset |
ArrayAccessExpression.checkLHS(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp) |
Vset |
Statement.checkMethod(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a statement
|
Vset |
UnaryExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a unary expression
|
Vset |
TypeExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an expression
|
Vset |
ThisExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression
|
Vset |
SuperExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression
|
Vset |
NewInstanceExpression.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 |
MethodExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression type
|
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 |
InstanceOfExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the 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 |
IdentifierExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression
|
Vset |
FieldExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the expression
|
Vset |
Expression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an expression
|
Vset |
ConvertExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the value
|
Vset |
ConditionalExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the expression
|
Vset |
CastExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the 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 |
BinaryExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a binary 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 |
AssignExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an assignment expression
|
Vset |
ArrayExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression type
|
Vset |
ArrayAccessExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression type
|
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.
|
Vset |
Vset.join(Vset other)
Join with another vset.
|
Vset |
Vset.removeAdditionalVars(int varNumber)
Remove variables from the vset that are no longer part of
a context.
|
Vset |
Context.removeAdditionalVars(Vset vset)
Remove variables from the vset set that are no longer part of
this context.
|
| Modifier and Type | Method and Description |
|---|---|
Vset |
Vset.addDAandJoinDU(Vset other)
Add in the definite assignment bits of another vset,
but join the definite unassignment bits.
|
Vset |
NewInstanceExpression.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 |
IncDecExpression.check(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check void expression
|
Vset |
Expression.check(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp) |
Vset |
ConditionalExpression.check(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp) |
Vset |
CommaExpression.check(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check void expression
|
Vset |
BinaryAssignExpression.check(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check void expression
|
Vset |
TypeExpression.checkAmbigName(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
UnaryExpression loc) |
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 |
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 |
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 |
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 |
ArrayAccessExpression.checkAmbigName(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
UnaryExpression loc) |
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
|
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 |
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 |
Expression.checkAssignOp(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
Expression outside) |
Vset |
ArrayAccessExpression.checkAssignOp(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
Expression outside) |
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.
|
sun.tools.tree.ConditionVars |
Expression.checkCondition(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a condition.
|
void |
OrExpression.checkCondition(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
sun.tools.tree.ConditionVars cvars) |
void |
NotExpression.checkCondition(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
sun.tools.tree.ConditionVars cvars) |
void |
ExprExpression.checkCondition(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
sun.tools.tree.ConditionVars cvars)
Check a condition.
|
void |
Expression.checkCondition(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
sun.tools.tree.ConditionVars cvars) |
void |
BooleanExpression.checkCondition(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
sun.tools.tree.ConditionVars cvars) |
abstract void |
BinaryLogicalExpression.checkCondition(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
sun.tools.tree.ConditionVars cvars) |
void |
AndExpression.checkCondition(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp,
sun.tools.tree.ConditionVars cvars) |
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 |
Expression.checkInitializer(Environment env,
Context ctx,
Vset vset,
Type t,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp) |
Vset |
ArrayExpression.checkInitializer(Environment env,
Context ctx,
Vset vset,
Type t,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp) |
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 |
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 |
Expression.checkLHS(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp) |
Vset |
ArrayAccessExpression.checkLHS(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp) |
Vset |
Statement.checkMethod(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a statement
|
Vset |
UnaryExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a unary expression
|
Vset |
TypeExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an expression
|
Vset |
ThisExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression
|
Vset |
SuperExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression
|
Vset |
NewInstanceExpression.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 |
MethodExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression type
|
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 |
InstanceOfExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the 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 |
IdentifierExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression
|
Vset |
FieldExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the expression
|
Vset |
Expression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an expression
|
Vset |
ConvertExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the value
|
Vset |
ConditionalExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the expression
|
Vset |
CastExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check the 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 |
BinaryExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check a binary 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 |
AssignExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check an assignment expression
|
Vset |
ArrayExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression type
|
Vset |
ArrayAccessExpression.checkValue(Environment env,
Context ctx,
Vset vset,
java.util.Hashtable<java.lang.Object,java.lang.Object> exp)
Check expression type
|
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.
|
Vset |
Vset.join(Vset other)
Join with another vset.
|
Vset |
Context.removeAdditionalVars(Vset vset)
Remove variables from the vset set that are no longer part of
this context.
|
Copyright © 2017. All Rights Reserved.