@@ -182,8 +182,8 @@ access(all) contract interface FungibleToken: ViewResolver {
182182 }
183183 post {
184184 self .balance == 0.0 :
185- " FungibleToken.Vault.burnCallback: Cannot burn this Vault with Burner.burn()."
186- .concat (" The balance must be set to zero during the burnCallback method so that it cannot be spammed" )
185+ " FungibleToken.Vault.burnCallback: Cannot burn this Vault with Burner.burn(). "
186+ .concat (" The balance must be set to zero during the burnCallback method so that it cannot be spammed. " )
187187 }
188188 self .balance = 0.0
189189 }
@@ -223,21 +223,21 @@ access(all) contract interface FungibleToken: ViewResolver {
223223 }
224224 post {
225225 result .getType () == self .getType ():
226- " FungibleToken.Vault.withdraw: Cannot withdraw tokens!"
226+ " FungibleToken.Vault.withdraw: Cannot withdraw tokens! "
227227 .concat (" The withdraw method tried to return an incompatible Vault type <" )
228228 .concat (result .getType ().identifier ).concat (" >. " )
229- .concat (" It must return a Vault with the same type as self ( " )
229+ .concat (" It must return a Vault with the same type as self < " )
230230 .concat (self .getType ().identifier ).concat (" >." )
231231
232232 // use the special function `before` to get the value of the `balance` field
233233 // at the beginning of the function execution
234234 //
235235 self .balance == before (self .balance ) - amount :
236- " FungibleToken.Vault.withdraw: Cannot withdraw tokens!"
236+ " FungibleToken.Vault.withdraw: Cannot withdraw tokens! "
237237 .concat (" The sender's balance after the withdrawal (" )
238238 .concat (self .balance .toString ())
239239 .concat (" ) must be the difference of the previous balance (" ).concat (before (self .balance .toString ()))
240- .concat (" ) and the amount withdrawn (" ).concat (amount .toString ())
240+ .concat (" ) and the amount withdrawn (" ).concat (amount .toString ()). concat ( " ) " )
241241
242242 emit Withdrawn (
243243 type : result .getType ().identifier ,
@@ -257,12 +257,12 @@ access(all) contract interface FungibleToken: ViewResolver {
257257 // as the vault that is accepting the deposit
258258 pre {
259259 from .isInstance (self .getType ()):
260- " FungibleToken.Vault.deposit: Cannot deposit tokens!"
260+ " FungibleToken.Vault.deposit: Cannot deposit tokens! "
261261 .concat (" The type of the deposited tokens <" )
262262 .concat (from .getType ().identifier )
263263 .concat (" > has to be the same type as the Vault being deposited into <" )
264264 .concat (self .getType ().identifier )
265- .concat (" >. Check that you are withdrawing and depositing to the correct paths in the sender and receiver accounts" )
265+ .concat (" >. Check that you are withdrawing and depositing to the correct paths in the sender and receiver accounts " )
266266 .concat (" and that those paths hold the same Vault types." )
267267 }
268268 post {
@@ -275,11 +275,11 @@ access(all) contract interface FungibleToken: ViewResolver {
275275 balanceAfter : self .balance
276276 )
277277 self .balance == before (self .balance ) + before (from .balance ):
278- " FungibleToken.Vault.deposit: Cannot deposit tokens!"
278+ " FungibleToken.Vault.deposit: Cannot deposit tokens! "
279279 .concat (" The receiver's balance after the deposit (" )
280280 .concat (self .balance .toString ())
281281 .concat (" ) must be the sum of the previous balance (" ).concat (before (self .balance .toString ()))
282- .concat (" ) and the amount deposited (" ).concat (before (from .balance ).toString ())
282+ .concat (" ) and the amount deposited (" ).concat (before (from .balance ).toString ()). concat ( " ) " )
283283 }
284284 }
285285
@@ -289,12 +289,12 @@ access(all) contract interface FungibleToken: ViewResolver {
289289 access (all ) fun createEmptyVault (): @{Vault } {
290290 post {
291291 result .balance == 0.0 :
292- " FungibleToken.Vault.createEmptyVault: Empty Vault creation failed!"
292+ " FungibleToken.Vault.createEmptyVault: Empty Vault creation failed! "
293293 .concat (" The newly created Vault must have zero balance but it has a balance of " )
294294 .concat (result .balance .toString ())
295295
296296 result .getType () == self .getType ():
297- " FungibleToken.Vault.createEmptyVault: Empty Vault creation failed!"
297+ " FungibleToken.Vault.createEmptyVault: Empty Vault creation failed! "
298298 .concat (" The type of the new Vault <" )
299299 .concat (result .getType ().identifier )
300300 .concat (" > has to be the same type as the Vault that created it <" )
@@ -310,12 +310,12 @@ access(all) contract interface FungibleToken: ViewResolver {
310310 access (all ) fun createEmptyVault (vaultType : Type ): @{FungibleToken .Vault } {
311311 post {
312312 result .balance == 0.0 :
313- " FungibleToken.createEmptyVault: Empty Vault creation failed!"
314- .concat (" The newly created Vault must have zero balance but it has a balance of " )
315- .concat (result .balance .toString ())
313+ " FungibleToken.createEmptyVault: Empty Vault creation failed! "
314+ .concat (" The newly created Vault must have zero balance but it has a balance of ( " )
315+ .concat (result .balance .toString ()). concat ( " ) " )
316316
317317 result .getType () == vaultType :
318- " FungibleToken.Vault.createEmptyVault: Empty Vault creation failed!"
318+ " FungibleToken.Vault.createEmptyVault: Empty Vault creation failed! "
319319 .concat (" The type of the new Vault <" )
320320 .concat (result .getType ().identifier )
321321 .concat (" > has to be the same as the type that was requested <" )
0 commit comments