src/auditor/.gitignore

@@ -24,5 +24,3 @@ taler-auditor-test.sqlite3
 libeufin-nexus.pid
 libeufin-sandbox.pid
 taler-helper-auditor-purses
-generate-kyc-basedb.conf.edited
-generate-auditor-basedb.conf.edited

src/exchangedb/0002-reserves.sql

@@ -27,7 +27,8 @@ BEGIN
     'CREATE TABLE %I'
       '(reserve_uuid BIGINT GENERATED BY DEFAULT AS IDENTITY'
       ',reserve_pub BYTEA PRIMARY KEY CHECK(LENGTH(reserve_pub)=32)'
-      ',current_balance taler_amount NOT NULL DEFAULT (0, 0)'
+      ',current_balance_val INT8 NOT NULL DEFAULT(0)'
+      ',current_balance_frac INT4 NOT NULL DEFAULT(0)'
       ',purses_active INT8 NOT NULL DEFAULT(0)'
       ',purses_allowed INT8 NOT NULL DEFAULT(0)'
       ',birthday INT4 NOT NULL DEFAULT(0)'
@@ -51,7 +52,7 @@ BEGIN
   );
   PERFORM comment_partitioned_column(
      'Current balance remaining with the reserve.'
-    ,'current_balance'
+    ,'current_balance_val'
     ,table_name
     ,partition_suffix
   );
@@ -108,7 +109,8 @@ BEGIN
     'CREATE INDEX ' || table_name || '_by_expiration_index '
     'ON ' || table_name || ' '
     '(expiration_date'
