AdaptiveToken
Record Fields
| Record Field | Description |
Caller
Signature: IAdaptiveObject
Modifiers: mutable |
|
Locked
Signature: HashSet<IAdaptiveObject>
Modifiers: mutable |
|
Tag
Signature: obj
Modifiers: mutable |
|
Constructors
| Constructor | Description |
new(caller, locked, tag)
Signature: (caller:IAdaptiveObject * locked:HashSet<IAdaptiveObject> * tag:obj) -> AdaptiveToken
|
|
Instance members
| Instance member | Description |
Downgrade(o)
Signature: o:IAdaptiveObject -> unit
|
|
EnterRead(o)
Signature: o:IAdaptiveObject -> unit
|
|
ExitFaultedRead(o)
Signature: o:IAdaptiveObject -> unit
|
|
ExitRead(o)
Signature: o:IAdaptiveObject -> unit
|
|
Isolated
Signature: AdaptiveToken
|
|
Release()
Signature: unit -> unit
|
|
WithCaller(c)
Signature: c:IAdaptiveObject -> AdaptiveToken
|
|
WithTag(t)
Signature: t:obj -> AdaptiveToken
|
|
Static members
| Static member | Description |
Empty
Signature: AdaptiveToken
|
|
Top
Signature: AdaptiveToken
|
|
