| MercadoIgnis.Pages |
| Name | Description |
|---|---|
| Check | Una clase que ayuda a controlar precondiciones, postcondiciones e invariantes levantando excepciones si no se cumplen las afirmaciones correspondientes. |
| Check.InvariantException | La excepción levantada si no se cumple una invariante. |
| Check.PreconditionException | La excepción levantada si no se cumple una precondición. Esta excepción es levantada en los métodos Check.Precondition(bool) y Check.Precondition(bool, string). |