Package net.hydromatic.morel

Class Main

  • public class Main
extends java.lang.Object
    Standard ML REPL.

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      (package private) static class  Main.BufferingReader
      Reader that snoops which characters have been read and saves them in a buffer until Main.BufferingReader.flush() is called.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.lang.String[] args  
      private boolean echo  
      private java.io.BufferedReader in  
      private java.io.PrintWriter out  
      private java.util.Map<java.lang.String,​ForeignValue> valueMap  

    • Constructor Summary

      Constructors 
      Constructor Description
      Main​(java.lang.String[] args, java.io.InputStream in, java.io.PrintStream out, java.util.Map<java.lang.String,​ForeignValue> valueMap)
      Creates a Main.
      Main​(java.lang.String[] args, java.io.Reader in, java.io.Writer out, java.util.Map<java.lang.String,​ForeignValue> valueMap)
      Creates a Main.

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      private static java.io.BufferedReader buffer​(java.io.Reader in)  
      private static java.io.PrintWriter buffer​(java.io.Writer out)  
      static void main​(java.lang.String[] args)
      Command-line entry point.
      void run()  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • args

        private final java.lang.String[] args

      • in

        private final java.io.BufferedReader in

      • out

        private final java.io.PrintWriter out

      • echo

        private final boolean echo

      • valueMap

        private final java.util.Map<java.lang.String,​ForeignValue> valueMap

    • Constructor Detail

      • Main

        public Main​(java.lang.String[] args,
            java.io.InputStream in,
            java.io.PrintStream out,
            java.util.Map<java.lang.String,​ForeignValue> valueMap)
        Creates a Main.

      • Main

        public Main​(java.lang.String[] args,
            java.io.Reader in,
            java.io.Writer out,
            java.util.Map<java.lang.String,​ForeignValue> valueMap)
        Creates a Main.

    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
        Command-line entry point.
        Parameters:
        args - Command-line arguments

      • buffer

        private static java.io.PrintWriter buffer​(java.io.Writer out)

      • buffer

        private static java.io.BufferedReader buffer​(java.io.Reader in)

      • run

        public void run()