C# Class Microsoft.Zing.ZingInvalidEndStateException

Inheritance: ZingException
Show file Open project: ZingModelChecker/Zing

Public Methods

Method Description
ZingInvalidEndStateException ( ) : System
ZingInvalidEndStateException ( string message ) : System
ZingInvalidEndStateException ( string message, Exception innerException ) : System

Protected Methods

Method Description
ZingInvalidEndStateException ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System

Method Details

ZingInvalidEndStateException() public method

public ZingInvalidEndStateException ( ) : System
return System

ZingInvalidEndStateException() protected method

protected ZingInvalidEndStateException ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System
serializationInfo System.Runtime.Serialization.SerializationInfo
streamingContext System.Runtime.Serialization.StreamingContext
return System

ZingInvalidEndStateException() public method

public ZingInvalidEndStateException ( string message ) : System
message string
return System

ZingInvalidEndStateException() public method

public ZingInvalidEndStateException ( string message, Exception innerException ) : System
message string
innerException System.Exception
return System