Class ExceptionDelayability

A base class for rules about whether or not exceptions thrown by particular types of instructions may be delayed until the value they produce is used by an effectful instruction.

Inheritance

object

ExceptionDelayability

PermissiveExceptionDelayability

StrictExceptionDelayability

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Namespace: Flame.Compiler.Analysis

Assembly: Flame.Compiler.dll

Syntax

public abstract class ExceptionDelayability

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 abstract 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.