rule
process-end condition? local-declaration* action*
A rule with several properties which is executed after all other types of rules, and can be included in any program type.
Changing groups in a process-end
rule has the following effects:
Of course, changing groups never affects a subsequent rule if it is done within an action preceded by a using group as
prefix.
Changing groups can affect a process-end
rule as follows: