| public class AssertTwice { |
| |
| private void assertOnce() { |
| String methodDeclaration = null; |
| assert methodDeclaration != null; |
| methodDeclaration = null; |
| } |
| |
| private void assertTwice() { |
| String methodDeclaration = null; |
| assert methodDeclaration != null; |
| assert methodDeclaration != null; |
| methodDeclaration = null; |
| } |
| |
| private void assertTwiceWithUse() { |
| String methodDeclaration = null; |
| assert methodDeclaration != null : "@AssumeAssertion(nullness)"; |
| methodDeclaration.toString(); |
| // :: warning: (nulltest.redundant) |
| assert methodDeclaration != null; |
| methodDeclaration = null; |
| } |
| |
| public static @org.checkerframework.checker.nullness.qual.Nullable Object n = "m"; |
| |
| private void twiceWithChecks() { |
| assert n != null; |
| n = null; |
| } |
| } |