From b175b520654af3ccc9298ee7b17e8eb39cf1f80d Mon Sep 17 00:00:00 2001
From: Dave Holoway <adelphes@gmail.com>
Date: Wed, 10 Jun 2020 14:50:40 +0100
Subject: [PATCH] make variable arity parameters an array type

---
 langserver/java/source-type.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/langserver/java/source-type.js b/langserver/java/source-type.js
index 2a78978..767e5bd 100644
--- a/langserver/java/source-type.js
+++ b/langserver/java/source-type.js
@@ -251,6 +251,10 @@ class SourceParameter extends Parameter {
     }
 
     get type() {
+        if (this.varargs) {
+            // variable arity parameters are automatically an array type
+            return new ArrayType(this._paramType.resolved, 1);
+        }
         return this._paramType.resolved;
     }
 }