Package org.eclipse.jdt.internal.compiler.flow

Examples of org.eclipse.jdt.internal.compiler.flow.ExceptionHandlingFlowContext

49
50
51
52
53
54
55
56
57
58
59
60
    FlowInfo flowInfo) {

    if (this.ignoreFurtherInvestigation)
      return;
    try {
      ExceptionHandlingFlowContext clinitContext =
        new ExceptionHandlingFlowContext(
          staticInitializerFlowContext.parent,
          this,
          Binding.NO_EXCEPTIONS,
          staticInitializerFlowContext,
          this.scope,
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
      // may be in a non necessary <clinit> for innerclass with static final constant fields
      if (this.binding.isAbstract() || this.binding.isNative())
        return;

      ExceptionHandlingFlowContext methodContext =
        new ExceptionHandlingFlowContext(
          initializationContext,
          this,
          this.binding.thrownExceptions,
          null,
          this.scope,
          FlowInfo.DEAD_END);

      // tag parameters as being set
      if (this.arguments != null) {
        for (int i = 0, count = this.arguments.length; i < count; i++) {
          flowInfo.markAsDefinitelyAssigned(this.arguments[i].binding);
          // if this method uses a type parameter declared by the declaring class,
          // it can't be static. https://bugs.eclipse.org/bugs/show_bug.cgi?id=318682
          if (this.arguments[i].binding != null && (this.arguments[i].binding.type instanceof TypeVariableBinding)) {
            Binding declaringElement = ((TypeVariableBinding)this.arguments[i].binding.type).declaringElement;
            if (this.binding != null && this.binding.declaringClass == declaringElement)
              this.bits &= ~ASTNode.CanBeStatic;
          }
        }
      }
      if (this.binding.declaringClass instanceof MemberTypeBinding && !this.binding.declaringClass.isStatic()) {
        // method of a non-static member type can't be static.
        this.bits &= ~ASTNode.CanBeStatic;
      }
      // propagate to statements
      if (this.statements != null) {
        int complaintLevel = (flowInfo.reachMode() & FlowInfo.UNREACHABLE) == 0 ? Statement.NOT_COMPLAINED : Statement.COMPLAINED_FAKE_REACHABLE;
        for (int i = 0, count = this.statements.length; i < count; i++) {
          Statement stat = this.statements[i];
          if ((complaintLevel = stat.complainIfUnreachable(flowInfo, this.scope, complaintLevel)) < Statement.COMPLAINED_UNREACHABLE) {
            flowInfo = stat.analyseCode(this.scope, methodContext, flowInfo);
          }
        }
      } else {
        // method with empty body should not be flagged as static.
        this.bits &= ~ASTNode.CanBeStatic;
      }
      // check for missing returning path
      TypeBinding returnTypeBinding = this.binding.returnType;
      if ((returnTypeBinding == TypeBinding.VOID) || isAbstract()) {
        if ((flowInfo.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) {
          this.bits |= ASTNode.NeedFreeReturn;
        }
      } else {
        if (flowInfo != FlowInfo.DEAD_END) {
          this.scope.problemReporter().shouldReturn(returnTypeBinding, this);
        }
      }
      // check unreachable catch blocks
      methodContext.complainIfUnusedExceptionHandlers(this);
      // check unused parameters
      this.scope.checkUnusedParameters(this.binding);
      // check if the method could have been static
      if (!this.binding.isStatic() && (this.bits & ASTNode.CanBeStatic) != 0) {
        if(!this.binding.isOverriding() && !this.binding.isImplementing()) {
View Full Code Here
47
48
49
50
51
52
53
54
55
56
57
58
    FlowInfo flowInfo) {

    if (this.ignoreFurtherInvestigation)
      return;
    try {
      ExceptionHandlingFlowContext clinitContext =
        new ExceptionHandlingFlowContext(
          staticInitializerFlowContext.parent,
          this,
          Binding.NO_EXCEPTIONS,
          staticInitializerFlowContext,
          this.scope,
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
      // may be in a non necessary <clinit> for innerclass with static final constant fields
      if (this.binding.isAbstract() || this.binding.isNative())
        return;

      ExceptionHandlingFlowContext methodContext =
        new ExceptionHandlingFlowContext(
          initializationContext,
          this,
          this.binding.thrownExceptions,
          null,
          this.scope,
          FlowInfo.DEAD_END);

      // tag parameters as being set
      if (this.arguments != null) {
        for (int i = 0, count = this.arguments.length; i < count; i++) {
          flowInfo.markAsDefinitelyAssigned(this.arguments[i].binding);
        }
      }
      // propagate to statements
      if (this.statements != null) {
        int complaintLevel = (flowInfo.reachMode() & FlowInfo.UNREACHABLE) == 0 ? Statement.NOT_COMPLAINED : Statement.COMPLAINED_FAKE_REACHABLE;
        for (int i = 0, count = this.statements.length; i < count; i++) {
          Statement stat = this.statements[i];
          if ((complaintLevel = stat.complainIfUnreachable(flowInfo, this.scope, complaintLevel)) < Statement.COMPLAINED_UNREACHABLE) {
            flowInfo = stat.analyseCode(this.scope, methodContext, flowInfo);
          }
        }
      }
      // check for missing returning path
      TypeBinding returnTypeBinding = this.binding.returnType;
      if ((returnTypeBinding == TypeBinding.VOID) || isAbstract()) {
        if ((flowInfo.tagBits & FlowInfo.UNREACHABLE) == 0) {
          this.bits |= ASTNode.NeedFreeReturn;
        }
      } else {
        if (flowInfo != FlowInfo.DEAD_END) {
          this.scope.problemReporter().shouldReturn(returnTypeBinding, this);
        }
      }
      // check unreachable catch blocks
      methodContext.complainIfUnusedExceptionHandlers(this);
      // check unused parameters
      this.scope.checkUnusedParameters(this.binding);
    } catch (AbortMethod e) {
      this.ignoreFurtherInvestigation = true;
    }
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
      // may be in a non necessary <clinit> for innerclass with static final constant fields
      if (this.binding.isAbstract() || this.binding.isNative())
        return;

      ExceptionHandlingFlowContext methodContext =
        new ExceptionHandlingFlowContext(
          flowContext,
          this,
          this.binding.thrownExceptions,
          null,
          this.scope,
          FlowInfo.DEAD_END);

      // nullity and mark as assigned
      analyseArguments(flowInfo);

      if (this.arguments != null) {
        for (int i = 0, count = this.arguments.length; i < count; i++) {
          // if this method uses a type parameter declared by the declaring class,
          // it can't be static. https://bugs.eclipse.org/bugs/show_bug.cgi?id=318682
          if (this.arguments[i].binding != null && (this.arguments[i].binding.type instanceof TypeVariableBinding)) {
            Binding declaringElement = ((TypeVariableBinding)this.arguments[i].binding.type).declaringElement;
            if (this.binding != null && this.binding.declaringClass == declaringElement)
              this.bits &= ~ASTNode.CanBeStatic;
          }
        }
      }
      if (this.binding.declaringClass instanceof MemberTypeBinding && !this.binding.declaringClass.isStatic()) {
        // method of a non-static member type can't be static.
        this.bits &= ~ASTNode.CanBeStatic;
      }
      // propagate to statements
      if (this.statements != null) {
        int complaintLevel = (flowInfo.reachMode() & FlowInfo.UNREACHABLE) == 0 ? Statement.NOT_COMPLAINED : Statement.COMPLAINED_FAKE_REACHABLE;
        for (int i = 0, count = this.statements.length; i < count; i++) {
          Statement stat = this.statements[i];
          if ((complaintLevel = stat.complainIfUnreachable(flowInfo, this.scope, complaintLevel, true)) < Statement.COMPLAINED_UNREACHABLE) {
            flowInfo = stat.analyseCode(this.scope, methodContext, flowInfo);
          }
        }
      } else {
        // method with empty body should not be flagged as static.
        this.bits &= ~ASTNode.CanBeStatic;
      }
      // check for missing returning path
      TypeBinding returnTypeBinding = this.binding.returnType;
      if ((returnTypeBinding == TypeBinding.VOID) || isAbstract()) {
        if ((flowInfo.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) {
          this.bits |= ASTNode.NeedFreeReturn;
        }
      } else {
        if (flowInfo != FlowInfo.DEAD_END) {
          this.scope.problemReporter().shouldReturn(returnTypeBinding, this);
        }
      }
      // check unreachable catch blocks
      methodContext.complainIfUnusedExceptionHandlers(this);
      // check unused parameters
      this.scope.checkUnusedParameters(this.binding);
      // check if the method could have been static
      if (!this.binding.isStatic() && (this.bits & ASTNode.CanBeStatic) != 0) {
        if(!this.binding.isOverriding() && !this.binding.isImplementing()) {
View Full Code Here
49
50
51
52
53
54
55
56
57
58
59
60
    FlowInfo flowInfo) {

    if (this.ignoreFurtherInvestigation)
      return;
    try {
      ExceptionHandlingFlowContext clinitContext =
        new ExceptionHandlingFlowContext(
          staticInitializerFlowContext.parent,
          this,
          Binding.NO_EXCEPTIONS,
          staticInitializerFlowContext,
          this.scope,
View Full Code Here
447
448
449
450
451
452
453
454
455
456
457
  }

  private boolean doesNotCompleteNormally() {
    try {
      return this.body.analyseCode(this.scope,
                   new ExceptionHandlingFlowContext(null, this, Binding.NO_EXCEPTIONS, null, this.scope, FlowInfo.DEAD_END),
                   UnconditionalFlowInfo.fakeInitializedFlowInfo(this.scope.outerMostMethodScope().analysisIndex, this.scope.referenceType().maxFieldCount)) == FlowInfo.DEAD_END;
    } catch (RuntimeException e) {
      this.scope.problemReporter().lambdaShapeComputationError(this);
      return this.valueCompatible;
    }
View Full Code Here
460
461
462
463
464
465
466
467
468
469
470
471
   
    if (this.ignoreFurtherInvestigation)
      return flowInfo;
   
    FlowInfo lambdaInfo = flowInfo.copy(); // what happens in vegas, stays in vegas ...
    ExceptionHandlingFlowContext methodContext =
        new ExceptionHandlingFlowContext(
            flowContext,
            this,
            this.binding.thrownExceptions,
            null,
            this.scope,
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
62
    FlowInfo flowInfo) {

    if (this.ignoreFurtherInvestigation)
      return;
    try {
      ExceptionHandlingFlowContext clinitContext =
        new ExceptionHandlingFlowContext(
          staticInitializerFlowContext.parent,
          this,
          Binding.NO_EXCEPTIONS,
          staticInitializerFlowContext,
          this.scope,
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
          if ((typeParameter.binding.modifiers  & ExtraCompilerModifiers.AccLocallyUsed) == 0) {
            this.scope.problemReporter().unusedTypeParameter(typeParameter);           
          }
        }
      }
      ExceptionHandlingFlowContext methodContext =
        new ExceptionHandlingFlowContext(
          flowContext,
          this,
          this.binding.thrownExceptions,
          null,
          this.scope,
          FlowInfo.DEAD_END);

      // nullity and mark as assigned
      if (classScope.compilerOptions().sourceLevel < ClassFileConstants.JDK1_8)
        analyseArguments(flowInfo, this.arguments, this.binding);
      else
        analyseArguments18(flowInfo, this.arguments, this.binding);

      if (this.binding.declaringClass instanceof MemberTypeBinding && !this.binding.declaringClass.isStatic()) {
        // method of a non-static member type can't be static.
        this.bits &= ~ASTNode.CanBeStatic;
      }
      // propagate to statements
      if (this.statements != null) {
        boolean enableSyntacticNullAnalysisForFields = this.scope.compilerOptions().enableSyntacticNullAnalysisForFields;
        int complaintLevel = (flowInfo.reachMode() & FlowInfo.UNREACHABLE) == 0 ? Statement.NOT_COMPLAINED : Statement.COMPLAINED_FAKE_REACHABLE;
        for (int i = 0, count = this.statements.length; i < count; i++) {
          Statement stat = this.statements[i];
          if ((complaintLevel = stat.complainIfUnreachable(flowInfo, this.scope, complaintLevel, true)) < Statement.COMPLAINED_UNREACHABLE) {
            flowInfo = stat.analyseCode(this.scope, methodContext, flowInfo);
          }
          if (enableSyntacticNullAnalysisForFields) {
            methodContext.expireNullCheckedFieldInfo();
          }
        }
      } else {
        // method with empty body should not be flagged as static.
        this.bits &= ~ASTNode.CanBeStatic;
      }
      // check for missing returning path
      TypeBinding returnTypeBinding = this.binding.returnType;
      if ((returnTypeBinding == TypeBinding.VOID) || isAbstract()) {
        if ((flowInfo.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) {
          this.bits |= ASTNode.NeedFreeReturn;
        }
      } else {
        if (flowInfo != FlowInfo.DEAD_END) {
          this.scope.problemReporter().shouldReturn(returnTypeBinding, this);
        }
      }
      // check unreachable catch blocks
      methodContext.complainIfUnusedExceptionHandlers(this);
      // check unused parameters
      this.scope.checkUnusedParameters(this.binding);
      // check if the method could have been static
      if (!this.binding.isStatic() && (this.bits & ASTNode.CanBeStatic) != 0 && !this.isDefaultMethod()) {
        if(!this.binding.isOverriding() && !this.binding.isImplementing()) {
View Full Code Here
TOP

Related Classes of org.eclipse.jdt.internal.compiler.flow.ExceptionHandlingFlowContext

  • org.eclipse.jdt.internal.compiler.ast.ASTNode
  • org.eclipse.jdt.internal.compiler.ast.Clinit
  • org.eclipse.jdt.internal.compiler.ast.LambdaExpression
  • org.eclipse.jdt.internal.compiler.ast.MethodDeclaration
  • org.eclipse.jdt.internal.compiler.ast.ReferenceExpression
  • org.eclipse.jdt.internal.compiler.ast.TypeReference
  • org.eclipse.jdt.internal.compiler.lookup.CatchParameterBinding
  • org.eclipse.jdt.internal.compiler.lookup.MethodScope
  • org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
  • java.util.ArrayList
    • 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.