mirror of
https://github.com/OPCFoundation/UA-.NETStandard.git
synced 2026-10-23 02:00:00 +08:00
333de8305b
# Description Regression fence for the NodeSet2 import + code-generation surface. This adds a single, purpose-authored "kitchen-sink" NodeSet2 (`Opc.Ua.CoverageTest.NodeSet2.xml`) plus a small dependent secondary model that deliberately flip a broad set of the knobs defined by `UANodeSet.xsd` (every node class, every `Definition` shape, custom reference types, all five modelling rules, scalar/array/matrix values, a deep branching instance tree, and a wide set of reference relations). The same bytes are then loaded into **real** servers (`ServerFixture<T>` + `ReferenceServer`) through three independent pipelines and validated node-by-node, attribute-by-attribute, reference-by-reference: 1. **Source-generation, hand-written manager** - the XML is consumed at compile time via `<AdditionalFiles ModelSourceGeneratorPrefix="Opc.Ua.CoverageTest">`; the generated `AddOpcUaCoverageTest(context)` composes the predefined nodes inside a `CustomNodeManager2`, so every node materialises as its generated `NodeState` subclass. 2. **Runtime import** - the identical XML is imported at startup through `RuntimeNodeSetNodeManagerFactory` / `AddRuntimeNodeSet`. 3. **Source-generation, generated fluent manager** - a `[NodeManager]`-attributed partial makes the generator emit the whole `FluentNodeManagerBase` manager, factory and typed fluent-builder surface. A shared, data-driven `[TestCaseSource]` battery runs the identical assertions against all three servers, and a cross-pipeline equivalence fixture asserts the three address spaces agree. A dependent **second namespace** (`.../Secondary/`) exercises cross-namespace `HasTypeDefinition`, `HasSubtype` and `HasComponent` references in every pipeline. Authoring the model surfaced two latent source-generator bugs, both fixed here: - `NodeSetToModelDesign` crashed on a top-level `<ServerUris>` table (`StringTable.Append(null)` for the reserved local-server slot). Added a null guard plus a focused regression test (`NodesetServerUrisTests`). - `FluentBuilderGenerator` emitted colliding typed-builder accessors for any model with more than one structure encoding, because `DataTypeEncoding` objects hang off their `DataType` and surfaced as parent-less "root" instances sharing the reserved `DefaultBinary`/`DefaultXml`/`DefaultJson` symbolic names. They are encoding metadata, never fluent-wired, so they are now excluded from the typed builder. A few edges are intentionally not asserted for cross-pipeline equivalence because the pipelines legitimately differ (documented in `CoverageNodeSet/README.md`): type-dictionary / `DataTypeDescription` nodes (the generator regenerates schema rather than emitting them), a handful of ambiguous duplicate-hierarchical / View-`Organizes` edges, and runtime structure stand-ins (structure definitions are validated via the `DataTypeDefinition` round-trip instead). ## Related Issues - Fixes #4251 ## Checklist _Put an `x` in the boxes that apply. You can complete these step by step after opening the PR._ - [ ] 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. - [ ] 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 App <223556219+Copilot@users.noreply.github.com> Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: romanett <7413710+romanett@users.noreply.github.com>
677 lines
29 KiB
C#
677 lines
29 KiB
C#
/* ========================================================================
|
|
* Copyright (c) 2005-2026 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/
|
|
* ======================================================================*/
|
|
|
|
using System;
|
|
using System.Collections.Generic;
|
|
using System.IO;
|
|
using System.Linq;
|
|
using System.Threading.Tasks;
|
|
using NUnit.Framework;
|
|
using Opc.Ua.Server.TestFramework;
|
|
using Opc.Ua.Tests;
|
|
|
|
namespace Opc.Ua.Server.Tests.CoverageNodeSet
|
|
{
|
|
/// <summary>
|
|
/// The shared, data-driven assertion battery that is executed identically
|
|
/// against both coverage pipelines (see
|
|
/// <see cref="CoverageTestSourceGenAssertionsTests"/> and
|
|
/// <see cref="CoverageTestRuntimeAssertionsTests"/>). Every attribute or
|
|
/// reference dropped by either pipeline fails a test here.
|
|
/// </summary>
|
|
/// <typeparam name="TServer">
|
|
/// The concrete <see cref="ReferenceServer"/> host under test.
|
|
/// </typeparam>
|
|
public abstract class CoverageNodeSetAssertionsBase<TServer>
|
|
where TServer : global::Quickstarts.ReferenceServer.ReferenceServer
|
|
{
|
|
private ServerFixture<TServer> m_serverFixture;
|
|
private TServer m_server;
|
|
private string m_pkiRoot;
|
|
private ushort m_ns;
|
|
|
|
/// <summary>
|
|
/// Creates the concrete server host from a telemetry context.
|
|
/// </summary>
|
|
protected abstract TServer CreateServer(ITelemetryContext telemetry);
|
|
|
|
/// <summary>
|
|
/// Whether this pipeline stamps the model version and publication date
|
|
/// onto the published <c>NamespaceMetadata</c> Object. The
|
|
/// source-generated pipelines carry a <c>ModelDependency</c> assembly
|
|
/// attribute that the <c>NamespaceMetadataPublisher</c> reads back to
|
|
/// populate the metadata; the runtime importer materialises the address
|
|
/// space from raw bytes and surfaces no such attribute, so it publishes
|
|
/// the metadata Object without the model version.
|
|
/// </summary>
|
|
protected virtual bool PublishesModelVersion => true;
|
|
|
|
/// <summary>
|
|
/// Starts the concrete coverage server host.
|
|
/// </summary>
|
|
[OneTimeSetUp]
|
|
public async Task OneTimeSetUpAsync()
|
|
{
|
|
m_pkiRoot = Path.Combine(
|
|
TestContext.CurrentContext.WorkDirectory,
|
|
Guid.NewGuid().ToString("N").Substring(0, 8));
|
|
|
|
m_serverFixture = new ServerFixture<TServer>(CreateServer)
|
|
{
|
|
UriScheme = Utils.UriSchemeOpcTcp,
|
|
SecurityNone = true,
|
|
AutoAccept = true
|
|
};
|
|
|
|
m_server = await m_serverFixture.StartAsync(m_pkiRoot).ConfigureAwait(false);
|
|
int namespaceIndex = m_server.CurrentInstance.NamespaceUris
|
|
.GetIndex(CoverageTestCatalogue.NamespaceUri);
|
|
Assert.That(namespaceIndex, Is.GreaterThanOrEqualTo(0),
|
|
"The coverage model namespace should be registered.");
|
|
m_ns = (ushort)namespaceIndex;
|
|
}
|
|
|
|
/// <summary>
|
|
/// Stops the server and cleans up PKI artefacts.
|
|
/// </summary>
|
|
[OneTimeTearDown]
|
|
public async Task OneTimeTearDownAsync()
|
|
{
|
|
m_server?.Dispose();
|
|
|
|
if (m_serverFixture != null)
|
|
{
|
|
await m_serverFixture.StopAsync().ConfigureAwait(false);
|
|
}
|
|
|
|
if (!string.IsNullOrEmpty(m_pkiRoot) && Directory.Exists(m_pkiRoot))
|
|
{
|
|
Directory.Delete(m_pkiRoot, recursive: true);
|
|
}
|
|
}
|
|
|
|
/// <summary>
|
|
/// The model namespace must be registered after startup, and its
|
|
/// version/publication metadata must be discoverable through the
|
|
/// <c>NamespaceMetadata</c> Object published under
|
|
/// <c>Server/Namespaces</c>.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(100)]
|
|
public async Task ModelNamespaceRegisteredAsync()
|
|
{
|
|
Assert.That(m_ns, Is.GreaterThan(0),
|
|
"The coverage model namespace should be registered.");
|
|
|
|
IConfigurationNodeManager configuration =
|
|
m_server.CurrentInstance.ConfigurationNodeManager;
|
|
|
|
NamespaceMetadataState primary = await configuration
|
|
.GetNamespaceMetadataStateAsync(CoverageTestCatalogue.NamespaceUri)
|
|
.ConfigureAwait(false);
|
|
NamespaceMetadataState secondary = await configuration
|
|
.GetNamespaceMetadataStateAsync(CoverageTestCatalogue.SecondaryNamespaceUri)
|
|
.ConfigureAwait(false);
|
|
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That(primary, Is.Not.Null,
|
|
"A NamespaceMetadata Object should describe the primary model namespace.");
|
|
Assert.That(secondary, Is.Not.Null,
|
|
"A NamespaceMetadata Object should describe the secondary model namespace.");
|
|
Assert.That(primary.NamespaceUri?.Value, Is.EqualTo(CoverageTestCatalogue.NamespaceUri));
|
|
Assert.That(secondary.NamespaceUri?.Value,
|
|
Is.EqualTo(CoverageTestCatalogue.SecondaryNamespaceUri));
|
|
});
|
|
|
|
if (PublishesModelVersion)
|
|
{
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That(primary.NamespaceVersion?.Value, Is.EqualTo("1.2.3"),
|
|
"The published NamespaceVersion should match the model's Version attribute.");
|
|
Assert.That(
|
|
primary.NamespacePublicationDate?.Value.ToDateTime(),
|
|
Is.EqualTo(new DateTime(2024, 6, 1, 0, 0, 0, DateTimeKind.Utc)),
|
|
"The published NamespacePublicationDate should match the model's PublicationDate.");
|
|
});
|
|
}
|
|
}
|
|
|
|
/// <summary>
|
|
/// Every authored node resolves in the address space with the correct
|
|
/// BrowseName and NodeClass.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(200)]
|
|
[TestCaseSource(typeof(CoverageTestCatalogue), nameof(CoverageTestCatalogue.Nodes))]
|
|
public async Task NodePresentWithBrowseNameAndClassAsync(CoverageTestCatalogue.ExpectedNode expected)
|
|
{
|
|
NodeState node = await FindNodeAsync(expected.Id).ConfigureAwait(false);
|
|
|
|
Assert.That(node, Is.Not.Null,
|
|
$"Node ns={m_ns};i={expected.Id} ({expected.BrowseName}) should be present.");
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That(node.BrowseName.Name, Is.EqualTo(expected.BrowseName));
|
|
Assert.That(node.NodeClass, Is.EqualTo(expected.NodeClass));
|
|
});
|
|
}
|
|
|
|
/// <summary>
|
|
/// Every authored node materialises as the expected
|
|
/// <see cref="NodeState"/> family for its NodeClass.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(210)]
|
|
[TestCaseSource(typeof(CoverageTestCatalogue), nameof(CoverageTestCatalogue.Nodes))]
|
|
public async Task NodeMaterialisesAsExpectedStateFamilyAsync(CoverageTestCatalogue.ExpectedNode expected)
|
|
{
|
|
NodeState node = await FindNodeAsync(expected.Id).ConfigureAwait(false);
|
|
Assert.That(node, Is.Not.Null);
|
|
Assert.That(node, Is.AssignableTo(ExpectedStateFamily(expected.NodeClass)),
|
|
$"Node {expected.BrowseName} should materialise as {ExpectedStateFamily(expected.NodeClass).Name}.");
|
|
}
|
|
|
|
/// <summary>
|
|
/// The authored node count in the model namespace matches the catalogue
|
|
/// exactly (no extra, no missing).
|
|
/// </summary>
|
|
[Test]
|
|
[Order(220)]
|
|
public async Task OwnedNodeCountMatchesCatalogueAsync()
|
|
{
|
|
int found = 0;
|
|
foreach (CoverageTestCatalogue.ExpectedNode expected in CoverageTestCatalogue.Nodes)
|
|
{
|
|
if (await FindNodeAsync(expected.Id).ConfigureAwait(false) != null)
|
|
{
|
|
found++;
|
|
}
|
|
}
|
|
|
|
Assert.That(found, Is.EqualTo(CoverageTestCatalogue.Nodes.Count),
|
|
"All catalogue nodes must be present.");
|
|
}
|
|
|
|
/// <summary>
|
|
/// Every reference relation in the catalogue exists on the source node
|
|
/// with the correct type, direction and target.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(300)]
|
|
[TestCaseSource(typeof(CoverageTestCatalogue), nameof(CoverageTestCatalogue.References))]
|
|
public async Task ReferenceExistsAsync(CoverageTestCatalogue.ExpectedReference expected)
|
|
{
|
|
NodeState source = await FindNodeAsync(expected.Source).ConfigureAwait(false);
|
|
Assert.That(source, Is.Not.Null,
|
|
$"Reference source ns={m_ns};i={expected.Source} should exist.");
|
|
|
|
NodeId referenceTypeId = expected.ReferenceType is >= 5001 and <= 5004
|
|
? new NodeId(expected.ReferenceType, m_ns)
|
|
: new NodeId(expected.ReferenceType, 0);
|
|
NodeId targetId = expected.TargetIsOwned
|
|
? new NodeId(expected.Target, m_ns)
|
|
: new NodeId(expected.Target, 0);
|
|
|
|
bool exists = ReferenceExists(
|
|
source,
|
|
referenceTypeId,
|
|
isInverse: !expected.IsForward,
|
|
targetId: targetId);
|
|
|
|
Assert.That(exists, Is.True,
|
|
$"{expected.Source} should have {(expected.IsForward ? "forward" : "inverse")} " +
|
|
$"reference {referenceTypeId} to {targetId}.");
|
|
}
|
|
|
|
/// <summary>
|
|
/// The root instance carries its non-default common-node attributes.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(400)]
|
|
public async Task RootAttributesRoundTripAsync()
|
|
{
|
|
NodeState root = await FindNodeAsync(5400).ConfigureAwait(false);
|
|
Assert.That(root, Is.Not.Null);
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That((uint)root.WriteMask, Is.EqualTo(2097151u));
|
|
Assert.That((uint)root.UserWriteMask, Is.EqualTo(2097151u));
|
|
});
|
|
}
|
|
|
|
/// <summary>
|
|
/// The boolean value variable carries its non-default variable
|
|
/// attributes and multi-locale DisplayName/Description.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(410)]
|
|
public async Task BooleanValueAttributesRoundTripAsync()
|
|
{
|
|
var v = (BaseVariableState)await FindNodeAsync(5420).ConfigureAwait(false);
|
|
Assert.That(v, Is.Not.Null);
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That(v.AccessLevel, Is.EqualTo((byte)3));
|
|
Assert.That(v.UserAccessLevel, Is.EqualTo((byte)3));
|
|
Assert.That(v.MinimumSamplingInterval, Is.EqualTo(100.0));
|
|
Assert.That(v.Historizing, Is.True);
|
|
Assert.That(v.DisplayName.Text, Is.EqualTo("BooleanValue"));
|
|
});
|
|
}
|
|
|
|
/// <summary>
|
|
/// Reference-type attributes (Symmetric, InverseName, IsAbstract)
|
|
/// round-trip on the custom reference types.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(420)]
|
|
public async Task ReferenceTypeAttributesRoundTripAsync()
|
|
{
|
|
var hierarchical = (ReferenceTypeState)await FindNodeAsync(5001).ConfigureAwait(false);
|
|
var symmetric = (ReferenceTypeState)await FindNodeAsync(5002).ConfigureAwait(false);
|
|
var abstractRef = (ReferenceTypeState)await FindNodeAsync(5003).ConfigureAwait(false);
|
|
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That(hierarchical.Symmetric, Is.False);
|
|
Assert.That(hierarchical.InverseName.Text, Is.EqualTo("IsCoverageChildOf"));
|
|
Assert.That(symmetric.Symmetric, Is.True);
|
|
Assert.That(abstractRef.IsAbstract, Is.True);
|
|
});
|
|
}
|
|
|
|
/// <summary>
|
|
/// The view carries ContainsNoLoops and a non-zero EventNotifier.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(430)]
|
|
public async Task ViewAttributesRoundTripAsync()
|
|
{
|
|
var view = (ViewState)await FindNodeAsync(5460).ConfigureAwait(false);
|
|
Assert.That(view, Is.Not.Null);
|
|
Assert.That(view.ContainsNoLoops, Is.True);
|
|
}
|
|
|
|
/// <summary>
|
|
/// The event-source object carries a non-zero EventNotifier bitmask.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(440)]
|
|
public async Task EventSourceEventNotifierRoundTripAsync()
|
|
{
|
|
var obj = (BaseObjectState)await FindNodeAsync(5410).ConfigureAwait(false);
|
|
Assert.That(obj, Is.Not.Null);
|
|
Assert.That(obj.EventNotifier, Is.EqualTo((byte)1));
|
|
}
|
|
|
|
/// <summary>
|
|
/// The locked method is not executable.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(450)]
|
|
public async Task LockedMethodNotExecutableAsync()
|
|
{
|
|
var method = (MethodState)await FindNodeAsync(5451).ConfigureAwait(false);
|
|
Assert.That(method, Is.Not.Null);
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That(method.Executable, Is.False);
|
|
Assert.That(method.UserExecutable, Is.False);
|
|
});
|
|
}
|
|
|
|
/// <summary>
|
|
/// The data-type definitions round-trip to the expected shapes.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(460)]
|
|
public async Task DataTypeDefinitionsRoundTripAsync()
|
|
{
|
|
var enumeration = (DataTypeState)await FindNodeAsync(5100).ConfigureAwait(false);
|
|
var structure = (DataTypeState)await FindNodeAsync(5130).ConfigureAwait(false);
|
|
var union = (DataTypeState)await FindNodeAsync(5150).ConfigureAwait(false);
|
|
var optionSet = (DataTypeState)await FindNodeAsync(5110).ConfigureAwait(false);
|
|
var abstractType = (DataTypeState)await FindNodeAsync(5120).ConfigureAwait(false);
|
|
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That(enumeration.DataTypeDefinition.TryGetValue<EnumDefinition>(out _), Is.True);
|
|
Assert.That(structure.DataTypeDefinition.TryGetValue<StructureDefinition>(out _), Is.True);
|
|
Assert.That(optionSet.DataTypeDefinition.TryGetValue<EnumDefinition>(out _), Is.True);
|
|
Assert.That(abstractType.IsAbstract, Is.True);
|
|
|
|
Assert.That(union.DataTypeDefinition.TryGetValue<StructureDefinition>(out StructureDefinition unionDef), Is.True);
|
|
Assert.That(unionDef.StructureType, Is.EqualTo(StructureType.Union));
|
|
});
|
|
}
|
|
|
|
/// <summary>
|
|
/// The scalar, array and matrix variable value shapes round-trip.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(470)]
|
|
public async Task ValueShapesRoundTripAsync()
|
|
{
|
|
var scalar = (BaseVariableState)await FindNodeAsync(5421).ConfigureAwait(false);
|
|
var array = (BaseVariableState)await FindNodeAsync(5422).ConfigureAwait(false);
|
|
var matrix = (BaseVariableState)await FindNodeAsync(5423).ConfigureAwait(false);
|
|
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That(scalar.ValueRank, Is.EqualTo(ValueRanks.Scalar));
|
|
Assert.That(scalar.WrappedValue.TryGetValue(out int scalarValue), Is.True);
|
|
Assert.That(scalarValue, Is.EqualTo(-12345));
|
|
|
|
Assert.That(array.ValueRank, Is.EqualTo(ValueRanks.OneDimension));
|
|
Assert.That(array.WrappedValue.TryGetValue(out ArrayOf<string> arrayValue), Is.True);
|
|
Assert.That(arrayValue.Count, Is.EqualTo(2));
|
|
|
|
Assert.That(matrix.ValueRank, Is.EqualTo(ValueRanks.TwoDimensions));
|
|
Assert.That(matrix.WrappedValue.IsNull, Is.False);
|
|
Assert.That(matrix.WrappedValue.TypeInfo.ValueRank, Is.EqualTo(2));
|
|
});
|
|
}
|
|
|
|
/// <summary>
|
|
/// The deep, branching instance tree is navigable child-by-child in
|
|
/// both pipelines (TreeRoot → BranchA → SubBranchA → LeafA2).
|
|
/// </summary>
|
|
[Test]
|
|
[Order(480)]
|
|
public async Task DeepTreeNavigableAsync()
|
|
{
|
|
NodeState treeRoot = await FindNodeAsync(5490).ConfigureAwait(false);
|
|
Assert.That(treeRoot, Is.Not.Null);
|
|
|
|
var context = m_server.CurrentInstance.DefaultSystemContext;
|
|
BaseInstanceState branchA = treeRoot.FindChild(context, new QualifiedName("BranchA", m_ns));
|
|
BaseInstanceState subBranchA = branchA?.FindChild(context, new QualifiedName("SubBranchA", m_ns));
|
|
BaseInstanceState leafA2 = subBranchA?.FindChild(context, new QualifiedName("LeafA2", m_ns));
|
|
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That(branchA?.NodeId, Is.EqualTo(new NodeId(5491u, m_ns)));
|
|
Assert.That(subBranchA?.NodeId, Is.EqualTo(new NodeId(5493u, m_ns)));
|
|
Assert.That(leafA2, Is.Not.Null);
|
|
Assert.That(leafA2.NodeId, Is.EqualTo(new NodeId(5494u, m_ns)));
|
|
});
|
|
}
|
|
|
|
/// <summary>
|
|
/// The callable method exposes its argument metadata.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(500)]
|
|
public async Task MethodArgumentMetadataRoundTripsAsync()
|
|
{
|
|
var inputArgs = (BaseVariableState)await FindNodeAsync(5452).ConfigureAwait(false);
|
|
var outputArgs = (BaseVariableState)await FindNodeAsync(5453).ConfigureAwait(false);
|
|
|
|
Argument[] inputs = ReadArguments(inputArgs);
|
|
Argument[] outputs = ReadArguments(outputArgs);
|
|
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That(inputs, Is.Not.Null.And.Length.EqualTo(2));
|
|
Assert.That(inputs[0].Name, Is.EqualTo("A"));
|
|
Assert.That(inputs[1].Name, Is.EqualTo("B"));
|
|
Assert.That(outputs, Is.Not.Null.And.Length.EqualTo(1));
|
|
Assert.That(outputs[0].Name, Is.EqualTo("Sum"));
|
|
});
|
|
}
|
|
|
|
/// <summary>
|
|
/// The authored method carries no server-side implementation, so
|
|
/// invoking it exercises the <see cref="MethodState"/> call contract
|
|
/// and yields a deterministic <c>BadNotImplemented</c> status on every
|
|
/// call, identically across all pipelines.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(505)]
|
|
public async Task MethodCallYieldsDeterministicStatusAsync()
|
|
{
|
|
var method = (MethodState)await FindNodeAsync(5450).ConfigureAwait(false);
|
|
Assert.That(method, Is.Not.Null);
|
|
|
|
ISystemContext context = m_server.CurrentInstance.DefaultSystemContext;
|
|
var objectId = new NodeId(5400u, m_ns);
|
|
|
|
// Supply exactly as many Int32 inputs as the method validates against
|
|
// so the call clears argument validation and reaches the (unbound)
|
|
// handler regardless of how each pipeline wired the arguments.
|
|
int expectedInputs = method.InputArguments?.Value.Count ?? 0;
|
|
var inputs = new Variant[expectedInputs];
|
|
for (int ii = 0; ii < expectedInputs; ii++)
|
|
{
|
|
inputs[ii] = new Variant(0);
|
|
}
|
|
|
|
ArrayOf<Variant> inputArguments = [.. inputs];
|
|
|
|
StatusCode firstStatus = await CallMethodAsync(method, context, objectId, inputArguments)
|
|
.ConfigureAwait(false);
|
|
StatusCode secondStatus = await CallMethodAsync(method, context, objectId, inputArguments)
|
|
.ConfigureAwait(false);
|
|
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That(firstStatus.Code, Is.EqualTo(StatusCodes.BadNotImplemented),
|
|
"An unbound imported method should report BadNotImplemented.");
|
|
Assert.That(secondStatus.Code, Is.EqualTo(firstStatus.Code),
|
|
"Repeated calls should yield the same status code.");
|
|
});
|
|
}
|
|
|
|
/// <summary>
|
|
/// The method instance points at its type-level declaration.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(510)]
|
|
public async Task MethodDeclarationIdWiredAsync()
|
|
{
|
|
var method = (MethodState)await FindNodeAsync(5404).ConfigureAwait(false);
|
|
Assert.That(method, Is.Not.Null);
|
|
Assert.That(method.MethodDeclarationId, Is.EqualTo(new NodeId(5216u, m_ns)));
|
|
}
|
|
|
|
/// <summary>
|
|
/// The complex-type loader registered stand-ins for the runtime-loaded
|
|
/// enumeration and option set (mirrors the default server complex-type
|
|
/// path). Structure definitions are additionally validated by
|
|
/// <see cref="DataTypeDefinitionsRoundTripAsync"/>.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(600)]
|
|
public void ComplexTypesRegistered()
|
|
{
|
|
IServerInternal server = m_server.CurrentInstance;
|
|
|
|
ExpandedNodeId enumTypeId = NodeId.ToExpandedNodeId(
|
|
new NodeId(5100u, m_ns), server.NamespaceUris);
|
|
ExpandedNodeId optionSetTypeId = NodeId.ToExpandedNodeId(
|
|
new NodeId(5110u, m_ns), server.NamespaceUris);
|
|
|
|
Assert.Multiple(() =>
|
|
{
|
|
Assert.That(
|
|
server.Factory.TryGetEnumeratedType(enumTypeId, out IEnumeratedType enumType),
|
|
Is.True,
|
|
"CoverageEnumeration stand-in should be registered in the server factory.");
|
|
Assert.That(enumType, Is.Not.Null);
|
|
|
|
Assert.That(
|
|
server.Factory.TryGetEncodeableType(optionSetTypeId, out IEncodeableType optionSetType),
|
|
Is.True,
|
|
"CoverageOptionSet stand-in should be registered in the server factory.");
|
|
Assert.That(optionSetType, Is.Not.Null);
|
|
});
|
|
}
|
|
|
|
/// <summary>
|
|
/// The secondary (dependent) model namespace is loaded, its nodes are
|
|
/// present, and the cross-namespace references between the two models
|
|
/// resolve in both directions.
|
|
/// </summary>
|
|
[Test]
|
|
[Order(700)]
|
|
public async Task SecondaryNamespaceRoundTripsAsync()
|
|
{
|
|
int secondaryNamespaceIndex = m_server.CurrentInstance.NamespaceUris
|
|
.GetIndex(CoverageTestCatalogue.SecondaryNamespaceUri);
|
|
Assert.That(secondaryNamespaceIndex, Is.GreaterThanOrEqualTo(0),
|
|
"The secondary coverage model namespace should be registered.");
|
|
ushort ns2 = (ushort)secondaryNamespaceIndex;
|
|
|
|
foreach (CoverageTestCatalogue.ExpectedNode expected in CoverageTestCatalogue.SecondaryNodes)
|
|
{
|
|
NodeState node = await m_server.CurrentInstance.NodeManager
|
|
.FindNodeInAddressSpaceAsync(new NodeId(expected.Id, ns2))
|
|
.ConfigureAwait(false);
|
|
Assert.That(node, Is.Not.Null,
|
|
$"secondary node ns={ns2};i={expected.Id} ({expected.BrowseName}) should be present.");
|
|
Assert.That(node.NodeClass, Is.EqualTo(expected.NodeClass));
|
|
}
|
|
|
|
NodeState secondaryInstance = await m_server.CurrentInstance.NodeManager
|
|
.FindNodeInAddressSpaceAsync(new NodeId(6010u, ns2)).ConfigureAwait(false);
|
|
NodeState secondaryType = await m_server.CurrentInstance.NodeManager
|
|
.FindNodeInAddressSpaceAsync(new NodeId(6001u, ns2)).ConfigureAwait(false);
|
|
NodeState primaryRoot = await FindNodeAsync(5400).ConfigureAwait(false);
|
|
|
|
Assert.Multiple(() =>
|
|
{
|
|
// SecondaryInstance is parented under the primary CoverageRoot.
|
|
Assert.That(
|
|
ReferenceExists(secondaryInstance, new NodeId(ReferenceTypes.HasComponent, 0),
|
|
isInverse: true, new NodeId(5400u, m_ns)),
|
|
Is.True,
|
|
"SecondaryInstance should have an inverse HasComponent to the primary CoverageRoot.");
|
|
|
|
// SecondaryObjectType is a subtype of the primary CoverageObjectType.
|
|
Assert.That(
|
|
ReferenceExists(secondaryType, new NodeId(ReferenceTypes.HasSubtype, 0),
|
|
isInverse: true, new NodeId(5210u, m_ns)),
|
|
Is.True,
|
|
"SecondaryObjectType should be a HasSubtype of the primary CoverageObjectType.");
|
|
|
|
// The forward edge is visible from the primary root (resolved
|
|
// across NodeManagers where the two models are hosted separately).
|
|
Assert.That(
|
|
ReferenceExists(primaryRoot, new NodeId(ReferenceTypes.HasComponent, 0),
|
|
isInverse: false, new NodeId(6010u, ns2)),
|
|
Is.True,
|
|
"The primary CoverageRoot should have a forward HasComponent to SecondaryInstance.");
|
|
});
|
|
}
|
|
|
|
private ValueTask<NodeState> FindNodeAsync(uint id)
|
|
{
|
|
return m_server.CurrentInstance.NodeManager
|
|
.FindNodeInAddressSpaceAsync(new NodeId(id, m_ns));
|
|
}
|
|
|
|
private static async ValueTask<StatusCode> CallMethodAsync(
|
|
MethodState method,
|
|
ISystemContext context,
|
|
NodeId objectId,
|
|
ArrayOf<Variant> inputArguments)
|
|
{
|
|
var argumentErrors = new List<ServiceResult>();
|
|
var outputArguments = new List<Variant>();
|
|
|
|
ServiceResult result = await method.CallAsync(
|
|
context,
|
|
objectId,
|
|
inputArguments,
|
|
argumentErrors,
|
|
outputArguments).ConfigureAwait(false);
|
|
|
|
return result.StatusCode;
|
|
}
|
|
|
|
private bool ReferenceExists(NodeState node, NodeId referenceTypeId, bool isInverse, NodeId targetId)
|
|
{
|
|
var context = m_server.CurrentInstance.DefaultSystemContext;
|
|
using INodeBrowser browser = node.CreateBrowser(
|
|
context, null, NodeId.Null, false, BrowseDirection.Both, QualifiedName.Null, null, true);
|
|
|
|
for (IReference reference = browser.Next(); reference != null; reference = browser.Next())
|
|
{
|
|
if (reference.ReferenceTypeId != referenceTypeId ||
|
|
reference.IsInverse != isInverse)
|
|
{
|
|
continue;
|
|
}
|
|
|
|
NodeId target = ExpandedNodeId.ToNodeId(reference.TargetId, context.NamespaceUris);
|
|
if (target == targetId)
|
|
{
|
|
return true;
|
|
}
|
|
}
|
|
|
|
return false;
|
|
}
|
|
|
|
private static Type ExpectedStateFamily(NodeClass nodeClass)
|
|
{
|
|
return nodeClass switch
|
|
{
|
|
NodeClass.Object => typeof(BaseObjectState),
|
|
NodeClass.Variable => typeof(BaseVariableState),
|
|
NodeClass.Method => typeof(MethodState),
|
|
NodeClass.ObjectType => typeof(BaseObjectTypeState),
|
|
NodeClass.VariableType => typeof(BaseVariableTypeState),
|
|
NodeClass.ReferenceType => typeof(ReferenceTypeState),
|
|
NodeClass.DataType => typeof(DataTypeState),
|
|
NodeClass.View => typeof(ViewState),
|
|
_ => typeof(NodeState)
|
|
};
|
|
}
|
|
|
|
private Argument[] ReadArguments(BaseVariableState arguments)
|
|
{
|
|
if (arguments == null)
|
|
{
|
|
return null;
|
|
}
|
|
|
|
IServiceMessageContext context = m_server.CurrentInstance.MessageContext;
|
|
if (arguments.WrappedValue.TryGetValue(out ArrayOf<Argument> decoded, context))
|
|
{
|
|
return decoded.ToArray();
|
|
}
|
|
|
|
return null;
|
|
}
|
|
}
|
|
}
|