C# 클래스 Exceptions.Check

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

파일 보기 프로젝트 열기: ucudal/pii_2019_equipo1

공개 메소드들

메소드	설명
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