Skip to content
Snippets Groups Projects
Verified Commit 84212ddb authored by Khuu Minh Thang's avatar Khuu Minh Thang Committed by Laurent Voisin
Browse files

Ticket #1363: Update postcond of treat_browse_result_one_source_1

The specification of treat_browse_result_one_source_1 is corrected in the
commit "Correct Op treat_browse_result_one_source_1". The
postcond of this operation can be further simplified : in case where
out_BrowseResult_NodeId(browseResult_index) belongs to the domain of
conv_ExpandedNodeId_NodeId, in other words the node is in the local
server, the operation return code cannot be
e_sc_uncertain_reference_out_of_server.
parent 9cb2df7d
No related branches found
No related tags found
Loading
Pipeline #1313172964 failed
......@@ -308,14 +308,14 @@ LOCAL_OPERATIONS
(targetName = out_BrowseResult_BrowseName(browseResult_index)
=>
(statusCode_operation : {e_sc_ok, e_sc_uncertain_reference_out_of_server}
(statusCode_operation = e_sc_ok
=>
/* target in BrowsePathResult has browse name equal to
TargetName and is equal to a browse result */
BrowsePathResult = BrowsePathResult$0
<- out_BrowseResult_NodeId(browseResult_index)
) &
(statusCode_operation /: {e_sc_ok, e_sc_uncertain_reference_out_of_server}
(statusCode_operation /= e_sc_ok
=>
BrowsePathResult = BrowsePathResult$0
)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment