File tree Expand file tree Collapse file tree 1 file changed +5
-0
lines changed Expand file tree Collapse file tree 1 file changed +5
-0
lines changed Original file line number Diff line number Diff line change @@ -173,6 +173,7 @@ private predicate foo(Expr e, Expr p) {
173
173
1 . Use [ camelCase] ( https://en.wikipedia.org/wiki/Camel_case ) for:
174
174
- Predicate names
175
175
- Variable names
176
+ 1 . Acronyms * should* use normal PascalCase/camelCase (as an exception, if there are only two letters then using all uppercase letters is acceptable).
176
177
1 . Newtype predicate names * should* begin with ` T ` .
177
178
1 . Predicates that have a result * should* be named ` get... `
178
179
1 . Predicates that can return multiple results * should* be named ` getA... ` or ` getAn... `
@@ -183,6 +184,7 @@ private predicate foo(Expr e, Expr p) {
183
184
1 . Use names as they are used in the target-language specification.
184
185
1 . Use American English.
185
186
187
+
186
188
### Examples
187
189
188
190
``` ql
@@ -209,6 +211,9 @@ class Type extends ... {
209
211
210
212
/** ... */
211
213
Type getATypeParameter() { ... }
214
+
215
+ /** Gets the SSA variable ... */
216
+ predicate getSsaVariable() { ... }
212
217
}
213
218
```
214
219
You can’t perform that action at this time.
0 commit comments