MCPcopy Create free account
hub / github.com/CodeSentryAI/lockbud / add_node

Method add_node

src/detector/lock/mod.rs:868–870  ·  view source on GitHub ↗
(&mut self, relation: (LockGuardId, LockGuardId))

Source from the content-addressed store, hash-verified

866 wait_notify_locks,
867 )
868 }
869}
870
871/// The NodeIndex in ConflictLockGraph, denoting a unique relation(a, b) in ConflictLockGraph,
872/// where a and b are LockGuardId.
873type RelationId = NodeIndex;

Callers 3

get_or_insert_nodeMethod · 0.80
analyzeMethod · 0.80
detect_deadlockMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected