From d56e3a7ef919f1fc3b64bc028a08bf8cc2ab9652 Mon Sep 17 00:00:00 2001
From: Aditya Sripal <adityasripal@gmail.com>
Date: Mon, 6 Aug 2018 13:03:58 -0700
Subject: [PATCH] better pseudocode

---
 docs/spec/auth/vesting.md | 27 +++++++++++++++++++--------
 1 file changed, 19 insertions(+), 8 deletions(-)

diff --git a/docs/spec/auth/vesting.md b/docs/spec/auth/vesting.md
index d70c94b1f..3d2be53c3 100644
--- a/docs/spec/auth/vesting.md
+++ b/docs/spec/auth/vesting.md
@@ -35,8 +35,12 @@ type ContinuousVestingAccount struct {
     EndTime       int64
 }
 
+// ConvertAccount converts VestingAccount into BaseAccount
+// Will convert only after account has fully vested
 ConvertAccount(vacc ContinuousVestingAccount) (BaseAccount):
-    if Now > vacc.EndTime then // Convert to BaseAccount
+    if Now > vacc.EndTime:
+        account = NewBaseAccount(vacc.Address, vacc.OriginalCoins + vacc.ReceivedCoins)
+        return account
 
 ```
 
@@ -101,15 +105,22 @@ type GenesisAccount struct {
 }
 
 initChainer:
-    for genesis_acc in GenesisAccounts:
-        if EndTime == 0 then // Create BaseAccount
-        else:
-            vesting_account = ContinuouslyVestingAccount{
-                OriginalCoins: GenesisCoins,
+    for gacc in GenesisAccounts:
+        baseAccount := BaseAccount{
+            Address: gacc.Address,
+            Coins:   gacc.GenesisCoins,
+        }
+        if gacc.EndTime != 0:
+            vestingAccount := ContinuouslyVestingAccount{
+                BaseAccount:   baseAccount,
+                OriginalCoins: gacc.GenesisCoins,
                 StartTime:     RequestInitChain.Time,
-                EndTime:       EndTime,
+                EndTime:       gacc.EndTime,
             }
-        // Add account to initial state
+            AddAccountToState(vestingAccount)
+        else:
+            AddAccountToState(baseAccount)
+
 ```
 
 ### Formulas