 | LGSPGraphReserveVisitedFlag Method |
Called by the transaction manager just when it gets notified about a vfree.
The visited flag freed must be reserved until the transaction finished,
cause otherwise it might be impossible for the transaction manager to roll the vfree back with a valloc;
that may happen if the flag is handed out again in a succeeding valloc, during a transaction pause.
Namespace: de.unika.ipd.grGen.lgspAssembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntaxpublic void ReserveVisitedFlag(
int visitorID
)
Parameters
- visitorID Int32
See Also