package Ġuk . n hs . n hs x . local stats . domain Ċ Ċ import Ġjava . time . LocalDate Ċ Ċ data Ġclass ĠMetric ( ĊĠĠĠ Ġval Ġarea Type : ĠArea TypeCode , ĊĠĠĠ Ġval ĠareaCode : ĠArea Code , ĊĠĠĠ Ġval ĠareaName : ĠArea Name , ĊĠĠĠ Ġval Ġdate : ĠLocalDate , ĊĠĠĠ Ġval Ġvalue : ĠPair < Cor onav irus Metric , ĠString ?> Ċ ) Ġ{ ĊĠĠĠ Ġval Ġmetric Name Ġget () Ġ= Ġvalue . first ĊĠĠĠ Ġval Ġmetric Value Ġget () Ġ= Ġvalue . second Ċ } Ċ