Java: Add toString override for SwitchExpr.

aschackmull · aschackmull · commit e8aae19556ac · 2019-07-25T10:53:16.000+02:00
diff --git a/java/ql/src/semmle/code/java/Expr.qll b/java/ql/src/semmle/code/java/Expr.qll
@@ -1121,6 +1121,9 @@ class SwitchExpr extends Expr, @switchexpr {
       break.(JumpStmt).getTarget() = this and result = break.getValue()
     )
   }
+
+  /** Gets a printable representation of this expression. */
+  override string toString() { result = "switch (...)" }
 }
 
 /** A parenthesised expression. */

Original file line number	Diff line number	Diff line change
`@@ -1121,6 +1121,9 @@ class SwitchExpr extends Expr, @switchexpr {`
`1121`	`1121`	`break.(JumpStmt).getTarget() = this and result = break.getValue()`
`1122`	`1122`	`)`
`1123`	`1123`	`}`
	`1124`	`+`
	`1125`	`+ /** Gets a printable representation of this expression. */`
	`1126`	`+ override string toString() { result = "switch (...)" }`
`1124`	`1127`	`}`
`1125`	`1128`
`1126`	`1129`	`/** A parenthesised expression. */`