@@ -23,131 +23,6 @@ function get_1st_ref_index(): uint64 {
2323 return op . btoi ( Txn . applicationArgs ( 1 ) )
2424}
2525
26- export class StateAcctParamsGetContract extends arc4 . Contract {
27- @arc4 . abimethod ( )
28- public verify_acct_balance ( a : Account ) : uint64 {
29- const [ value , funded ] = op . AcctParams . acctBalance ( a )
30- const [ value_index , funded_index ] = op . AcctParams . acctBalance ( get_1st_ref_index ( ) )
31- assert ( value === value_index , 'expected value by index to match' )
32- assert ( funded === funded_index , 'expected funded by index to match' )
33- assert ( value === a . balance , 'expected Account balance to match' )
34- assert ( value === op . balance ( a ) , 'expected op.balance to match' )
35- assert ( value === op . balance ( get_1st_ref_index ( ) ) , 'expected op.balance by index to match' )
36- return value
37- }
38-
39- @arc4 . abimethod ( )
40- public verify_acct_min_balance ( a : Account ) : uint64 {
41- const [ value , funded ] = op . AcctParams . acctMinBalance ( a )
42- const [ value_index , funded_index ] = op . AcctParams . acctMinBalance ( get_1st_ref_index ( ) )
43- assert ( value === value_index , 'expected value by index to match' )
44- assert ( funded === funded_index , 'expected funded by index to match' )
45- assert ( value === a . minBalance , 'expected Account min_balance to match' )
46- assert ( value === op . minBalance ( a ) , 'expected op.min_balance to match' )
47- assert ( value === op . minBalance ( get_1st_ref_index ( ) ) , 'expected op.min_balance by index to match' )
48- return value
49- }
50-
51- @arc4 . abimethod ( )
52- public verify_acct_auth_addr ( a : Account ) : Address {
53- const [ value , funded ] = op . AcctParams . acctAuthAddr ( a )
54- const [ value_index , funded_index ] = op . AcctParams . acctAuthAddr ( get_1st_ref_index ( ) )
55- assert ( value === value_index , 'expected value by index to match' )
56- assert ( funded === funded_index , 'expected funded by index to match' )
57- return new Address ( value )
58- }
59-
60- @arc4 . abimethod ( )
61- public verify_acct_total_num_uint ( a : Account ) : uint64 {
62- const [ value , funded ] = op . AcctParams . acctTotalNumUint ( a )
63- const [ value_index , funded_index ] = op . AcctParams . acctTotalNumUint ( get_1st_ref_index ( ) )
64- assert ( value === value_index , 'expected value by index to match' )
65- assert ( funded === funded_index , 'expected funded by index to match' )
66- return value
67- }
68-
69- @arc4 . abimethod ( )
70- public verify_acct_total_num_byte_slice ( a : Account ) : uint64 {
71- const [ value , funded ] = op . AcctParams . acctTotalNumByteSlice ( a )
72- const [ value_index , funded_index ] = op . AcctParams . acctTotalNumByteSlice ( get_1st_ref_index ( ) )
73- assert ( value === value_index , 'expected value by index to match' )
74- assert ( funded === funded_index , 'expected funded by index to match' )
75- return value
76- }
77-
78- @arc4 . abimethod ( )
79- public verify_acct_total_extra_app_pages ( a : Account ) : uint64 {
80- const [ value , funded ] = op . AcctParams . acctTotalExtraAppPages ( a )
81- const [ value_index , funded_index ] = op . AcctParams . acctTotalExtraAppPages ( get_1st_ref_index ( ) )
82- assert ( value === value_index , 'expected value by index to match' )
83- assert ( funded === funded_index , 'expected funded by index to match' )
84- return value
85- }
86-
87- @arc4 . abimethod ( )
88- public verify_acct_total_apps_created ( a : Account ) : uint64 {
89- const [ value , funded ] = op . AcctParams . acctTotalAppsCreated ( a )
90- const [ value_index , funded_index ] = op . AcctParams . acctTotalAppsCreated ( get_1st_ref_index ( ) )
91- assert ( value === value_index , 'expected value by index to match' )
92- assert ( funded === funded_index , 'expected funded by index to match' )
93- return value
94- }
95-
96- @arc4 . abimethod ( )
97- public verify_acct_total_apps_opted_in ( a : Account ) : uint64 {
98- const [ value , funded ] = op . AcctParams . acctTotalAppsOptedIn ( a )
99- const [ value_index , funded_index ] = op . AcctParams . acctTotalAppsOptedIn ( get_1st_ref_index ( ) )
100- assert ( value === value_index , 'expected value by index to match' )
101- assert ( funded === funded_index , 'expected funded by index to match' )
102- return value
103- }
104-
105- @arc4 . abimethod ( )
106- public verify_acct_total_assets_created ( a : Account ) : uint64 {
107- const [ value , funded ] = op . AcctParams . acctTotalAssetsCreated ( a )
108- const [ value_index , funded_index ] = op . AcctParams . acctTotalAssetsCreated ( get_1st_ref_index ( ) )
109- assert ( value === value_index , 'expected value by index to match' )
110- assert ( funded === funded_index , 'expected funded by index to match' )
111- return value
112- }
113-
114- @arc4 . abimethod ( )
115- public verify_acct_total_assets ( a : Account ) : uint64 {
116- const [ value , funded ] = op . AcctParams . acctTotalAssets ( a )
117- const [ value_index , funded_index ] = op . AcctParams . acctTotalAssets ( get_1st_ref_index ( ) )
118- assert ( value === value_index , 'expected value by index to match' )
119- assert ( funded === funded_index , 'expected funded by index to match' )
120- return value
121- }
122-
123- @arc4 . abimethod ( )
124- public verify_acct_total_boxes ( a : Account ) : uint64 {
125- const [ value , funded ] = op . AcctParams . acctTotalBoxes ( a )
126- const [ value_index , funded_index ] = op . AcctParams . acctTotalBoxes ( get_1st_ref_index ( ) )
127- assert ( value === value_index , 'expected value by index to match' )
128- assert ( funded === funded_index , 'expected funded by index to match' )
129- return value
130- }
131-
132- @arc4 . abimethod ( )
133- public verify_acct_total_box_bytes ( a : Account ) : uint64 {
134- const [ value , funded ] = op . AcctParams . acctTotalBoxBytes ( a )
135- const [ value_index , funded_index ] = op . AcctParams . acctTotalBoxBytes ( get_1st_ref_index ( ) )
136- assert ( value === value_index , 'expected value by index to match' )
137- assert ( funded === funded_index , 'expected funded by index to match' )
138- return value
139- }
140-
141- @arc4 . abimethod ( )
142- public verify_acct_incentive_eligible ( a : Account ) : boolean {
143- const [ value , funded ] = op . AcctParams . acctIncentiveEligible ( a )
144- const [ value_index , funded_index ] = op . AcctParams . acctIncentiveEligible ( get_1st_ref_index ( ) )
145- assert ( value === value_index , 'expected value by index to match' )
146- assert ( funded === funded_index , 'expected funded by index to match' )
147- return value
148- }
149- }
150-
15126export class StateAssetHoldingContract extends arc4 . Contract {
15227 @arc4 . abimethod ( )
15328 public verify_asset_holding_get ( a : Account , b : Asset ) : uint64 {
0 commit comments