Package org.eclipse.jdt.internal.compiler.lookup

Examples of org.eclipse.jdt.internal.compiler.lookup.VariableBinding

101
102
103
104
105
106
107
108
109
110
111
* @param flowInfo the flow info against which checks must be performed
*/
public void complainOnDeferredFinalChecks(BlockScope scope, FlowInfo flowInfo) {
  // complain on final assignments in loops
  for (int i = 0; i < this.assignCount; i++) {
    VariableBinding variable = this.finalVariables[i];
    if (variable == null) continue;
    boolean complained = false; // remember if have complained on this final assignment
    if (variable instanceof FieldBinding) {
      if (flowInfo.isPotentiallyAssigned((FieldBinding)variable)) {
        complained = true;
View Full Code Here
254
255
256
257
258
259
260
261
262
263
264
public boolean checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo) {
  if (!super.checkNPE(scope, flowContext, flowInfo)) {
    CompilerOptions compilerOptions = scope.compilerOptions();
    if (compilerOptions.isAnnotationBasedNullAnalysisEnabled) {
      VariableBinding var = nullAnnotatedVariableBinding(compilerOptions.sourceLevel >= ClassFileConstants.JDK1_8);
      if (var instanceof FieldBinding) {
        checkNullableFieldDereference(scope, (FieldBinding) var, ((long)this.sourceStart<<32)+this.sourceEnd);
        return true;
      }
    }
View Full Code Here
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
  if (this.binding.isValidBinding()) {
    switch (this.bits & ASTNode.RestrictiveFlagMASK) {
      case Binding.VARIABLE : // =========only variable============
      case Binding.VARIABLE | Binding.TYPE : //====both variable and type============
        if (this.binding instanceof VariableBinding) {
          VariableBinding variable = (VariableBinding) this.binding;
          TypeBinding variableType;
          if (this.binding instanceof LocalVariableBinding) {
            this.bits &= ~ASTNode.RestrictiveFlagMASK;  // clear bits
            this.bits |= Binding.LOCAL;
            if (!variable.isFinal() && (this.bits & ASTNode.IsCapturedOuterLocal) != 0) {
              if (scope.compilerOptions().sourceLevel < ClassFileConstants.JDK1_8) // for 8, defer till effective finality could be ascertained.
                scope.problemReporter().cannotReferToNonFinalOuterLocal((LocalVariableBinding)variable, this);
            }
            variableType = variable.type;
            this.constant = (this.bits & ASTNode.IsStrictlyAssigned) == 0 ? variable.constant() : Constant.NotAConstant;
          } else {
            // a field
            variableType = checkFieldAccess(scope);
          }
          // perform capture conversion if read access
View Full Code Here
9135
9136
9137
9138
9139
9140
9141
9142
9143
9144
9145
9146
9147
9148
9149
      nullityMismatchSpecdNullable(expression, requiredType, this.options.nonNullAnnotationName);
      return;
    }
  }
  if ((nullStatus & FlowInfo.POTENTIALLY_NULL) != 0) {
    VariableBinding var = expression.localVariableBinding();
    if (var == null && expression instanceof Reference) {
      var = ((Reference)expression).lastFieldBinding();
    }
    if (var != null && var.isNullable()) {
      nullityMismatchSpecdNullable(expression, requiredType, annotationName);
      return;
    }
    nullityMismatchPotentiallyNull(expression, requiredType, annotationName);
    return;
View Full Code Here
237
238
239
240
241
242
243
244
245
246
247
}

public boolean checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo) {
  if (!super.checkNPE(scope, flowContext, flowInfo)) {
    VariableBinding var = nullAnnotatedVariableBinding();
    if (var instanceof FieldBinding) {
      checkNullableFieldDereference(scope, (FieldBinding) var, ((long)this.sourceStart<<32)+this.sourceEnd);
      return true;
    }
  }
View Full Code Here
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
  if (this.binding.isValidBinding()) {
    switch (this.bits & ASTNode.RestrictiveFlagMASK) {
      case Binding.VARIABLE : // =========only variable============
      case Binding.VARIABLE | Binding.TYPE : //====both variable and type============
        if (this.binding instanceof VariableBinding) {
          VariableBinding variable = (VariableBinding) this.binding;
          TypeBinding variableType;
          if (this.binding instanceof LocalVariableBinding) {
            this.bits &= ~ASTNode.RestrictiveFlagMASK;  // clear bits
            this.bits |= Binding.LOCAL;
            if (!variable.isFinal() && (this.bits & ASTNode.DepthMASK) != 0) {
              scope.problemReporter().cannotReferToNonFinalOuterLocal((LocalVariableBinding)variable, this);
            }
            variableType = variable.type;
            this.constant = (this.bits & ASTNode.IsStrictlyAssigned) == 0 ? variable.constant() : Constant.NotAConstant;
          } else {
            // a field
            variableType = checkFieldAccess(scope);
          }
          // perform capture conversion if read access
View Full Code Here
2418
2419
2420
2421
2422
2423
2424
2425
2426
2427
2428
          VariableBinding[] vars = currentMethodScope.getEmulationPath(localBinding);
          if (vars == null) {
            return null;
          }
          assert (vars.length == 1);
          VariableBinding varBinding = vars[0];

          // See if there's an available parameter
          if (varBinding instanceof SyntheticArgumentBinding) {
            JType type = (JType) typeMap.get(varBinding.type);
            String name = String.valueOf(varBinding.name);
View Full Code Here
TOP

Related Classes of org.eclipse.jdt.internal.compiler.lookup.VariableBinding

  • com.google.gwt.dev.jjs.impl.GenerateJavaAST$JavaASTGenerationVisitor
  • org.eclipse.jdt.internal.compiler.apt.model.VariableElementImpl
  • org.eclipse.jdt.internal.compiler.ast.SingleNameReference
  • org.eclipse.jdt.internal.compiler.flow.FinallyFlowContext
  • org.eclipse.jdt.internal.compiler.flow.LoopingFlowContext
  • org.eclipse.jdt.internal.compiler.problem.ProblemReporter
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.