@@ -354,14 +354,15 @@ h3(#livemap). LiveMap
354354** @(RTLM5d)@ Returns the value from the current @data@ at the specified key, as follows:
355355*** @(RTLM5d1)@ If no @ObjectsMapEntry@ exists at the key, return undefined/null
356356*** @(RTLM5d2)@ If a @ObjectsMapEntry@ exists at the key:
357- **** @(RTLM5d2a)@ If @ObjectsMapEntry.tombstone@ is @true@, return undefined/null
357+ **** @(RTLM5d2h)@ If the @ObjectsMapEntry@ is tombstoned (per "RTLM14":#RTLM14), return undefined/null
358+ **** @(RTLM5d2a)@ This clause has been replaced by "RTLM5d2h":#RTLM5d2h
358359**** @(RTLM5d2b)@ If @ObjectsMapEntry.data.boolean@ exists, return it
359360**** @(RTLM5d2c)@ If @ObjectsMapEntry.data.bytes@ exists, return it
360361**** @(RTLM5d2d)@ If @ObjectsMapEntry.data.number@ exists, return it
361362**** @(RTLM5d2e)@ If @ObjectsMapEntry.data.string@ exists, return it
362363**** @(RTLM5d2f)@ If @ObjectsMapEntry.data.objectId@ exists, get the object stored at that @objectId@ from the internal @ObjectsPool@:
363364***** @(RTLM5d2f1)@ If an object with id @objectId@ does not exist, return undefined/null
364- ***** @(RTLM5d2f3)@ If an object with id @objectId@ exists and its @LiveObject.isTombstone@ is @true@, return undefined/null
365+ ***** @(RTLM5d2f3)@ This clause has been replaced by "RTLM5d2h":#RTLM5d2h
365366***** @(RTLM5d2f2)@ Otherwise, return the object with id @objectId@
366367**** @(RTLM5d2g)@ Otherwise, return undefined/null
367368* @(RTLM10)@ @LiveMap#size@:
0 commit comments