C# Class MercadoIgnis.Check

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

Show file Open project: ucudal/pii_2019_equipo2

Public Methods

Method	Description
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.

Method Details

Invariant() public static method

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.
return	void

Invariant() public static method

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.
return	void

Postcondition() public static method

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.
return	void

Postcondition() public static method

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.
return	void

Precondition() public static method

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.
return	void

Precondition() public static method

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.
return	void