-- ACL format checks
select ''::ace_int8;
ERROR:  missing ACE type
LINE 1: select ''::ace_int8;
               ^
select 'a'::ace_int8;
ERROR:  missing "/" sign
LINE 1: select 'a'::ace_int8;
               ^
select 'q'::ace_int8;
ERROR:  invalid ACE type: must be one of "ad"
LINE 1: select 'q'::ace_int8;
               ^
select 'a*'::ace_int8;
ERROR:  missing "/" sign
LINE 1: select 'a*'::ace_int8;
               ^
select 'a/'::ace_int8;
ERROR:  missing ACE flags
LINE 1: select 'a/'::ace_int8;
               ^
select 'a/hq'::ace_int8;
ERROR:  invalid ACE flag: must be one of "hpcoi0123456789ABCDEFGHIJKLMNOP"
LINE 1: select 'a/hq'::ace_int8;
               ^
select 'a/h'::ace_int8;
ERROR:  missing "/" sign
LINE 1: select 'a/h'::ace_int8;
               ^
select 'a/h/'::ace_int8;
ERROR:  missing ACE who
LINE 1: select 'a/h/'::ace_int8;
               ^
select 'a/h/='::ace_int8;
ERROR:  invalid input syntax for integer: ""
LINE 1: select 'a/h/='::ace_int8;
               ^
select 'a/h/1='::ace_int8;
ERROR:  missing ACE mask
LINE 1: select 'a/h/1='::ace_int8;
               ^
select 'a/h/1=d,'::ace_int8;
ERROR:  invalid ACE mask: must be one of "scdwr0123456789ABCDEFGHIJKLMNOPQ"
LINE 1: select 'a/h/1=d,'::ace_int8;
               ^
select 'a/h/1=dw'::ace_int8;
 ace_int8 
----------
 a/h/1=dw
(1 row)

select 'a/ihpc/1=wdddw'::ace_int8;
  ace_int8   
-------------
 a/hpci/1=dw
(1 row)

select 'd/ihpc/1=wdddw'::ace_int8;
  ace_int8   
-------------
 d/hpci/1=dw
(1 row)

select 'd/ihpc/-9223372036854775808=wdddw'::ace_int8;
            ace_int8            
--------------------------------
 d/hpci/-9223372036854775808=dw
(1 row)

select 'd/ihpc/9223372036854775807=wdddw'::ace_int8;
           ace_int8            
-------------------------------
 d/hpci/9223372036854775807=dw
(1 row)

select 'a/ihpc/blah"=dw0'::ace_int8;
ERROR:  invalid input syntax for integer: ""
LINE 1: select 'a/ihpc/blah"=dw0'::ace_int8;
               ^
select 'd/ihpc/9223372036854775808=wdddw'::ace_int8;
ERROR:  value "9223372036854775808" is out of range for type bigint
LINE 1: select 'd/ihpc/9223372036854775808=wdddw'::ace_int8;
               ^
select 'd/ihpc/922337203685477580800=wdddw'::ace_int8;
ERROR:  int8 too long
LINE 1: select 'd/ihpc/922337203685477580800=wdddw'::ace_int8;
               ^
-- check access
select coalesce(acl_check_access('{}'::ace_int8[], 'sd0', '{3, 2}'::int8[], false), 'NULL');
 coalesce 
----------
 
(1 row)

select coalesce(acl_check_access('{}'::ace_int8[], 'sd0', '{3, 2}'::int8[], true), 'NULL');
 coalesce 
----------
 0sd
(1 row)

select coalesce(acl_check_access(null::ace_int8[], 'sd0', '{3, 2}'::int8[], false), 'NULL');
 coalesce 
----------
 
(1 row)

select coalesce(acl_check_access(null::ace_int8[], 'sd0', '{3, 2}'::int8[], true), 'NULL');
 coalesce 
----------
 0sd
(1 row)

