From dbb658bd7976c073a2bf314f194b36b30c45784b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 26 Nov 2020 19:37:11 -0400
Subject: Allow name formatting for JVM imports, similar to Lux module imports.

---
 stdlib/source/program/aedifex/repository.lux | 38 +++++++++++++++++-----------
 1 file changed, 23 insertions(+), 15 deletions(-)

(limited to 'stdlib/source/program/aedifex/repository.lux')

diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index 5c622d84b..d2ba2c226 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -95,37 +95,45 @@
 (import: java/lang/String)
 
 (import: java/lang/AutoCloseable
-  (close [] #io #try void))
+  ["#::."
+   (close [] #io #try void)])
 
 (import: java/io/OutputStream
-  (flush [] #io #try void)
-  (write [[byte]] #io #try void))
+  ["#::."
+   (flush [] #io #try void)
+   (write [[byte]] #io #try void)])
 
 (import: java/net/URLConnection
-  (setDoOutput [boolean] #io #try void)
-  (setRequestProperty [java/lang/String java/lang/String] #io #try void)
-  (getOutputStream [] #io #try java/io/OutputStream))
+  ["#::."
+   (setDoOutput [boolean] #io #try void)
+   (setRequestProperty [java/lang/String java/lang/String] #io #try void)
+   (getOutputStream [] #io #try java/io/OutputStream)])
 
 (import: java/net/HttpURLConnection
-  (setRequestMethod [java/lang/String] #io #try void)
-  (getResponseCode [] #io #try int))
+  ["#::."
+   (setRequestMethod [java/lang/String] #io #try void)
+   (getResponseCode [] #io #try int)])
 
 (import: java/net/URL
-  (new [java/lang/String])
-  (openConnection [] #io #try java/net/URLConnection)
-  (openStream [] #io #try java/io/InputStream))
+  ["#::."
+   (new [java/lang/String])
+   (openConnection [] #io #try java/net/URLConnection)
+   (openStream [] #io #try java/io/InputStream)])
 
 (import: java/util/Base64$Encoder
-  (encodeToString [[byte]] java/lang/String))
+  ["#::."
+   (encodeToString [[byte]] java/lang/String)])
 
 (import: java/util/Base64
-  (#static getEncoder [] java/util/Base64$Encoder))
+  ["#::."
+   (#static getEncoder [] java/util/Base64$Encoder)])
 
 (import: java/io/InputStream)
 
 (import: java/io/BufferedInputStream
-  (new [java/io/InputStream])
-  (read [[byte] int int] #io #try int))
+  ["#::."
+   (new [java/io/InputStream])
+   (read [[byte] int int] #io #try int)])
 
 (exception: #export (failure {code Int})
   (exception.report
-- 
cgit v1.2.3