Book Image

C# Programming Cookbook

By : Dirk Strauss
Book Image

C# Programming Cookbook

By: Dirk Strauss

Overview of this book

During your application development workflow, there is always a moment when you need to get out of a tight spot. Through a recipe-based approach, this book will help you overcome common programming problems and get your applications ready to face the modern world. We start with C# 6, giving you hands-on experience with the new language features. Next, we work through the tasks that you perform on a daily basis such as working with strings, generics, and lots more. Gradually, we move on to more advanced topics such as the concept of object-oriented programming, asynchronous programming, reactive extensions, and code contracts. You will learn responsive high performance programming in C# and how to create applications with Azure. Next, we will review the choices available when choosing a source control solution. At the end of the book, we will show you how to create secure and robust code, and will help you ramp up your skills when using the new version of C# 6 and Visual Studio
Table of Contents (21 chapters)
C# Programming Cookbook
Credits
About the Author
Acknowledgements
About the Reviewer
www.PacktPub.com
Preface
Index

Creating code contract Assert and Assume methods


The code contract Assert and Assume methods might seem confusing at first, but both provide a specific function. Where the previous code contract conditions had to appear at the beginning of the methods they were defined in, the Assert method can be placed somewhere inside a method. This means that it will have an effect on the code at that specific time in the compilation. If you, for example, perform a calculation somewhere in your method under contract and you need to check the value calculated, you can use Assert to perform a check in place to ascertain whether the calculated value passes the contract.

Note

Don't confuse Debug.Assert with Contract.Assert. They aren't the same thing. Debug.Assert will only have an effect if your code is run in the Debug mode. Contract.Assert will run in the Debug and Release modes.

With Contract.Assume, however, we are telling the code contract that it needs to assume that the condition it needs to check is...