Files
Marc Schier 5795e50b58 Source-generated, NativeAOT-clean fluent server API with event-source publish (#3765)
* Add async read/write hooks to BaseVariableState and AsyncCustomNodeManager

Introduces an end-to-end async path for variable Value-attribute reads
and writes that does not require holding lock(this) while the user
callback executes:

* New AttributeReadResult, AttributeSimpleReadResult and AttributeWriteResult
  readonly record structs in NodeState carry the typed result of an async
  Value-attribute hook (no ref/out params across await).
* Four new async delegates (NodeValueEventHandlerAsync,
  NodeValueSimpleEventHandlerAsync, NodeValueWriteEventHandlerAsync,
  NodeValueSimpleWriteEventHandlerAsync) sit alongside the existing sync
  hooks.
* NodeState gains virtual ReadAttributeAsync / WriteAttributeAsync methods.
  The default implementation wraps the synchronous call in lock(this) so
  callers that have not opted into async hooks see bit-identical behaviour.
* BaseVariableState exposes OnReadValueAsync, OnSimpleReadValueAsync,
  OnWriteValueAsync and OnSimpleWriteValueAsync slots and overrides the new
  virtuals to dispatch to them WITHOUT holding the lock during the await.
  On simple-read the framework still applies index range, data encoding and
  copy policy; on simple-write the cached value/status/timestamp are
  updated under lock after the hook completes.
* AsyncCustomNodeManager.ReadAsync and WriteAsync now await the new
  ReadAttributeAsync / WriteAttributeAsync entry points instead of taking
  lock(source) around the synchronous call. Existing per-source locking
  semantics are preserved by the default async wrappers.
* The fluent INodeBuilder surface gains four new async OnRead/OnWrite
  overloads that wire to the new BaseVariableState slots, with the same
  ThrowIfSlotOccupied + null-check pattern as the sync overloads.

* Add typed IVariableBuilder<T> fluent surface

Adds typed sub-interfaces and impls so the existing fluent surface

can expose simple Func<T> / Action<T> / Func<CancellationToken,

ValueTask<T>> overloads for variables — without losing the lower-level

Variant-based overloads on INodeBuilder.

* IVariableBuilder<TValue> + VariableBuilder<TValue> derive from

  INodeBuilder<BaseVariableState> / NodeBuilder<BaseVariableState>

  (NodeBuilder<TState> unsealed).

* Marshalling uses Variant.AsBoxedObject(BoxingBehavior.Legacy) for

  reads and Variant(object) for writes; the AOT-unsafe write path is

  scoped-suppressed with a TODO pointing at the planned per-type

  generated walker.

* INodeManagerBuilder gains Variable<T>(string),

  Variable<T>(NodeId), VariableFromTypeId<T>(NodeId),

  VariableFromTypeId<T>(NodeId, QualifiedName).

Server library builds clean across all 6 TFMs.

* Add relative-child traversal API on INodeBuilder

Adds INodeBuilder.Child(QualifiedName), Child<TState>(QualifiedName)

and Variable<TValue>(QualifiedName) so source-generated typed

wrappers can walk one segment at a time without re-resolving from

the manager root. Resolution uses NodeState.FindChild and reuses

NodeManagerBuilder.ToVariableBuilder to keep the typed-variable

marshalling story consistent.

Adds 7 NUnit cases (Fluent category) covering the happy path,

type-mismatch, null/missing browse-name, and non-variable

rejection. All 66 fluent tests pass.

* Mix old + new fluent APIs in MinimalBoilerServer demo

BoilerNodeManager.Configure now exercises five wiring styles:

  (1) browse-path with the legacy ref-Variant callback

  (2) absolute NodeId with the legacy ref-Variant callback

  (3) typed Variable<double>(NodeId) + simple Func<double> sync getter

  (4) typed Variable<double>(NodeId) + Func<CancellationToken, ValueTask<double>>

      async getter — exercises the BaseVariableState.OnReadValueAsync

      slot end-to-end through AsyncCustomNodeManager.ReadAsync

  (5) NodeFromTypeId with OnNodeAdded lifecycle hook

All five styles compose against the same INodeManagerBuilder, with

the typed and async callbacks pulling in the new IVariableBuilder<T>

surface (committed at e557ecdd9) and the BaseVariableState async

path (committed at 2e2efb4ad).

* Add async-hook tests for BaseVariableState

15 NUnit cases covering the new On{Read,Write}ValueAsync and On
Simple{Read,Write}ValueAsync slots plus the
ReadAttributeAsync/WriteAttributeAsync overrides on
BaseVariableState:

* full async slot routes Value reads/writes
* lock(this) is released around the awaited handler
* simple async slot reapplies cached StatusCode and respects index
  ranges (BadIndexRangeInvalid for non-null ranges)
* exceptions and OperationCanceledException from the hook are
  caught and surfaced as BadUnexpectedError, mirroring the sync flow
* CancellationToken propagates to the hook
* cache (m_value, m_statusCode, m_timestamp) is updated on success
  and skipped on Bad return
* fallback to base sync ReadAttribute/WriteAttribute when no async
  slot is set (preserves today's lock(this) semantics)
* non-Value attributes never invoke the async hook
* CurrentRead/CurrentWrite access checks short-circuit before the
  hook runs

All 596 State tests pass on net10.0.

* Add round-trip tests for typed IVariableBuilder<T>

Covers the typed Func<T>/Action<T>/Func<...,ValueTask<T>> overloads
on IVariableBuilder<TValue>: each registers the appropriate hook
slot on the underlying BaseDataVariableState, and driving the
variable through ReadAttribute/WriteAttribute (sync) and
ReadAttributeAsync/WriteAttributeAsync (async) reproduces the
typed values the user supplied.

* Add typed model-traversal source generator

Adds FluentBuilderGenerator that walks the design's predefined-instance tree and emits a typed sibling for every NodeManagerBuilder. Each generated wrapper exposes IntelliSense-friendly accessors for child instances, variables (IVariableBuilder<T>) and methods (sync/async OnCall) so wiring sites become builder.Boilers.Boiler__1.LCX001.Measurement.OnRead(...) instead of a stringly typed browse path. The NodeManager template now also emits a Configure(I{Manager}NodeManagerBuilder) partial alongside the existing Configure(INodeManagerBuilder); both partials run, both are optional, and the typed surface is fully AOT-safe (no dynamic, no MakeGenericType, no reflection).

* Add tests for the typed model-traversal source generator

Adds 9 snapshot tests in Tests/Opc.Ua.SourceGeneration.Core.Tests covering the FluentBuilderGenerator's opt-in flag, typed-manager-interface and proxy emission, internal-sealed visibility, lazy child resolution via Context.NamespaceUris.GetIndexOrAppend, IVariableBuilder<TValue> accessors, sync+async OnCall overloads on method wrappers, and the dual Configure(INodeManagerBuilder)/Configure(I{Manager}NodeManagerBuilder) partial wiring in the NodeManager template. Adds 2 end-to-end AOT tests in Tests/Opc.Ua.Aot.Tests that exercise typed-traversal sync read on LCX001/Measurement and typed-traversal async OnCall on Simulation/Halt through the AOT-compiled MinimalBoilerServer fixture.

* Document the typed model-traversal Configure(I{Manager}NodeManagerBuilder) partial
2026-05-15 07:52:49 +02:00

275 lines
14 KiB
C#

/* ========================================================================
* Copyright (c) 2005-2025 The OPC Foundation, Inc. All rights reserved.
*
* OPC Foundation MIT License 1.00
*
* Permission is hereby granted, free of charge, to any person
* obtaining a copy of this software and associated documentation
* files (the "Software"), to deal in the Software without
* restriction, including without limitation the rights to use,
* copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the
* Software is furnished to do so, subject to the following
* conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
* OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
* HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
* WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
* OTHER DEALINGS IN THE SOFTWARE.
*
* The complete license agreement can be found here:
* http://opcfoundation.org/License/MIT/1.00/
* ======================================================================*/
namespace Opc.Ua.SourceGeneration
{
/// <summary>
/// Templates emitted by the <see cref="NodeManagerGenerator"/>.
/// </summary>
/// <remarks>
/// All emitted code uses fully-qualified type names so the consuming
/// project only needs to reference <c>Opc.Ua.Server</c> (which itself
/// transitively brings in <c>Opc.Ua.Core</c>).
/// </remarks>
internal static class NodeManagerTemplates
{
/// <summary>
/// Top-level template for the partial <c>NodeManager</c> class.
/// </summary>
public static readonly TemplateString File = TemplateString.Parse(
$$"""
{{Tokens.CodeHeader}}
namespace {{Tokens.NamespacePrefix}}
{
/// <summary>
/// Source-generated node manager for the
/// <c>{{Tokens.NamespaceUri}}</c> namespace.
/// </summary>
/// <remarks>
/// Implement <c>partial void Configure(INodeManagerBuilder builder)</c>
/// in a sibling partial to wire per-node callbacks using the
/// fluent API in <c>Opc.Ua.Server.Fluent</c>.
/// </remarks>
[global::System.CodeDom.Compiler.GeneratedCodeAttribute("{{Tokens.Tool}}", "{{Tokens.Version}}")]
public partial class {{Tokens.NodeManagerClassName}} : global::Opc.Ua.Server.Fluent.FluentNodeManagerBase
{
private global::Opc.Ua.Server.Fluent.NodeManagerBuilder __m_builder;
/// <summary>
/// Initializes a new <see cref="{{Tokens.NodeManagerClassName}}"/>.
/// </summary>
public {{Tokens.NodeManagerClassName}}(
global::Opc.Ua.Server.IServerInternal server,
global::Opc.Ua.ApplicationConfiguration configuration)
: base(server, configuration, {{Tokens.NamespaceUri}})
{
SystemContext.NodeIdFactory = this;
}
/// <summary>
/// User extensibility hook. Implement in a sibling
/// <c>partial</c> to wire callbacks via the fluent builder.
/// </summary>
partial void Configure(global::Opc.Ua.Server.Fluent.INodeManagerBuilder builder);
/// <summary>
/// Source-generated typed counterpart of
/// <see cref="Configure(global::Opc.Ua.Server.Fluent.INodeManagerBuilder)"/>.
/// Implement in a sibling <c>partial</c> to wire callbacks via the
/// strongly-typed model-traversal surface generated for this manager.
/// </summary>
partial void Configure(I{{Tokens.NodeManagerClassName}}Builder builder);
/// <inheritdoc/>
protected override global::System.Threading.Tasks.ValueTask<global::Opc.Ua.NodeStateCollection> LoadPredefinedNodesAsync(
global::Opc.Ua.ISystemContext context,
global::System.Threading.CancellationToken cancellationToken = default)
{
return new global::System.Threading.Tasks.ValueTask<global::Opc.Ua.NodeStateCollection>(
new global::Opc.Ua.NodeStateCollection().Add{{Tokens.Namespace}}(context));
}
/// <inheritdoc/>
public override async global::System.Threading.Tasks.ValueTask CreateAddressSpaceAsync(
global::System.Collections.Generic.IDictionary<global::Opc.Ua.NodeId,
global::System.Collections.Generic.IList<global::Opc.Ua.IReference>> externalReferences,
global::System.Threading.CancellationToken cancellationToken = default)
{
await base.CreateAddressSpaceAsync(externalReferences, cancellationToken).ConfigureAwait(false);
ushort __nsIndex = Server.NamespaceUris.GetIndexOrAppend({{Tokens.NamespaceUri}});
__m_builder = new global::Opc.Ua.Server.Fluent.NodeManagerBuilder(
SystemContext,
this,
__nsIndex,
__FindRootByBrowseName,
__FindRootByNodeId,
__FindByTypeDefinitionId);
// Attach the FluentNodeManagerBase event-source registry
// to the builder so Publish(...) extensions can resolve
// it before the user's Configure partial(s) run.
AttachToBuilder(__m_builder);
Configure(__m_builder);
Configure(new {{Tokens.NodeManagerClassName}}TypedBuilder(__m_builder));
__m_builder.Seal();
foreach (global::Opc.Ua.NodeState __node in PredefinedNodes.Values)
{
__m_builder.Dispatcher.NotifyNodeAdded(SystemContext, __node);
}
}
/// <inheritdoc/>
protected override async global::System.Threading.Tasks.ValueTask AddPredefinedNodeAsync(
global::Opc.Ua.ISystemContext context,
global::Opc.Ua.NodeState node,
global::System.Threading.CancellationToken cancellationToken = default)
{
await base.AddPredefinedNodeAsync(context, node, cancellationToken).ConfigureAwait(false);
if (__m_builder is { } __b)
{
__b.Dispatcher.NotifyNodeAdded(context, node);
}
}
/// <inheritdoc/>
protected override async global::System.Threading.Tasks.ValueTask RemovePredefinedNodeAsync(
global::Opc.Ua.ISystemContext context,
global::Opc.Ua.NodeState node,
global::System.Collections.Generic.List<global::Opc.Ua.Server.LocalReference> referencesToRemove,
global::System.Threading.CancellationToken cancellationToken = default)
{
if (__m_builder is { } __b)
{
__b.Dispatcher.NotifyNodeRemoved(context, node);
}
await base.RemovePredefinedNodeAsync(context, node, referencesToRemove, cancellationToken).ConfigureAwait(false);
}
/// <inheritdoc/>
protected override void OnMonitoredItemCreated(
global::Opc.Ua.Server.ServerSystemContext context,
global::Opc.Ua.Server.NodeHandle handle,
global::Opc.Ua.Server.ISampledDataChangeMonitoredItem monitoredItem)
{
base.OnMonitoredItemCreated(context, handle, monitoredItem);
if (__m_builder is { } __b && handle?.Node is { } __node)
{
__b.Dispatcher.NotifyMonitoredItemCreated(context, __node, monitoredItem);
}
}
private global::Opc.Ua.NodeState __FindRootByBrowseName(global::Opc.Ua.QualifiedName browseName)
{
if (browseName == null)
{
return null;
}
foreach (global::Opc.Ua.NodeState __node in PredefinedNodes.Values)
{
if (__node.BrowseName == browseName)
{
return __node;
}
}
return null;
}
private global::Opc.Ua.NodeState __FindRootByNodeId(global::Opc.Ua.NodeId nodeId)
{
if (nodeId.IsNull)
{
return null;
}
return PredefinedNodes.TryGetValue(nodeId, out global::Opc.Ua.NodeState __node) ? __node : null;
}
private global::System.Collections.Generic.IReadOnlyList<global::Opc.Ua.NodeState> __FindByTypeDefinitionId(
global::Opc.Ua.NodeId typeDefinitionId)
{
if (typeDefinitionId == null || typeDefinitionId.IsNull)
{
return global::System.Array.Empty<global::Opc.Ua.NodeState>();
}
var __matches = new global::System.Collections.Generic.List<global::Opc.Ua.NodeState>();
var __queue = new global::System.Collections.Generic.Queue<global::Opc.Ua.NodeState>();
var __seen = new global::System.Collections.Generic.HashSet<global::Opc.Ua.NodeState>();
var __scratch = new global::System.Collections.Generic.List<global::Opc.Ua.BaseInstanceState>();
foreach (global::Opc.Ua.NodeState __root in PredefinedNodes.Values)
{
if (__root != null && __seen.Add(__root))
{
__queue.Enqueue(__root);
}
}
while (__queue.Count > 0)
{
global::Opc.Ua.NodeState __current = __queue.Dequeue();
if (__current is global::Opc.Ua.BaseInstanceState __instance &&
__instance.TypeDefinitionId == typeDefinitionId)
{
__matches.Add(__current);
}
__scratch.Clear();
__current.GetChildren(SystemContext, __scratch);
for (int __i = 0; __i < __scratch.Count; __i++)
{
global::Opc.Ua.BaseInstanceState __child = __scratch[__i];
if (__child != null && __seen.Add(__child))
{
__queue.Enqueue(__child);
}
}
}
return __matches;
}
}
}
""");
/// <summary>
/// Top-level template for the generated factory class.
/// </summary>
public static readonly TemplateString FactoryFile = TemplateString.Parse(
$$"""
{{Tokens.CodeHeader}}
namespace {{Tokens.NamespacePrefix}}
{
/// <summary>
/// Source-generated <see cref="global::Opc.Ua.Server.INodeManagerFactory"/>
/// for the <c>{{Tokens.NamespaceUri}}</c> namespace.
/// </summary>
[global::System.CodeDom.Compiler.GeneratedCodeAttribute("{{Tokens.Tool}}", "{{Tokens.Version}}")]
public partial class {{Tokens.NodeManagerFactoryClassName}} : global::Opc.Ua.Server.IAsyncNodeManagerFactory
{
/// <inheritdoc/>
public virtual global::Opc.Ua.ArrayOf<string> NamespacesUris
=> new global::Opc.Ua.ArrayOf<string>(new string[] { {{Tokens.NamespaceUri}} });
/// <inheritdoc/>
public virtual global::System.Threading.Tasks.ValueTask<global::Opc.Ua.Server.IAsyncNodeManager> CreateAsync(
global::Opc.Ua.Server.IServerInternal server,
global::Opc.Ua.ApplicationConfiguration configuration,
global::System.Threading.CancellationToken cancellationToken = default)
{
return new global::System.Threading.Tasks.ValueTask<global::Opc.Ua.Server.IAsyncNodeManager>(
new {{Tokens.NodeManagerClassName}}(server, configuration));
}
}
}
""");
}
}