Only stub declarations from libraries

csharp/ql/src/Stubs/AllStubsFromReference.ql

@@ -7,10 +7,7 @@ import Stubs
 
 /** All public declarations from assemblies. */
 class AllExternalPublicDeclarations extends GeneratedDeclaration {
-  AllExternalPublicDeclarations() {
-    this.fromLibrary() and
-    this.(Modifiable).isEffectivelyPublic()
-  }
+  AllExternalPublicDeclarations() { this.fromLibrary() }
 }
 
 /** All framework assemblies. */

csharp/ql/src/Stubs/MinimalStubsFromSource.ql

@@ -25,8 +25,7 @@ class UsedInSource extends GeneratedDeclaration {
       or
       this = any(Attribute a).getType().getAConstructor()
     ) and
-    this.fromLibrary() and
-    this.(Modifiable).isEffectivelyPublic()
+    this.fromLibrary()
   }
 }
 

csharp/ql/src/Stubs/Stubs.qll

@@ -148,7 +148,9 @@ abstract private class GeneratedType extends ValueOrRefType, GeneratedElement {
  * This is extended in client code to identify the actual
  * declarations that should be generated.
  */
-abstract class GeneratedDeclaration extends Declaration { }
+abstract class GeneratedDeclaration extends Declaration {
+  GeneratedDeclaration() { this.(Modifiable).isEffectivelyPublic() }
+}
 
 private class IndirectType extends GeneratedType {
   IndirectType() {