Generated with

rescala/rescala/rescala.fullmv/rescala.fullmv.sgt.synchronization/TryLockResult

TryLockResult

rescala.fullmv.sgt.synchronization.TryLockResult

sealed trait TryLockResult

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object Blocked

object Deallocated

class Locked

In this article

Generated with