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

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

공개 메소드들

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