关于切点表达式中 @annotation 用法的疑问

看若依的源码,发现日志切面类 com.ruoyi.framework.aspectj.LogAspect 中编写切面表达式使用了这种我前所未见的方式

@Before(value = "@annotation(controllerLog)")
    public void boBefore(JoinPoint joinPoint, Log controllerLog)
    {
        TIME_THREADLOCAL.set(System.currentTimeMillis());
    }

查网上的博客只发现了 @annotation(xxx.xxx.注解类名)这种用法,这里这样写为什么同样能匹配到使用了 Log 注解的连接点呢?恳请各位大佬们解答一下,如能给官方文档说明的具体位置再好不过了