program entry point concode_field_sep List<PlayerDetails> PLAYERS concode_field_sep PlayerDetails getRandomPlayerDetails concode_elem_sep void submitTickets
void function ( String [ ] arg0 ) { LotteryAdministration loc0 = new LotteryAdministrationImpl ( ) ; loc0 . resetLottery ( ) ; LotteryServiceImpl loc1 = new LotteryServiceImpl ( ) ; submitTickets ( loc1 , 20 ) ; loc0 . performLottery ( ) ; }