Lines Matching defs:Graph
3115 class Graph {
3120 void LockAllGraphs() EXCLUSIVE_LOCK_FUNCTION(&Graph::mu_);
3121 void UnlockAllGraphs() UNLOCK_FUNCTION(&Graph::mu_);
3125 int a GUARDED_BY(&Graph::mu_);
3127 void foo() EXCLUSIVE_LOCKS_REQUIRED(&Graph::mu_) {
3130 void foo2() LOCKS_EXCLUDED(&Graph::mu_);
3134 Graph g1;
3135 Graph g2;
3138 n1.a = 0; // expected-warning {{writing variable 'a' requires locking '&ExistentialPatternMatching::Graph::mu_' exclusively}}
3139 n1.foo(); // expected-warning {{calling function 'foo' requires exclusive lock on '&ExistentialPatternMatching::Graph::mu_'}}
3145 n1.foo2(); // expected-warning {{cannot call function 'foo2' while mutex '&ExistentialPatternMatching::Graph::mu_' is locked}}
3151 n1.foo2(); // expected-warning {{cannot call function 'foo2' while mutex '&ExistentialPatternMatching::Graph::mu_' is locked}}
3157 n1.foo2(); // expected-warning {{cannot call function 'foo2' while mutex '&ExistentialPatternMatching::Graph::mu_' is locked}}
