C# Класс Exceptions.Check

Una clase que ayuda a controlar precondiciones, postcondiciones e invariantes levantando excepciones si no se cumplen las afirmaciones correspondientes.

Показать файл Открыть проект

Открытые методы

Метод	Описание
Invariant ( bool condition ) : void	Controla una invariante; en caso que no se cumpla levanta una excepción PostconditionException; no hace nada en caso contrario.
Invariant ( bool condition, string message ) : void	Controla una invariante; en caso que no se cumpla levanta una excepción InvariantException; no hace nada en caso contrario.
Postcondition ( bool condition ) : void	Controla una postcondición; en caso que no se cumpla levanta una excepción PostconditionException; no hace nada en caso contrario.
Postcondition ( bool condition, string message ) : void	Controla una postconditión; en caso que no se cumpla levanta una excepción PostconditionException; no hace nada en caso contrario.
Precondition ( bool condition ) : void	Controla una precondición; en caso que no se cumpla levanta una excepción PreconditionException; no hace nada en caso contrario.
Precondition ( bool condition, string message ) : void	Controla una precondición; en caso que no se cumpla levanta una excepción PreconditionException; no hace nada en caso contrario.

Описание методов

Invariant() публичный статический Метод

Controla una invariante; en caso que no se cumpla levanta una excepción PostconditionException; no hace nada en caso contrario.

public static Invariant ( bool condition ) : void
condition	bool	La condición a comprobar.
Результат	void

Invariant() публичный статический Метод

Controla una invariante; en caso que no se cumpla levanta una excepción InvariantException; no hace nada en caso contrario.

public static Invariant ( bool condition, string message ) : void
condition	bool	La condición a comprobar.
message	string	El mensaje a agregar en la excepción que se levanta si la condición no se cumple.
Результат	void

Postcondition() публичный статический Метод

Controla una postcondición; en caso que no se cumpla levanta una excepción PostconditionException; no hace nada en caso contrario.

public static Postcondition ( bool condition ) : void
condition	bool	La condición a comprobar.
Результат	void

Postcondition() публичный статический Метод

Controla una postconditión; en caso que no se cumpla levanta una excepción PostconditionException; no hace nada en caso contrario.

public static Postcondition ( bool condition, string message ) : void
condition	bool	La condición a comprobar.
message	string	El mensaje a agregar en la excepción que se levanta si la condición no se cumple.
Результат	void

Precondition() публичный статический Метод

Controla una precondición; en caso que no se cumpla levanta una excepción PreconditionException; no hace nada en caso contrario.

public static Precondition ( bool condition ) : void
condition	bool	La condición a comprobar.
Результат	void

Precondition() публичный статический Метод

Controla una precondición; en caso que no se cumpla levanta una excepción PreconditionException; no hace nada en caso contrario.

public static Precondition ( bool condition, string message ) : void
condition	bool	La condición a comprobar.
message	string	El mensaje a agregar en la excepción que se levanta si la condición no se cumple.
Результат	void