Class Builtins

    • Constructor Detail

      • Builtins

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

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

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

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

      • setLineReader

        public void setLineReader​(org.jline.reader.LineReader reader)