diff options
author | Eduardo Julian | 2017-12-04 21:13:30 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-12-04 21:13:30 -0400 |
commit | 9641cfa9ed5043f3df2792f5aeab4e42b2f79a44 (patch) | |
tree | eb85ab46df44f2b1ae7c54a3c6d0a4e05cbc6277 | |
parent | f4c5f6ec0ad286f55a4c9e36677c321e99eefcbe (diff) |
- No longer using BufferedReader for console input.
-rw-r--r-- | stdlib/source/lux/world/console.lux | 75 |
1 files changed, 51 insertions, 24 deletions
diff --git a/stdlib/source/lux/world/console.lux b/stdlib/source/lux/world/console.lux index f84e51d03..6458764ec 100644 --- a/stdlib/source/lux/world/console.lux +++ b/stdlib/source/lux/world/console.lux @@ -16,21 +16,14 @@ (close [] (Task Unit))) (for {"JVM" - (as-is (host.import java/lang/AutoCloseable - (close [] #io #try void)) - - (host.import java/io/InputStream) + (as-is (host.import java/io/InputStream + (read [] #io #try int) + (available [] #io #try int) + (mark [int] #io #try void) + (reset [] #io #try void)) (host.import java/io/Reader) - (host.import java/io/InputStreamReader - (new [InputStream])) - - (host.import java/io/BufferedReader - (new [Reader]) - (read [] #io #try int) - (readLine [] #io #try String)) - (host.import java/io/PrintStream (print [String] #io #try void)) @@ -38,22 +31,59 @@ (#static in java/io/InputStream) (#static out java/io/PrintStream)) + (host.import java/lang/Appendable + (append [CharSequence] Appendable)) + + (host.import java/lang/String) + + (host.import java/lang/StringBuffer + (new [String]) + (toString [] String)) + (class: JVM-Console Console - {#input BufferedReader + {#input InputStream #output PrintStream} (def: read-char (|>> get@Console (get@ #input) - (BufferedReader::read []) + (InputStream::read []) (:: io.Functor<Process> map (|>> int-to-nat text.from-code)) promise.future)) - (def: read-line - (|>> get@Console - (get@ #input) - (BufferedReader::readLine []) - promise.future)) + (def: (read-line console) + (let [input (|> console get@Console (get@ #input)) + buffer (StringBuffer::new [""])] + (promise.future + (loop [_ []] + (do io.Monad<Process> + [char (<| (:: @ map (|>> int-to-nat text.from-code)) + (InputStream::read [] input))] + (case char + "\n" + (wrap (StringBuffer::toString [] buffer)) + + "\r" + (do @ + [available (InputStream::available [] input)] + (if (i/> 0 available) + (do @ + [_ (InputStream::mark [10] input) + next (<| (:: @ map (|>> int-to-nat text.from-code)) + (InputStream::read [] input))] + (case next + "\n" + (wrap (StringBuffer::toString [] buffer)) + + _ + (do @ + [_ (InputStream::reset [] input)] + (wrap (StringBuffer::toString [] buffer))))) + (wrap (StringBuffer::toString [] buffer)))) + + _ + (exec (Appendable::append [(:! String char)] buffer) + (recur [])))))))) (def: (write message) (|>> get@Console @@ -62,13 +92,10 @@ promise.future)) (def: (close self) - (promise.future - (do io.Monad<Process> - [_ (AutoCloseable::close [] (|> self get@Console (get@ #input)))] - (AutoCloseable::close [] (|> self get@Console (get@ #output))))))) + (task.return []))) (def: #export open (Process Console) - (io (#e.Success (new@JVM-Console {#input (|> System::in InputStreamReader::new BufferedReader::new) + (io (#e.Success (new@JVM-Console {#input System::in #output System::out}))))) }) |