Class PermissiveExceptionDelayability

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

Inheritance
System.Object
ExceptionDelayability
PermissiveExceptionDelayability
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 PermissiveExceptionDelayability : ExceptionDelayability

Fields

| Improve this Doc View Source

Instance

An instance of the permissive exception delayability policy.

Declaration
public static readonly PermissiveExceptionDelayability Instance
Field Value
Type Description
PermissiveExceptionDelayability

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