C# Класс Exceptions.Check.PostconditionException

La excepción levantada si no se cumple una postcondición. Esta excepción es levantada en los métodos Check.Postcondition(bool) y Check.Postcondition(bool, string)

Наследование: Exceptions.Exception

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

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

Метод	Описание
PostconditionException ( ) : System	Create una nueva excepción.
PostconditionException ( string message ) : System	Crea una nueva excepción con el mesaje pasado como argumento. Esta excepción es levantada en los métodos Check.Invariant(bool) y Check.Invariant(bool, string)

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

PostconditionException() публичный Метод

Create una nueva excepción.

public PostconditionException ( ) : System
Результат	System

PostconditionException() публичный Метод

Crea una nueva excepción con el mesaje pasado como argumento. Esta excepción es levantada en los métodos Check.Invariant(bool) y Check.Invariant(bool, string)

public PostconditionException ( string message ) : System
message	string	El mensaje de la nueva excepción.
Результат	System