Class ExceptionSpecification

Specifies the exception throwing behavior of a method or instruction.

Inheritance

System.Object

ExceptionSpecification

NullCheckExceptionSpecification

ExceptionSpecification.Exact

ExceptionSpecification.Union

Inherited Members

System.Object.ToString()

System.Object.Equals(System.Object)

System.Object.Equals(System.Object, System.Object)

System.Object.ReferenceEquals(System.Object, System.Object)

System.Object.GetHashCode()

System.Object.GetType()

System.Object.MemberwiseClone()

Namespace: Flame

Assembly: Flame.dll

Syntax

public abstract class ExceptionSpecification

Fields

NoThrow

An exception specification that does not allow for any exceptions to be thrown.

Declaration

public static readonly ExceptionSpecification NoThrow

Field Value

Type	Description
ExceptionSpecification	A no-throw exception specification.

ThrowAny

An exception specification that allows for an exception of any type to be thrown.

Declaration

public static readonly ExceptionSpecification ThrowAny

Field Value

Type	Description
ExceptionSpecification	A throw-any exception specification.

Properties

CanThrowSomething

Tells if this exception specification allows for any exceptions at all to be thrown.

Declaration

public abstract bool CanThrowSomething { get; }

Property Value

Type	Description
System.Boolean	true if this exception specification allows for at least one type of exception to be thrown; otherwise, false.

Methods

CanThrow(IType)

Tells if this exception specification allows for an exception of a particular type or a derived type to be thrown.

Declaration

public abstract bool CanThrow(IType exceptionType)

Parameters

Type	Name	Description
IType	exceptionType	The type of exception to examine.

Returns

Type	Description
System.Boolean	true if an exception of type exceptionType or a derived type can be thrown; otherwise, false.