Swift: add MaD print support for EnumElement

Author: Robert Marsh

swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll

@@ -110,6 +110,11 @@ private string getContentSpecific(ContentSet cs) {
     result = "Field[" + c.getField().getName() + "]"
   )
   or
+  exists(Content::EnumContent c |
+    cs.isSingleton(c) and
+    result = "EnumElement[" +  c.getSignature() + "]"
+  )
+  or
   exists(Content::ArrayContent c |
     cs.isSingleton(c) and
     result = "ArrayElement"
@@ -130,6 +135,15 @@ string getMadRepresentationSpecific(SummaryComponent sc) {
     not rk = getReturnValueKind() and
     result = "ReturnValue" + "[" + rk + "]"
   )
+  or
+  exists(ContentSet c |
+    sc = TWithoutContentSummaryComponent(c) and
+    result = "WithoutContent" + c.toString()
+  ) or
+  exists(ContentSet c |
+    sc = TWithContentSummaryComponent(c) and
+    result = "WithContent" + c.toString()
+  )
 }
 
 /** Gets the textual representation of a parameter position in the format used for flow summaries. */