select coalesce(acl_check_access(null::ace_int8[], 'sd0', '{}'::int8[], false), 'NULL');
 coalesce 
----------
 
(1 row)

select coalesce(acl_check_access(null::ace_int8[], 'sd0', '{}'::int8[], true), 'NULL');
 coalesce 
----------
 0sd
(1 row)

select coalesce(acl_check_access(null::ace_int8[], 'sd0', null::int8[], false), 'NULL');
 coalesce 
----------
 NULL
(1 row)

select coalesce(acl_check_access(null::ace_int8[], 'sd0', null::int8[], true), 'NULL');
 coalesce 
----------
 NULL
(1 row)

select acl_check_access('{}'::ace_int8[], (1 << 0) | (1 << 27) | (1 << 29), '{3, 2}'::int8[], false)::bit(32);
         acl_check_access         
----------------------------------
 00000000000000000000000000000000
(1 row)

select acl_check_access('{}'::ace_int8[], (1 << 0) | (1 << 27) | (1 << 29), '{3, 2}'::int8[], true)::bit(32);
         acl_check_access         
----------------------------------
 00101000000000000000000000000001
(1 row)

select acl_check_access(null::ace_int8[], (1 << 0) | (1 << 27) | (1 << 29), '{3, 2}'::int8[], false)::bit(32);
         acl_check_access         
----------------------------------
 00000000000000000000000000000000
(1 row)

select acl_check_access(null::ace_int8[], (1 << 0) | (1 << 27) | (1 << 29), '{3, 2}'::int8[], true)::bit(32);
         acl_check_access         
----------------------------------
 00101000000000000000000000000001
(1 row)

select acl_check_access(null::ace_int8[], (1 << 0) | (1 << 27) | (1 << 29), '{}'::int8[], false)::bit(32);
         acl_check_access         
----------------------------------
 00000000000000000000000000000000
(1 row)

select acl_check_access(null::ace_int8[], (1 << 0) | (1 << 27) | (1 << 29), '{}'::int8[], true)::bit(32);
         acl_check_access         
----------------------------------
 00101000000000000000000000000001
(1 row)

select acl_check_access(null::ace_int8[], (1 << 0) | (1 << 27) | (1 << 29), null::int8[], false)::bit(32);
 acl_check_access 
------------------
 
(1 row)

select acl_check_access(null::ace_int8[], (1 << 0) | (1 << 27) | (1 << 29), null::int8[], true)::bit(32);
 acl_check_access 
------------------
 
(1 row)

select coalesce(acl_check_access('{d//1=w,d//2=s,a//2=sdw,a//3=0}'::ace_int8[], 'sdc0', '{3, 2}'::int8[], false), 'NULL');
 coalesce 
----------
 0d
(1 row)

select coalesce(acl_check_access('{d//1=w,d//2=s,a//2=sdw,a//3=0}'::ace_int8[], 'sdc0', '{3, 2}'::int8[], true), 'NULL');
 coalesce 
----------
 0cd
(1 row)

select acl_check_access('{d//1=w,d//2=s,a//2=sdw,a//3=0}'::ace_int8[], (1 << 0) | (1 << 27) | (1 << 29), '{3, 2}'::int8[], false)::bit(32);
         acl_check_access         
----------------------------------
 00100000000000000000000000000001
(1 row)

select acl_check_access('{d//1=w,d//2=s,a//2=sdw,a//3=0}'::ace_int8[], (1 << 0) | (1 << 27) | (1 << 29), '{3, 2}'::int8[], true)::bit(32);
         acl_check_access         
----------------------------------
 00100000000000000000000000000001
(1 row)

select coalesce(acl_check_access(null::ace_int8[], 'sd0', '{}'::int8[], null), 'NULL');
ERROR:  allow_implicit argument must be not null
select acl_check_access(null::ace_int8[], (1 << 0) | (1 << 27) | (1 << 29), '{}'::int8[], null)::bit(32);
ERROR:  allow_implicit argument must be not null
-- inherit only
select acl_check_access('{d//1=w,d/i/2=s,a//2=sdw,a//3=0}'::ace_int8[], 'sd0', '{3, 2}'::int8[], false);
 acl_check_access 
