selfie_lib.WriteTracker.WriteTracker Class Reference

Inheritance diagram for selfie_lib.WriteTracker.WriteTracker:

Public Member Functions
	__init__ (self)
	recordInternal (self, T key, U snapshot, CallStack call, SnapshotFileLayout layout, bool allow_multiple_equivalent_writes=True)

Public Attributes
	lock

Detailed Description

Definition at line 135 of file WriteTracker.py.

Constructor & Destructor Documentation

__init__()

selfie_lib.WriteTracker.WriteTracker.__init__

(

self

)

Reimplemented in selfie_lib.WriteTracker.ToBeFileWriteTracker.

Definition at line 136 of file WriteTracker.py.

    def __init__(self):
        self.lock = threading.Lock()
        self.writes: dict[T, FirstWrite[U]] = {}
 

Member Function Documentation

recordInternal()

selfie_lib.WriteTracker.WriteTracker.recordInternal	(		self,
		T	key,
		U	snapshot,
		CallStack	call,
		SnapshotFileLayout	layout,
		bool	allow_multiple_equivalent_writes = True
	)

Definition at line 140 of file WriteTracker.py.

    ):
        with self.lock:
            this_write = FirstWrite(snapshot, call)
            if key not in self.writes:
                self.writes[key] = this_write
                return
 
            existing = self.writes[key]
            if existing.snapshot != snapshot:
                raise ValueError(
                    f"Snapshot was set to multiple values!\n  first time: {existing.call_stack.location.ide_link(layout)}\n   this time: {call.location.ide_link(layout)}"
                )
            elif not allow_multiple_equivalent_writes:
                raise ValueError("Snapshot was set to the same value multiple times.")
 
 

Member Data Documentation

lock

selfie_lib.WriteTracker.WriteTracker.lock

Definition at line 137 of file WriteTracker.py.

---

The documentation for this class was generated from the following file:

• selfie-lib/selfie_lib/WriteTracker.py