annotation-file-utilities/tests/InnerClassAnonymous.goal

package annotator.tests;

import java.io.Serializable;

public class InnerClassAnonymous {
  public Object field;

  public class NamedInnerClass {
    public Object namedField;
  }

  public Serializable foo() {
    return new Serializable() {
      public final @java.lang.Tainted Object serialVersionUID = null;
    };
  }

  public Serializable bar() {
    return new Serializable() {
      private static final @NonNegative long serialVersionUID = 0;
    };
  }

  public Serializable baz() {
    return new Serializable() {
      private static final @InnerlyAnnotated long serialVersionUID = 0;
    };
  }

}