sealed class
|
PoolingException
|
extends
|
TinmanException
|
The TinmanError object that describes the error that has occurred.
public
property
|
ErrorInfo
{
get
}
|
||
type
|
TinmanError
|
||
value
|
|
The TinmanError object. | |
inherited
|
TinmanException.ErrorInfo
|
[Pure]
|
||||
public
override
sealed
property
|
Message
{
get
}
|
|||
type
|
string
|
|||
value
|
||||
inherited
|
TinmanException.Message
|
The error source (see ErrorSource).
public
property
|
Source
{
get
}
|
||
type
|
string
|
||
value
|
The error source tag. | ||
inherited
|
TinmanException.Source
|
public
static
method
|
TaskHasFailed
(string source,
TinmanError error)
|
||
type
|
PoolingException
|
||
params
|
source
|
||
error
|
[Pure]
|
||||
public
override
sealed
method
|
ToString
()
|
|||
type
|
string
|
|||
inherited
|
TinmanException.ToString
|