Lines Matching defs:Graph
3120 class Graph {
3125 void LockAllGraphs() EXCLUSIVE_LOCK_FUNCTION(&Graph::mu_);
3126 void UnlockAllGraphs() UNLOCK_FUNCTION(&Graph::mu_);
3130 int a GUARDED_BY(&Graph::mu_);
3132 void foo() EXCLUSIVE_LOCKS_REQUIRED(&Graph::mu_) {
3135 void foo2() LOCKS_EXCLUDED(&Graph::mu_);
3139 Graph g1;
3140 Graph g2;
3143 n1.a = 0; // expected-warning {{writing variable 'a' requires locking '&ExistentialPatternMatching::Graph::mu_' exclusively}}
3144 n1.foo(); // expected-warning {{calling function 'foo' requires exclusive lock on '&ExistentialPatternMatching::Graph::mu_'}}
3150 n1.foo2(); // expected-warning {{cannot call function 'foo2' while mutex '&ExistentialPatternMatching::Graph::mu_' is locked}}
3156 n1.foo2(); // expected-warning {{cannot call function 'foo2' while mutex '&ExistentialPatternMatching::Graph::mu_' is locked}}
3162 n1.foo2(); // expected-warning {{cannot call function 'foo2' while mutex '&ExistentialPatternMatching::Graph::mu_' is locked}}