def reportPath = build.getWorkspace().child("HealthTestResults.html")
msg.setContent(reportPath.readToString(), "text/html");
我知道getWorkspace(), child() , setContent()是Java方法。我明白他们做了什么，我看着Javadoc。但是reportPath是什么类型的？这里混合了两种不同的语言吗？
为什么def用于定义reportPath？