Skip to content

Commit

Permalink
change the order
Browse files Browse the repository at this point in the history
  • Loading branch information
theron-wang committed Aug 15, 2024
1 parent ccf2d5b commit 8f0ede4
Show file tree
Hide file tree
Showing 5 changed files with 6 additions and 6 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@
import org.junit.Test;

/**
* This test checks if synthetic annotations used in different locations will contain
* the proper ElementTypes in their {@code @Target} annotations
* This test checks if synthetic annotations used in different locations will contain the proper
* ElementTypes in their {@code @Target} annotations
*/
public class SyntheticAnnotationTargetTest {
@Test
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
package org.checkerframework.checker.initialization.qual;

@java.lang.annotation.Target({ java.lang.annotation.ElementType.TYPE_USE, java.lang.annotation.ElementType.PARAMETER, java.lang.annotation.ElementType.METHOD })
@java.lang.annotation.Target({ java.lang.annotation.ElementType.METHOD, java.lang.annotation.ElementType.PARAMETER, java.lang.annotation.ElementType.TYPE_USE })
public @interface Initialized {
}
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
package org.checkerframework.checker.nullness.qual;

@java.lang.annotation.Target({ java.lang.annotation.ElementType.TYPE_USE, java.lang.annotation.ElementType.PARAMETER, java.lang.annotation.ElementType.METHOD })
@java.lang.annotation.Target({ java.lang.annotation.ElementType.METHOD, java.lang.annotation.ElementType.PARAMETER, java.lang.annotation.ElementType.TYPE_USE })
public @interface NonNull {
}
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
package org.checkerframework.checker.nullness.qual;

@java.lang.annotation.Target({ java.lang.annotation.ElementType.TYPE_USE, java.lang.annotation.ElementType.PARAMETER, java.lang.annotation.ElementType.METHOD })
@java.lang.annotation.Target({ java.lang.annotation.ElementType.METHOD, java.lang.annotation.ElementType.PARAMETER, java.lang.annotation.ElementType.TYPE_USE })
public @interface UnknownKeyFor {
}
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package com.example;

@java.lang.annotation.Target({ java.lang.annotation.ElementType.METHOD, java.lang.annotation.ElementType.TYPE_USE })
@java.lang.annotation.Target({ java.lang.annotation.ElementType.TYPE_USE, java.lang.annotation.ElementType.METHOD })
public @interface Bar {

public int value();
Expand Down

0 comments on commit 8f0ede4

Please sign in to comment.