@@ -21,6 +21,7 @@ private RefType boxIfNeeded(J::Type t) {
   result = t
 }
 
+/** Provides the input types and predicates for instantiation of `UniversalFlow`. */
 module FlowStepsInput implements UniversalFlow::UniversalFlowInput<Location> {
   private newtype TFlowNode =
     TField(Field f) { not f.getType() instanceof PrimitiveType } or
@@ -32,28 +33,35 @@ module FlowStepsInput implements UniversalFlow::UniversalFlowInput<Location> {
    * A `Field`, `BaseSsaVariable`, `Expr`, or `Method`.
    */
   class FlowNode extends TFlowNode {
+    /** Gets a textual representation of this element. */
     string toString() {
       result = this.asField().toString() or
       result = this.asSsa().toString() or
       result = this.asExpr().toString() or
       result = this.asMethod().toString()
     }
 
+    /** Gets the source location for this element. */
     Location getLocation() {
       result = this.asField().getLocation() or
       result = this.asSsa().getLocation() or
       result = this.asExpr().getLocation() or
       result = this.asMethod().getLocation()
     }
 
+    /** Gets the field corresponding to this node, if any. */
     Field asField() { this = TField(result) }
 
+    /** Gets the SSA variable corresponding to this node, if any. */
     BaseSsaVariable asSsa() { this = TSsa(result) }
 
+    /** Gets the expression corresponding to this node, if any. */
     Expr asExpr() { this = TExpr(result) }
 
+    /** Gets the method corresponding to this node, if any. */
     Method asMethod() { this = TMethod(result) }
 
+    /** Gets the type of this node. */
     RefType getType() {
       result = this.asField().getType() or
       result = this.asSsa().getSourceVariable().getType() or
 
@@ -38,6 +38,7 @@ class BaseSsaSourceVariable extends TBaseSsaSourceVariable {
   /** Gets the `Callable` in which this `BaseSsaSourceVariable` is defined. */
   Callable getEnclosingCallable() { this = TLocalVar(result, _) }
 
+  /** Gets a textual representation of this element. */
   string toString() {
     exists(LocalScopeVariable v, Callable c | this = TLocalVar(c, v) |
       if c = v.getCallable()
@@ -46,6 +47,7 @@ class BaseSsaSourceVariable extends TBaseSsaSourceVariable {
     )
   }
 
+  /** Gets the source location for this element. */
   Location getLocation() {
     exists(LocalScopeVariable v | this = TLocalVar(_, v) and result = v.getLocation())
   }
@@ -482,8 +484,10 @@ class BaseSsaVariable extends TBaseSsaVariable {
     this = TSsaEntryDef(_, result)
   }
 
+  /** Gets a textual representation of this element. */
   string toString() { none() }
 
+  /** Gets the source location for this element. */
   Location getLocation() { result = this.getCfgNode().getLocation() }
 
   /** Gets the `BasicBlock` in which this SSA variable is defined. */
Original file line number	Diff line number	Diff line change
`@@ -38,6 +38,7 @@ class BaseSsaSourceVariable extends TBaseSsaSourceVariable {`
`38`	`38`	/** Gets the `Callable` in which this `BaseSsaSourceVariable` is defined. */
`39`	`39`	`Callable getEnclosingCallable() { this = TLocalVar(result, _) }`
`40`	`40`
	`41`	`+ /** Gets a textual representation of this element. */`
`41`	`42`	`string toString() {`
`42`	`43`	`exists(LocalScopeVariable v, Callable c \| this = TLocalVar(c, v) \|`
`43`	`44`	`if c = v.getCallable()`
`@@ -46,6 +47,7 @@ class BaseSsaSourceVariable extends TBaseSsaSourceVariable {`
`46`	`47`	`)`
`47`	`48`	`}`
`48`	`49`
	`50`	`+ /** Gets the source location for this element. */`
`49`	`51`	`Location getLocation() {`
`50`	`52`	`exists(LocalScopeVariable v \| this = TLocalVar(_, v) and result = v.getLocation())`
`51`	`53`	`}`
`@@ -482,8 +484,10 @@ class BaseSsaVariable extends TBaseSsaVariable {`
`482`	`484`	`this = TSsaEntryDef(_, result)`
`483`	`485`	`}`
`484`	`486`
	`487`	`+ /** Gets a textual representation of this element. */`
`485`	`488`	`string toString() { none() }`
`486`	`489`
	`490`	`+ /** Gets the source location for this element. */`
`487`	`491`	`Location getLocation() { result = this.getCfgNode().getLocation() }`
`488`	`492`
`489`	`493`	/** Gets the `BasicBlock` in which this SSA variable is defined. */