DoubleParameter.java

import org.jetbrains.annotations.NotNull;

public class DoubleParameter {

  public static void foo(double a, @NotNull String b, @NotNull String c) {

  }

}