Class ReifiedInstructionExceptionAnalysis

An analysis that infers instruction specification specifications by refining the exception specifications for their prototypes.

Inheritance
System.Object
ReifiedInstructionExceptionAnalysis
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 ReifiedInstructionExceptionAnalysis : IFlowGraphAnalysis<InstructionExceptionSpecs>

Fields

| Improve this Doc View Source

Instance

An instance of the reified instruction exception specification analysis.

Declaration
public static readonly ReifiedInstructionExceptionAnalysis Instance
Field Value
Type Description
ReifiedInstructionExceptionAnalysis

An instruction specification analysis.

Methods

| Improve this Doc View Source

Analyze(FlowGraph)

Declaration
public InstructionExceptionSpecs Analyze(FlowGraph graph)
Parameters
Type Name Description
FlowGraph graph
Returns
Type Description
InstructionExceptionSpecs
| Improve this Doc View Source

AnalyzeWithUpdates(FlowGraph, InstructionExceptionSpecs, IReadOnlyList<FlowGraphUpdate>)

Declaration
public InstructionExceptionSpecs AnalyzeWithUpdates(FlowGraph graph, InstructionExceptionSpecs previousResult, IReadOnlyList<FlowGraphUpdate> updates)
Parameters
Type Name Description
FlowGraph graph
InstructionExceptionSpecs previousResult
System.Collections.Generic.IReadOnlyList<FlowGraphUpdate> updates
Returns
Type Description
InstructionExceptionSpecs

Implements