Class StrictExceptionDelayability

Exception delayability rules that disallow delaying exceptions in all cases.

Inheritance

object

ExceptionDelayability

StrictExceptionDelayability

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Namespace: Flame.Compiler.Analysis

Assembly: Flame.Compiler.dll

Syntax

public sealed class StrictExceptionDelayability : ExceptionDelayability

Fields

Instance

An instance of the strict exception delayability policy.

Declaration

public static readonly StrictExceptionDelayability Instance

Field Value

Type	Description
StrictExceptionDelayability

Methods

CanDelayExceptions(InstructionPrototype)

Tells if it is permissible to delay exceptions thrown by a particular instruction until the instruction's result is used by an effectful instruction. If the instruction's result is never used that way, the exception may even be deleted altogether.

Declaration

public override bool CanDelayExceptions(InstructionPrototype prototype)

Parameters

Type	Name	Description
InstructionPrototype	prototype	An instruction prototype to examine.

Returns

Type	Description
bool	true if exceptions thrown by instances of prototype may be delayed until the instances' values are used by effectful instructions; otherwise, false.

Overrides

ExceptionDelayability.CanDelayExceptions(InstructionPrototype)