@@ -77,21 +77,20 @@ module Impl {
77
77
not exists ( getOutermostEnclosingOrPat ( p ) ) and
78
78
definingNode = p .getName ( )
79
79
) and
80
- name = p .getName ( ) .getText ( )
80
+ name = p .getName ( ) .getText ( ) and
81
+ // exclude for now anything starting with an uppercase character, which may be a reference to
82
+ // an enum constant (e.g. `None`). This excludes static and constant variables (UPPERCASE),
83
+ // which we don't appear to recognize yet anyway. This also assumes programmers follow the
84
+ // naming guidelines, which they generally do, but they're not enforced.
85
+ not name .charAt ( 0 ) .isUppercase ( )
81
86
}
82
87
83
88
/** A variable. */
84
89
class Variable extends MkVariable {
85
90
private AstNode definingNode ;
86
91
private string name ;
87
92
88
- Variable ( ) {
89
- this = MkVariable ( definingNode , name ) and
90
- // exclude for now anything starting with an uppercase character, which may be an enum constant (e.g. `None`). This excludes
91
- // static and constant variables (UPPERCASE), which we don't appear to recognize yet anyway. This also assumes programmers
92
- // follow the naming guidelines, which they generally do, but they're not enforced.
93
- not name .charAt ( 0 ) .isUppercase ( )
94
- }
93
+ Variable ( ) { this = MkVariable ( definingNode , name ) }
95
94
96
95
/** Gets the name of this variable. */
97
96
string getName ( ) { result = name }
0 commit comments