import org.checkerframework.checker.index.qual.NonNegative; | |
import org.checkerframework.checker.index.qual.Positive; | |
public class SimpleTransferAdd { | |
void test() { | |
int bs = -1; | |
// :: error: (assignment) | |
@NonNegative int es = bs; | |
// @NonNegative int ds = 2 + bs; | |
int ds = 0; | |
// :: error: (assignment) | |
@Positive int cs = ds++; | |
@Positive int fs = ds; | |
} | |
} | |
// a comment |