Class ConstantAnalysis<T>

An analysis that always returns the same result. This kind of analysis is particularly useful for adding metadata to flow graphs that encode a (user-specified) configuration, such as the exception delayability policy.

Inheritance

object

ConstantAnalysis<T>

Implements

IFlowGraphAnalysis<T>

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 ConstantAnalysis<T> : IFlowGraphAnalysis<T>

Type Parameters

Name	Description
T	The type of result returned by the analysis.

Constructors

ConstantAnalysis(T)

Creates an analysis that returns a constant result.

Declaration

public ConstantAnalysis(T result)

Parameters

Type	Name	Description
T	result	The constant result returned by the analysis.

Properties

Result

Gets the result that is returned when this analysis is coaxed into "analyzing" a flow graph.

Declaration

public T Result { get; }

Property Value

Type	Description
T

Methods

Analyze(FlowGraph)

Analyzes a flow graph from scratch.

Declaration

public T Analyze(FlowGraph graph)

Parameters

Type	Name	Description
FlowGraph	graph	The flow graph to analyze.

Returns

Type	Description
T	The analysis' output.

AnalyzeWithUpdates(FlowGraph, T, 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 T AnalyzeWithUpdates(FlowGraph graph, T previousResult, IReadOnlyList<FlowGraphUpdate> updates)

Parameters

Type	Name	Description
FlowGraph	graph	The current version of the flow graph to analyze.
T	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
T	The analysis' output, which must be equal to a call to Analyze.

Implements

IFlowGraphAnalysis<T>