/*
 * Copyright ConsenSys AG.
 *
 * Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with
 * the License. You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on
 * an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the
 * specific language governing permissions and limitations under the License.
 *
 * SPDX-License-Identifier: Apache-2.0
 */
package org.hyperledger.errorpronechecks;

public class MethodInputParametersMustBeFinalPositiveCases {

  // BUG: Diagnostic contains: Method input parameters must be final.
  public void primativeInputMethod(int value) {}

  // BUG: Diagnostic contains: Method input parameters must be final.
  public void objectInputMethod(Object value) {}

  // BUG: Diagnostic contains: Method input parameters must be final.
  public void mixedInputMethod(Object value, int anotherValue) {}

  // BUG: Diagnostic contains: Method input parameters must be final.
  public void mixedInputMethodFirstFinal(final Object value, int anotherValue) {}

  // BUG: Diagnostic contains: Method input parameters must be final.
  public void mixedInputMethodSecondFinal(Object value, final int anotherValue) {}

  // BUG: Diagnostic contains: Method input parameters must be final.
  public void varArgsInputMethod(String... value) {}

  public abstract class abstractClassDefinition {
    // BUG: Diagnostic contains: Method input parameters must be final.
    public void concreteMethodsAreIncluded(int value) {}
  }
}
