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

Method node_weight

src/detector/lock/mod.rs:876–878  ·  view source on GitHub ↗
(&self, a: RelationId)

Source from the content-addressed store, hash-verified

874
875/// forall relation(a, b), relation(c, d): if b and c are probably/possibly deadlock,
876/// then add edge between relation(a, b) and relation(c, d).
877/// The cycles in the graph may be conflictlock bugs.
878struct ConflictLockGraph {
879 graph: Graph<(LockGuardId, LockGuardId), DeadlockPossibility, Directed>,
880}
881

Callers 7

edgesMethod · 0.80
store_sourcesMethod · 0.80
load_targetsMethod · 0.80
copy_targetsMethod · 0.80
alias_copy_targetsMethod · 0.80
index_to_instanceMethod · 0.80
detect_deadlockMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected