web3.md: refactor eth_accounts (#528)

Author: anvacaru

tests/web3/eth_accounts.expected.json

@@ -0,0 +1 @@
+[{"jsonrpc":"2.0","id":1,"result":true},{"jsonrpc":"2.0","id":2,"result":true},{"jsonrpc":"2.0","id":3,"result":true},{"jsonrpc":"2.0","id":4,"result":true},{"jsonrpc":"2.0","id":5,"result":true},{"jsonrpc":"2.0","id":6,"result":["0x64cd3de3157c82289423d85927a16e3596a7ffe4","0x805bba773af1efd0cd8be0e7aea7416e72111b3b","0x8850073ba56b1c2b6d7acb66e8038ee9aa14be13","0x9db3c363b007411468a72ad8df941ea515ad7125","0xd1af81d02bd851e4b9db6d4144b03027154392c5"]}]

tests/web3/eth_accounts.in.json

@@ -0,0 +1,63 @@
+[
+    {
+        "jsonrpc": "2.0",
+        "id": 1,
+        "method": "firefly_addAccount",
+        "params": [
+            {
+                "key": "0x77bcbbd9580484c1b590a9204c353f9fd1bb699679faf1b25de7a73805734a90",
+                "balance": "0x56bc75e2d63100000"
+            }
+        ]
+    },
+    {
+        "jsonrpc": "2.0",
+        "id": 2,
+        "method": "firefly_addAccount",
+        "params": [
+            {
+                "key": "0x0aec5005bb49ecbd568638ef77922619a27e624a9fe52942f26fb882bde5fadf",
+                "balance": "0x56bc75e2d63100000"
+            }
+        ]
+    },
+    {
+        "jsonrpc": "2.0",
+        "id": 3,
+        "method": "firefly_addAccount",
+        "params": [
+            {
+                "key": "0x96b039ec4e731cad6b9dcc480ad5be85ca81d5fa9ebb50dc3495c0e5bc677da9",
+                "balance": "0x56bc75e2d63100000"
+            }
+        ]
+    },
+    {
+        "jsonrpc": "2.0",
+        "id": 4,
+        "method": "firefly_addAccount",
+        "params": [
+            {
+                "key": "0x8d835217a5a71f2934485721b1644d7f2e229f4db84d766e82bd643828d7ef6c",
+                "balance": "0x56bc75e2d63100000"
+            }
+        ]
+    },
+    {
+        "jsonrpc": "2.0",
+        "id": 5,
+        "method": "firefly_addAccount",
+        "params": [
+            {
+                "key": "0x63fb18ac02bc1013c8518af4e4af422a0524b42f6868efda6708c9b795fc575b",
+                "balance": "0x56bc75e2d63100000"
+            }
+        ]
+    },
+    {
+        "jsonrpc":"2.0",
+        "id":6,
+        "method": "eth_accounts",
+        "params":[]
+    }
+]

web3.md

@@ -352,13 +352,13 @@ WEB3 JSON RPC
 
     syntax KItem ::= "#eth_accounts"
  // --------------------------------
-    rule <k> #eth_accounts => #sendResponse( "result" : [ #acctsToJArray( ACCTS ) ] ) ... </k>
+    rule <k> #eth_accounts => #sendResponse( "result" : [ #acctsToJArray( qsort(Set2List(ACCTS)) ) ] ) ... </k>
          <activeAccounts> ACCTS </activeAccounts>
 
-    syntax JSONList ::= #acctsToJArray ( Set ) [function]
- // -----------------------------------------------------
-    rule #acctsToJArray( .Set                      ) => .JSONList
-    rule #acctsToJArray( SetItem( ACCT ) ACCTS:Set ) => #unparseData( ACCT, 20 ), #acctsToJArray( ACCTS )
+    syntax JSONList ::= #acctsToJArray ( List ) [function]
+ // ------------------------------------------------------
+    rule #acctsToJArray( .List                       ) => .JSONList
+    rule #acctsToJArray( ListItem( ACCT ) ACCTS:List ) => #unparseData( ACCT, 20 ), #acctsToJArray( ACCTS )
 
     syntax KItem ::= "#eth_getBalance"
  // ----------------------------------