File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -173,6 +173,7 @@ private predicate foo(Expr e, Expr p) {
1731731 . Use [ camelCase] ( https://en.wikipedia.org/wiki/Camel_case ) for:
174174 - Predicate names
175175 - 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).
1761771 . Newtype predicate names * should* begin with ` T ` .
1771781 . Predicates that have a result * should* be named ` get... `
1781791 . Predicates that can return multiple results * should* be named ` getA... ` or ` getAn... `
@@ -183,6 +184,7 @@ private predicate foo(Expr e, Expr p) {
1831841 . Use names as they are used in the target-language specification.
1841851 . Use American English.
185186
187+
186188### Examples
187189
188190``` ql
@@ -209,6 +211,9 @@ class Type extends ... {
209211
210212 /** ... */
211213 Type getATypeParameter() { ... }
214+
215+ /** Gets the SSA variable ... */
216+ predicate getSsaVariable() { ... }
212217}
213218```
214219
You can’t perform that action at this time.
0 commit comments