Transaction
Transaction holds a set of adaptive objects which have been changed and shall therefore be marked as outOfDate. Commit "propagates" these changes into the dependency-graph, takes care of the correct execution-order and acquires appropriate locks for all objects affected.
Record Fields
| Record Field | Description |
CurrentTransaction
Signature: Option<Transaction>
Modifiers: mutable static |
|
RunningTransaction
Signature: Option<Transaction>
Modifiers: mutable static |
|
Constructors
| Constructor | Description |
new()
Signature: unit -> Transaction
|
|
Instance members
| Instance member | Description |
AddFinalizer(f)
Signature: (f:(unit -> unit)) -> unit
|
|
Commit()
Signature: unit -> unit
|
performs the entire marking process causing all affected objects to be made consistent with the enqueued changes. |
CurrentAdapiveObject
Signature: IAdaptiveObject option
|
|
CurrentLevel
Signature: int
|
|
Dispose()
Signature: unit -> unit
|
|
Enqueue(e, cause)
Signature: (e:IAdaptiveObject * cause:Option<IAdaptiveObject>) -> unit
|
|
Enqueue(e)
Signature: e:IAdaptiveObject -> unit
|
enqueues an adaptive object for marking |
IsContained(e)
Signature: e:IAdaptiveObject -> bool
|
|
Static members
| Static member | Description |
Current()
Signature: unit -> Option<Transaction>
|
|
Current()
Signature: unit -> unit
|
|
HasRunning
Signature: bool
|
|
Running()
Signature: unit -> Option<Transaction>
|
|
Running()
Signature: unit -> unit
|
|
RunningLevel
Signature: int
|
|
