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
Show: