/
constants.go
280 lines (274 loc) · 15 KB
/
constants.go
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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
// File generated by the K Framework Go backend. Timestamp: 2019-08-13 18:19:50.499
package ieletestinginterpreter
import (
m "github.com/ElrondNetwork/elrond-vm/iele/original/standalone/iele-testing-kompiled/ieletestingmodel"
)
// Int constants
var constInt1 = m.NewIntConstant("1")
var constInt10 = m.NewIntConstant("10")
var constInt100 = m.NewIntConstant("100")
var constInt1000 = m.NewIntConstant("1000")
var constInt100000 = m.NewIntConstant("100000")
var constInt100000000 = m.NewIntConstant("100000000")
var constInt101 = m.NewIntConstant("101")
var constInt102 = m.NewIntConstant("102")
var constInt1024 = m.NewIntConstant("1024")
var constInt103 = m.NewIntConstant("103")
var constInt104 = m.NewIntConstant("104")
var constInt105 = m.NewIntConstant("105")
var constInt106 = m.NewIntConstant("106")
var constInt11 = m.NewIntConstant("11")
var constInt12 = m.NewIntConstant("12")
var constInt128 = m.NewIntConstant("128")
var constInt13 = m.NewIntConstant("13")
var constInt15 = m.NewIntConstant("15")
var constInt16 = m.NewIntConstant("16")
var constInt160 = m.NewIntConstant("160")
var constInt161 = m.NewIntConstant("161")
var constInt162 = m.NewIntConstant("162")
var constInt163 = m.NewIntConstant("163")
var constInt164 = m.NewIntConstant("164")
var constInt16777216 = m.NewIntConstant("16777216")
var constInt17 = m.NewIntConstant("17")
var constInt1700000 = m.NewIntConstant("1700000")
var constInt18 = m.NewIntConstant("18")
var constInt180 = m.NewIntConstant("180")
var constInt1800 = m.NewIntConstant("1800")
var constInt182 = m.NewIntConstant("182")
var constInt183 = m.NewIntConstant("183")
var constInt184 = m.NewIntConstant("184")
var constInt1875 = m.NewIntConstant("1875")
var constInt1875000 = m.NewIntConstant("1875000")
var constInt19 = m.NewIntConstant("19")
var constInt190000 = m.NewIntConstant("190000")
var constInt192 = m.NewIntConstant("192")
var constInt197376 = m.NewIntConstant("197376")
var constInt2 = m.NewIntConstant("2")
var constInt20 = m.NewIntConstant("20")
var constInt200 = m.NewIntConstant("200")
var constInt2000 = m.NewIntConstant("2000")
var constInt20000 = m.NewIntConstant("20000")
var constInt200000 = m.NewIntConstant("200000")
var constInt21 = m.NewIntConstant("21")
var constInt21000 = m.NewIntConstant("21000")
var constInt22 = m.NewIntConstant("22")
var constInt23 = m.NewIntConstant("23")
var constInt2300 = m.NewIntConstant("2300")
var constInt2300000 = m.NewIntConstant("2300000")
var constInt24 = m.NewIntConstant("24")
var constInt240 = m.NewIntConstant("240")
var constInt24000 = m.NewIntConstant("24000")
var constInt241 = m.NewIntConstant("241")
var constInt242 = m.NewIntConstant("242")
var constInt243 = m.NewIntConstant("243")
var constInt244 = m.NewIntConstant("244")
var constInt245 = m.NewIntConstant("245")
var constInt246 = m.NewIntConstant("246")
var constInt247 = m.NewIntConstant("247")
var constInt248 = m.NewIntConstant("248")
var constInt249 = m.NewIntConstant("249")
var constInt25 = m.NewIntConstant("25")
var constInt250 = m.NewIntConstant("250")
var constInt2500 = m.NewIntConstant("2500")
var constInt25000 = m.NewIntConstant("25000")
var constInt25000000 = m.NewIntConstant("25000000")
var constInt254 = m.NewIntConstant("254")
var constInt255 = m.NewIntConstant("255")
var constInt256 = m.NewIntConstant("256")
var constInt26 = m.NewIntConstant("26")
var constInt26000000 = m.NewIntConstant("26000000")
var constInt27 = m.NewIntConstant("27")
var constInt2700 = m.NewIntConstant("2700")
var constInt28 = m.NewIntConstant("28")
var constInt2800 = m.NewIntConstant("2800")
var constInt2900 = m.NewIntConstant("2900")
var constInt3 = m.NewIntConstant("3")
var constInt30 = m.NewIntConstant("30")
var constInt300 = m.NewIntConstant("300")
var constInt3000 = m.NewIntConstant("3000")
var constInt3000000 = m.NewIntConstant("3000000")
var constInt3100 = m.NewIntConstant("3100")
var constInt32 = m.NewIntConstant("32")
var constInt32000 = m.NewIntConstant("32000")
var constInt32000000 = m.NewIntConstant("32000000")
var constInt3300 = m.NewIntConstant("3300")
var constInt33000 = m.NewIntConstant("33000")
var constInt33000000 = m.NewIntConstant("33000000")
var constInt35000 = m.NewIntConstant("35000")
var constInt375 = m.NewIntConstant("375")
var constInt375000 = m.NewIntConstant("375000")
var constInt3900 = m.NewIntConstant("3900")
var constInt4 = m.NewIntConstant("4")
var constInt40 = m.NewIntConstant("40")
var constInt400 = m.NewIntConstant("400")
var constInt40000 = m.NewIntConstant("40000")
var constInt400000 = m.NewIntConstant("400000")
var constInt4096 = m.NewIntConstant("4096")
var constInt432 = m.NewIntConstant("432")
var constInt48 = m.NewIntConstant("48")
var constInt49 = m.NewIntConstant("49")
var constInt4900 = m.NewIntConstant("4900")
var constInt4950000 = m.NewIntConstant("4950000")
var constInt5 = m.NewIntConstant("5")
var constInt50 = m.NewIntConstant("50")
var constInt500 = m.NewIntConstant("500")
var constInt5000 = m.NewIntConstant("5000")
var constInt51 = m.NewIntConstant("51")
var constInt52 = m.NewIntConstant("52")
var constInt5300 = m.NewIntConstant("5300")
var constInt53000 = m.NewIntConstant("53000")
var constInt55 = m.NewIntConstant("55")
var constInt56 = m.NewIntConstant("56")
var constInt58 = m.NewIntConstant("58")
var constInt59 = m.NewIntConstant("59")
var constInt6 = m.NewIntConstant("6")
var constInt60 = m.NewIntConstant("60")
var constInt600 = m.NewIntConstant("600")
var constInt6000 = m.NewIntConstant("6000")
var constInt64 = m.NewIntConstant("64")
var constInt65 = m.NewIntConstant("65")
var constInt65536 = m.NewIntConstant("65536")
var constInt66 = m.NewIntConstant("66")
var constInt67 = m.NewIntConstant("67")
var constInt68 = m.NewIntConstant("68")
var constInt6800 = m.NewIntConstant("6800")
var constInt69 = m.NewIntConstant("69")
var constInt7 = m.NewIntConstant("7")
var constInt700 = m.NewIntConstant("700")
var constInt700000 = m.NewIntConstant("700000")
var constInt750 = m.NewIntConstant("750")
var constInt768 = m.NewIntConstant("768")
var constInt8 = m.NewIntConstant("8")
var constInt80 = m.NewIntConstant("80")
var constInt8000 = m.NewIntConstant("8000")
var constInt80000 = m.NewIntConstant("80000")
var constInt81 = m.NewIntConstant("81")
var constInt8192 = m.NewIntConstant("8192")
var constInt82 = m.NewIntConstant("82")
var constInt83 = m.NewIntConstant("83")
var constInt8300 = m.NewIntConstant("8300")
var constInt84 = m.NewIntConstant("84")
var constInt85 = m.NewIntConstant("85")
var constInt86 = m.NewIntConstant("86")
var constInt87 = m.NewIntConstant("87")
var constInt9 = m.NewIntConstant("9")
var constInt9000 = m.NewIntConstant("9000")
var constInt9000000 = m.NewIntConstant("9000000")
var constInt96 = m.NewIntConstant("96")
var constInt97 = m.NewIntConstant("97")
var constInt98 = m.NewIntConstant("98")
var constInt99 = m.NewIntConstant("99")
var constIntXhyphen1 = m.NewIntConstant("-1")
var constIntXhyphen2 = m.NewIntConstant("-2")
// String constants
var constStringXquote0xXquote = m.NewStringConstant("0x")
var constStringXquoteAlbeXquote = m.NewStringConstant("Albe")
var constStringXquoteDanseXquote = m.NewStringConstant("Danse")
var constStringXquoteIntXquote = m.NewStringConstant("Int")
var constStringXquoteXbashXbashXquote = m.NewStringConstant("\\")
var constStringXquoteXbashx00Xquote = m.NewStringConstant("\x00")
var constStringXquoteXbashx80Xquote = m.NewStringConstant("\x80")
var constStringXquoteXdotXquote = m.NewStringConstant(".")
var constStringXquoteXquote = m.NewStringConstant("")
var constStringXquoteXslashXslashXquote = m.NewStringConstant("//")
var constStringXquoteXuXquote = m.NewStringConstant("_")
var constStringXquoteXuinfoXquote = m.NewStringConstant("_info")
var constStringXquoteaccountXquote = m.NewStringConstant("account")
var constStringXquoteaddressXquote = m.NewStringConstant("address")
var constStringXquoteargumentsXquote = m.NewStringConstant("arguments")
var constStringXquotebalanceXquote = m.NewStringConstant("balance")
var constStringXquoteblockHeaderXquote = m.NewStringConstant("blockHeader")
var constStringXquoteblockhashesXquote = m.NewStringConstant("blockhashes")
var constStringXquoteblocksXquote = m.NewStringConstant("blocks")
var constStringXquotebloomXquote = m.NewStringConstant("bloom")
var constStringXquotecallcreatesXquote = m.NewStringConstant("callcreates")
var constStringXquotecallerXquote = m.NewStringConstant("caller")
var constStringXquotecheckGasXquote = m.NewStringConstant("checkGas")
var constStringXquotecodeXquote = m.NewStringConstant("code")
var constStringXquotecoinbaseXquote = m.NewStringConstant("coinbase")
var constStringXquotecontractCodeXquote = m.NewStringConstant("contractCode")
var constStringXquotecurrentCoinbaseXquote = m.NewStringConstant("currentCoinbase")
var constStringXquotecurrentDifficultyXquote = m.NewStringConstant("currentDifficulty")
var constStringXquotecurrentGasLimitXquote = m.NewStringConstant("currentGasLimit")
var constStringXquotecurrentNumberXquote = m.NewStringConstant("currentNumber")
var constStringXquotecurrentTimestampXquote = m.NewStringConstant("currentTimestamp")
var constStringXquotedataXquote = m.NewStringConstant("data")
var constStringXquotedestinationXquote = m.NewStringConstant("destination")
var constStringXquotedifficultyXquote = m.NewStringConstant("difficulty")
var constStringXquoteenvXquote = m.NewStringConstant("env")
var constStringXquoteexecXquote = m.NewStringConstant("exec")
var constStringXquoteexpectXquote = m.NewStringConstant("expect")
var constStringXquoteexpetXquote = m.NewStringConstant("expet")
var constStringXquoteexportXquote = m.NewStringConstant("export")
var constStringXquoteextraDataXquote = m.NewStringConstant("extraData")
var constStringXquotefromXquote = m.NewStringConstant("from")
var constStringXquotefunctionXquote = m.NewStringConstant("function")
var constStringXquotegasLimitXquote = m.NewStringConstant("gasLimit")
var constStringXquotegasPriceXquote = m.NewStringConstant("gasPrice")
var constStringXquotegasUsedXquote = m.NewStringConstant("gasUsed")
var constStringXquotegasXquote = m.NewStringConstant("gas")
var constStringXquotegenesisBlockHeaderXquote = m.NewStringConstant("genesisBlockHeader")
var constStringXquotehashXquote = m.NewStringConstant("hash")
var constStringXquoteieleXdotXquote = m.NewStringConstant("iele.")
var constStringXquotelastblockhashXquote = m.NewStringConstant("lastblockhash")
var constStringXquotelogsXquote = m.NewStringConstant("logs")
var constStringXquotemixHashXquote = m.NewStringConstant("mixHash")
var constStringXquotenetworkXquote = m.NewStringConstant("network")
var constStringXquotenonceXquote = m.NewStringConstant("nonce")
var constStringXquotenumberXquote = m.NewStringConstant("number")
var constStringXquoteommerHeadersXquote = m.NewStringConstant("ommerHeaders")
var constStringXquoteoriginXquote = m.NewStringConstant("origin")
var constStringXquoteoutXquote = m.NewStringConstant("out")
var constStringXquoteparentHashXquote = m.NewStringConstant("parentHash")
var constStringXquotepostStateXquote = m.NewStringConstant("postState")
var constStringXquotepostXquote = m.NewStringConstant("post")
var constStringXquotepreXquote = m.NewStringConstant("pre")
var constStringXquotepreviousHashXquote = m.NewStringConstant("previousHash")
var constStringXquoterXplusXquote = m.NewStringConstant("r+")
var constStringXquotereceiptTrieXquote = m.NewStringConstant("receiptTrie")
var constStringXquoterefundXquote = m.NewStringConstant("refund")
var constStringXquoteresultsXquote = m.NewStringConstant("results")
var constStringXquoterlpXquote = m.NewStringConstant("rlp")
var constStringXquotestateRootXquote = m.NewStringConstant("stateRoot")
var constStringXquotestatusXquote = m.NewStringConstant("status")
var constStringXquotestorageXquote = m.NewStringConstant("storage")
var constStringXquotetimestampXquote = m.NewStringConstant("timestamp")
var constStringXquotetoXquote = m.NewStringConstant("to")
var constStringXquotetransactionsTrieXquote = m.NewStringConstant("transactionsTrie")
var constStringXquotetransactionsXquote = m.NewStringConstant("transactions")
var constStringXquoteuncleHashXquote = m.NewStringConstant("uncleHash")
var constStringXquoteuncleHeadersXquote = m.NewStringConstant("uncleHeaders")
var constStringXquotevalueXquote = m.NewStringConstant("value")
// KToken constants
var constKTokenSortIeleNameMain = m.NewKTokenConstant(m.SortIeleName, "Main")
var constKTokenSortIeleNamedeposit = m.NewKTokenConstant(m.SortIeleName, "deposit")
var constKTokenSortIeleNameieleXdotWallet = m.NewKTokenConstant(m.SortIeleName, "iele.Wallet")
var constKTokenSortIeleNameieleXdotaddress = m.NewKTokenConstant(m.SortIeleName, "iele.address")
var constKTokenSortIeleNameieleXdotbalance = m.NewKTokenConstant(m.SortIeleName, "iele.balance")
var constKTokenSortIeleNameieleXdotbeneficiary = m.NewKTokenConstant(m.SortIeleName, "iele.beneficiary")
var constKTokenSortIeleNameieleXdotblockhash = m.NewKTokenConstant(m.SortIeleName, "iele.blockhash")
var constKTokenSortIeleNameieleXdotcaller = m.NewKTokenConstant(m.SortIeleName, "iele.caller")
var constKTokenSortIeleNameieleXdotcallvalue = m.NewKTokenConstant(m.SortIeleName, "iele.callvalue")
var constKTokenSortIeleNameieleXdotcodesize = m.NewKTokenConstant(m.SortIeleName, "iele.codesize")
var constKTokenSortIeleNameieleXdotdifficulty = m.NewKTokenConstant(m.SortIeleName, "iele.difficulty")
var constKTokenSortIeleNameieleXdotecadd = m.NewKTokenConstant(m.SortIeleName, "iele.ecadd")
var constKTokenSortIeleNameieleXdotecmul = m.NewKTokenConstant(m.SortIeleName, "iele.ecmul")
var constKTokenSortIeleNameieleXdotecpairing = m.NewKTokenConstant(m.SortIeleName, "iele.ecpairing")
var constKTokenSortIeleNameieleXdotecrec = m.NewKTokenConstant(m.SortIeleName, "iele.ecrec")
var constKTokenSortIeleNameieleXdotextcodesize = m.NewKTokenConstant(m.SortIeleName, "iele.extcodesize")
var constKTokenSortIeleNameieleXdotgas = m.NewKTokenConstant(m.SortIeleName, "iele.gas")
var constKTokenSortIeleNameieleXdotgaslimit = m.NewKTokenConstant(m.SortIeleName, "iele.gaslimit")
var constKTokenSortIeleNameieleXdotgasprice = m.NewKTokenConstant(m.SortIeleName, "iele.gasprice")
var constKTokenSortIeleNameieleXdotid = m.NewKTokenConstant(m.SortIeleName, "iele.id")
var constKTokenSortIeleNameieleXdotinvalid = m.NewKTokenConstant(m.SortIeleName, "iele.invalid")
var constKTokenSortIeleNameieleXdotmsize = m.NewKTokenConstant(m.SortIeleName, "iele.msize")
var constKTokenSortIeleNameieleXdotnumber = m.NewKTokenConstant(m.SortIeleName, "iele.number")
var constKTokenSortIeleNameieleXdotorigin = m.NewKTokenConstant(m.SortIeleName, "iele.origin")
var constKTokenSortIeleNameieleXdotrip160 = m.NewKTokenConstant(m.SortIeleName, "iele.rip160")
var constKTokenSortIeleNameieleXdotsha256 = m.NewKTokenConstant(m.SortIeleName, "iele.sha256")
var constKTokenSortIeleNameieleXdottimestamp = m.NewKTokenConstant(m.SortIeleName, "iele.timestamp")
var constKTokenSortIeleNameinit = m.NewKTokenConstant(m.SortIeleName, "init")
var constKTokenSortKConfigVarXdolrMODE = m.NewKTokenConstant(m.SortKConfigVar, "$MODE")
var constKTokenSortKConfigVarXdolrPGM = m.NewKTokenConstant(m.SortKConfigVar, "$PGM")
var constKTokenSortKConfigVarXdolrSCHEDULE = m.NewKTokenConstant(m.SortKConfigVar, "$SCHEDULE")
var constKTokenSortXhashRuleTagregular = m.NewKTokenConstant(m.SortXhashRuleTag, "regular")