-    ',current_balance'
+    ',current_balance_val'
+    ',current_balance_frac'
     ');'
   );
   EXECUTE FORMAT (

src/exchangedb/exchange_do_age_withdraw.sql

@@ -50,7 +50,8 @@ BEGIN
 --         wire_targets by wire_target_h_payto
 
 SELECT
-   current_balance
+   current_balance_val
+  ,current_balance_frac
   ,gc_date
   ,birthday
  INTO
@@ -125,7 +126,8 @@ min_reserve_gc=GREATEST(min_reserve_gc,reserve_gc);
 -- Update reserve balance.
 UPDATE reserves SET
   gc_date=min_reserve_gc
- ,current_balance=new_balance
+ ,current_balance_val=new_balance.val
+ ,current_balance_frac=new_balance.frac
 WHERE
   reserves.reserve_pub=rpub;
 

src/exchangedb/exchange_do_batch_reserves_update.sql

@@ -18,7 +18,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch_reserves_update(
   IN in_reserve_pub BYTEA,
   IN in_expiration_date INT8,
   IN in_wire_ref INT8,
-  IN in_credit taler_amount,
+  IN in_credit_val INT8,
+  IN in_credit_frac INT4,
   IN in_exchange_account_name VARCHAR,
   IN in_wire_source_h_payto BYTEA,
   IN in_notify text,
@@ -37,8 +38,8 @@ BEGIN
     VALUES
     (in_reserve_pub
     ,in_wire_ref
-    ,in_credit.val
+    ,in_credit_val
-    ,in_credit.frac
+    ,in_credit_frac
     ,in_exchange_account_name
     ,in_wire_source_h_payto
     ,in_expiration_date)
@@ -49,15 +50,15 @@ BEGIN
     out_duplicate = FALSE;
     UPDATE reserves
       SET
-         current_balance.frac = current_balance.frac+in_credit.frac
+         current_balance_frac = current_balance_frac+in_credit_frac
            - CASE
-             WHEN current_balance.frac + in_credit.frac >= 100000000
+             WHEN current_balance_frac + in_credit_frac >= 100000000
                THEN 100000000
              ELSE 1
              END
-            ,current_balance.val = current_balance.val+in_credit.val
+            ,current_balance_val = current_balance_val+in_credit_val
            + CASE
-             WHEN current_balance.frac + in_credit.frac >= 100000000
+             WHEN current_balance_frac + in_credit_frac >= 100000000
                THEN 1
              ELSE 0
              END

src/exchangedb/exchange_do_batch_withdraw.sql

@@ -17,7 +17,8 @@
 -- @author Özgür Kesim
 
 CREATE OR REPLACE FUNCTION exchange_do_batch_withdraw(
-  IN amount taler_amount,
+  IN amount_val INT8,
+  IN amount_frac INT4,
   IN rpub BYTEA,
   IN now INT8,
   IN min_reserve_gc INT8,
@@ -31,7 +32,8 @@ LANGUAGE plpgsql
 AS $$
 DECLARE
   reserve_gc INT8;
-  reserve taler_amount;
+  reserve_val INT8;
+  reserve_frac INT4;
   reserve_birthday INT4;
   not_before date;
 BEGIN
@@ -43,14 +45,14 @@ BEGIN
 
 
 SELECT
-   current_balance.val
+   current_balance_val
-  ,current_balance.frac
+  ,current_balance_frac
   ,gc_date
   ,birthday
   ,reserve_uuid
  INTO
-   reserve.val
+   reserve_val
-  ,reserve.frac
+  ,reserve_frac
   ,reserve_gc
   ,reserve_birthday
   ,ruuid
@@ -90,21 +92,21 @@ ELSE
 END IF;
 
 -- Check reserve balance is sufficient.
-IF (reserve.val > amount.val)
+IF (reserve_val > amount_val)
 THEN
-  IF (reserve.frac >= amount.frac)
+  IF (reserve_frac >= amount_frac)
   THEN
-    reserve.val=reserve.val - amount.val;
+    reserve_val=reserve_val - amount_val;
-    reserve.frac=reserve.frac - amount.frac;
+    reserve_frac=reserve_frac - amount_frac;
   ELSE
-    reserve.val=reserve.val - amount.val - 1;
+    reserve_val=reserve_val - amount_val - 1;
-    reserve.frac=reserve.frac + 100000000 - amount.frac;
+    reserve_frac=reserve_frac + 100000000 - amount_frac;
   END IF;
 ELSE
-  IF (reserve.val = amount.val) AND (reserve.frac >= amount.frac)
+  IF (reserve_val = amount_val) AND (reserve_frac >= amount_frac)
   THEN
-    reserve.val=0;
+    reserve_val=0;
-    reserve.frac=reserve.frac - amount.frac;
+    reserve_frac=reserve_frac - amount_frac;
   ELSE
     balance_ok=FALSE;
     RETURN;
@@ -117,7 +119,8 @@ min_reserve_gc=GREATEST(min_reserve_gc,reserve_gc);
 -- Update reserve balance.
 UPDATE reserves SET
   gc_date=min_reserve_gc
- ,current_balance=reserve
+ ,current_balance_val=reserve_val
+ ,current_balance_frac=reserve_frac
 WHERE
   reserves.reserve_pub=rpub;
 
@@ -126,6 +129,6 @@ balance_ok=TRUE;
 
 END $$;
 
-COMMENT ON FUNCTION exchange_do_batch_withdraw(taler_amount, BYTEA, INT8, INT8, BOOLEAN)
+COMMENT ON FUNCTION exchange_do_batch_withdraw(INT8, INT4, BYTEA, INT8, INT8, BOOLEAN)
   IS 'Checks whether the reserve has sufficient balance for a withdraw operation (or the request is repeated and was previously approved) and that age requirements are formally met. If so updates the database with the result. Excludes storing the planchets.';
 

src/exchangedb/exchange_do_gc.sql

@@ -21,10 +21,15 @@ LANGUAGE plpgsql
 AS $$
 DECLARE
   reserve_uuid_min INT8; -- minimum reserve UUID still alive
+DECLARE
   melt_min INT8; -- minimum melt still alive
+DECLARE
   coin_min INT8; -- minimum known_coin still alive
+DECLARE
   deposit_min INT8; -- minimum deposit still alive
+DECLARE
   reserve_out_min INT8; -- minimum reserve_out still alive
+DECLARE
   denom_min INT8; -- minimum denomination still alive
 BEGIN
 
@@ -37,8 +42,8 @@ DELETE FROM exchange.wire_fee
 -- TODO: use closing fee as threshold?
 DELETE FROM exchange.reserves
   WHERE gc_date < in_now
-    AND current_balance.val = 0
+    AND current_balance_val = 0
-    AND current_balance.frac = 0;
+    AND current_balance_frac = 0;
 
 SELECT
      reserve_out_serial_id

src/exchangedb/exchange_do_history_request.sql

@@ -54,23 +54,23 @@ BEGIN
   -- Update reserve balance.
   UPDATE exchange.reserves
    SET
-    current_balance.frac=current_balance.frac-in_history_fee_frac
+    current_balance_frac=current_balance_frac-in_history_fee_frac
        + CASE
-         WHEN current_balance.frac < in_history_fee_frac
+         WHEN current_balance_frac < in_history_fee_frac
          THEN 100000000
          ELSE 0
          END,
-    current_balance.val=current_balance.val-in_history_fee_val
+    current_balance_val=current_balance_val-in_history_fee_val
        - CASE
-         WHEN current_balance.frac < in_history_fee_frac
+         WHEN current_balance_frac < in_history_fee_frac
          THEN 1
          ELSE 0
          END
   WHERE
     reserve_pub=in_reserve_pub
-    AND ( (current_balance.val > in_history_fee_val) OR
+    AND ( (current_balance_val > in_history_fee_val) OR
-          ( (current_balance.frac >= in_history_fee_frac) AND
+          ( (current_balance_frac >= in_history_fee_frac) AND
-            (current_balance.val >= in_history_fee_val) ) );
+            (current_balance_val >= in_history_fee_val) ) );
 
   IF NOT FOUND
   THEN

src/exchangedb/exchange_do_purse_deposit.sql

@@ -32,10 +32,17 @@ LANGUAGE plpgsql
 AS $$
 DECLARE
   was_merged BOOLEAN;
+DECLARE
   psi INT8; -- partner's serial ID (set if merged)
-  my_amount taler_amount; -- total in purse
+DECLARE
+  my_amount_val INT8; -- total in purse
+DECLARE
+  my_amount_frac INT4; -- total in purse
+DECLARE
   was_paid BOOLEAN;
+DECLARE
   my_in_reserve_quota BOOLEAN;
+DECLARE
   my_reserve_pub BYTEA;
 BEGIN
 
@@ -167,8 +174,8 @@ SELECT
    ,amount_with_fee_frac
    ,in_reserve_quota
   INTO
-    my_amount.val
+    my_amount_val
-   ,my_amount.frac
+   ,my_amount_frac
    ,my_in_reserve_quota
   FROM exchange.purse_requests
   WHERE (purse_pub=in_purse_pub)
@@ -224,12 +231,14 @@ ELSE
   -- This is a local reserve, update balance immediately.
   INSERT INTO reserves
     (reserve_pub
-    ,current_balance
+    ,current_balance_frac
+    ,current_balance_val
     ,expiration_date
     ,gc_date)
   VALUES
     (my_reserve_pub
-    ,my_amount
+    ,my_amount_frac
+    ,my_amount_val
     ,in_reserve_expiration
     ,in_reserve_expiration)
   ON CONFLICT DO NOTHING;
@@ -239,15 +248,15 @@ ELSE
     -- Reserve existed, thus UPDATE instead of INSERT.
     UPDATE reserves
       SET
-       current_balance.frac=current_balance.frac+my_amount.frac
+       current_balance_frac=current_balance_frac+my_amount_frac
         - CASE
-          WHEN current_balance.frac + my_amount.frac >= 100000000
+          WHEN current_balance_frac + my_amount_frac >= 100000000
             THEN 100000000
           ELSE 0
           END
-      ,current_balance.val=current.balance_val+my_amount.val
+      ,current_balance_val=current_balance_val+my_amount_val
         + CASE
-          WHEN current_balance.frac + my_amount.frac >= 100000000
+          WHEN current_balance_frac + my_amount_frac >= 100000000
             THEN 1
           ELSE 0
           END

src/exchangedb/exchange_do_purse_merge.sql

@@ -29,9 +29,16 @@ CREATE OR REPLACE FUNCTION exchange_do_purse_merge(
 LANGUAGE plpgsql
 AS $$
 DECLARE
-  my_amount taler_amount;
+  my_amount_val INT8;
-  my_purse_fee taler_amount;
+DECLARE
+  my_amount_frac INT4;
+DECLARE
+  my_purse_fee_val INT8;
+DECLARE
+  my_purse_fee_frac INT4;
+DECLARE
   my_partner_serial_id INT8;
+DECLARE
   my_in_reserve_quota BOOLEAN;
 BEGIN
 
@@ -65,10 +72,10 @@ SELECT amount_with_fee_val
       ,purse_fee_val
       ,purse_fee_frac
       ,in_reserve_quota
-  INTO my_amount.val
+  INTO my_amount_val
-      ,my_amount.frac
+      ,my_amount_frac
-      ,my_purse_fee.val
+      ,my_purse_fee_val
-      ,my_purse_fee.frac
+      ,my_purse_fee_frac
       ,my_in_reserve_quota
   FROM exchange.purse_requests
   WHERE purse_pub=in_purse_pub
@@ -189,23 +196,23 @@ ELSE
   -- This is a local reserve, update reserve balance immediately.
 
   -- Refund the purse fee, by adding it to the purse value:
-  my_amount.val = my_amount.val + my_purse_fee.val;
+  my_amount_val = my_amount_val + my_purse_fee_val;
-  my_amount.frac = my_amount.frac + my_purse_fee.frac;
+  my_amount_frac = my_amount_frac + my_purse_fee_frac;
   -- normalize result
-  my_amount.val = my_amount.val + my_amount.frac / 100000000;
+  my_amount_val = my_amount_val + my_amount_frac / 100000000;
-  my_amount.frac = my_amount.frac % 100000000;
+  my_amount_frac = my_amount_frac % 100000000;
 
   UPDATE exchange.reserves
   SET
-    current_balance.frac=current_balance.frac+my_amount.frac
+    current_balance_frac=current_balance_frac+my_amount_frac
        - CASE
-         WHEN current_balance.frac + my_amount.frac >= 100000000
+         WHEN current_balance_frac + my_amount_frac >= 100000000
          THEN 100000000
          ELSE 0
          END,
-    current_balance.val=current.balance_val+my.amount_val
+    current_balance_val=current_balance_val+my_amount_val
        + CASE
-         WHEN current_balance.frac + my_amount.frac >= 100000000
+         WHEN current_balance_frac + my_amount_frac >= 100000000
          THEN 1
          ELSE 0
          END

src/exchangedb/exchange_do_recoup_to_reserve.sql

@@ -31,7 +31,9 @@ CREATE OR REPLACE FUNCTION exchange_do_recoup_to_reserve(
 LANGUAGE plpgsql
 AS $$
 DECLARE
-  tmp taler_amount; -- amount recouped
+  tmp_val INT8; -- amount recouped
+DECLARE
+  tmp_frac INT8; -- amount recouped
 BEGIN
 -- Shards: SELECT known_coins (by coin_pub)
 --         SELECT recoup      (by coin_pub)
@@ -47,8 +49,8 @@ SELECT
    remaining_frac
   ,remaining_val
  INTO
-   tmp.frac
+   tmp_frac
-  ,tmp.val
+  ,tmp_val
 FROM exchange.known_coins
   WHERE coin_pub=in_coin_pub;
 
@@ -59,7 +61,7 @@ THEN
   RETURN;
 END IF;
 
-IF tmp.val + tmp.frac = 0
+IF tmp_val + tmp_frac = 0
 THEN
   -- Check for idempotency
   SELECT
@@ -85,15 +87,15 @@ UPDATE known_coins
 -- Credit the reserve and update reserve timers.
 UPDATE reserves
   SET
-    current_balance.frac=current_balance.frac+tmp.frac
+    current_balance_frac=current_balance_frac+tmp_frac
        - CASE
-         WHEN current_balance.frac+tmp.frac >= 100000000
+         WHEN current_balance_frac+tmp_frac >= 100000000
          THEN 100000000
          ELSE 0
          END,
-    current_balance.val=current_balance.val+tmp.val
+    current_balance_val=current_balance_val+tmp_val
        + CASE
-         WHEN current_balance.frac+tmp.frac >= 100000000
+         WHEN current_balance_frac+tmp_frac >= 100000000
          THEN 1
          ELSE 0
          END,
@@ -124,8 +126,8 @@ VALUES
   (in_coin_pub
   ,in_coin_sig
   ,in_coin_blind
-  ,tmp.val
+  ,tmp_val
-  ,tmp.frac
+  ,tmp_frac
   ,in_recoup_timestamp
   ,in_reserve_out_serial_id);
 

src/exchangedb/exchange_do_reserve_open.sql

@@ -16,29 +16,45 @@
 
 CREATE OR REPLACE FUNCTION exchange_do_reserve_open(
   IN in_reserve_pub BYTEA,
-  IN in_total_paid taler_amount,
+  IN in_total_paid_val INT8,
-  IN in_reserve_payment taler_amount,
+  IN in_total_paid_frac INT4,
+  IN in_reserve_payment_val INT8,
+  IN in_reserve_payment_frac INT4,
   IN in_min_purse_limit INT4,
   IN in_default_purse_limit INT4,
   IN in_reserve_sig BYTEA,
   IN in_desired_expiration INT8,
   IN in_reserve_gc_delay INT8,
   IN in_now INT8,
-  IN in_open_fee taler_amount,
+  IN in_open_fee_val INT8,
-  OUT out_open_cost taler_amount,
+  IN in_open_fee_frac INT4,
+  OUT out_open_cost_val INT8,
+  OUT out_open_cost_frac INT4,
   OUT out_final_expiration INT8,
   OUT out_no_funds BOOLEAN)
 LANGUAGE plpgsql
 AS $$
 DECLARE
-  my_balance taler_amount;
+  my_balance_val INT8;
-  my_cost taler_amount;
+DECLARE
+  my_balance_frac INT4;
+DECLARE
+  my_cost_val INT8;
+DECLARE
   my_cost_tmp INT8;
+DECLARE
+  my_cost_frac INT4;
+DECLARE
   my_years_tmp INT4;
+DECLARE
   my_years INT4;
+DECLARE
   my_needs_update BOOL;
+DECLARE
   my_purses_allowed INT8;
+DECLARE
   my_expiration_date INT8;
+DECLARE
   my_reserve_expiration INT8;
 BEGIN
 
@@ -46,13 +62,13 @@ BEGIN
 SELECT
   purses_allowed
  ,expiration_date
- ,current_balance.val
+ ,current_balance_val
- ,current_balance.frac
+ ,current_balance_frac
 INTO
   my_purses_allowed
  ,my_reserve_expiration
- ,my_balance.val
+ ,my_balance_val
- ,my_balance.frac
+ ,my_balance_frac
 FROM reserves
 WHERE
   reserve_pub=in_reserve_pub;
@@ -72,8 +88,8 @@ ELSE
   my_expiration_date = my_reserve_expiration;
 END IF;
 
-my_cost.val = 0;
+my_cost_val = 0;
-my_cost.frac = 0;
+my_cost_frac = 0;
 my_needs_update = FALSE;
 my_years = 0;
 
@@ -99,19 +115,19 @@ END IF;
 -- Compute cost based on annual fees
 IF (my_years > 0)
 THEN
-  my_cost.val = my_years * in_open_fee.val;
+  my_cost_val = my_years * in_open_fee_val;
-  my_cost_tmp = my_years * in_open_fee.frac / 100000000;
+  my_cost_tmp = my_years * in_open_fee_frac / 100000000;
-  IF (CAST (my_cost.val + my_cost_tmp AS INT8) < my_cost.val)
+  IF (CAST (my_cost_val + my_cost_tmp AS INT8) < my_cost_val)
   THEN
-    out_open_cost.val=9223372036854775807;
+    out_open_cost_val=9223372036854775807;
-    out_open_cost.frac=2147483647;
+    out_open_cost_frac=2147483647;
     out_final_expiration=my_expiration_date;
     out_no_funds=FALSE;
     RAISE NOTICE 'arithmetic issue computing amount';
   RETURN;
   END IF;
-  my_cost.val = CAST (my_cost.val + my_cost_tmp AS INT8);
+  my_cost_val = CAST (my_cost_val + my_cost_tmp AS INT8);
-  my_cost.frac = my_years * in_open_fee.frac % 100000000;
+  my_cost_frac = my_years * in_open_fee_frac % 100000000;
   my_needs_update = TRUE;
 END IF;
 
@@ -119,20 +135,20 @@ END IF;
 IF NOT my_needs_update
 THEN
   out_final_expiration = my_reserve_expiration;
-  out_open_cost.val = 0;
+  out_open_cost_val = 0;
-  out_open_cost.frac = 0;
+  out_open_cost_frac = 0;
   out_no_funds=FALSE;
   RAISE NOTICE 'no change required';
   RETURN;
 END IF;
 
 -- Check payment (coins and reserve) would be sufficient.
-IF ( (in_total_paid.val < my_cost.val) OR
+IF ( (in_total_paid_val < my_cost_val) OR
-     ( (in_total_paid.val = my_cost.val) AND
+     ( (in_total_paid_val = my_cost_val) AND
-       (in_total_paid.frac < my_cost.frac) ) )
+       (in_total_paid_frac < my_cost_frac) ) )
 THEN
-  out_open_cost.val = my_cost.val;
+  out_open_cost_val = my_cost_val;
-  out_open_cost.frac = my_cost.frac;
+  out_open_cost_frac = my_cost_frac;
   out_no_funds=FALSE;
   -- We must return a failure, which is indicated by
   -- the expiration being below the desired expiration.
@@ -151,25 +167,25 @@ THEN
 END IF;
 
 -- Check reserve balance is sufficient.
-IF (my_balance.val > in_reserve_payment.val)
+IF (my_balance_val > in_reserve_payment_val)
 THEN
-  IF (my_balance.frac >= in_reserve_payment.frac)
+  IF (my_balance_frac >= in_reserve_payment_frac)
   THEN
-    my_balance.val=my_balance.val - in_reserve_payment.val;
+    my_balance_val=my_balance_val - in_reserve_payment_val;
-    my_balance.frac=my_balance.frac - in_reserve_payment.frac;
+    my_balance_frac=my_balance_frac - in_reserve_payment_frac;
   ELSE
-    my_balance.val=my_balance.val - in_reserve_payment.val - 1;
+    my_balance_val=my_balance_val - in_reserve_payment_val - 1;
-    my_balance.frac=my_balance.frac + 100000000 - in_reserve_payment.frac;
+    my_balance_frac=my_balance_frac + 100000000 - in_reserve_payment_frac;
   END IF;
 ELSE
-  IF (my_balance.val = in_reserve_payment.val) AND (my_balance.frac >= in_reserve_payment.frac)
+  IF (my_balance_val = in_reserve_payment_val) AND (my_balance_frac >= in_reserve_payment_frac)
   THEN
-    my_balance.val=0;
+    my_balance_val=0;
-    my_balance.frac=my_balance.frac - in_reserve_payment.frac;
+    my_balance_frac=my_balance_frac - in_reserve_payment_frac;
   ELSE
     out_final_expiration = my_reserve_expiration;
-    out_open_cost.val = my_cost.val;
+    out_open_cost_val = my_cost_val;
-    out_open_cost.frac = my_cost.frac;
+    out_open_cost_frac = my_cost_frac;
     out_no_funds=TRUE;
     RAISE NOTICE 'reserve balance too low';
   RETURN;
@@ -177,7 +193,8 @@ ELSE
 END IF;
 
 UPDATE reserves SET
-  current_balance=my_balance
+  current_balance_val=my_balance_val
+ ,current_balance_frac=my_balance_frac
  ,gc_date=my_reserve_expiration + in_reserve_gc_delay
  ,expiration_date=my_expiration_date
  ,purses_allowed=my_purses_allowed
@@ -185,7 +202,8 @@ WHERE
  reserve_pub=in_reserve_pub;
 
 out_final_expiration=my_expiration_date;
-out_open_cost = my_cost;
+out_open_cost_val = my_cost_val;
+out_open_cost_frac = my_cost_frac;
 out_no_funds=FALSE;
 RETURN;
 

src/exchangedb/exchange_do_reserve_purse.sql

@@ -22,7 +22,8 @@ CREATE OR REPLACE FUNCTION exchange_do_reserve_purse(
   IN in_reserve_gc INT8,
   IN in_reserve_sig BYTEA,
   IN in_reserve_quota BOOLEAN,
-  IN in_purse_fee taler_amount,
+  IN in_purse_fee_val INT8,
+  IN in_purse_fee_frac INT4,
   IN in_reserve_pub BYTEA,
   IN in_wallet_h_payto BYTEA,
   OUT out_no_funds BOOLEAN,
@@ -100,8 +101,8 @@ ELSE
   --  UPDATE reserves balance (and check if balance is enough to pay the fee)
   IF (out_no_reserve)
   THEN
-    IF ( (0 != in_purse_fee.val) OR
+    IF ( (0 != in_purse_fee_val) OR
-         (0 != in_purse_fee.frac) )
+         (0 != in_purse_fee_frac) )
     THEN
       out_no_funds=TRUE;
       RETURN;
@@ -117,22 +118,22 @@ ELSE
   ELSE
     UPDATE exchange.reserves
       SET
-        current_balance.frac=current_balance.frac-in_purse_fee.frac
+        current_balance_frac=current_balance_frac-in_purse_fee_frac
          + CASE
-         WHEN current_balance.frac < in_purse_fee.frac
+         WHEN current_balance_frac < in_purse_fee_frac
          THEN 100000000
          ELSE 0
          END,
-       current_balance.val=current_balance.val-in_purse_fee.val
+       current_balance_val=current_balance_val-in_purse_fee_val
          - CASE
-         WHEN current_balance.frac < in_purse_fee.frac
+         WHEN current_balance_frac < in_purse_fee_frac
          THEN 1
          ELSE 0
          END
       WHERE reserve_pub=in_reserve_pub
-        AND ( (current_balance.val > in_purse_fee.val) OR
+        AND ( (current_balance_val > in_purse_fee_val) OR
-              ( (current_balance.frac >= in_purse_fee.frac) AND
+              ( (current_balance_frac >= in_purse_fee_frac) AND
-                (current_balance.val >= in_purse_fee.val) ) );
+                (current_balance_val >= in_purse_fee_val) ) );
     IF NOT FOUND
     THEN
       out_no_funds=TRUE;
@@ -158,5 +159,5 @@ INSERT INTO exchange.account_merges
 
 END $$;
 
-COMMENT ON FUNCTION exchange_do_reserve_purse(BYTEA, BYTEA, INT8, INT8, INT8, BYTEA, BOOLEAN, taler_amount, BYTEA, BYTEA)
+COMMENT ON FUNCTION exchange_do_reserve_purse(BYTEA, BYTEA, INT8, INT8, INT8, BYTEA, BOOLEAN, INT8, INT4, BYTEA, BYTEA)
   IS 'Create a purse for a reserve.';

src/exchangedb/exchange_do_reserves_in_insert.sql

@@ -19,7 +19,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch_reserves_in_insert(
   IN in_reserve_expiration INT8,
   IN in_reserve_pub BYTEA,
   IN in_wire_ref INT8,
-  IN in_credit taler_amount,
+  IN in_credit_val INT8,
+  IN in_credit_frac INT4,
   IN in_exchange_account_name VARCHAR,
   IN in_execution_date INT8,
   IN in_wire_source_h_payto BYTEA,
@@ -41,12 +42,14 @@ BEGIN
 
   INSERT INTO reserves
     (reserve_pub
-    ,current_balance
+    ,current_balance_val
+    ,current_balance_frac
     ,expiration_date
     ,gc_date)
     VALUES
     (in_reserve_pub
-    ,in_credit
+    ,in_credit_val
+    ,in_credit_frac
     ,in_reserve_expiration
     ,in_gc_date)
   ON CONFLICT DO NOTHING
@@ -64,8 +67,8 @@ BEGIN
     VALUES
     (in_reserve_pub
     ,in_wire_ref
-    ,in_credit.val
+    ,in_credit_val
-    ,in_credit.frac
+    ,in_credit_frac
     ,in_exchange_account_name
     ,in_wire_source_h_payto
     ,in_execution_date)
@@ -87,7 +90,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch2_reserves_insert(
   IN in_reserve_expiration INT8,
   IN in0_reserve_pub BYTEA,
   IN in0_wire_ref INT8,
-  IN in0_credit taler_amount,
+  IN in0_credit_val INT8,
+  IN in0_credit_frac INT4,
   IN in0_exchange_account_name VARCHAR,
   IN in0_execution_date INT8,
   IN in0_wire_source_h_payto BYTEA,
@@ -95,7 +99,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch2_reserves_insert(
   IN in0_notify TEXT,
   IN in1_reserve_pub BYTEA,
   IN in1_wire_ref INT8,
-  IN in1_credit taler_amount,
+  IN in1_credit_val INT8,
+  IN in1_credit_frac INT4,
   IN in1_exchange_account_name VARCHAR,
   IN in1_execution_date INT8,
   IN in1_wire_source_h_payto BYTEA,
@@ -133,16 +138,19 @@ BEGIN
   WITH reserve_changes AS (
     INSERT INTO reserves
       (reserve_pub
-      ,current_balance
+      ,current_balance_val
+      ,current_balance_frac
       ,expiration_date
       ,gc_date)
       VALUES
       (in0_reserve_pub
-      ,in0_credit
+      ,in0_credit_val
+      ,in0_credit_frac
       ,in_reserve_expiration
       ,in_gc_date),
       (in1_reserve_pub
-      ,in1_credit
+      ,in1_credit_val
+      ,in1_credit_frac
       ,in_reserve_expiration
       ,in_gc_date)
     ON CONFLICT DO NOTHING
@@ -192,15 +200,15 @@ BEGIN
       VALUES
       (in0_reserve_pub
       ,in0_wire_ref
-      ,in0_credit.val
+      ,in0_credit_val
-      ,in0_credit.frac
+      ,in0_credit_frac
       ,in0_exchange_account_name
       ,in0_wire_source_h_payto
       ,in0_execution_date),
       (in1_reserve_pub
       ,in1_wire_ref
-      ,in1_credit.val
+      ,in1_credit_val
-      ,in1_credit.frac
+      ,in1_credit_frac
       ,in1_exchange_account_name
       ,in1_wire_source_h_payto
       ,in1_execution_date)
@@ -253,7 +261,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch4_reserves_insert(
   IN in_reserve_expiration INT8,
   IN in0_reserve_pub BYTEA,
   IN in0_wire_ref INT8,
-  IN in0_credit taler_amount,
+  IN in0_credit_val INT8,
+  IN in0_credit_frac INT4,
   IN in0_exchange_account_name VARCHAR,
   IN in0_execution_date INT8,
   IN in0_wire_source_h_payto BYTEA,
@@ -261,7 +270,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch4_reserves_insert(
   IN in0_notify TEXT,
   IN in1_reserve_pub BYTEA,
   IN in1_wire_ref INT8,
-  IN in1_credit taler_amount,
+  IN in1_credit_val INT8,
+  IN in1_credit_frac INT4,
   IN in1_exchange_account_name VARCHAR,
   IN in1_execution_date INT8,
   IN in1_wire_source_h_payto BYTEA,
@@ -269,7 +279,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch4_reserves_insert(
   IN in1_notify TEXT,
   IN in2_reserve_pub BYTEA,
   IN in2_wire_ref INT8,
-  IN in2_credit taler_amount,
+  IN in2_credit_val INT8,
+  IN in2_credit_frac INT4,
   IN in2_exchange_account_name VARCHAR,
   IN in2_execution_date INT8,
   IN in2_wire_source_h_payto BYTEA,
@@ -277,7 +288,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch4_reserves_insert(
   IN in2_notify TEXT,
   IN in3_reserve_pub BYTEA,
   IN in3_wire_ref INT8,
-  IN in3_credit taler_amount,
+  IN in3_credit_val INT8,
+  IN in3_credit_frac INT4,
   IN in3_exchange_account_name VARCHAR,
   IN in3_execution_date INT8,
   IN in3_wire_source_h_payto BYTEA,
@@ -325,24 +337,29 @@ BEGIN
   WITH reserve_changes AS (
     INSERT INTO reserves
       (reserve_pub
-      ,current_balance
+      ,current_balance_val
+      ,current_balance_frac
       ,expiration_date
       ,gc_date)
       VALUES
       (in0_reserve_pub
-      ,in0_credit
+      ,in0_credit_val
+      ,in0_credit_frac
       ,in_reserve_expiration
       ,in_gc_date),
       (in1_reserve_pub
-      ,in1_credit
+      ,in1_credit_val
+      ,in1_credit_frac
       ,in_reserve_expiration
       ,in_gc_date),
       (in2_reserve_pub
-      ,in2_credit
+      ,in2_credit_val
+      ,in2_credit_frac
       ,in_reserve_expiration
       ,in_gc_date),
       (in3_reserve_pub
-      ,in3_credit
+      ,in3_credit_val
+      ,in3_credit_frac
       ,in_reserve_expiration
       ,in_gc_date)
     ON CONFLICT DO NOTHING
@@ -408,29 +425,29 @@ BEGIN
       VALUES
       (in0_reserve_pub
       ,in0_wire_ref
-      ,in0_credit.val
+      ,in0_credit_val
-      ,in0_credit.frac
+      ,in0_credit_frac
       ,in0_exchange_account_name
       ,in0_wire_source_h_payto
       ,in0_execution_date),
       (in1_reserve_pub
       ,in1_wire_ref
-      ,in1_credit.val
+      ,in1_credit_val
-      ,in1_credit.frac
+      ,in1_credit_frac
       ,in1_exchange_account_name
       ,in1_wire_source_h_payto
       ,in1_execution_date),
       (in2_reserve_pub
       ,in2_wire_ref
-      ,in2_credit.val
+      ,in2_credit_val
-      ,in2_credit.frac
+      ,in2_credit_frac
       ,in2_exchange_account_name
       ,in2_wire_source_h_payto
       ,in2_execution_date),
       (in3_reserve_pub
       ,in3_wire_ref
-      ,in3_credit.val
+      ,in3_credit_val
-      ,in3_credit.frac
+      ,in3_credit_frac
       ,in3_exchange_account_name
       ,in3_wire_source_h_payto
       ,in3_execution_date)
@@ -505,7 +522,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch8_reserves_insert(
   IN in_reserve_expiration INT8,
   IN in0_reserve_pub BYTEA,
   IN in0_wire_ref INT8,
-  IN in0_credit taler_amount,
+  IN in0_credit_val INT8,
+  IN in0_credit_frac INT4,
   IN in0_exchange_account_name VARCHAR,
   IN in0_execution_date INT8,
   IN in0_wire_source_h_payto BYTEA,
@@ -513,7 +531,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch8_reserves_insert(
   IN in0_notify TEXT,
   IN in1_reserve_pub BYTEA,
   IN in1_wire_ref INT8,
-  IN in1_credit taler_amount,
+  IN in1_credit_val INT8,
+  IN in1_credit_frac INT4,
   IN in1_exchange_account_name VARCHAR,
   IN in1_execution_date INT8,
   IN in1_wire_source_h_payto BYTEA,
@@ -521,7 +540,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch8_reserves_insert(
   IN in1_notify TEXT,
   IN in2_reserve_pub BYTEA,
   IN in2_wire_ref INT8,
-  IN in2_credit taler_amount,
+  IN in2_credit_val INT8,
+  IN in2_credit_frac INT4,
   IN in2_exchange_account_name VARCHAR,
   IN in2_execution_date INT8,
   IN in2_wire_source_h_payto BYTEA,
@@ -529,7 +549,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch8_reserves_insert(
   IN in2_notify TEXT,
   IN in3_reserve_pub BYTEA,
   IN in3_wire_ref INT8,
-  IN in3_credit taler_amount,
+  IN in3_credit_val INT8,
+  IN in3_credit_frac INT4,
   IN in3_exchange_account_name VARCHAR,
   IN in3_execution_date INT8,
   IN in3_wire_source_h_payto BYTEA,
@@ -537,7 +558,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch8_reserves_insert(
   IN in3_notify TEXT,
   IN in4_reserve_pub BYTEA,
   IN in4_wire_ref INT8,
-  IN in4_credit taler_amount,
+  IN in4_credit_val INT8,
+  IN in4_credit_frac INT4,
   IN in4_exchange_account_name VARCHAR,
   IN in4_execution_date INT8,
   IN in4_wire_source_h_payto BYTEA,
@@ -545,7 +567,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch8_reserves_insert(
   IN in4_notify TEXT,
   IN in5_reserve_pub BYTEA,
   IN in5_wire_ref INT8,
-  IN in5_credit taler_amount,
+  IN in5_credit_val INT8,
+  IN in5_credit_frac INT4,
   IN in5_exchange_account_name VARCHAR,
   IN in5_execution_date INT8,
   IN in5_wire_source_h_payto BYTEA,
@@ -553,7 +576,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch8_reserves_insert(
   IN in5_notify TEXT,
   IN in6_reserve_pub BYTEA,
   IN in6_wire_ref INT8,
-  IN in6_credit taler_amount,
+  IN in6_credit_val INT8,
+  IN in6_credit_frac INT4,
   IN in6_exchange_account_name VARCHAR,
   IN in6_execution_date INT8,
   IN in6_wire_source_h_payto BYTEA,
@@ -561,7 +585,8 @@ CREATE OR REPLACE FUNCTION exchange_do_batch8_reserves_insert(
   IN in6_notify TEXT,
   IN in7_reserve_pub BYTEA,
   IN in7_wire_ref INT8,
-  IN in7_credit taler_amount,
+  IN in7_credit_val INT8,
+  IN in7_credit_frac INT4,
   IN in7_exchange_account_name VARCHAR,
   IN in7_execution_date INT8,
   IN in7_wire_source_h_payto BYTEA,
@@ -632,40 +657,49 @@ BEGIN
   WITH reserve_changes AS (
     INSERT INTO reserves
       (reserve_pub
-      ,current_balance
+      ,current_balance_val
+      ,current_balance_frac
       ,expiration_date
       ,gc_date)
       VALUES
       (in0_reserve_pub
-      ,in0_credit
+      ,in0_credit_val
+      ,in0_credit_frac
       ,in_reserve_expiration
       ,in_gc_date),
       (in1_reserve_pub
-      ,in1_credit
+      ,in1_credit_val
+      ,in1_credit_frac
       ,in_reserve_expiration
       ,in_gc_date),
       (in2_reserve_pub
-      ,in2_credit
+      ,in2_credit_val
+      ,in2_credit_frac
       ,in_reserve_expiration
       ,in_gc_date),
       (in3_reserve_pub
-      ,in3_credit
+      ,in3_credit_val
+      ,in3_credit_frac
       ,in_reserve_expiration
       ,in_gc_date),
       (in4_reserve_pub
-      ,in4_credit
+      ,in4_credit_val
+      ,in4_credit_frac
       ,in_reserve_expiration
       ,in_gc_date),
       (in5_reserve_pub
-      ,in5_credit
+      ,in5_credit_val
+      ,in5_credit_frac
       ,in_reserve_expiration
       ,in_gc_date),
       (in6_reserve_pub
-      ,in6_credit
+      ,in6_credit_val
+      ,in6_credit_frac
       ,in_reserve_expiration
       ,in_gc_date),
       (in7_reserve_pub
-      ,in7_credit
+      ,in7_credit_val
+      ,in7_credit_frac
       ,in_reserve_expiration
       ,in_gc_date)
     ON CONFLICT DO NOTHING
@@ -768,57 +802,57 @@ BEGIN
       VALUES
       (in0_reserve_pub
       ,in0_wire_ref
-      ,in0_credit.val
+      ,in0_credit_val
-      ,in0_credit.frac
+      ,in0_credit_frac
       ,in0_exchange_account_name
       ,in0_wire_source_h_payto
       ,in0_execution_date),
       (in1_reserve_pub
       ,in1_wire_ref
-      ,in1_credit.val
+      ,in1_credit_val
-      ,in1_credit.frac
+      ,in1_credit_frac
       ,in1_exchange_account_name
       ,in1_wire_source_h_payto
       ,in1_execution_date),
       (in2_reserve_pub
       ,in2_wire_ref
-      ,in2_credit.val
+      ,in2_credit_val
-      ,in2_credit.frac
+      ,in2_credit_frac
       ,in2_exchange_account_name
       ,in2_wire_source_h_payto
       ,in2_execution_date),
       (in3_reserve_pub
       ,in3_wire_ref
-      ,in3_credit.val
+      ,in3_credit_val
-      ,in3_credit.frac
+      ,in3_credit_frac
       ,in3_exchange_account_name
       ,in3_wire_source_h_payto
       ,in3_execution_date),
       (in4_reserve_pub
       ,in4_wire_ref
-      ,in4_credit.val
+      ,in4_credit_val
-      ,in4_credit.frac
+      ,in4_credit_frac
       ,in4_exchange_account_name
       ,in4_wire_source_h_payto
       ,in4_execution_date),
       (in5_reserve_pub
       ,in5_wire_ref
-      ,in5_credit.val
+      ,in5_credit_val
-      ,in5_credit.frac
+      ,in5_credit_frac
       ,in5_exchange_account_name
       ,in5_wire_source_h_payto
       ,in5_execution_date),
       (in6_reserve_pub
       ,in6_wire_ref
-      ,in6_credit.val
+      ,in6_credit_val
-      ,in6_credit.frac
+      ,in6_credit_frac
       ,in6_exchange_account_name
       ,in6_wire_source_h_payto
       ,in6_execution_date),
       (in7_reserve_pub
       ,in7_wire_ref
-      ,in7_credit.val
+      ,in7_credit_val
-      ,in7_credit.frac
+      ,in7_credit_frac
       ,in7_exchange_account_name
       ,in7_wire_source_h_payto
       ,in7_execution_date)

src/exchangedb/exchange_do_withdraw.sql

@@ -17,7 +17,8 @@
 
 CREATE OR REPLACE FUNCTION exchange_do_withdraw(
   IN cs_nonce BYTEA,
-  IN amount taler_amount,
+  IN amount_val INT8,
+  IN amount_frac INT4,
   IN h_denom_pub BYTEA,
   IN rpub BYTEA,
   IN reserve_sig BYTEA,
@@ -37,7 +38,8 @@ AS $$
 DECLARE
   reserve_gc INT8;
   denom_serial INT8;
-  reserve taler_amount;
+  reserve_val INT8;
+  reserve_frac INT4;
   reserve_birthday INT4;
   not_before date;
 BEGIN
@@ -66,13 +68,14 @@ END IF;
 
 
 SELECT
-   current_balance
+   current_balance_val
+  ,current_balance_frac
   ,gc_date
   ,birthday
   ,reserve_uuid
  INTO
-   reserve.val
+   reserve_val
-  ,reserve.frac
+  ,reserve_frac
   ,reserve_gc
   ,reserve_birthday
   ,ruuid
@@ -130,8 +133,8 @@ VALUES
   ,ruuid
   ,reserve_sig
   ,now
-  ,amount.val
+  ,amount_val
-  ,amount.frac)
+  ,amount_frac)
 ON CONFLICT DO NOTHING;
 
 IF NOT FOUND
@@ -144,21 +147,21 @@ THEN
 END IF;
 
 -- Check reserve balance is sufficient.
-IF (reserve.val > amount.val)
+IF (reserve_val > amount_val)
 THEN
-  IF (reserve.frac >= amount.frac)
+  IF (reserve_frac >= amount_frac)
   THEN
-    reserve.val=reserve.val - amount.val;
+    reserve_val=reserve_val - amount_val;
-    reserve.frac=reserve.frac - amount.frac;
+    reserve_frac=reserve_frac - amount_frac;
   ELSE
-    reserve.val=reserve.val - amount.val - 1;
+    reserve_val=reserve_val - amount_val - 1;
-    reserve.frac=reserve.frac + 100000000 - amount.frac;
+    reserve_frac=reserve_frac + 100000000 - amount_frac;
   END IF;
 ELSE
-  IF (reserve.val = amount.val) AND (reserve.frac >= amount.frac)
+  IF (reserve_val = amount_val) AND (reserve_frac >= amount_frac)
   THEN
-    reserve.val=0;
+    reserve_val=0;
-    reserve.frac=reserve.frac - amount.frac;
+    reserve_frac=reserve_frac - amount_frac;
   ELSE
     reserve_found=TRUE;
     nonce_ok=TRUE; -- we do not really know
@@ -173,7 +176,8 @@ min_reserve_gc=GREATEST(min_reserve_gc,reserve_gc);
 -- Update reserve balance.
 UPDATE reserves SET
   gc_date=min_reserve_gc
- ,current_balance=reserve
+ ,current_balance_val=reserve_val
+ ,current_balance_frac=reserve_frac
 WHERE
   reserves.reserve_pub=rpub;
 
@@ -218,6 +222,7 @@ END IF;
 
 END $$;
 
-COMMENT ON FUNCTION exchange_do_withdraw(BYTEA, taler_amount, BYTEA, BYTEA, BYTEA, BYTEA, BYTEA, INT8, INT8, BOOLEAN)
+
+COMMENT ON FUNCTION exchange_do_withdraw(BYTEA, INT8, INT4, BYTEA, BYTEA, BYTEA, BYTEA, BYTEA, INT8, INT8, BOOLEAN)
   IS 'Checks whether the reserve has sufficient balance for a withdraw operation (or the request is repeated and was previously approved) and if the age requirements are formally met.  If so updates the database with the result';
 

src/exchangedb/pg_do_batch_withdraw_insert.c

@@ -41,8 +41,7 @@ TEH_PG_do_batch_withdraw_insert (
     NULL == nonce
     ? GNUNET_PQ_query_param_null ()
     : GNUNET_PQ_query_param_auto_from_type (nonce),
-    TALER_PQ_query_param_amount_tuple (pg->conn,
+    TALER_PQ_query_param_amount (&collectable->amount_with_fee),
-                                       &collectable->amount_with_fee),
     GNUNET_PQ_query_param_auto_from_type (&collectable->denom_pub_hash),
     GNUNET_PQ_query_param_uint64 (&ruuid),
     GNUNET_PQ_query_param_auto_from_type (&collectable->reserve_sig),
@@ -70,7 +69,7 @@ TEH_PG_do_batch_withdraw_insert (
            ",out_conflict AS conflict"
            ",out_nonce_reuse AS nonce_reuse"
            " FROM exchange_do_batch_withdraw_insert"
-           " ($1,$2,$3,$4,$5,$6,$7,$8);");
+           " ($1,$2,$3,$4,$5,$6,$7,$8,$9);");
   return GNUNET_PQ_eval_prepared_singleton_select (pg->conn,
                                                    "call_batch_withdraw_insert",
                                                    params,

src/exchangedb/pg_do_withdraw.c

@@ -46,8 +46,7 @@ TEH_PG_do_withdraw (
     NULL == nonce
     ? GNUNET_PQ_query_param_null ()
     : GNUNET_PQ_query_param_auto_from_type (nonce),
-    TALER_PQ_query_param_amount_tuple (pg->conn,
+    TALER_PQ_query_param_amount (&collectable->amount_with_fee),
-                                       &collectable->amount_with_fee),
     GNUNET_PQ_query_param_auto_from_type (&collectable->denom_pub_hash),
     GNUNET_PQ_query_param_auto_from_type (&collectable->reserve_pub),
     GNUNET_PQ_query_param_auto_from_type (&collectable->reserve_sig),
@@ -84,7 +83,7 @@ TEH_PG_do_withdraw (
            ",allowed_maximum_age"
            ",ruuid"
            " FROM exchange_do_withdraw"
-           " ($1,$2,$3,$4,$5,$6,$7,$8,$9,$10);");
+           " ($1,$2,$3,$4,$5,$6,$7,$8,$9,$10,$11);");
   gc = GNUNET_TIME_absolute_to_timestamp (
     GNUNET_TIME_absolute_add (now.abs_time,
                               pg->legal_reserve_expiration_time));

src/exchangedb/pg_get_expired_reserves.c

@@ -84,9 +84,8 @@ reserve_expired_cb (void *cls,
                                     &account_details),
       GNUNET_PQ_result_spec_auto_from_type ("reserve_pub",
                                             &reserve_pub),
-      TALER_PQ_result_spec_amount_tuple ("current_balance",
+      TALER_PQ_RESULT_SPEC_AMOUNT ("current_balance",
-                                         pg->currency,
+                                   &remaining_balance),
-                                         &remaining_balance),
       GNUNET_PQ_result_spec_end
     };
 
@@ -138,7 +137,7 @@ TEH_PG_get_expired_reserves (void *cls,
            " SELECT * "
            " FROM reserves "
            " WHERE expiration_date <= $1 "
-           "   AND (current_balance.val != 0 OR current_balance.frac != 0) "
+           "   AND (current_balance_val != 0 OR current_balance_frac != 0) "
            " ORDER BY expiration_date ASC "
            " LIMIT 1 "
            ") "
@@ -146,7 +145,8 @@ TEH_PG_get_expired_reserves (void *cls,
            " ed.expiration_date "
            " ,payto_uri AS account_details "
            " ,ed.reserve_pub "
-           " ,current_balance "
+           " ,current_balance_val "
+           " ,current_balance_frac "
            "FROM ( "
            " SELECT "
            "  * "

src/exchangedb/pg_get_reserve_balance.c

@@ -36,16 +36,16 @@ TEH_PG_get_reserve_balance (void *cls,
     GNUNET_PQ_query_param_end
   };
   struct GNUNET_PQ_ResultSpec rs[] = {
-    TALER_PQ_result_spec_amount_tuple ("current_balance",
+    TALER_PQ_RESULT_SPEC_AMOUNT ("current_balance",
-                                       pg->currency,
+                                 balance),
-                                       balance),
     GNUNET_PQ_result_spec_end
   };
 
   PREPARE (pg,
            "get_reserve_balance",
            "SELECT"
-           " current_balance"
+           " current_balance_val"
+           ",current_balance_frac"
            " FROM reserves"
            " WHERE reserve_pub=$1;");
   return GNUNET_PQ_eval_prepared_singleton_select (pg->conn,

src/exchangedb/pg_reserves_get.c

@@ -35,9 +35,8 @@ TEH_PG_reserves_get (void *cls,
     GNUNET_PQ_query_param_end
   };
   struct GNUNET_PQ_ResultSpec rs[] = {
-    TALER_PQ_result_spec_amount_tuple ("current_balance",
+    TALER_PQ_RESULT_SPEC_AMOUNT ("current_balance",
-                                       pg->currency,
+                                 &reserve->balance),
-                                       &reserve->balance),
     GNUNET_PQ_result_spec_timestamp ("expiration_date",
                                      &reserve->expiry),
     GNUNET_PQ_result_spec_timestamp ("gc_date",
@@ -48,7 +47,8 @@ TEH_PG_reserves_get (void *cls,
   PREPARE (pg,
            "reserves_get",
            "SELECT"
-           " current_balance"
+           " current_balance_val"
+           ",current_balance_frac"
            ",expiration_date"
            ",gc_date"
            " FROM reserves"

src/exchangedb/pg_reserves_in_insert.c

@@ -100,7 +100,7 @@ struct ReserveRecord
 #define RR_QUERY_PARAM(rr,index) \
   GNUNET_PQ_query_param_auto_from_type (rr[index].reserve->reserve_pub),    \
   GNUNET_PQ_query_param_uint64 (&rr[index].reserve->wire_reference),        \
-  TALER_PQ_query_param_amount_tuple (pg->conn, rr[index].reserve->balance), \
+  TALER_PQ_query_param_amount (rr[index].reserve->balance),                 \
   GNUNET_PQ_query_param_string (rr[index].reserve->exchange_account_name),  \
   GNUNET_PQ_query_param_timestamp (&rr[index].reserve->execution_time),     \
   GNUNET_PQ_query_param_auto_from_type (&rr[index].h_payto),                \
@@ -154,7 +154,7 @@ insert1 (struct PostgresClosure *pg,
            " transaction_duplicate0 AS transaction_duplicate0"
            ",ruuid0 AS reserve_uuid0"
            " FROM exchange_do_batch_reserves_in_insert"
-           " ($1,$2,$3,$4,$5,$6,$7,$8,$9,$10);");
+           " ($1,$2,$3,$4,$5,$6,$7,$8,$9,$10,$11);");
   qs = GNUNET_PQ_eval_prepared_singleton_select (pg->conn,
                                                  "batch1_reserve_create",
                                                  params,
@@ -214,7 +214,7 @@ insert2 (struct PostgresClosure *pg,
            ",ruuid0 AS reserve_uuid0"
            ",ruuid1 AS reserve_uuid1"
            " FROM exchange_do_batch2_reserves_insert"
-           " ($1,$2,$3,$4,$5,$6,$7,$8,$9,$10,$11,$12,$13,$14,$15,$16,$17,$18);");
+           " ($1,$2,$3,$4,$5,$6,$7,$8,$9,$10,$11,$12,$13,$14,$15,$16,$17,$18,$19,$20);");
   qs = GNUNET_PQ_eval_prepared_singleton_select (pg->conn,
                                                  "batch2_reserve_create",
                                                  params,
@@ -285,7 +285,7 @@ insert4 (struct PostgresClosure *pg,
            ",ruuid2 AS reserve_uuid2"
            ",ruuid3 AS reserve_uuid3"
            " FROM exchange_do_batch4_reserves_insert"
-           " ($1,$2,$3,$4,$5,$6,$7,$8,$9,$10,$11,$12,$13,$14,$15,$16,$17,$18,$19,$20,$21,$22,$23,$24,$25,$26,$27,$28,$29,$30,$31,$32,$33,$34);");
+           " ($1,$2,$3,$4,$5,$6,$7,$8,$9,$10,$11,$12,$13,$14,$15,$16,$17,$18,$19,$20,$21,$22,$23,$24,$25,$26,$27,$28,$29,$30,$31,$32,$33,$34,$35,$36,$37,$38);");
   qs = GNUNET_PQ_eval_prepared_singleton_select (pg->conn,
                                                  "batch4_reserve_create",
                                                  params,
@@ -373,7 +373,7 @@ insert8 (struct PostgresClosure *pg,
            ",ruuid6 AS reserve_uuid6"
            ",ruuid7 AS reserve_uuid7"
            " FROM exchange_do_batch8_reserves_insert"
-           " ($1,$2,$3,$4,$5,$6,$7,$8,$9,$10,$11,$12,$13,$14,$15,$16,$17,$18,$19,$20,$21,$22,$23,$24,$25,$26,$27,$28,$29,$30,$31,$32,$33,$34,$35,$36,$37,$38,$39, $40, $41,$42,$43,$44,$45,$46,$47,$48,$49,$50,$51,$52,$53,$54,$55,$56,$57,$58,$59,$60,$61,$62,$63,$64,$65,$66);");
+           " ($1,$2,$3,$4,$5,$6,$7,$8,$9,$10,$11,$12,$13,$14,$15,$16,$17,$18,$19,$20,$21,$22,$23,$24,$25,$26,$27,$28,$29,$30,$31,$32,$33,$34,$35,$36,$37,$38,$39, $40, $41,$42,$43,$44,$45,$46,$47,$48,$49,$50,$51,$52,$53,$54,$55,$56,$57,$58,$59,$60,$61,$62,$63,$64,$65,$66,$67,$68,$69,$70,$71,$72,$73,$74);");
 
   qs = GNUNET_PQ_eval_prepared_singleton_select (pg->conn,
                                                  "batch8_reserve_create",
@@ -537,8 +537,7 @@ transact (
         GNUNET_PQ_query_param_auto_from_type (rr[i].reserve->reserve_pub),
         GNUNET_PQ_query_param_timestamp (&reserve_expiration),
         GNUNET_PQ_query_param_uint64 (&rr[i].reserve->wire_reference),
-        TALER_PQ_query_param_amount_tuple (pg->conn,
+        TALER_PQ_query_param_amount (rr[i].reserve->balance),
-                                           rr[i].reserve->balance),
         GNUNET_PQ_query_param_string (rr[i].reserve->exchange_account_name),
         GNUNET_PQ_query_param_auto_from_type (&rr[i].h_payto),
         GNUNET_PQ_query_param_string (rr[i].notify_s),
@@ -860,8 +859,7 @@ TEH_PG_reserves_in_insertN (
         GNUNET_PQ_query_param_auto_from_type (reserve_pubs[i]),
         GNUNET_PQ_query_param_timestamp (&reserve_expiration),
         GNUNET_PQ_query_param_uint64 (&wire_reference[i]),
-        TALER_PQ_query_param_amount_tuple (pg->conn,
+        TALER_PQ_query_param_amount (balances[i]),
-                                           balances[i]),
         GNUNET_PQ_query_param_string (exchange_account_names[i]),
         GNUNET_PQ_query_param_auto_from_type (h_paytos[i]),
         GNUNET_PQ_query_param_string (notify_s[i]),

src/exchangedb/pg_reserves_update.c

@@ -33,8 +33,7 @@ TEH_PG_reserves_update (void *cls,
   struct GNUNET_PQ_QueryParam params[] = {
     GNUNET_PQ_query_param_timestamp (&reserve->expiry),
     GNUNET_PQ_query_param_timestamp (&reserve->gc),
-    TALER_PQ_query_param_amount_tuple (pg->conn,
+    TALER_PQ_query_param_amount (&reserve->balance),
-                                       &reserve->balance),
     GNUNET_PQ_query_param_auto_from_type (&reserve->pub),
     GNUNET_PQ_query_param_end
   };
@@ -45,8 +44,9 @@ TEH_PG_reserves_update (void *cls,
            " SET"
            " expiration_date=$1"
            ",gc_date=$2"
-           ",current_balance=$3"
+           ",current_balance_val=$3"
-           " WHERE reserve_pub=$4;");
+           ",current_balance_frac=$4"
+           " WHERE reserve_pub=$5;");
   return GNUNET_PQ_eval_prepared_non_select (pg->conn,
                                              "reserve_update",
                                              params);

src/exchangedb/pg_select_reserve_close_info.c

@@ -39,9 +39,8 @@ TEH_PG_select_reserve_close_info (
     GNUNET_PQ_query_param_end
   };
   struct GNUNET_PQ_ResultSpec rs[] = {
-    TALER_PQ_result_spec_amount_tuple ("current_balance",
+    TALER_PQ_RESULT_SPEC_AMOUNT ("current_balance",
-                                       pg->currency,
+                                 balance),
-                                       balance),
     GNUNET_PQ_result_spec_string ("payto_uri",
                                   payto_uri),
     GNUNET_PQ_result_spec_end
@@ -50,7 +49,8 @@ TEH_PG_select_reserve_close_info (
   PREPARE (pg,
            "select_reserve_close_info",
            "SELECT "
-           " r.current_balance"
+           " r.current_balance_val"
+           ",r.current_balance_frac"
            ",wt.payto_uri"
            " FROM reserves r"
            " LEFT JOIN reserves_in ri USING (reserve_pub)"

src/exchangedb/plugin_exchangedb_postgres.c

@@ -293,7 +293,6 @@ TEH_PG_internal_setup (struct PostgresClosure *pg)
                                           NULL);
     if (NULL == db_conn)
       return GNUNET_SYSERR;
-
     pg->prep_gen++;
     pg->conn = db_conn;
   }
@@ -779,12 +778,6 @@ libtaler_plugin_exchangedb_postgres_init (void *cls)
   plugin->batch_ensure_coin_known
     = &TEH_PG_batch_ensure_coin_known;
 
-  if (GNUNET_OK != TALER_PQ_load_oids_for_composite_types (pg->conn))
-  {
-    GNUNET_log (GNUNET_ERROR_TYPE_ERROR,
-                "Failed to load OIDs for composite types\n");
-  }
-
   return plugin;
 }
 

src/include/taler_exchangedb_lib.h

@@ -46,6 +46,7 @@ TALER_EXCHANGEDB_plugin_load (const struct GNUNET_CONFIGURATION_Handle *cfg);
 void
 TALER_EXCHANGEDB_plugin_unload (struct TALER_EXCHANGEDB_Plugin *plugin);
 
+
 /**
  * Information about an account from the configuration.
  */

src/include/taler_pq_lib.h

@@ -19,42 +19,15 @@
  * @author Sree Harsha Totakura <sreeharsha@totakura.in>
  * @author Florian Dold
  * @author Christian Grothoff
- * @author Özgür Kesim
  */
 #ifndef TALER_PQ_LIB_H_
 #define TALER_PQ_LIB_H_
 
 #include <libpq-fe.h>
 #include <jansson.h>
-#include <gnunet/gnunet_common.h>
 #include <gnunet/gnunet_pq_lib.h>
 #include "taler_util.h"
 
-/**
- * Enumerates the composite types that Taler defines in Postgres.
- * The corresponding OIDs (which are assigned by postgres at time of
- * declaration) are stored in TALER_PQ_CompositeOIDs.
- */
-enum TALER_PQ_CompositeType
-{
-  TALER_PQ_CompositeAmount,
-  TALER_PQ_CompositeMAX /* MUST be last */
-};
-
-/**
- * The correspondence of the Composite types and their OID in Postgres
- */
-extern Oid TALER_PQ_CompositeOIDs[TALER_PQ_CompositeMAX];
-
-/**
- * Initialize the list of OIDs in TALER_PQ_CompositeOIDs.  MUST be called
- * before any composite type is used in arrays-specs/-params.
- *
- * @return GNUNET_SYSERR on failure
- */
-enum GNUNET_GenericReturnValue
-TALER_PQ_load_oids_for_composite_types (struct GNUNET_PQ_Context *db);
-
 /**
  * Generate query parameter for a currency, consisting of the three
  * components "value", "fraction" and "currency" in this order. The

src/pq/Makefile.am

@@ -10,8 +10,6 @@ lib_LTLIBRARIES = \
   libtalerpq.la
 
 libtalerpq_la_SOURCES = \
-  pq_common.h \
-  pq_composite_types.c \
   pq_query_helper.c \
   pq_result_helper.c
 libtalerpq_la_LIBADD = \

src/pq/pq_common.h

@@ -47,6 +47,20 @@ enum TALER_PQ_ArrayType
   TALER_PQ_array_of_MAX,       /* must be last */
 };
 
+/**
+ * The header for a postgresql array in binary format. note that this a
+ * simplified special case of the general structure (which contains pointers),
+ * as we only support one-dimensional arrays.
+ */
+struct TALER_PQ_ArrayHeader_P
+{
+  uint32_t ndim;     /* number of dimensions. we only support ndim = 1 */
+  uint32_t has_null;
+  uint32_t oid;
+  uint32_t dim;      /* size of the array */
+  uint32_t lbound;   /* index value of first element in the db (default: 1). */
+} __attribute__((packed));
+
 /**
  * Memory representation of an taler amount record for Postgres.
  *
@@ -78,6 +92,5 @@ struct TALER_PQ_Amount_P
     .f = htonl ((amount)->fraction) \
   }
 
-
 #endif  /* TALER_PQ_COMMON_H_ */
 /* end of pg/pq_common.h */

src/pq/pq_composite_types.c

@@ -1,57 +0,0 @@
-/*
-  This file is part of TALER
-  Copyright (C) 2023 Taler Systems SA
-
-  TALER is free software; you can redistribute it and/or modify it under the
-  terms of the GNU General Public License as published by the Free Software
-  Foundation; either version 3, or (at your option) any later version.
-
-  TALER is distributed in the hope that it will be useful, but WITHOUT ANY
-  WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
-  A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
-
-  You should have received a copy of the GNU General Public License along with
-  TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
-*/
-/**
- * @file pq/pq_composite_types.c
- * @brief helper functions for Taler-specific libpq (PostGres) interactions with composite types
- * @author Özgür Kesim
- */
-#include "platform.h"
-#include <gnunet/gnunet_common.h>
-#include <gnunet/gnunet_util_lib.h>
-#include <gnunet/gnunet_pq_lib.h>
-#include "taler_pq_lib.h"
-#include "pq_common.h"
-
-Oid TALER_PQ_CompositeOIDs[TALER_PQ_CompositeMAX] = {0};
-
-enum GNUNET_GenericReturnValue
-TALER_PQ_load_oids_for_composite_types (
-  struct GNUNET_PQ_Context *db)
-{
-  static char *names[] = {
-    [TALER_PQ_CompositeAmount] = "taler_amount"
-  };
-  size_t num = sizeof(names) / sizeof(names[0]);
-
-  GNUNET_static_assert (num == TALER_PQ_CompositeMAX);
-
-  for (size_t i = 0; i < num; i++)
-  {
-    enum GNUNET_GenericReturnValue ret;
-    enum TALER_PQ_CompositeType typ = i;
-    ret = GNUNET_PQ_get_oid_by_name (db,
-                                     names[i],
-                                     &TALER_PQ_CompositeOIDs[typ]);
-    if (GNUNET_OK != ret)
-    {
-      GNUNET_log (GNUNET_ERROR_TYPE_ERROR,
-                  "Failed to load OID for type %s\n",
-                  names[i]);
-      return GNUNET_SYSERR;
-    }
-  }
-  return GNUNET_OK;
-}

src/pq/pq_query_helper.c

@@ -872,7 +872,7 @@ qconv_array (
     RETURN_UNLESS ((0 == num) || (y / num == x));
 
     /* size of header */
-    total_size  = x = sizeof(struct GNUNET_PQ_ArrayHeader_P);
+    total_size  = x = sizeof(struct TALER_PQ_ArrayHeader_P);
     total_size += y;
     RETURN_UNLESS (total_size >= x);
 
@@ -941,7 +941,7 @@ qconv_array (
   /* Write data */
   {
     char *out = elements;
-    struct GNUNET_PQ_ArrayHeader_P h = {
+    struct TALER_PQ_ArrayHeader_P h = {
       .ndim = htonl (1),        /* We only support one-dimensional arrays */
       .has_null = htonl (0),    /* We do not support NULL entries in arrays */
       .lbound = htonl (1),      /* Default start index value */

src/pq/pq_result_helper.c

@@ -1166,7 +1166,7 @@ extract_array_generic (
   int data_sz;
   char *data;
   void *out = NULL;
-  struct GNUNET_PQ_ArrayHeader_P header;
+  struct TALER_PQ_ArrayHeader_P header;
   int col_num;
 
   GNUNET_assert (NULL != dst);
@@ -1192,8 +1192,8 @@ extract_array_generic (
   FAIL_IF (NULL == data);
 
   {
-    struct GNUNET_PQ_ArrayHeader_P *h =
+    struct TALER_PQ_ArrayHeader_P *h =
-      (struct GNUNET_PQ_ArrayHeader_P *) data;
+      (struct TALER_PQ_ArrayHeader_P *) data;
 
     header.ndim = ntohl (h->ndim);
     header.has_null = ntohl (h->has_null);

src/pq/test_pq.c

@@ -194,16 +194,6 @@ main (int argc,
     GNUNET_PQ_disconnect (conn);
     return 1;
   }
-
-  ret = TALER_PQ_load_oids_for_composite_types (conn);
-  if (GNUNET_OK != ret)
-  {
-    fprintf (stderr,
-             "Failed to load oids for composites\n");
-    GNUNET_PQ_disconnect (conn);
-    return 1;
-  }
-
   ret = run_queries (conn);
   {
     struct GNUNET_PQ_ExecuteStatement ds[] = {