Python: correct doc for toString

Author: yoff

python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll

@@ -134,7 +134,7 @@ private newtype TReturnKind = TNormalReturnKind()
  * from a callable. For Python, this is simply a method return.
  */
 class ReturnKind extends TReturnKind {
-  /** Gets a textual representation of this return kind. */
+  /** Gets a textual representation of this element. */
   string toString() { result = "return" }
 }
 
@@ -173,9 +173,7 @@ OutNode getAnOutNode(DataFlowCall call, ReturnKind kind) {
 newtype TDataFlowType = TAnyFlow()
 
 class DataFlowType extends TDataFlowType {
-  /**
-   * Gets a string representation of the data flow type.
-   */
+  /** Gets a textual representation of this element. */
   string toString() { result = "DataFlowType" }
 }
 

python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll

@@ -60,9 +60,7 @@ class EssaNode extends Node, TEssaNode {
 
   EssaVariable getVar() { result = var }
 
-  /**
-   * Get a string representation of this data flow node.
-   */
+  /** Gets a textual representation of this element. */
   override string toString() { result = var.toString() }
 
   override Scope getScope() { result = var.getScope() }
@@ -77,9 +75,7 @@ class CfgNode extends Node, TCfgNode {
 
   ControlFlowNode getNode() { result = node }
 
-  /**
-   * Get a string representation of this data flow node.
-   */
+  /** Gets a textual representation of this element. */
   override string toString() { result = node.toString() }
 
   override Scope getScope() { result = node.getScope() }