package Ġcom . mat he ws achin . lib autom ata Ċ Ċ import Ġkotlin . math . round ToInt Ċ Ċ /** Ċ Ġ* ĠA Ġclass Ġfor Ġstoring Ġthe Ġ[ width ] Ġand Ġ[ height ] Ġof Ġsomething . Ċ Ġ*/ Ċ data Ġclass ĠSize ( val Ġwidth : ĠInt , Ġval Ġheight : ĠInt ) Ġ{ ĊĠĠĠ Ġinit Ġ{ ĊĠĠĠĠĠĠĠ Ġrequire ( width Ġ> Ġ 0 ) Ġ{ Ġ" width Ġmust Ġbe Ġpositive " Ġ} ĊĠĠĠĠĠĠĠ Ġrequire ( height Ġ> Ġ 0 ) Ġ{ Ġ" height Ġmust Ġbe Ġpositive " Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠReturns Ġa Ġnew Ġ[ Size ] Ġwhere ĠX Ġand ĠY Ġwere Ġmultip lied Ġwith Ġ[ scale ]. ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġoperator Ġfun Ġtimes ( scale : ĠDouble ): ĠSize Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn ĠSize ( ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ( width Ġ* Ġscale ). round ToInt (), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ( height Ġ* Ġscale ). round ToInt () ĊĠĠĠĠĠĠĠ Ġ) ĊĠĠĠ Ġ} Ċ }