|
1 | 1 | package vm |
2 | 2 |
|
3 | 3 | import ( |
| 4 | + "fmt" |
4 | 5 | "testing" |
5 | 6 |
|
| 7 | + "github.com/gnolang/gno/gnovm" |
| 8 | + abci "github.com/gnolang/gno/tm2/pkg/bft/abci/types" |
| 9 | + "github.com/gnolang/gno/tm2/pkg/crypto" |
| 10 | + "github.com/gnolang/gno/tm2/pkg/std" |
6 | 11 | "github.com/stretchr/testify/assert" |
7 | 12 | ) |
8 | 13 |
|
@@ -48,3 +53,272 @@ func Test_parseQueryEval_panic(t *testing.T) { |
48 | 53 | parseQueryEvalData("gno.land/r/demo/users") |
49 | 54 | }) |
50 | 55 | } |
| 56 | + |
| 57 | +func TestVmHandlerQuery_Eval(t *testing.T) { |
| 58 | + tt := []struct { |
| 59 | + input []byte |
| 60 | + expectedResult string |
| 61 | + expectedResultMatch string |
| 62 | + expectedErrorMatch string |
| 63 | + expectedPanicMatch string |
| 64 | + // XXX: expectedEvents |
| 65 | + }{ |
| 66 | + // valid queries |
| 67 | + {input: []byte(`gno.land/r/hello.Echo("hello")`), expectedResult: `("echo:hello" string)`}, |
| 68 | + {input: []byte(`gno.land/r/hello.caller()`), expectedResult: `("" std.Address)`}, // FIXME? |
| 69 | + {input: []byte(`gno.land/r/hello.GetHeight()`), expectedResult: `(0 int64)`}, |
| 70 | + // {input: []byte(`gno.land/r/hello.time.RFC3339`), expectedResult: `test`}, // not working, but should we care? |
| 71 | + {input: []byte(`gno.land/r/hello.PubString`), expectedResult: `("public string" string)`}, |
| 72 | + {input: []byte(`gno.land/r/hello.ConstString`), expectedResult: `("const string" string)`}, |
| 73 | + {input: []byte(`gno.land/r/hello.pvString`), expectedResult: `("private string" string)`}, |
| 74 | + {input: []byte(`gno.land/r/hello.counter`), expectedResult: `(42 int)`}, |
| 75 | + {input: []byte(`gno.land/r/hello.GetCounter()`), expectedResult: `(42 int)`}, |
| 76 | + {input: []byte(`gno.land/r/hello.Inc()`), expectedResult: `(43 int)`}, |
| 77 | + {input: []byte(`gno.land/r/hello.pvEcho("hello")`), expectedResult: `("pvecho:hello" string)`}, |
| 78 | + {input: []byte(`gno.land/r/hello.1337`), expectedResult: `(1337 int)`}, |
| 79 | + {input: []byte(`gno.land/r/hello.13.37`), expectedResult: `(13.37 float64)`}, |
| 80 | + {input: []byte(`gno.land/r/hello.float64(1337)`), expectedResult: `(1337 float64)`}, |
| 81 | + {input: []byte(`gno.land/r/hello.myStructInst`), expectedResult: `(struct{(1000 int)} gno.land/r/hello.myStruct)`}, |
| 82 | + {input: []byte(`gno.land/r/hello.myStructInst.Foo()`), expectedResult: `("myStruct.Foo" string)`}, |
| 83 | + {input: []byte(`gno.land/r/hello.myStruct`), expectedResultMatch: `\(typeval{gno.land/r/hello.myStruct \(0x.*\)} type{}\)`}, |
| 84 | + {input: []byte(`gno.land/r/hello.Inc`), expectedResult: `(Inc func()( int))`}, |
| 85 | + {input: []byte(`gno.land/r/hello.fn()("hi")`), expectedResult: `("echo:hi" string)`}, |
| 86 | + {input: []byte(`gno.land/r/hello.sl`), expectedResultMatch: `(slice[ref(.*)] []int)`}, // XXX: should return the actual value |
| 87 | + {input: []byte(`gno.land/r/hello.sl[1]`), expectedResultMatch: `(slice[ref(.*)] []int)`}, // XXX: should return the actual value |
| 88 | + {input: []byte(`gno.land/r/hello.println(1234)`), expectedResultMatch: `^$`}, // XXX: compare stdout? |
| 89 | + |
| 90 | + // panics |
| 91 | + {input: []byte(`gno.land/r/hello`), expectedPanicMatch: `expected <pkgpath>.<expression> syntax in query input data`}, |
| 92 | + |
| 93 | + // errors |
| 94 | + {input: []byte(`gno.land/r/hello.doesnotexist`), expectedErrorMatch: `^/:0:0: name doesnotexist not declared:`}, // multiline error |
| 95 | + {input: []byte(`gno.land/r/doesnotexist.Foo`), expectedErrorMatch: `^invalid package path$`}, |
| 96 | + {input: []byte(`gno.land/r/hello.Panic()`), expectedErrorMatch: `^foo$`}, |
| 97 | + {input: []byte(`gno.land/r/hello.sl[6]`), expectedErrorMatch: `^slice index out of bounds: 6 \(len=5\)$`}, |
| 98 | + } |
| 99 | + |
| 100 | + for _, tc := range tt { |
| 101 | + name := string(tc.input) |
| 102 | + t.Run(name, func(t *testing.T) { |
| 103 | + env := setupTestEnv() |
| 104 | + ctx := env.vmk.MakeGnoTransactionStore(env.ctx) |
| 105 | + vmHandler := env.vmh |
| 106 | + |
| 107 | + // Give "addr1" some gnots. |
| 108 | + addr := crypto.AddressFromPreimage([]byte("addr1")) |
| 109 | + acc := env.acck.NewAccountWithAddress(ctx, addr) |
| 110 | + env.acck.SetAccount(ctx, acc) |
| 111 | + env.bank.SetCoins(ctx, addr, std.MustParseCoins("10000000ugnot")) |
| 112 | + assert.True(t, env.bank.GetCoins(ctx, addr).IsEqual(std.MustParseCoins("10000000ugnot"))) |
| 113 | + |
| 114 | + // Create test package. |
| 115 | + files := []*gnovm.MemFile{ |
| 116 | + {"hello.gno", ` |
| 117 | +package hello |
| 118 | +
|
| 119 | +import "std" |
| 120 | +import "time" |
| 121 | +
|
| 122 | +var _ = time.RFC3339 |
| 123 | +func caller() std.Address { return std.GetOrigCaller() } |
| 124 | +var GetHeight = std.GetHeight |
| 125 | +var sl = []int{1,2,3,4,5} |
| 126 | +func fn() func(string) string { return Echo } |
| 127 | +type myStruct struct{a int} |
| 128 | +var myStructInst = myStruct{a: 1000} |
| 129 | +func (ms myStruct) Foo() string { return "myStruct.Foo" } |
| 130 | +func Panic() { panic("foo") } |
| 131 | +var counter int = 42 |
| 132 | +var pvString = "private string" |
| 133 | +var PubString = "public string" |
| 134 | +const ConstString = "const string" |
| 135 | +func Echo(msg string) string { return "echo:"+msg } |
| 136 | +func GetCounter() int { return counter } |
| 137 | +func Inc() int { counter += 1; return counter } |
| 138 | +func pvEcho(msg string) string { return "pvecho:"+msg } |
| 139 | +`}, |
| 140 | + } |
| 141 | + pkgPath := "gno.land/r/hello" |
| 142 | + msg1 := NewMsgAddPackage(addr, pkgPath, files) |
| 143 | + err := env.vmk.AddPackage(ctx, msg1) |
| 144 | + assert.NoError(t, err) |
| 145 | + env.vmk.CommitGnoTransactionStore(ctx) |
| 146 | + |
| 147 | + req := abci.RequestQuery{ |
| 148 | + Path: "vm/qeval", |
| 149 | + Data: tc.input, |
| 150 | + } |
| 151 | + |
| 152 | + defer func() { |
| 153 | + if r := recover(); r != nil { |
| 154 | + output := fmt.Sprintf("%v", r) |
| 155 | + assert.Regexp(t, tc.expectedPanicMatch, output) |
| 156 | + } else { |
| 157 | + assert.Equal(t, tc.expectedPanicMatch, "", "should not panic") |
| 158 | + } |
| 159 | + }() |
| 160 | + res := vmHandler.Query(env.ctx, req) |
| 161 | + if tc.expectedPanicMatch == "" { |
| 162 | + if tc.expectedErrorMatch == "" { |
| 163 | + assert.True(t, res.IsOK(), "should not have error") |
| 164 | + if tc.expectedResult != "" { |
| 165 | + assert.Equal(t, string(res.Data), tc.expectedResult) |
| 166 | + } |
| 167 | + if tc.expectedResultMatch != "" { |
| 168 | + assert.Regexp(t, tc.expectedResultMatch, string(res.Data)) |
| 169 | + } |
| 170 | + } else { |
| 171 | + assert.False(t, res.IsOK(), "should have an error") |
| 172 | + errmsg := res.Error.Error() |
| 173 | + assert.Regexp(t, tc.expectedErrorMatch, errmsg) |
| 174 | + } |
| 175 | + } |
| 176 | + }) |
| 177 | + } |
| 178 | +} |
| 179 | + |
| 180 | +func TestVmHandlerQuery_Funcs(t *testing.T) { |
| 181 | + tt := []struct { |
| 182 | + input []byte |
| 183 | + expectedResult string |
| 184 | + expectedErrorMatch string |
| 185 | + }{ |
| 186 | + // valid queries |
| 187 | + {input: []byte(`gno.land/r/hello`), expectedResult: `[{"FuncName":"Panic","Params":null,"Results":null},{"FuncName":"Echo","Params":[{"Name":"msg","Type":"string","Value":""}],"Results":[{"Name":"_","Type":"string","Value":""}]},{"FuncName":"GetCounter","Params":null,"Results":[{"Name":"_","Type":"int","Value":""}]},{"FuncName":"Inc","Params":null,"Results":[{"Name":"_","Type":"int","Value":""}]}]`}, |
| 188 | + {input: []byte(`gno.land/r/doesnotexist`), expectedErrorMatch: `invalid package path`}, |
| 189 | + {input: []byte(`std`), expectedErrorMatch: `invalid package path`}, |
| 190 | + {input: []byte(`strings`), expectedErrorMatch: `invalid package path`}, |
| 191 | + } |
| 192 | + |
| 193 | + for _, tc := range tt { |
| 194 | + name := string(tc.input) |
| 195 | + t.Run(name, func(t *testing.T) { |
| 196 | + env := setupTestEnv() |
| 197 | + ctx := env.vmk.MakeGnoTransactionStore(env.ctx) |
| 198 | + vmHandler := env.vmh |
| 199 | + |
| 200 | + // Give "addr1" some gnots. |
| 201 | + addr := crypto.AddressFromPreimage([]byte("addr1")) |
| 202 | + acc := env.acck.NewAccountWithAddress(ctx, addr) |
| 203 | + env.acck.SetAccount(ctx, acc) |
| 204 | + env.bank.SetCoins(ctx, addr, std.MustParseCoins("10000000ugnot")) |
| 205 | + assert.True(t, env.bank.GetCoins(ctx, addr).IsEqual(std.MustParseCoins("10000000ugnot"))) |
| 206 | + |
| 207 | + // Create test package. |
| 208 | + files := []*gnovm.MemFile{ |
| 209 | + {"hello.gno", ` |
| 210 | +package hello |
| 211 | +
|
| 212 | +var sl = []int{1,2,3,4,5} |
| 213 | +func fn() func(string) string { return Echo } |
| 214 | +type myStruct struct{a int} |
| 215 | +var myStructInst = myStruct{a: 1000} |
| 216 | +func (ms myStruct) Foo() string { return "myStruct.Foo" } |
| 217 | +func Panic() { panic("foo") } |
| 218 | +var counter int = 42 |
| 219 | +var pvString = "private string" |
| 220 | +var PubString = "public string" |
| 221 | +const ConstString = "const string" |
| 222 | +func Echo(msg string) string { return "echo:"+msg } |
| 223 | +func GetCounter() int { return counter } |
| 224 | +func Inc() int { counter += 1; return counter } |
| 225 | +func pvEcho(msg string) string { return "pvecho:"+msg } |
| 226 | +`}, |
| 227 | + } |
| 228 | + pkgPath := "gno.land/r/hello" |
| 229 | + msg1 := NewMsgAddPackage(addr, pkgPath, files) |
| 230 | + err := env.vmk.AddPackage(ctx, msg1) |
| 231 | + assert.NoError(t, err) |
| 232 | + |
| 233 | + req := abci.RequestQuery{ |
| 234 | + Path: "vm/qfuncs", |
| 235 | + Data: tc.input, |
| 236 | + } |
| 237 | + |
| 238 | + res := vmHandler.Query(env.ctx, req) |
| 239 | + if tc.expectedErrorMatch == "" { |
| 240 | + assert.True(t, res.IsOK(), "should not have error") |
| 241 | + if tc.expectedResult != "" { |
| 242 | + assert.Equal(t, string(res.Data), tc.expectedResult) |
| 243 | + } |
| 244 | + } else { |
| 245 | + assert.False(t, res.IsOK(), "should have an error") |
| 246 | + errmsg := res.Error.Error() |
| 247 | + assert.Regexp(t, tc.expectedErrorMatch, errmsg) |
| 248 | + } |
| 249 | + }) |
| 250 | + } |
| 251 | +} |
| 252 | + |
| 253 | +func TestVmHandlerQuery_File(t *testing.T) { |
| 254 | + tt := []struct { |
| 255 | + input []byte |
| 256 | + expectedResult string |
| 257 | + expectedResultMatch string |
| 258 | + expectedErrorMatch string |
| 259 | + expectedPanicMatch string |
| 260 | + // XXX: expectedEvents |
| 261 | + }{ |
| 262 | + // valid queries |
| 263 | + {input: []byte(`gno.land/r/hello/hello.gno`), expectedResult: "package hello\n\nfunc Hello() string { return \"hello\" }\n"}, |
| 264 | + {input: []byte(`gno.land/r/hello/README.md`), expectedResult: "# Hello"}, |
| 265 | + {input: []byte(`gno.land/r/hello/doesnotexist.gno`), expectedErrorMatch: `file "gno.land/r/hello/doesnotexist.gno" is not available`}, |
| 266 | + {input: []byte(`gno.land/r/hello`), expectedResult: "README.md\nhello.gno"}, |
| 267 | + {input: []byte(`gno.land/r/doesnotexist`), expectedErrorMatch: `package "gno.land/r/doesnotexist" is not available`}, |
| 268 | + {input: []byte(`gno.land/r/doesnotexist/hello.gno`), expectedErrorMatch: `file "gno.land/r/doesnotexist/hello.gno" is not available`}, |
| 269 | + } |
| 270 | + |
| 271 | + for _, tc := range tt { |
| 272 | + name := string(tc.input) |
| 273 | + t.Run(name, func(t *testing.T) { |
| 274 | + env := setupTestEnv() |
| 275 | + ctx := env.vmk.MakeGnoTransactionStore(env.ctx) |
| 276 | + vmHandler := env.vmh |
| 277 | + |
| 278 | + // Give "addr1" some gnots. |
| 279 | + addr := crypto.AddressFromPreimage([]byte("addr1")) |
| 280 | + acc := env.acck.NewAccountWithAddress(ctx, addr) |
| 281 | + env.acck.SetAccount(ctx, acc) |
| 282 | + env.bank.SetCoins(ctx, addr, std.MustParseCoins("10000000ugnot")) |
| 283 | + assert.True(t, env.bank.GetCoins(ctx, addr).IsEqual(std.MustParseCoins("10000000ugnot"))) |
| 284 | + |
| 285 | + // Create test package. |
| 286 | + files := []*gnovm.MemFile{ |
| 287 | + {"README.md", "# Hello"}, |
| 288 | + {"hello.gno", "package hello\n\nfunc Hello() string { return \"hello\" }\n"}, |
| 289 | + } |
| 290 | + pkgPath := "gno.land/r/hello" |
| 291 | + msg1 := NewMsgAddPackage(addr, pkgPath, files) |
| 292 | + err := env.vmk.AddPackage(ctx, msg1) |
| 293 | + assert.NoError(t, err) |
| 294 | + |
| 295 | + req := abci.RequestQuery{ |
| 296 | + Path: "vm/qfile", |
| 297 | + Data: tc.input, |
| 298 | + } |
| 299 | + |
| 300 | + defer func() { |
| 301 | + if r := recover(); r != nil { |
| 302 | + output := fmt.Sprintf("%v", r) |
| 303 | + assert.Regexp(t, tc.expectedPanicMatch, output) |
| 304 | + } else { |
| 305 | + assert.Equal(t, "", tc.expectedPanicMatch, "should not panic") |
| 306 | + } |
| 307 | + }() |
| 308 | + res := vmHandler.Query(env.ctx, req) |
| 309 | + if tc.expectedErrorMatch == "" { |
| 310 | + assert.True(t, res.IsOK(), "should not have error") |
| 311 | + if tc.expectedResult != "" { |
| 312 | + assert.Equal(t, string(res.Data), tc.expectedResult) |
| 313 | + } |
| 314 | + if tc.expectedResultMatch != "" { |
| 315 | + assert.Regexp(t, tc.expectedResultMatch, string(res.Data)) |
| 316 | + } |
| 317 | + } else { |
| 318 | + assert.False(t, res.IsOK(), "should have an error") |
| 319 | + errmsg := res.Error.Error() |
| 320 | + assert.Regexp(t, tc.expectedErrorMatch, errmsg) |
| 321 | + } |
| 322 | + }) |
| 323 | + } |
| 324 | +} |
0 commit comments