11 pendingVerify *builderItem
14 type builderItem struct {
19 func (b *builder) add(opcodes string, newstack stack) stack {
20 if b.pendingVerify != nil {
21 b.items = append(b.items, b.pendingVerify)
24 item := &builderItem{opcodes: opcodes, stk: newstack}
25 if opcodes == "VERIFY" {
26 b.pendingVerify = item
28 b.items = append(b.items, item)
33 func (b *builder) addRoll(stk stack, n int) stack {
34 b.addInt64(stk, int64(n))
35 return b.add("ROLL", stk.roll(n))
38 func (b *builder) addDup(stk stack) stack {
39 return b.add("DUP", stk.dup())
42 func (b *builder) addInt64(stk stack, n int64) stack {
43 s := strconv.FormatInt(n, 10)
44 return b.add(s, stk.add(s))
47 func (b *builder) addEqual(stk stack, desc string) stack {
48 return b.add("EQUAL", stk.dropN(2).add(desc))
51 func (b *builder) addNumEqual(stk stack, desc string) stack {
52 return b.add("NUMEQUAL", stk.dropN(2).add(desc))
55 func (b *builder) addJumpIf(stk stack, label string) stack {
56 return b.add(fmt.Sprintf("JUMPIF:$%s", label), stk.drop())
59 func (b *builder) addJumpTarget(stk stack, label string) stack {
60 return b.add("$"+label, stk)
63 func (b *builder) addDrop(stk stack) stack {
64 return b.add("DROP", stk.drop())
67 func (b *builder) forgetPendingVerify() {
71 func (b *builder) addJump(stk stack, label string) stack {
72 return b.add(fmt.Sprintf("JUMP:$%s", label), stk)
75 func (b *builder) addVerify(stk stack) stack {
76 return b.add("VERIFY", stk.drop())
79 func (b *builder) addData(stk stack, data []byte) stack {
85 s = strconv.FormatInt(int64(data[0]), 10)
87 s = fmt.Sprintf("0x%x", data)
89 return b.add(s, stk.add(s))
92 func (b *builder) addAmount(stk stack, desc string) stack {
93 return b.add("AMOUNT", stk.add(desc))
96 func (b *builder) addAsset(stk stack, desc string) stack {
97 return b.add("ASSET", stk.add(desc))
100 func (b *builder) addCheckOutput(stk stack, desc string) stack {
101 return b.add("CHECKOUTPUT", stk.dropN(5).add(desc))
104 func (b *builder) addBoolean(stk stack, val bool) stack {
106 return b.add("TRUE", stk.add("true"))
108 return b.add("FALSE", stk.add("false"))
111 func (b *builder) addOps(stk stack, ops string, desc string) stack {
112 return b.add(ops, stk.add(desc))
115 func (b *builder) addToAltStack(stk stack) (stack, string) {
117 return b.add("TOALTSTACK", stk.drop()), t
120 func (b *builder) addTxSigHash(stk stack) stack {
121 return b.add("TXSIGHASH", stk.add("<txsighash>"))
124 func (b *builder) addFromAltStack(stk stack, alt string) stack {
125 return b.add("FROMALTSTACK", stk.add(alt))
128 func (b *builder) addSwap(stk stack) stack {
129 return b.add("SWAP", stk.swap())
132 func (b *builder) addCheckMultisig(stk stack, n int, desc string) stack {
133 return b.add("CHECKMULTISIG", stk.dropN(n).add(desc))
136 func (b *builder) addOver(stk stack) stack {
137 return b.add("OVER", stk.over())
140 func (b *builder) addPick(stk stack, n int) stack {
141 b.addInt64(stk, int64(n))
142 return b.add("PICK", stk.pick(n))
145 func (b *builder) addCatPushdata(stk stack, desc string) stack {
146 return b.add("CATPUSHDATA", stk.dropN(2).add(desc))
149 func (b *builder) addCat(stk stack, desc string) stack {
150 return b.add("CAT", stk.dropN(2).add(desc))
153 func (b *builder) opcodes() string {
155 for _, item := range b.items {
156 ops = append(ops, item.opcodes)
158 return strings.Join(ops, " ")
161 // This is for producing listings like:
162 // 5 | [... <clause selector> borrower lender deadline balanceAmount balanceAsset 5]
163 // ROLL | [... borrower lender deadline balanceAmount balanceAsset <clause selector>]
164 // JUMPIF:$default | [... borrower lender deadline balanceAmount balanceAsset]
165 // $repay | [... borrower lender deadline balanceAmount balanceAsset]
166 // 0 | [... borrower lender deadline balanceAmount balanceAsset 0]
167 // 0 | [... borrower lender deadline balanceAmount balanceAsset 0 0]
168 // 3 | [... borrower lender deadline balanceAmount balanceAsset 0 0 3]
169 // ROLL | [... borrower lender deadline balanceAsset 0 0 balanceAmount]
170 // 3 | [... borrower lender deadline balanceAsset 0 0 balanceAmount 3]
171 // ROLL | [... borrower lender deadline 0 0 balanceAmount balanceAsset]
172 // 1 | [... borrower lender deadline 0 0 balanceAmount balanceAsset 1]
173 // 6 | [... borrower lender deadline 0 0 balanceAmount balanceAsset 1 6]
174 // ROLL | [... borrower deadline 0 0 balanceAmount balanceAsset 1 lender]
175 // CHECKOUTPUT | [... borrower deadline checkOutput(payment, lender)]
176 // VERIFY | [... borrower deadline]
177 // 1 | [... borrower deadline 1]
178 // 0 | [... borrower deadline 1 0]
179 // AMOUNT | [... borrower deadline 1 0 <amount>]
180 // ASSET | [... borrower deadline 1 0 <amount> <asset>]
181 // 1 | [... borrower deadline 1 0 <amount> <asset> 1]
182 // 6 | [... borrower deadline 1 0 <amount> <asset> 1 6]
183 // ROLL | [... deadline 1 0 <amount> <asset> 1 borrower]
184 // CHECKOUTPUT | [... deadline checkOutput(collateral, borrower)]
185 // JUMP:$_end | [... borrower lender deadline balanceAmount balanceAsset]
186 // $default | [... borrower lender deadline balanceAmount balanceAsset]
187 // 2 | [... borrower lender deadline balanceAmount balanceAsset 2]
188 // ROLL | [... borrower lender balanceAmount balanceAsset deadline]
189 // MINTIME LESSTHAN | [... borrower lender balanceAmount balanceAsset after(deadline)]
190 // VERIFY | [... borrower lender balanceAmount balanceAsset]
191 // 0 | [... borrower lender balanceAmount balanceAsset 0]
192 // 0 | [... borrower lender balanceAmount balanceAsset 0 0]
193 // AMOUNT | [... borrower lender balanceAmount balanceAsset 0 0 <amount>]
194 // ASSET | [... borrower lender balanceAmount balanceAsset 0 0 <amount> <asset>]
195 // 1 | [... borrower lender balanceAmount balanceAsset 0 0 <amount> <asset> 1]
196 // 7 | [... borrower lender balanceAmount balanceAsset 0 0 <amount> <asset> 1 7]
197 // ROLL | [... borrower balanceAmount balanceAsset 0 0 <amount> <asset> 1 lender]
198 // CHECKOUTPUT | [... borrower balanceAmount balanceAsset checkOutput(collateral, lender)]
199 // $_end | [... borrower lender deadline balanceAmount balanceAsset]
203 Opcodes string `json:"opcodes"`
204 Stack string `json:"stack"`
208 func (b *builder) steps() []Step {
210 for _, item := range b.items {
211 result = append(result, Step{item.opcodes, item.stk.String()})