File tree Expand file tree Collapse file tree
javascript/ql/lib/semmle/javascript Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -873,7 +873,7 @@ module API {
873873 Stages:: APIStage:: ref ( ) and
874874 exists ( string m |
875875 pred = MkRoot ( ) and
876- lbl = Label:: mod ( m )
876+ lbl = Label:: moduleLabel ( m )
877877 |
878878 succ = MkModuleDef ( m )
879879 or
@@ -1012,7 +1012,7 @@ module API {
10121012 }
10131013
10141014 /** Gets the edge label for the module `m`. */
1015- LabelMod mod ( string m ) { result .getMod ( ) = m }
1015+ LabelModule moduleLabel ( string m ) { result .getMod ( ) = m }
10161016
10171017 /** Gets the `member` edge label for member `m`. */
10181018 bindingset [ m]
@@ -1086,7 +1086,7 @@ module API {
10861086
10871087 private module LabelImpl {
10881088 newtype TLabel =
1089- MkLabelMod ( string mod ) {
1089+ MkLabelModule ( string mod ) {
10901090 exists ( Impl:: MkModuleExport ( mod ) ) or
10911091 exists ( Impl:: MkModuleImport ( mod ) )
10921092 } or
@@ -1148,10 +1148,10 @@ module API {
11481148 }
11491149
11501150 /** A label for a module. */
1151- class LabelMod extends ApiLabel {
1151+ class LabelModule extends ApiLabel {
11521152 string mod ;
11531153
1154- LabelMod ( ) { this = MkLabelMod ( mod ) }
1154+ LabelModule ( ) { this = MkLabelModule ( mod ) }
11551155
11561156 /** Gets the module associated with this label. */
11571157 string getMod ( ) { result = mod }
You can’t perform that action at this time.
0 commit comments