Mutable signed

Adds a signed setter

This extension defines a mutable value. The action to change its value must be signed by roles passed as argument.

mutable_signed.arlx
archetype extension mutable_signed (
variable[%mutable_signed roles cond%] avariable type
) = {
action[%signedbyall roles%] set_<%avariable> (newvariable : type) = {
require {
set_<%avariable>_c1 : cond
}
effect {
avariable := newvariable
}
}
}