C# 클래스 Microsoft.Zing.ZingAssumeFailureException

상속: ZingException
파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 메소드들

메소드 설명
ZingAssumeFailureException ( ) : System
ZingAssumeFailureException ( string expression ) : System
ZingAssumeFailureException ( string message, Exception innerException ) : System

보호된 메소드들

메소드 설명
ZingAssumeFailureException ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System

비공개 메소드들

메소드 설명
GetObjectData ( SerializationInfo info, StreamingContext context ) : void

메소드 상세

ZingAssumeFailureException() 공개 메소드

public ZingAssumeFailureException ( ) : System
리턴 System

ZingAssumeFailureException() 보호된 메소드

protected ZingAssumeFailureException ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System
serializationInfo System.Runtime.Serialization.SerializationInfo
streamingContext System.Runtime.Serialization.StreamingContext
리턴 System

ZingAssumeFailureException() 공개 메소드

public ZingAssumeFailureException ( string expression ) : System
expression string
리턴 System

ZingAssumeFailureException() 공개 메소드

public ZingAssumeFailureException ( string message, Exception innerException ) : System
message string
innerException System.Exception
리턴 System