------------------
 0sd
(1 row)

select acl_check_access('{d//1=w,d/i/2=s,a//2=sdw,a//3=0}'::ace_int8[], (1 << 0) | (1 << 27) | (1 << 29), '{3, 2}'::int8[], false)::bit(32);
         acl_check_access         
----------------------------------
 00101000000000000000000000000001
(1 row)

-- merge
select acl_merge(null::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], true, false);
           acl_merge            
--------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4}
(1 row)

select acl_merge(null::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], true, true);
           acl_merge            
--------------------------------
 {d//0=1,d//0=4,a//0=0,a//0=23}
(1 row)

select acl_merge(null::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], false, false);
           acl_merge            
--------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4}
(1 row)

select acl_merge(null::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], false, true);
           acl_merge            
--------------------------------
 {d//0=1,d//0=4,a//0=0,a//0=23}
(1 row)

-- inheritance
-- container
-- no flags -> not inherited
select acl_merge('{a//1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], true, false);
           acl_merge            
--------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4}
(1 row)

-- inherit only -> not inherited
select acl_merge('{a/i/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], true, false);
           acl_merge            
--------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4}
(1 row)

-- object inherit -> inherit only + object inherit
select acl_merge('{a/o/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], true, false);
                acl_merge                 
------------------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4,a/hoi/1=d}
(1 row)

-- object inherit + no propagate inherit -> no inheritance
select acl_merge('{a/op/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], true, false);
           acl_merge            
--------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4}
(1 row)

--container inherit -> container inherit
select acl_merge('{a/c/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], true, false);
                acl_merge                
-----------------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4,a/hc/1=d}
(1 row)

-- container inherit + no propagate inherit -> no flags
select acl_merge('{a/cp/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], true, false);
               acl_merge                
----------------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4,a/h/1=d}
(1 row)

-- container inherit + object inherit -> container inherit + object inherit + inherit only
select acl_merge('{a/co/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], true, false);
                 acl_merge                 
-------------------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4,a/hcoi/1=d}
(1 row)

-- container inherit + object inherit + no propagate inherit -> no flags
select acl_merge('{a/cop/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], true, false);
               acl_merge                
----------------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4,a/h/1=d}
(1 row)

-- object
-- no flags -> not inherited
select acl_merge('{a//1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], false, false);
           acl_merge            
--------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4}
(1 row)

-- inherit only -> not inherited
select acl_merge('{a/i/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], false, false);
           acl_merge            
--------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4}
(1 row)

-- object inherit -> no flags
select acl_merge('{a/o/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], false, false);
               acl_merge                
----------------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4,a/h/1=d}
(1 row)

-- object inherit + no propagate inherit -> no flags
select acl_merge('{a/op/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], false, false);
               acl_merge                
----------------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4,a/h/1=d}
(1 row)

--container inherit -> not inherited
select acl_merge('{a/c/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], false, false);
           acl_merge            
--------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4}
(1 row)

-- container inherit + no propagate inherit -> not inherited
select acl_merge('{a/cp/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], false, false);
           acl_merge            
--------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4}
(1 row)

-- container inherit + object inherit -> no flags
select acl_merge('{a/co/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], false, false);
               acl_merge                
----------------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4,a/h/1=d}
(1 row)

-- container inherit + object inherit + no propagate inherit -> no flags
select acl_merge('{a/cop/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], false, false);
               acl_merge                
----------------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4,a/h/1=d}
(1 row)

-- skip inherited
select acl_merge('{a/h/1=d}'::ace_int8[], '{a//0=0,d//0=1,a//0=23,d//0=4}'::ace_int8[], false, false);
           acl_merge            
--------------------------------
 {a//0=0,d//0=1,a//0=23,d//0=4}
(1 row)