C# Class 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)

Inheritance: Exceptions.Exception

Show file Open project: ucudal/pii_2019_equipo1

Public Methods

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

Method Details

PostconditionException() public method

Create una nueva excepción.

public PostconditionException ( ) : System
return	System

PostconditionException() public method

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