Uses of Package
org.ek9lang.compiler.phase5.lockanalysis

Packages that use org.ek9lang.compiler.phase5.lockanalysis

Package	Description
org.ek9lang.compiler	B - For the EK9 compiler itself.
org.ek9lang.compiler.phase5	I - PRE Intermediate Representation generation checks.
org.ek9lang.compiler.phase5.flow
org.ek9lang.compiler.phase5.lockanalysis	Data model for slice-2 deadlock detection analysis results.

Classes in org.ek9lang.compiler.phase5.lockanalysis used by org.ek9lang.compiler

Class	Description
LockAnalysis	Single source of truth for slice-2 deadlock analysis results.

Classes in org.ek9lang.compiler.phase5.lockanalysis used by org.ek9lang.compiler.phase5

Class	Description
LockAnalysis	Single source of truth for slice-2 deadlock analysis results.

Classes in org.ek9lang.compiler.phase5.lockanalysis used by org.ek9lang.compiler.phase5.flow

Class	Description
IdentityOrigin	Classifies where a lock-identity descriptor originates.

Classes in org.ek9lang.compiler.phase5.lockanalysis used by org.ek9lang.compiler.phase5.lockanalysis

Class	Description
ChainStep	Single step in a DeadlockChain's rationale trace.
CrossThreadEdge	A synthetic call-graph edge representing thread-boundary-crossing dispatch — passing a function as the handler argument to TCP.accept, Signals.register, or as a stage in cat ... | async.
DeadlockChain	Full rationale for a single detected deadlock — either E08252 (nested enter on different lock identity) or E08253 (cross-thread same lock).
EdgeKind	Classifies a call-graph edge by its threading semantics, per EK9_CONCURRENCY_MODEL.md §5.2.
EnterCallSite	A single MutexLock.enter(...) or MutexLock.tryEnter(...) call site observed during analysis.
EnterKind	Distinguishes the two variants of MutexLock acquisition: blocking enter() vs non-blocking tryEnter().
FunctionLockSummary	Per-function summary of lock activity.
IdentityOrigin	Classifies where a lock-identity descriptor originates.
LockAnalysis	Single source of truth for slice-2 deadlock analysis results.
LockIdentityDescriptor	Catalogue entry for a single lock identity tracked by the slice-2 deadlock analysis.
LockPrecedenceGraph	Workspace-wide lock-precedence graph used by Phase 5 cycle detection.
LockPrecedenceGraph.Edge	One observed nested-enter relationship between two distinct lock identities.
MutexKeyBody	A MutexKey dynamic-function body — the lambda passed as the argument to enter(...) or tryEnter(...).
StepKind	Classifies a single step in a DeadlockChain's rationale trace.
TransitiveEnterRecord	Single element of a function's mayEnter summary — an enter() site reachable from this function via some call path, with the lock identities after parameter substitution and the composed edge-kind of the reaching path.