Class ExpressionStaticSemanticsEvaluator

Namespace: RDCore.SDK.Semantics.Static

Assembly: RDCore.SDK.dll

Recursively determines the declared type of a real, arbitrarily-nested expression tree.

public static class ExpressionStaticSemanticsEvaluator

Inheritance: object

ExpressionStaticSemanticsEvaluator

Inherited Members: object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Remarks

Every individual IStaticSemantics rule (SimpleNameExpressionStaticSemantics, MemberAccessExpressionStaticSemantics, operators, ...) only knows how to combine already-resolved operand types for the one node it handles — nothing recurses into an expression's own children first to produce them. This is that missing piece: given any ExpressionNode, it dispatches by the node's own C# type (and, for operator nodes, by Token) to the matching rule, evaluating children first and short-circuiting on the first error, so a nested expression like Foo.Bar.Baz or x + 1 resolves end to end instead of only ever being unit-tested with hand-fed operand types.

Methods

Evaluate(StaticEvaluationContext, ExpressionNode)

Determines the declared type of expression, recursively evaluating its children first wherever a rule needs their declared types as operands.

public static StaticSemanticsEvaluationResult Evaluate(StaticEvaluationContext context, ExpressionNode expression)

Parameters

context StaticEvaluationContext: The compile-time context this expression is evaluated against.
expression ExpressionNode: The expression to evaluate — may be arbitrarily nested.

Returns