@@ -109,7 +109,7 @@ class Modifiable extends Declaration, @modifiable {
109109 * - the declaring and its nested types, similarly to `private` declarations, and
110110 * - the enclosing types.
111111 *
112- * Note that explicit interface implementation are also considered effectively
112+ * Note that explicit interface implementations are also considered effectively
113113 * `private` if the implemented interface is itself effectively `private`. Finally,
114114 * `private protected` members are not considered effectively `private`, because
115115 * they can be overriden within the declaring assembly.
@@ -135,7 +135,7 @@ class Modifiable extends Declaration, @modifiable {
135135 * effectively `internal` if it can only be referenced from the declaring assembly.
136136 *
137137 * Note that friend assemblies declared in `InternalsVisibleToAttribute` are not
138- * considered. Explicit interface implementation are also considered effectively
138+ * considered. Explicit interface implementations are also considered effectively
139139 * `internal` if the implemented interface is itself effectively `internal`. Finally,
140140 * `internal protected` members are not considered effectively `internal`, because
141141 * they can be overriden outside the declaring assembly.
@@ -192,7 +192,7 @@ class Virtualizable extends Member, @virtualizable {
192192 }
193193
194194 override predicate isPrivate ( ) {
195- Member . super .isPrivate ( ) and
195+ super .isPrivate ( ) and
196196 not implementsExplicitInterface ( )
197197 }
198198
0 commit comments