Implement Custom RPC Methods (#443)

* implement evm_snapshot rpc method

* implement evm_revert rpc method without arguments

* web3.md: implement evm_revert rpc method with args (wip)

* implement evm_increaseTime rpc method

* fix evm_revert; formatting

* web3: formatting

Author: anvacaru

tests/web3/evm_increaseTime.in.json

@@ -0,0 +1,7 @@
+{"jsonrpc":"2.0", "method":"evm_snapshot", "params":[], "id":1}
+{"jsonrpc":"2.0", "method":"evm_increaseTime", "params":[100], "id":2}
+{"jsonrpc":"2.0", "method":"evm_increaseTime", "params":[200], "id":3}
+{"jsonrpc":"2.0", "method":"evm_revert", "params":[], "id":4}
+{"jsonrpc":"2.0", "method":"evm_increaseTime", "params":[50], "id":5}
+
+

tests/web3/evm_increaseTime.out.json

@@ -0,0 +1 @@
+{"jsonrpc":"2.0","id":1,"result":"0x0"}{"jsonrpc":"2.0","id":2,"result":"100"}{"jsonrpc":"2.0","id":3,"result":"300"}{"jsonrpc":"2.0","id":4,"result":"true"}{"jsonrpc":"2.0","id":5,"result":"350"}

tests/web3/evm_revert.in.json

@@ -0,0 +1,6 @@
+{"jsonrpc":"2.0", "method":"evm_snapshot", "params":[], "id":1}
+{"jsonrpc":"2.0", "method":"evm_snapshot", "params":[], "id":2}
+{"jsonrpc":"2.0", "method":"evm_revert", "params":[], "id":3}
+{"jsonrpc":"2.0", "method":"evm_snapshot", "params":[], "id":4}
+
+

tests/web3/evm_revert.out.json

@@ -0,0 +1 @@
+{"jsonrpc":"2.0","id":1,"result":"0x0"}{"jsonrpc":"2.0","id":2,"result":"0x1"}{"jsonrpc":"2.0","id":3,"result":"true"}{"jsonrpc":"2.0","id":4,"result":"0x1"}

tests/web3/evm_revert2.in.json

@@ -0,0 +1,7 @@
+{"jsonrpc":"2.0", "method":"evm_snapshot", "params":[], "id":1}
+{"jsonrpc":"2.0", "method":"evm_snapshot", "params":[], "id":2}
+{"jsonrpc":"2.0", "method":"evm_snapshot", "params":[], "id":3}
+{"jsonrpc":"2.0", "method":"evm_revert", "params":["0x1"], "id":4}
+{"jsonrpc":"2.0", "method":"evm_snapshot", "params":[], "id":5}
+
+

tests/web3/evm_revert2.out.json

@@ -0,0 +1 @@
+{"jsonrpc":"2.0","id":1,"result":"0x0"}{"jsonrpc":"2.0","id":2,"result":"0x1"}{"jsonrpc":"2.0","id":3,"result":"0x2"}{"jsonrpc":"2.0","id":4,"result":"true"}{"jsonrpc":"2.0","id":5,"result":"0x1"}

tests/web3/evm_snapshot.in.json

@@ -0,0 +1,3 @@
+{"jsonrpc":"2.0", "method":"evm_snapshot", "params":[], "id":1}
+{"jsonrpc":"2.0", "method":"evm_snapshot", "params":[], "id":2}
+

tests/web3/evm_snapshot.out.json

@@ -0,0 +1 @@
+{"jsonrpc":"2.0","id":1,"result":"0x0"}{"jsonrpc":"2.0","id":2,"result":"0x1"}

web3.md

@@ -15,6 +15,7 @@ module WEB3
         <blockchain>
           <chainID> $CHAINID:Int </chainID>
         </blockchain>
+        <snapshots> .List </snapshots> 
         <web3socket> $SOCK:Int </web3socket>
         <web3clientsocket> 0:IOInt </web3clientsocket>
         <web3request>
@@ -119,7 +120,7 @@ module WEB3
     rule <k> #sendResponse(J) ~> _ => #loadFromBatch </k>
          <callid> CALLID </callid>
          <batch> [ _ ] </batch>
-         <web3response>... .List => ListItem({ "jsonrpc": "2.0", "id": CALLID, J }) </web3response>
+         <web3response> ... .List => ListItem({ "jsonrpc": "2.0", "id": CALLID, J }) </web3response>
 
     rule <k> #sendResponse(_) ~> _ => #loadFromBatch </k>
          <callid> undef </callid>
@@ -160,6 +161,12 @@ module WEB3
          <method> "eth_getStorageAt" </method>
     rule <k> #runRPCCall => #eth_getCode ... </k>
          <method> "eth_getCode" </method>
+    rule <k> #runRPCCall => #evm_snapshot ... </k>
+         <method> "evm_snapshot" </method>
+    rule <k> #runRPCCall => #evm_revert ... </k>
+         <method> "evm_revert" </method>
+    rule <k> #runRPCCall => #evm_increaseTime ... </k>
+         <method> "evm_increaseTime" </method>
 
     rule <k> #runRPCCall => #sendResponse( "error": {"code": -32601, "message": "Method not found"} ) ... </k> [owise]
 
@@ -230,5 +237,36 @@ module WEB3
            <code> CODE </code>
            ...
          </account>
+
+    syntax KItem ::= "#evm_snapshot"
+ // --------------------------------
+    rule <k> #evm_snapshot => #pushNetworkState ~> #sendResponse( "result" : #unparseQuantity( size ( SNAPSHOTS ) ) ) ... </k>
+         <snapshots> SNAPSHOTS </snapshots>
+
+    syntax KItem ::= "#pushNetworkState"
+ // ------------------------------------
+    rule <k> #pushNetworkState => . ... </k>
+         <snapshots> ... ( .List => ListItem(NETWORKSTATE)) </snapshots>
+         <network> NETWORKSTATE </network>
+
+    syntax KItem ::= "#evm_revert"
+ // ------------------------------
+    rule <k> #evm_revert => #sendResponse( "result" : "true" ) ... </k>
+         <params> [ .JSONList ] </params>
+         <snapshots> ... ( ListItem(NETWORKSTATE) => .List ) </snapshots>
+         <network> ( _ => NETWORKSTATE ) </network>
+
+    rule <k> #evm_revert ... </k>
+         <params> [ (DATA => #parseHexWord(DATA)), .JSONList ] </params>
+
+    rule <k> #evm_revert ... </k>
+         <params> ( [ DATA:Int, .JSONList ] => [ .JSONList ] ) </params>
+         <snapshots> ( SNAPSHOTS => range(SNAPSHOTS, 0, DATA ) ) </snapshots>
+
+    syntax KItem ::= "#evm_increaseTime"
+ // ------------------------------------
+    rule <k> #evm_increaseTime => #sendResponse( "result" : Int2String(TS +Int DATA ) ) ... </k>
+         <params> [ DATA:Int, .JSONList ] </params>
+         <timestamp> ( TS:Int => ( TS +Int DATA ) ) </timestamp>
 endmodule
 ```