21 lines
455 B
Plaintext
21 lines
455 B
Plaintext
uninstallB group exploit remove_all_B(b)=
|
|
preconditions:
|
|
quality:b,B_is_installed=true;
|
|
postconditions:
|
|
update quality:b,B_is_installed=false;
|
|
.
|
|
|
|
uninstallA group exploit remove_all_A(a)=
|
|
preconditions:
|
|
quality:a,A_is_installed=true;
|
|
postconditions:
|
|
update quality:a,A_is_installed=false;
|
|
.
|
|
|
|
uninstallC group exploit remove_all_C(c)=
|
|
preconditions:
|
|
quality:c,C_is_installed=true;
|
|
postconditions:
|
|
update quality:c,C_is_installed=false;
|
|
.
|