• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2019 The Marl Authors.
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License");
4 // you may not use this file except in compliance with the License.
5 // You may obtain a copy of the License at
6 //
7 //     https://www.apache.org/licenses/LICENSE-2.0
8 //
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 // See the License for the specific language governing permissions and
13 // limitations under the License.
14 
15 // Stubs SAL annotation macros for platforms that do not support them.
16 // See
17 // https://docs.microsoft.com/en-us/visualstudio/code-quality/annotating-locking-behavior?view=vs-2019
18 
19 #ifndef marl_sal_h
20 #define marl_sal_h
21 
22 #ifndef _Acquires_lock_
23 #define _Acquires_lock_(...)
24 #endif
25 
26 #ifndef _Guarded_by_
27 #define _Guarded_by_(...)
28 #endif
29 
30 #ifndef _Releases_lock_
31 #define _Releases_lock_(...)
32 #endif
33 
34 #ifndef _Requires_lock_held_
35 #define _Requires_lock_held_(...)
36 #endif
37 
38 #ifndef _When_
39 #define _When_(...)
40 #endif
41 
42 #endif  // marl_sal_h
43