Class StrictExceptionDelayability

Exception delayability rules that disallow delaying exceptions in all cases.

Inheritance
System.Object
ExceptionDelayability
StrictExceptionDelayability
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.Compiler.Analysis
Assembly: Flame.Compiler.dll
Syntax
public sealed class StrictExceptionDelayability : ExceptionDelayability

Fields

| Improve this Doc View Source

Instance

An instance of the strict exception delayability policy.

Declaration
public static readonly StrictExceptionDelayability Instance
Field Value
Type Description
StrictExceptionDelayability

Methods

| Improve this Doc View Source

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
System.Boolean

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