Annotation for specifying a method access-control expression which will be evaluated after a method has been invoked.