Class PermissiveExceptionDelayability

Exception delayability rules that allow delaying exceptions for implicit checks when computing pointers.

Inheritance

object

ExceptionDelayability

PermissiveExceptionDelayability

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 PermissiveExceptionDelayability : ExceptionDelayability

Fields

Instance

An instance of the permissive exception delayability policy.

Declaration

public static readonly PermissiveExceptionDelayability Instance

Field Value

Type	Description
PermissiveExceptionDelayability

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)