Vous ne pouvez pas sélectionner plus de 25 sujets
Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.
12345678910111213141516 |
- class C {
-
- private volatile int state;
- private int test;
-
- public void foo() {
- state = 0;
- test = 0;
- }
-
- }
-
- aspect FSM {
- declare error: set(* C.state): "Changing state";
- declare error: set(* C.test): "test";
- }
|