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

Add missing contracts in System.Linq.Expressions.Expression and derived types#171

Merged

SergeyTeplyakov merged 6 commits intomicrosoft:masterfrom

fedotovalex:expression-contracts

Jul 28, 2015

Commits on Jul 23, 2015

Added missing Expression methods.
fedotovalex
committed

Commits on Jul 24, 2015

Commits on Jul 25, 2015

Updates to address review feedback.
fedotovalex
committed

Commits on Jul 26, 2015

Additional postconditions on collection members that are guaranteed to be not empty.
fedotovalex
committed

Commits on Jul 27, 2015

Fix for the incorrect comment.
fedotovalex
committed