annotation-file-utilities/tests/ConstructorParamMultiple.goal

package annotator.tests;

import java.util.List;

public class ConstructorParamMultiple {
  public ConstructorParamMultiple(
      /* @Tainted*/ @java.lang.Tainted Object a,
      /* @Tainted*/ @java.lang.Tainted List</* @UnderInitialization*/ @java.lang.UnderInitialization Integer> b,
      /* @Tainted*/ @java.lang.Tainted int c) {

  }
}