import org.checkerframework.common.aliasing.qual.Unique; | |
import org.checkerframework.common.value.qual.StringVal; | |
public class MultiError { | |
// Testing that errors from multiple checkers are issued | |
// on the same compilation unit | |
// :: error: (unique.location.forbidden) | |
@Unique String[] array; | |
// :: error: (assignment) | |
@StringVal("hello") String s = "goodbye"; | |
} |