Interface IExpressionFactSink

Namespace

RDCore.SDK.Semantics

Assembly

RDCore.SDK.dll

Takes the facts of the expressions the static pass evaluates.

public interface IExpressionFactSink

Methods

Record(ExpressionFact)

Records what is known of an expression. An expression that is evaluated again has its fact replaced.

void Record(ExpressionFact fact)

Parameters

fact ExpressionFact

The fact.

TryGet(SyntaxNodeId, out ExpressionFact?)

Gets the fact of an expression the pass has evaluated, which it does for an operand before the expression that has it.

bool TryGet(SyntaxNodeId node, out ExpressionFact? fact)

Parameters

node SyntaxNodeId

The expression.

fact ExpressionFact

Its fact.

Returns

bool