mirror of
https://github.com/eclipse-aspectj/aspectj.git
synced 2024-09-01 17:56:00 +02:00
14 lines
286 B
Java
14 lines
286 B
Java
![]() |
import org.aspectj.testing.Tester;
|
||
|
|
||
|
public class AssertsCF {
|
||
|
public static void main(String[] args) {
|
||
|
int x = 0;
|
||
|
boolean b;
|
||
|
|
||
|
assert b; // ERR: b might not be assigned
|
||
|
|
||
|
assert b=false;
|
||
|
if (b) {} // ERR: b might not be assigned
|
||
|
}
|
||
|
}
|