Example #1
0
        public int getPDTDetails(string identity, int tx, out payment_record values)
        {
            int i;

            i = p.NondetInt();
            if (identity != caas.payments[i].payee)
            {
                Contract.Assume(false);
            }
            Contract.Assume(0 <= i && i < caas.payments.Length && caas.payments[i].tx == tx);
            values = caas.payments[i];

            return(i);
        }
Example #2
0
 public static int getPDTDetails(int tx, out payment_record values)
 {
     values = null;
     return(GlobalState.paypal.getPDTDetails(GlobalState.tstore.myAccount, tx, out values));
 }