org.eclipse.jdt.internal.compiler.ast.EmptyStatement.java Source code

Introduction

Here is the source code for org.eclipse.jdt.internal.compiler.ast.EmptyStatement.java

Source

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

}