Files
Wolfgang Colsman 716858aa7d Source generator: option to emit exactly the nodes of a NodeSet2 (#4797)
# Description

For a NodeSet2 input the generator built the predefined nodes from the
merged instance hierarchy. A subtype therefore got a copy of every
Mandatory InstanceDeclaration of its supertypes as a new child node,
with
a NodeId the NodeSet2 never assigned (the supertype's numeric identifier
in the subtype's namespace, or a string identifier derived from the path
when the supertype comes from a referenced assembly). A DeviceType
subtype got eight such children from DI's DeviceType, so the address
space
a server loads from the generated code differs from the NodeSet2 it was
generated from.

ModelSourceGeneratorEmitNodeSetNodesOnly (GeneratorOptions
.EmitNodeSetNodesOnly), off by default, makes the predefined nodes of a
NodeSet2 input exactly the nodes the NodeSet2 declares: a child the
generator derives from a supertype or type definition is not added to a
predefined node. The typed state classes are unchanged and still reach
inherited members through the state classes of their supertypes, and the
CreateInstanceOf* factories still create every Mandatory child of the
type. ModelDesign inputs are not affected. IModelDesign.IsSourceNodeSet
tells the generator whether the target model was read from a NodeSet2.

A test in Opc.Ua.Di.Tests generates a DI-style NodeSet2 with the option
on, exports the generated predefined nodes as a NodeSet2 and compares it
with the input, node for node and reference for reference.

## Related Issues

None.

## Checklist

- [x] I have signed the
[CLA](https://opcfoundation.org/license/cla/ContributorLicenseAgreementv1.0.pdf)
and read the
[CONTRIBUTING](https://github.com/OPCFoundation/UA-.NETStandard/blob/master/CONTRIBUTING.md)
doc.
- [x] I have added tests that prove my fix is effective or that my
feature works and increased code coverage.
- [x] I have added all necessary documentation.
- [x] I have verified that my changes do not introduce (new) build or
analyzer warnings.
- [x] I ran **all** tests locally using the **UA.slnx** solution against
at least .net **framework** and .net **10**, and all passed.
- [x] I fixed **all** failing and flaky tests in the CI pipelines and
**all** CodeQL warnings.
- [ ] I have addressed **all** PR feedback received.

---------

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Marc Schier <marcschier@users.noreply.github.com>
2026-10-16 12:38:19 +02:00
..

Source generation for OPC UA .NET Standard Library

This project uses C# source generators to create parts of the OPC UA .NET Standard Library at compile time. Source generators are a powerful feature in C# that allow developers to generate additional source code during the compilation process, enabling more efficient and maintainable codebases.

The OPC UA source generator is designed to automate working with the OPC UA core library in that it supports several ways to generate code at design time.

  1. Generate all required classes for servers and clients from a given OPC UA information model. The model can be provided in various formats, such as NodeSet2 XML files or Model design xml file.

  2. DataType Generators: These generators create classes and structures that represent OPC UA data types, ensuring that the generated code adheres to the OPC UA specifications.

Generate code from OPC UA Information Models

To generate code from OPC UA information models, you need to include the source generator in your project. This can be done by adding the appropriate NuGet package to your project file.

<PackageReference Include="Opc.Ua.SourceGeneration" Version="x.y.z" />

Once the package is added, you can configure the source generator to process your OPC UA information models. You can do this by adding an ItemGroup to your project file that specifies the model files to be processed.

<ItemGroup>
  <AdditionalFiles Include="Path\To\Your\ModelFile.xml" />
</ItemGroup>

The file to include must be part of your project and have its Build Action set to AdditionalFiles. When you build your project, the source generator will process the specified model files and generate the corresponding C# classes and structures.

Both ModelDesign and NodeSet2 XML files are supported, and they can be combined in one project — a node in one input may reference a type defined in another (for example, instances authored as a ModelDesign whose TypeDefinition points at object types authored as a NodeSet2). Every input is supplied to the others as a resolution dependency, so such cross-model references resolve automatically.

All four NodeId identifier types defined in OPC 10000-3 5.2.2 are supported: Numeric, String, Guid and Opaque. A ModelDesign carries them in the NumericId, StringId, GuidId and OpaqueId attributes of a node. Because System.Guid and Opc.Ua.ByteString values cannot be C# constants, the generated identifier fields for Guid and Opaque nodes are emitted as static readonly instead of const.

An .xml AdditionalFiles item whose root element is neither a ModelDesign (http://opcfoundation.org/UA/ModelDesign.xsd) nor a UANodeSet (http://opcfoundation.org/UA/2011/03/UANodeSet.xsd) is not a model input and is skipped, so XML files meant for other analyzers or tools can share the AdditionalFiles item group.

Per-file behaviour is controlled with AdditionalFiles metadata:

Metadata Description
ModelSourceGeneratorIgnore true generates no code for the input. A NodeSet2 or ModelDesign input stays available to resolve references of the other inputs (use it for a model a referenced assembly already provides); an ignored WoT input is dropped entirely (see below).
ModelSourceGeneratorModelUri NodeSet2/WoT inputs only. The model (namespace) URI of the input. Required when it cannot be inferred, and used to match the input to a namespace.
ModelSourceGeneratorName NodeSet2/WoT inputs only. Overrides the generated Namespaces class identifier for the model.
ModelSourceGeneratorPrefix NodeSet2/WoT inputs only. Overrides the C# namespace / prefix under which the model's types are generated. For a NodeSet2 input this defaults to a value derived from the model URI — set it explicitly to choose the generated C# namespace. A Prefix declared inside a referencing ModelDesign's <opc:Namespaces> does not rename the referenced model's generated types.

A ModelDesign input declares its model URI, prefix and version itself (TargetNamespace and <opc:Namespaces>), so the URI/name/prefix/version metadata has no effect on it.

The generated namespace also exposes ModelVersions.Target, which is the target model's declared version. Use it when a host needs to publish the companion specification version without maintaining a second literal.

<ItemGroup>
  <AdditionalFiles Include="Model\EquipmentTypes.NodeSet2.xml">
    <ModelSourceGeneratorModelUri>http://example.org/EquipmentTypes</ModelSourceGeneratorModelUri>
    <ModelSourceGeneratorPrefix>Example.EquipmentTypes</ModelSourceGeneratorPrefix>
  </AdditionalFiles>
  <!-- A ModelDesign declares its own model URI (TargetNamespace). -->
  <AdditionalFiles Include="Model\Instances.ModelDesign.xml" />
</ItemGroup>

See Source-Generated NodeManagers for the end-to-end pattern.

Generate code from WoT Thing Models / Thing Descriptions

An AdditionalFiles input can also be a W3C Web of Things (WoT) Thing Model or Thing Description. It is converted in memory to a NodeSet2 document (using the Opc.Ua.Wot converter) before the normal NodeSet2/ModelDesign pipeline above runs — the rest of the generator cannot tell the difference. No file or network I/O beyond the supplied AdditionalFiles content is performed, and externally referenced TD/TM documents are not resolved.

The following extensions are always recognized as WoT model input:

Extension Content
.tm.json Thing Model, plain JSON
.td.json Thing Description, plain JSON
.tm.jsonld Thing Model, JSON-LD
.td.jsonld Thing Description, JSON-LD

A plain .jsonld file is not treated as a WoT input by default — arbitrary JSON-LD is not consumed as a model. Opt a specific file in with the ModelSourceGeneratorWot metadata:

<ItemGroup>
  <AdditionalFiles Include="Model\Sensor.jsonld">
    <ModelSourceGeneratorWot>true</ModelSourceGeneratorWot>
  </AdditionalFiles>
</ItemGroup>

The same per-file model metadata described above (ModelSourceGeneratorModelUri, ModelSourceGeneratorName, ModelSourceGeneratorPrefix, and ModelSourceGeneratorVersion) is preserved after a WoT document is wrapped as an in-memory NodeSet2 file. ModelSourceGeneratorIgnore=true is applied earlier: the WoT file is excluded before its contents are read or converted, so it emits no WoT diagnostics or sources and does not participate in dependency or synthesized-path collision resolution.

A malformed or unsupported WoT document never crashes the generator. Instead it is reported through one of these diagnostics, and the affected input is excluded from generation while every other input continues to be processed:

Diagnostic Meaning
MODELGEN030 The document could not even be parsed as JSON, or exceeded a configured resource bound.
MODELGEN031 The converter reported an error (a resource bound, a missing preservation envelope/native mapping, a dependency/resolver failure, or another conversion error). The Opc.Ua.Wot.WotDiagnosticCode is embedded in the message.
MODELGEN032 The converter reported a warning (for example an unresolved dependency reference); generation continues with the best-effort result.
MODELGEN033 The converter reported an informational note (for example a deterministically generated NodeId).
MODELGEN034 The in-memory NodeSet2 path synthesized for a WoT input (for example Foo.tm.json → Foo.NodeSet2.xml) collides with an explicitly supplied .NodeSet2.xml or with another WoT input's synthesized path. Rename one of the inputs, or set distinct ModelSourceGeneratorName/ModelSourceGeneratorPrefix metadata.

Using DataType Generators

The OPC UA source generator includes several data type generators that can be used to create classes by annotating your existing code with specific attributes. Here are some of the available data type generators:

DataTypeAttribute

Generates IEncodeable implementation for your class. Simply annotate your class with the [DataType] attribute to generate the necessary serialization and deserialization code and other required implementation. The [DataContract} and [DataMember] attributes from System.Runtime.Serialization can be used to control the serialization behavior.

[DataType(TypeId = "nsu=http://your-namespace-uri/;i=1000")]
public partial class MyCustomDataType
{
    [DataMember(Order = 1)]
    public int Id { get; set; }
    [DataMember(Order = 2)]
    public string Name { get; set; }
}

IMPORTANT: your class must be a partial class with a default constructor for the source generator to work. Do not implement the IEncodeable interface yourself, as this will conflict with the generated code.

The source generator generates the necessary implementation for the IEncodeable interface, including methods for encoding and decoding the data type. If the type extends another type this type also must be annotated with the [DataType] attribute to be included in the source generation. Only the properties of the annotated type will be part of the generated implementation.

If the structure is abstract the type will be generated as abstract as well.

The following functionality will be implemented over time

  • Record types and structs
  • Support for generating structures with optional fields, option set and union types
  • Support to understand nullable annotation for optional fields
  • Support for generating collection types (arrays, lists, etc.)
  • Support for generating complex types with nested data types. If the type references other data types, these must be built in or implement IEncodeable to be included.

ObjectType client proxies

In addition to data type generation, the source generator emits a strongly typed asynchronous client proxy for every ObjectType defined in the processed model. Each emitted class is named {TypeName}Client and exposes the OPC UA methods declared by that ObjectType as await-able C# methods that internally translate to a CallRequest over an ISessionClient.

Inheritance and shadowing

Generated proxies form an inheritance chain that mirrors the OPC UA type hierarchy:

  • If an ObjectType derives from another ObjectType, its proxy derives from that parent's proxy — even when the parent lives in a different assembly (e.g. DirectoryTypeClient : Opc.Ua.FolderTypeClient).
  • The roots of the chain (types that derive directly from BaseObjectType) ultimately inherit from the hand-authored abstract base Opc.Ua.ObjectTypeClient, which provides the Session, ObjectId, Telemetry properties and the CallMethodAsync helper used by every generated wrapper.
  • When an ObjectType declares a method with the same browse name as an ancestor method but a different signature, the generated wrapper is emitted with the C# new modifier so the derived signature shadows the inherited one.

The standard UA stack ships with proxies for every ObjectType in the core NodeSet (e.g. FileTypeClient, TrustListTypeClient, ServerConfigurationTypeClient, …) emitted into the Opc.Ua namespace, so downstream models can simply derive from them.

For an ergonomic, System.IO-style async client built on top of the generated FileTypeClient / FileDirectoryTypeClient / TemporaryFileTransferTypeClient proxies, see docs/FileSystemClient.md.

Output namespace

By default each model emits its proxies into its own namespace — the C# prefix of the model's target namespace. For example:

Model Proxy namespace
Standard UA Opc.Ua
GDS Opc.Ua.Gds
Custom NodeSet matches the model's target namespace prefix

To redirect proxy emission to a different namespace, set the ModelSourceGeneratorObjectTypeProxyNamespace MSBuild property.

MSBuild properties

The proxy generator is controlled by the following MSBuild properties on the consuming project:

Property Description
ModelSourceGeneratorOmitObjectTypeProxies Set to true to suppress emission of *TypeClient proxies. By default proxies are emitted for every ObjectType in the model alongside the standard model output (constants, NodeIds, NodeStates, DataTypes, schemas).
ModelSourceGeneratorObjectTypeProxyNamespace Optional. Overrides the C# namespace used for the emitted proxy classes. Defaults to the model's own namespace.
ModelSourceGeneratorUseTypeDefinitionModellingRules Set to true to make instance code generation use the modelling rules from the referenced type definition unconditionally, rather than the overridden rules on the instance. Off by default; enabled by default for stack generation. Note: regardless of this setting, the generator always enforces OPC UA modelling rule promotion semantics — instances may only promote the type definition's rule (Optional→Mandatory, OptionalPlaceholder→Mandatory|MandatoryPlaceholder, MandatoryPlaceholder→Mandatory); demotions are silently rejected.
ModelSourceGeneratorEmitNodeSetNodesOnly Set to true to make the predefined nodes generated for a NodeSet2 input exactly the nodes of the NodeSet2. A subtype then does not get copies of the Mandatory InstanceDeclarations of its supertypes (with NodeIds the NodeSet2 never assigned), and an instance does not get children its NodeSet2 does not declare, or references to them. Typed state classes and the CreateInstanceOf* factories are not affected: an instance created at run time still gets every Mandatory descendant of its type. Off by default; ModelDesign inputs are not affected.

Example (suppress proxy emission for a model that does not need them):

<PropertyGroup>
  <ModelSourceGeneratorOmitObjectTypeProxies>true</ModelSourceGeneratorOmitObjectTypeProxies>
</PropertyGroup>

Optional client member accessors

Client variable accessors and placeholder enumerators are off by default. A client library can opt in over a referenced model assembly that already supplies the matching model URI, C# prefix and generated ObjectType proxies:

<PropertyGroup>
  <ModelSourceGeneratorClientAccessorsOnly>true</ModelSourceGeneratorClientAccessorsOnly>
  <ModelSourceGeneratorClientAccessorNamespace>Example.Client</ModelSourceGeneratorClientAccessorNamespace>
  <ModelSourceGeneratorClientAccessorClassName>ExampleClientMembers</ModelSourceGeneratorClientAccessorClassName>
</PropertyGroup>

Reference Opc.Ua.Client, the model assembly and the source generator, and supply the same NodeSet2 or ModelDesign input as an AdditionalFile, with its original model URI and prefix metadata. Include any required identifier sidecars. Import OPCFoundation.Opc.Ua.SourceGeneration.props as for normal model generation.

Only client extensions are emitted: no duplicate states, data types, proxies, schemas, or model-dependency metadata. The existing model and dependency readers resolve types and codecs; the checked-in XML remains the source of truth. This mode cannot be combined with fluent-accessor-only or NodeManager generation. A missing or differently prefixed model producer is a generation error.

Property Default Purpose
ModelSourceGeneratorClientAccessorsOnly false Emit client extensions over a referenced model.
ModelSourceGeneratorClientAccessorNamespace Model prefix plus .Client Namespace for the extensions.
ModelSourceGeneratorClientAccessorClassName Model name plus ClientMembers Partial extension class name.

Each fixed-name declared variable gets a <Name>Variable() extension returning ClientVariable<T>, with exact generated/native codecs and the declared write permission. Reads preserve the original DataValue, quality and timestamps in ClientRead<T>; writes still require server authorization. Observations use the existing streaming subscription. Repeated Object placeholders get typed Enumerate<Name>Async() extensions, including conforming vendor subtypes. The helpers use the proxy's existing ISession or ManagedSession, not a second connection owner. Unavailable optional variables are not fabricated as defaults.

Implementation details

The source generator is implemented using the Roslyn API,which provides a rich set of tools for analyzing and generating C# code. The generator finds all marker attributes such as [DataType] in your code and builds the model design from it. It then processes the model design to generate the necessary C# code. The annotated types are grouped by namespace. Each namespace will result in a separate generated file. A namespace can be annotated with a namespace URI which