C#: Refine UnboundGeneric and ConstructedGeneric

Author: hvitved

csharp/extractor/Semmle.Extraction.CSharp/Entities/Method.cs

@@ -340,7 +340,6 @@ protected void PopulateGenerics(TextWriter trapFile)
 
                 if (isFullyConstructed)
                 {
-                    trapFile.is_constructed(this);
                     trapFile.constructed_generic(this, Method.Create(Context, ConstructedFromSymbol));
                     foreach (var tp in symbol.GetAnnotatedTypeArguments())
                     {
@@ -354,7 +353,6 @@ protected void PopulateGenerics(TextWriter trapFile)
                 }
                 else
                 {
-                    trapFile.is_generic(this);
                     foreach (var typeParam in symbol.TypeParameters.Select(tp => TypeParameter.Create(Context, tp)))
                     {
                         trapFile.type_parameters(typeParam, child, this);

csharp/extractor/Semmle.Extraction.CSharp/Entities/Types/NamedType.cs

@@ -40,8 +40,6 @@ public override void Populate(TextWriter trapFile)
                 }
                 else if (symbol.IsReallyUnbound())
                 {
-                    trapFile.is_generic(this);
-
                     for (int i = 0; i < symbol.TypeParameters.Length; ++i)
                     {
                         TypeParameter.Create(Context, symbol.TypeParameters[i]);
@@ -52,7 +50,6 @@ public override void Populate(TextWriter trapFile)
                 }
                 else
                 {
-                    trapFile.is_constructed(this);
                     trapFile.constructed_generic(this, Type.Create(Context, symbol.ConstructedFrom).TypeRef);
 
                     for (int i = 0; i < symbol.TypeArguments.Length; ++i)

csharp/extractor/Semmle.Extraction.CSharp/Tuples.cs

@@ -306,16 +306,6 @@ internal static void indexers(this TextWriter trapFile, Indexer propKey, string
             trapFile.WriteTuple("indexers", propKey, name, declaringType, memberType, unboundProperty);
         }
 
-        internal static void is_constructed(this TextWriter trapFile, IEntity typeOrMethod)
-        {
-            trapFile.WriteTuple("is_constructed", typeOrMethod);
-        }
-
-        internal static void is_generic(this TextWriter trapFile, IEntity typeOrMethod)
-        {
-            trapFile.WriteTuple("is_generic", typeOrMethod);
-        }
-
         internal static void local_function_stmts(this TextWriter trapFile, Entities.Statements.LocalFunction fnStmt, LocalFunction fn)
         {
             trapFile.WriteTuple("local_function_stmts", fnStmt, fn);

csharp/ql/src/semmle/code/csharp/Generics.qll

@@ -23,19 +23,19 @@ private import dotnet
  */
 class Generic extends DotNet::Generic, Declaration, @generic {
   Generic() {
-    is_generic(this) or
-    is_constructed(this)
+    type_parameters(_, _, this, _) or
+    type_arguments(_, _, this)
   }
 }
 
 /**
- * A generic declaration that can have type parameters.
+ * A generic declaration with type parameters.
  *
  * Either an unbound generic type (`UnboundGenericType`) or an unbound generic method
  * (`UnboundGenericMethod`).
  */
 class UnboundGeneric extends DotNet::UnboundGeneric, Generic {
-  UnboundGeneric() { is_generic(this) }
+  UnboundGeneric() { type_parameters(_, _, this, _) }
 
   override TypeParameter getTypeParameter(int n) { type_parameters(result, n, this, _) }
 
@@ -47,24 +47,21 @@ class UnboundGeneric extends DotNet::UnboundGeneric, Generic {
 }
 
 /**
- * A declaration constructed from an `UnboundGeneric` by supplying type arguments.
+ * A constructed generic.
  *
  * Either a constructed generic type (`ConstructedType`) or a constructed
  * generic method (`ConstructedMethod`).
  */
 class ConstructedGeneric extends DotNet::ConstructedGeneric, Generic {
-  ConstructedGeneric() { is_constructed(this) }
+  ConstructedGeneric() { type_arguments(_, _, this) }
 
   override UnboundGeneric getUnboundGeneric() { constructed_generic(this, result) }
 
   override UnboundGeneric getSourceDeclaration() {
     result = getUnboundGeneric().getSourceDeclaration()
   }
 
-  override int getNumberOfTypeArguments() {
-    // getTypeArgument() could fail if the type does not exist in the database
-    result = count(int i | type_arguments(_, i, this))
-  }
+  override int getNumberOfTypeArguments() { result = count(int i | type_arguments(_, i, this)) }
 
   override Type getTypeArgument(int i) { none() }
 
@@ -84,11 +81,14 @@ class ConstructedGeneric extends DotNet::ConstructedGeneric, Generic {
  */
 class UnboundGenericType extends ValueOrRefType, UnboundGeneric {
   /**
-   * Gets a bound/constructed version of this unbound generic type. This includes not only closed constructed types such as `G<int>`,
-   * but also open constructed types such as the `G<T>` in `class Other<T> { G<T> g; }`. Note that such a type is distinct from the
-   * `G<T>` used in the class definition, since in `G<T> g;` the `T` will be the actual type parameter used for the `Other` that contains
-   * `g`, whereas in `class G<T> { ... }` the `T` is a formal type parameter of `G`. It is important not to get confused by the superficial
-   * syntactic similarity.
+   * Gets a bound/constructed version of this unbound generic type. This includes
+   * not only closed constructed types such as `G<int>`, but also open constructed
+   * types such as the `G<T>` in `class Other<T> { G<T> g; }`. Note that such a type
+   * is distinct from the `G<T>` used in the class definition, since in `G<T> g;`
+   * the `T` will be the actual type parameter used for the `Other` that contains
+   * `g`, whereas in `class G<T> { ... }` the `T` is a formal type parameter of `G`.
+   *
+   * It is important not to get confused by the superficial syntactic similarity.
    */
   override ConstructedType getAConstructedGeneric() {
     result = UnboundGeneric.super.getAConstructedGeneric()
@@ -350,15 +350,18 @@ class UnboundGenericDelegateType extends DelegateType, UnboundGenericType {
 }
 
 /**
- * A constructed (bound) type. This is a generic type for which actual type arguments have been supplied,
- * for example `G<int>` or the `G<T>` in `class Other<T> { G<T> g; }`. Constructed types can be divided further into
- * those that are open (for example `G1<T>` or `G2<T,T,U,int>`), in the sense that one or more of their type arguments
- * is a type parameter, versus those that are closed (for example `G1<int>` or `G2<long,long,float,int>`). We do not
- * currently distinguish the two in this library.
- *
- * Either a constructed `struct` (`ConstructedStruct`), constructed `class` (`ConstructedClass`),
- * constructed `interface` (`ConstructedInterface`), or constructed method
- * (`ConstructedMethod`).
+ * A constructed (bound) type. This is a generic type for which actual type
+ * arguments have been supplied, for example `G<int>` or the `G<T>` in
+ * `class Other<T> { G<T> g; }`. Constructed types can be divided further into
+ * those that are open (for example `G1<T>` or `G2<T,T,U,int>`), in the sense
+ * that one or more of their type argumentsis a type parameter, versus those
+ * that are closed (for example `G1<int>` or `G2<long,long,float,int>`).
+ *
+ * We do not currently distinguish the two in this library.
+ *
+ * Either a constructed `struct` (`ConstructedStruct`), constructed `class`
+ * (`ConstructedClass`), constructed `interface` (`ConstructedInterface`),
+ * or constructed method (`ConstructedMethod`).
  */
 class ConstructedType extends ValueOrRefType, ConstructedGeneric {
   override UnboundGenericType getSourceDeclaration() {

csharp/ql/src/semmle/code/dotnet/Generics.qll

@@ -13,7 +13,7 @@ abstract class UnboundGeneric extends Generic {
   /** Gets the `i`th type parameter, if any. */
   abstract TypeParameter getTypeParameter(int i);
 
-  /** Gets a type parameter, if any. */
+  /** Gets a type parameter. */
   TypeParameter getATypeParameter() { result = getTypeParameter(_) }
 
   /**
@@ -42,10 +42,13 @@ abstract class ConstructedGeneric extends Generic {
   /** Gets the `i`th type argument, if any. */
   abstract Type getTypeArgument(int i);
 
-  /** Gets a type argument, if any. */
+  /** Gets a type argument. */
   Type getATypeArgument() { result = getTypeArgument(_) }
 
-  /** Gets the unbound generic declaration from which this declaration was constructed. */
+  /**
+   * Gets the unbound generic declaration from which this declaration was
+   * constructed.
+   */
   UnboundGeneric getUnboundGeneric() { none() }
 
   /** Gets the total number of type arguments. */

csharp/ql/src/semmlecode.csharp.dbscheme

@@ -497,10 +497,6 @@ expr_flowstate(unique int id: @expr ref, int state: int ref);
 
 @generic = @type | @method | @local_function;
 
-is_generic(unique int id: @generic ref);
-
-is_constructed(unique int id: @generic ref);
-
 type_parameters(
   unique int id: @type_parameter ref,
   int index: int ref,

csharp/ql/src/semmlecode.csharp.dbscheme.stats

@@ -15479,28 +15479,6 @@
 </dependencies>
 </relation>
 <relation>
-<name>is_generic</name>
-<cardinality>77320</cardinality>
-<columnsizes>
-<e>
-<k>id</k>
-<v>77320</v>
-</e>
-</columnsizes>
-<dependencies/>
-</relation>
-<relation>
-<name>is_constructed</name>
-<cardinality>358124</cardinality>
-<columnsizes>
-<e>
-<k>id</k>
-<v>358124</v>
-</e>
-</columnsizes>
-<dependencies/>
-</relation>
-<relation>
 <name>type_parameters</name>
 <cardinality>84292</cardinality>
 <columnsizes>

csharp/ql/test/library-tests/generics/Generics.expected

@@ -5,9 +5,6 @@ test2
 test3
 | generics.cs:13:18:13:21 | A<X> | generics.cs:13:18:13:21 | A<> |
 test4
-| Nesting.cs:12:18:12:18 | C | Unbound generic class with inconsistent name |
-| Nesting.cs:12:18:12:18 | C | Unbound generic class with inconsistent name |
-| Nesting.cs:12:18:12:18 | C | Unbound generic class with inconsistent name |
 test5
 test6
 | generics.cs:13:18:13:21 | A<T> | generics.cs:22:18:22:21 | B<> | generics.cs:22:18:22:21 | B<X> | generics.cs:25:23:25:24 | at |
@@ -102,9 +99,6 @@ test28
 | Nesting.cs:9:21:9:27 | MB2 | A<>.B<>.MB2<T4>(T1, T3, T4) |
 | Nesting.cs:9:21:9:27 | MB2 | A<Int32>.B<String>.MB2<T4>(int, string, T4) |
 | Nesting.cs:9:21:9:27 | MB2 | A<String>.B<Int32>.MB2<T4>(string, int, T4) |
-| Nesting.cs:12:18:12:18 | C | A<>.<> |
-| Nesting.cs:12:18:12:18 | C | A<Int32>.<> |
-| Nesting.cs:12:18:12:18 | C | A<String>.<> |
 | Nesting.cs:15:21:15:27 | MC2 | A<>.C.MC2<T5>(T1, T5) |
 | Nesting.cs:15:21:15:27 | MC2 | A<Int32>.C.MC2<T5>(int, T5) |
 | Nesting.cs:15:21:15:27 | MC2 | A<String>.C.MC2<T5>(string, T5) |
@@ -128,7 +122,6 @@ test28
 | generics.cs:51:22:51:29 | Inner<> | generics.Outer<Object>.Inner<U> |
 | generics.cs:137:21:137:25 | fs | generics.Subtle.fs<X>(int) |
 | generics.cs:139:21:139:25 | fs | generics.Subtle.fs<X>(int, int) |
-| generics.cs:147:14:147:14 | E | generics.Param<>.<> |
 | generics.cs:152:14:152:19 | CM1 | generics.ConstructedMethods.CM1<T>() |
 | generics.cs:153:11:153:16 | CM2 | generics.ConstructedMethods.CM2<T>(T) |
 | generics.cs:155:15:155:23 | Class<> | generics.ConstructedMethods.Class<T1> |
@@ -164,6 +157,8 @@ test30
 | Nesting.cs:3:17:3:19 | MA1 | A<String>.MA1(string) |
 | Nesting.cs:8:21:8:23 | MB1 | A<Int32>.B<String>.MB1(int, string) |
 | Nesting.cs:8:21:8:23 | MB1 | A<String>.B<Int32>.MB1(string, int) |
+| Nesting.cs:12:18:12:18 | C | A<Int32>.C |
+| Nesting.cs:12:18:12:18 | C | A<String>.C |
 | Nesting.cs:14:21:14:23 | MC1 | A<Int32>.C.MC1(int) |
 | Nesting.cs:14:21:14:23 | MC1 | A<String>.C.MC1(string) |
 | Nesting.cs:19:25:19:27 | MD1 | A<Int32>.C.D<Boolean>.MD1(int, bool) |