Class ScopedExpressionSlimVisitor<TState>
Expression visitor with scope tracking for ParameterExpression nodes.
Inheritance
Inherited Members
Namespace: System.Linq.CompilerServices.Bonsai
Assembly: Nuqleon.Linq.Expressions.Bonsai.dll
Syntax
public abstract class ScopedExpressionSlimVisitor<TState> : ScopedExpressionSlimVisitorBaseType Parameters
| Name | Description |
|---|---|
| TState | Type of the state objects that will be associated with parameter expressions during the expression tree visit. |
Constructors
ScopedExpressionSlimVisitor()
Creates a new expression visitor with scope tracking facilities.
Declaration
protected ScopedExpressionSlimVisitor()Properties
GlobalScope
Gets the global scope's symbol table which can be used to track unbound parameters.
Declaration
public SymbolTable<ParameterExpressionSlim, TState> GlobalScope { get; }Property Value
| Type | Description |
|---|---|
| SymbolTable<ParameterExpressionSlim, TState> |
Methods
GetState(ParameterExpressionSlim)
Maps the specified parameter on state tracked in the scoped symbol table. This method gets called for each declaration site of a variable.
Declaration
protected abstract TState GetState(ParameterExpressionSlim parameter)Parameters
| Type | Name | Description |
|---|---|---|
| ParameterExpressionSlim | parameter | Parameter expression that's being declared. |
Returns
| Type | Description |
|---|---|
| TState | State to associate with the given parameter. |
Pop()
Pops a scope from the symbol table.
Declaration
protected override void Pop()Overrides
Push(IEnumerable<KeyValuePair<ParameterExpressionSlim, TState>>)
Pushes a new scope in the symbol table.
Declaration
protected virtual void Push(IEnumerable<KeyValuePair<ParameterExpressionSlim, TState>> scope)Parameters
| Type | Name | Description |
|---|---|---|
| System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<ParameterExpressionSlim, TState>> | scope | New scope to push in the symbol table. |
Push(IEnumerable<ParameterExpressionSlim>)
Pushes the parameters of a new declaration site into a new scope in the symbol table.
Declaration
protected override void Push(IEnumerable<ParameterExpressionSlim> parameters)Parameters
| Type | Name | Description |
|---|---|---|
| System.Collections.Generic.IEnumerable<ParameterExpressionSlim> | parameters | Parameters of the declaration site. |
Overrides
TryLookup(ParameterExpressionSlim, out TState)
Looks up the state associated with the specified parameter expression by scanning the scoped symbol table, starting from the current scope.
Declaration
protected bool TryLookup(ParameterExpressionSlim parameter, out TState state)Parameters
| Type | Name | Description |
|---|---|---|
| ParameterExpressionSlim | parameter | Parameter expression to look up. |
| TState | state | State associated with the specified parameter expression. |
Returns
| Type | Description |
|---|---|
| System.Boolean | true if the symbol was found; otherwise, false. |