我在做一个java项目，有一个kotlin项目作为参考。这段代码使用了这个表达式，我猜它来自函数式编程：

this@MarkdownWorkspace::open

这在构造函数的参数中使用，该参数需要一个“java.util.function.consumer”对象。
谢谢！