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/command/auto.lux | 40 +++++++++++++++----------- 1 file changed, 24 insertions(+), 16 deletions(-) (limited to 'stdlib/source/program/aedifex/command/auto.lux') diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux index 8150fa1f6..0fc223376 100644 --- a/stdlib/source/program/aedifex/command/auto.lux +++ b/stdlib/source/program/aedifex/command/auto.lux @@ -22,20 +22,25 @@ ["#." command (#+ Command)]]]) (import: java/nio/file/WatchKey - (reset [] #io boolean)) + ["#::." + (reset [] #io boolean)]) (import: java/util/concurrent/TimeUnit - (#enum SECONDS)) + ["#::." + (#enum SECONDS)]) (import: java/nio/file/WatchService - (poll [long java/util/concurrent/TimeUnit] #io #try #? java/nio/file/WatchKey) - (poll #as fetch [] #io #try #? java/nio/file/WatchKey)) + ["#::." + (poll [long java/util/concurrent/TimeUnit] #io #try #? java/nio/file/WatchKey) + (poll #as fetch [] #io #try #? java/nio/file/WatchKey)]) (import: java/nio/file/FileSystem - (newWatchService [] #io #try java/nio/file/WatchService)) + ["#::." + (newWatchService [] #io #try java/nio/file/WatchService)]) (import: java/nio/file/FileSystems - (#static getDefault [] java/nio/file/FileSystem)) + ["#::." + (#static getDefault [] java/nio/file/FileSystem)]) (import: java/lang/Object) @@ -44,20 +49,23 @@ (import: (java/nio/file/WatchEvent$Kind a)) (import: java/nio/file/StandardWatchEventKinds - (#static ENTRY_CREATE (java/nio/file/WatchEvent$Kind java/nio/file/Path)) - (#static ENTRY_MODIFY (java/nio/file/WatchEvent$Kind java/nio/file/Path)) - (#static ENTRY_DELETE (java/nio/file/WatchEvent$Kind java/nio/file/Path))) + ["#::." + (#static ENTRY_CREATE (java/nio/file/WatchEvent$Kind java/nio/file/Path)) + (#static ENTRY_MODIFY (java/nio/file/WatchEvent$Kind java/nio/file/Path)) + (#static ENTRY_DELETE (java/nio/file/WatchEvent$Kind java/nio/file/Path))]) (import: java/nio/file/Path - (register [java/nio/file/WatchService [(java/nio/file/WatchEvent$Kind ?)]] #io #try java/nio/file/WatchKey)) + ["#::." + (register [java/nio/file/WatchService [(java/nio/file/WatchEvent$Kind ?)]] #io #try java/nio/file/WatchKey)]) (import: java/io/File - (new [java/lang/String]) - (exists [] #io #try boolean) - (isDirectory [] #io #try boolean) - (listFiles [] #io #try [java/io/File]) - (getAbsolutePath [] #io #try java/lang/String) - (toPath [] java/nio/file/Path)) + ["#::." + (new [java/lang/String]) + (exists [] #io #try boolean) + (isDirectory [] #io #try boolean) + (listFiles [] #io #try [java/io/File]) + (getAbsolutePath [] #io #try java/lang/String) + (toPath [] java/nio/file/Path)]) (def: (targets path) (-> Path (Action (List Path))) -- cgit v1.2.3