This repository was archived by the owner on Jul 15, 2023. It is now read-only.

Description
cresn/cesn code snippets should generate string type name:
Contract.Ensures(!string.IsNullOrEmpty(Contract.Result<string>()));
Contract.Requires<ArgumentException>(!string.IsNullOrEmpty(arg));
instead of String:
Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>()));
Contract.Requires<ArgumentException>(!String.IsNullOrEmpty(arg));
Also, something like cresnw/cesnw will be suitable:
Contract.Ensures(!string.IsNullOrWhitespace(Contract.Result<string>()));
Contract.Requires<ArgumentException>(!string.IsNullOrWhitespace(arg));
I know, that I could fix/add snippets by myself, but out-of-the-box always better :).