package Ġapp . cash . back fil a . service . persistence Ċ Ċ import Ġjava . time . Instant Ċ import Ġmis k . hibernate . Constraint Ċ import Ġmis k . hibernate . Id Ċ import Ġmis k . hibernate . Operator Ċ import Ġmis k . hibernate . Order Ċ import Ġmis k . hibernate . Query Ċ Ċ interface ĠRun Partition Query Ġ: ĠQuery < Db Run Partition > Ġ{ ĊĠ Ġ@ Constraint (" back fill _ run _ id ") ĊĠ Ġfun Ġback fill Run Id ( back fill Run Id : ĠId < Db Back fill Run >): ĠRun Partition Query ĊĊĠ Ġ@ Constraint (" back fill _ run _ id ", ĠOperator . IN ) ĊĠ Ġfun Ġback fill Run Id In ( back fill Run Ids : ĠCollection < Id < Db Back fill Run >> ): ĠRun Partition Query ĊĊĠ Ġ@ Constraint (" run _ state ") ĊĠ Ġfun Ġrun State ( run State : ĠBack fill State ): ĠRun Partition Query ĊĊĠ Ġ@ Constraint (" lease _ expires _ at ", ĠOperator . LT ) ĊĠ Ġfun Ġlease Expires At Before ( time : ĠInstant ): ĠRun Partition Query ĊĊĠ Ġ@ Order (" partition _ name ") ĊĠ Ġfun Ġorder ByName (): ĠRun Partition Query Ċ } Ċ