| Package | Description |
|---|---|
| org.eclipse.jdt.internal.compiler.ast | |
| org.eclipse.jdt.internal.compiler.flow | |
| org.eclipse.jdt.internal.compiler.problem |
| Modifier and Type | Class and Description |
|---|---|
class |
ArrayReference |
class |
FieldReference |
class |
JavadocFieldReference |
class |
JavadocSingleNameReference |
class |
NameReference |
class |
QualifiedNameReference |
class |
QualifiedSuperReference |
class |
QualifiedThisReference |
class |
SingleNameReference |
class |
SuperReference |
class |
ThisReference |
| Modifier and Type | Method and Description |
|---|---|
boolean |
Reference.isEquivalent(Reference reference)
Is the given reference equivalent to the receiver,
meaning that both denote the same path of field reads?
Used from
FlowContext.isNullcheckedFieldAccess(Reference). |
boolean |
QualifiedNameReference.isEquivalent(Reference reference) |
boolean |
SingleNameReference.isEquivalent(Reference reference) |
boolean |
FieldReference.isEquivalent(Reference reference) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
FlowContext.isNullcheckedFieldAccess(Reference reference)
Is the given field reference equivalent to a reference that is freshly known to be non-null?
Can only return true if CompilerOptions.enableSyntacticNullAnalysisForFields
(implicitly by guards before calls to
FlowContext.recordNullCheckedFieldReference(Reference, int)). |
protected boolean |
LoopingFlowContext.recordFinalAssignment(VariableBinding binding,
Reference finalAssignment) |
protected boolean |
FinallyFlowContext.recordFinalAssignment(VariableBinding binding,
Reference finalAssignment) |
protected boolean |
FlowContext.recordFinalAssignment(VariableBinding variable,
Reference finalReference) |
void |
FlowContext.recordNullCheckedFieldReference(Reference reference,
int timeToLive)
Record that a reference to a field has been seen in a non-null state.
|
void |
FlowContext.recordSettingFinal(VariableBinding variable,
Reference finalReference,
FlowInfo flowInfo) |
| Modifier and Type | Method and Description |
|---|---|
void |
ProblemReporter.cannotUseQualifiedEnumConstantInCaseLabel(Reference location,
FieldBinding field) |
void |
ProblemReporter.duplicateInitializationOfBlankFinalField(FieldBinding field,
Reference reference) |
void |
ProblemReporter.enumSwitchCannotTargetField(Reference reference,
FieldBinding field) |
void |
ProblemReporter.forwardReference(Reference reference,
int indexInQualification,
FieldBinding field) |
Copyright © 2015. All rights reserved.