From e8aae19556ac44dd19b1bb3380341ffbc000bd4a Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <schack@semmle.com>
Date: Thu, 25 Jul 2019 10:53:16 +0200
Subject: [PATCH] Java: Add toString override for SwitchExpr.

---
 java/ql/src/semmle/code/java/Expr.qll | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/java/ql/src/semmle/code/java/Expr.qll b/java/ql/src/semmle/code/java/Expr.qll
index 2de0c75cfcb..baeefc94541 100755
--- 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. */