| /******************************************************************************* |
| * 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); |
| } |
| |
| |
| } |
| |