Package net.hydromatic.morel

Class Shell

  • public class Shell
extends java.lang.Object
    Command shell for ML, powered by JLine3.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.util.List<java.lang.String> argList  
      private boolean banner  
      private boolean echo  
      private boolean help  
      private boolean system  
      private org.jline.terminal.Terminal terminal  
      private com.google.common.collect.ImmutableMap<java.lang.String,​ForeignValue> valueMap  

    • Constructor Summary

      Constructors 
      Constructor Description
      Shell​(java.util.List<java.lang.String> args, java.io.InputStream in, java.io.OutputStream out)
      Creates a Shell.

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      private java.lang.String banner()
      Generates a banner to be shown on startup.
      (package private) void help()  
      static void main​(java.lang.String[] args)
      Command-line entry point.
      protected void pause()
      Pauses after creating the terminal.
      private void printAll​(java.util.List<java.lang.String> lines)  
      void run()  
      (package private) void usage()  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • argList

        private final java.util.List<java.lang.String> argList

      • echo

        private final boolean echo

      • terminal

        private final org.jline.terminal.Terminal terminal

      • banner

        private final boolean banner

      • system

        private final boolean system

      • valueMap

        private final com.google.common.collect.ImmutableMap<java.lang.String,​ForeignValue> valueMap

      • help

        private boolean help

    • Constructor Detail

      • Shell

        public Shell​(java.util.List<java.lang.String> args,
             java.io.InputStream in,
             java.io.OutputStream out)
      throws java.io.IOException
        Creates a Shell.
        Throws:
        java.io.IOException

    • Method Detail

      • main

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

      • usage

        void usage()

      • help

        void help()

      • pause

        protected void pause()
        Pauses after creating the terminal.

        Default implementation does nothing; derived class used in testing pauses for a few milliseconds, which gives classes time to load and makes test deterministic.

      • printAll

        private void printAll​(java.util.List<java.lang.String> lines)

      • banner

        private java.lang.String banner()
        Generates a banner to be shown on startup.

      • run

        public void run()