C#: Add QL doc to SummarizedCallable.

michaelnebel · hvitved · commit 0d61a2c79732 · 2022-05-18T07:48:20.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/FlowSummary.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/FlowSummary.qll
@@ -114,6 +114,9 @@ module SummaryComponentStack {
   SummaryComponentStack jump(Callable c) { result = singleton(SummaryComponent::jump(c)) }
 }
 
+/**
+ * A class for synthesized callables given by a summary.
+ */
 abstract class SummarizedCallable extends DotNet::Callable {
   /**
    * Holds if data may flow from `input` to `output` through this callable.

Original file line number	Diff line number	Diff line change
`@@ -114,6 +114,9 @@ module SummaryComponentStack {`
`114`	`114`	`SummaryComponentStack jump(Callable c) { result = singleton(SummaryComponent::jump(c)) }`
`115`	`115`	`}`
`116`	`116`
	`117`	`+/**`
	`118`	`+ * A class for synthesized callables given by a summary.`
	`119`	`+ */`
`117`	`120`	`abstract class SummarizedCallable extends DotNet::Callable {`
`118`	`121`	`/**`
`119`	`122`	* Holds if data may flow from `input` to `output` through this callable.