4.1.10.3.3 AbstractUTDFromConcreteUTD
-
procedure AbstractUTDFromConcreteUTD( concreteUTD: UPTODATE_VECTOR_V2_EXT): sequence of ReplUpToDateVector
Informative summary of behavior: The AbstractUTDFromConcreteUTD procedure translates the UPTODATE_VECTOR_V2_EXT structure to the ReplUpToDateVector abstract type.
-
abstractUTD: ReplUpToDateVector for i := 0 to (concreteUTD.length - 1) abstractUTD[i].uuidDsa := concreteUTD.rgCursors[i].uuidDsa abstractUTD[i].usnHighPropUpdate := concreteUTD.rgCursors[i].usnHighPropUpdate abstractUTD[i].timeLastSyncSuccess := concreteUTD.rgCursors[i].timeLastSyncSuccess endfor return concreteUTD