Class ReifiedInstructionExceptionAnalysis

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

Inheritance

object

ReifiedInstructionExceptionAnalysis

Implements

IFlowGraphAnalysis<InstructionExceptionSpecs>

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 ReifiedInstructionExceptionAnalysis : IFlowGraphAnalysis<InstructionExceptionSpecs>

Fields

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

Analyze(FlowGraph)

Analyzes a flow graph from scratch.

Declaration

public InstructionExceptionSpecs Analyze(FlowGraph graph)

Parameters

Type	Name	Description
FlowGraph	graph	The flow graph to analyze.

Returns

Type	Description
InstructionExceptionSpecs	The analysis' output.

AnalyzeWithUpdates(FlowGraph, InstructionExceptionSpecs, IReadOnlyList<FlowGraphUpdate>)

Analyzes a flow graph based on the flow graph, the previous result, and a list of updates that were applied to the graph since the previous result.

Declaration

public InstructionExceptionSpecs AnalyzeWithUpdates(FlowGraph graph, InstructionExceptionSpecs previousResult, IReadOnlyList<FlowGraphUpdate> updates)

Parameters

Type	Name	Description
FlowGraph	graph	The current version of the flow graph to analyze.
InstructionExceptionSpecs	previousResult	A previous result produced by this analysis.
IReadOnlyList<FlowGraphUpdate>	updates	A list of updates that were applied to the flow graph since the previous result was computed.

Returns

Type	Description
InstructionExceptionSpecs	The analysis' output, which must be equal to a call to Analyze.

Implements

IFlowGraphAnalysis<T>