Class Builtins

    • Field Detail

      • widgetCreator

        private final java.util.function.Function<java.lang.String,​Widget> widgetCreator
      • workDir

        private final java.util.function.Supplier<java.nio.file.Path> workDir
    • Constructor Detail

      • Builtins

        public Builtins​(java.nio.file.Path workDir,
                        ConfigurationPath configPath,
                        java.util.function.Function<java.lang.String,​Widget> widgetCreator)
      • Builtins

        public Builtins​(java.util.Set<Builtins.Command> commands,
                        java.nio.file.Path workDir,
                        ConfigurationPath configpath,
                        java.util.function.Function<java.lang.String,​Widget> widgetCreator)
      • Builtins

        public Builtins​(java.util.function.Supplier<java.nio.file.Path> workDir,
                        ConfigurationPath configPath,
                        java.util.function.Function<java.lang.String,​Widget> widgetCreator)
      • Builtins

        public Builtins​(java.util.Set<Builtins.Command> commands,
                        java.util.function.Supplier<java.nio.file.Path> workDir,
                        ConfigurationPath configpath,
                        java.util.function.Function<java.lang.String,​Widget> widgetCreator)
    • Method Detail

      • setLineReader

        public void setLineReader​(LineReader reader)
      • highlighter

        private void highlighter​(CommandInput input)
      • unsetOptions

        private java.util.List<java.lang.String> unsetOptions​(boolean set)
      • highlighterCompleter

        private java.util.List<Completer> highlighterCompleter​(java.lang.String name)
      • allWidgets

        private java.util.Set<java.lang.String> allWidgets()
      • nanoCompleter

        private java.util.List<Completer> nanoCompleter​(java.lang.String name)
      • lessCompleter

        private java.util.List<Completer> lessCompleter​(java.lang.String name)
      • historyCompleter

        private java.util.List<Completer> historyCompleter​(java.lang.String name)
      • widgetCompleter

        private java.util.List<Completer> widgetCompleter​(java.lang.String name)
      • setvarCompleter

        private java.util.List<Completer> setvarCompleter​(java.lang.String name)
      • setoptCompleter

        private java.util.List<Completer> setoptCompleter​(java.lang.String name)
      • unsetoptCompleter

        private java.util.List<Completer> unsetoptCompleter​(java.lang.String name)