package Ġio . github . ab addon . kc q rs . examples . counter Event Store . commands Ċ Ċ import Ġio . github . ab addon . kc q rs . core . domain . messages . commands . Command Ċ import Ġio . github . ab addon . kc q rs . examples . counter Event Store . entities . Counter Aggregate Id Ċ import Ġio . github . ab addon . kc q rs . examples . counter Event Store . entities . Counter Aggregate Root Ċ Ċ data Ġclass ĠIncrease Counter Command ( ĊĠĠĠ Ġoverride Ġval Ġaggregate ID : ĠCounter Aggregate Id , ĊĠĠĠ Ġval Ġvalue : ĠInt ĊĠĠĠ Ġ): ĠCommand < Counter Aggregate Root >( aggregate ID ) Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġexecute ( current Aggregate : ĠCounter Aggregate Root ?): ĠCounter Aggregate Root Ġ{ ĊĠĠĠĠĠĠĠ Ġrequire NotNull ( current Aggregate ) ĊĠĠĠĠĠĠĠ Ġreturn Ġcurrent Aggregate . increase Counter ( value ) ĊĠĠĠ Ġ} Ċ Ċ }