Home | History | Annotate | Download | only in Sema

Lines Matching defs:GUI

23 ThreadRole GUI, Worker;
24 void Func1(void) __attribute__((requires_capability(GUI))) {}
33 void Func7(void) __attribute__((assert_capability(GUI))) {}
34 void Func8(void) __attribute__((assert_shared_capability(GUI))) {}
39 void Func11(void) __attribute__((acquire_capability(GUI))) {}
40 void Func12(void) __attribute__((acquire_shared_capability(GUI))) {}
42 void Func15(void) __attribute__((release_capability(GUI))) {}
43 void Func16(void) __attribute__((release_shared_capability(GUI))) {}
44 void Func17(void) __attribute__((release_generic_capability(GUI))) {}
49 void Func23(void) __attribute__((try_acquire_capability(1, GUI))) {}
50 void Func24(void) __attribute__((try_acquire_shared_capability(1, GUI))) {}
56 void Func27(void) __attribute__((requires_capability(!GUI)));
57 void Func28(void) __attribute__((requires_capability(GUI && Worker)));
58 void Func29(void) __attribute__((requires_capability(GUI || Worker)));
59 void Func30(void) __attribute__((requires_capability((Worker || Worker) && !GUI)));
62 void Func31(void) __attribute__((requires_capability(GUI && AlsoNotACapability))); // expected-warning {{'requires_capability' attribute requires arguments whose type is annotated with 'capability' attribute; type here is 'int'}}