boolean function ( TXid arg0 , String arg1 , String arg2 , int arg3 ) { BankIf loc0 = getBankObject ( arg1 ) ; return loc0 . withdraw ( arg0 , arg3 , arg2 ) ; }
issues call to operation withdrawn on a bank server concode_field_sep String source_bank_id concode_elem_sep String target_account_nmr concode_elem_sep String target_bank_id concode_elem_sep String source_account_nmr concode_elem_sep int ammount concode_field_sep void sendCommitMessage concode_elem_sep void beginTransaction concode_elem_sep boolean depositMoney concode_elem_sep TXid sendBeginMessage concode_elem_sep void makeOperations concode_elem_sep TransactionControlIf getTransactionObject concode_elem_sep BankIf getBankObject concode_elem_sep void abortTransaction