package Ġcom . github . j async . sql . db . column Ċ Ċ import Ġjava . time . format . DateTime Formatter Builder Ċ Ċ object ĠSQL Time Encoder Ġ: ĠColumn Encoder Ġ{ ĊĊĠĠĠ Ġprivate Ġval Ġformat Ġ= ĠDateTime Formatter Builder () ĊĠĠĠĠĠĠĠ Ġ. append Pattern (" HH : mm : ss ") ĊĠĠĠĠĠĠĠ Ġ. to Formatter () ĊĊĠĠĠ Ġoverride Ġfun Ġencode ( value : ĠAny ): ĠString Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġtime Ġ= Ġvalue Ġas Ġjava . sql . Time ĊĊĠĠĠĠĠĠĠ Ġreturn Ġtime . to Local Time (). format ( format ) ĊĠĠĠ Ġ} Ċ } Ċ