Playframeworkでのフラッシュメッセージ

お世話になってます。
最近javaのplayを触っていて、下記の2つのコードが
よく理解できないのですが、以下のような理解でいいのでしょうか？
お分かりの方居られましたら、ご教示下さい。

Sample①

@d(date: Date) = {
  @if(date != null) {
    @date.format("yyyy-MM-dd")
  } else {
    ---
  }
}

意味：dateが空でないなら、dateは"yyyy-MM-dd"形式で処理
@d(date: date)という記載の意味は？？？？

Sample②

@if(flash.containsKey("success")) {
        <div id="success-message" class="text-success">
          @flash.get("success")
        </div>
}

意味:フラッシュメッセージが"success"なら、フラッシュメッセージを『success』で表示。
flash.containsKey()という記載の意味は？？？？

以上、宜しくお願いします。

行動規範の内容に同意します

回答1件

ベストアンサー

①
@d(date: Date) は同じ処理を使いまわせるように関数化しているのではないでしょうか？

@d(date1) → date1を"yyyy-MM-dd"形式でフォーマットして返す
@d(date2) → date2を"yyyy-MM-dd"形式でフォーマットして返す

②

scala
1@if(flash.containsKey("success")) {
2  // ↑"success"というキーがフラッシュスコープに存在するかどうかを確認している
3  <div id="success-message" class="text-success">
4    //↓フラッシュスコープから"success"というキーに対応する値を取得している
5    @flash.get("success")
6  </div>
7}