1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
/*******************************************************************************
* Copyright (c) 2000, 2011 IBM Corporation and others.
*
* This program and the accompanying materials
* are made available under the terms of the Eclipse Public License 2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*
* Contributors:
* IBM Corporation - initial API and implementation
* Stephan Herrmann - Contribution for bug 349326 - [1.7] new warning for missing try-with-resources
*******************************************************************************/
package org.eclipse.jdt.internal.compiler.ast;
import org.eclipse.jdt.internal.compiler.lookup.BlockScope;
import org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants;
import org.eclipse.jdt.internal.compiler.codegen.CodeStream;
import org.eclipse.jdt.internal.compiler.flow.FlowContext;
import org.eclipse.jdt.internal.compiler.flow.FlowInfo;
import org.eclipse.jdt.internal.compiler.ASTVisitor;
public class EmptyStatement extends Statement {
public EmptyStatement(int startPosition, int endPosition) {
this.sourceStart = startPosition;
this.sourceEnd = endPosition;
}
@Override
public FlowInfo analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo) {
return flowInfo;
}
// Report an error if necessary
@Override
public int complainIfUnreachable(FlowInfo flowInfo, BlockScope scope, int complaintLevel, boolean endOfBlock) {
// before 1.4, empty statements are tolerated anywhere
if (scope.compilerOptions().complianceLevel < ClassFileConstants.JDK1_4) {
return complaintLevel;
}
return super.complainIfUnreachable(flowInfo, scope, complaintLevel, endOfBlock);
}
@Override
public void generateCode(BlockScope currentScope, CodeStream codeStream){
// no bytecode, no need to check for reachability or recording source positions
}
@Override
public StringBuffer printStatement(int tab, StringBuffer output) {
return printIndent(tab, output).append(';');
}
@Override
public void resolve(BlockScope scope) {
if ((this.bits & IsUsefulEmptyStatement) == 0) {
scope.problemReporter().superfluousSemicolon(this.sourceStart, this.sourceEnd);
} else {
scope.problemReporter().emptyControlFlowStatement(this.sourceStart, this.sourceEnd);
}
}
@Override
public void traverse(ASTVisitor visitor, BlockScope scope) {
visitor.visit(this, scope);
visitor.endVisit(this, scope);
}
}
|
