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

Afficher le fichier Open project: ucudal/pii_2019_equipo1

Méthodes publiques

Méthode	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 méthode

Create una nueva excepción.

public PostconditionException ( ) : System
Résultat	System

PostconditionException() public méthode

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.
Résultat	System