annotation-file-utilities/tests/ArrayParamSimple.goal

package annotator.tests;

public class ArrayParamSimple {

  public void m1(@java.lang.Tainted Integer[] arg) { }

  public void m2(Integer @java.lang.Tainted [] arg) { }

  public void m3(@java.lang.Nullable Integer[] arg) { }

  public void m4(Integer @java.lang.Nullable [] arg) { }

  public void m5(Integer[] arg) { }

  public void m6(Integer[] arg) { }

  public void m7(Integer[] arg) { }

  public void m8(Integer[] arg) { }

}