From 442de2e2d2de8dea44a26f27aba2e6e695c9cf00 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Tue, 8 Sep 2020 15:09:39 +0200 Subject: [PATCH] Java: Add qldoc. --- java/ql/src/semmle/code/Unit.qll | 1 + 1 file changed, 1 insertion(+) diff --git a/java/ql/src/semmle/code/Unit.qll b/java/ql/src/semmle/code/Unit.qll index ca60616e336..e9611ed3df4 100644 --- a/java/ql/src/semmle/code/Unit.qll +++ b/java/ql/src/semmle/code/Unit.qll @@ -5,5 +5,6 @@ private newtype TUnit = TMkUnit() /** The trivial type with a single element. */ class Unit extends TUnit { + /** Gets a textual representation of this element. */ string toString() { result = "unit" } }