Class Builtins

    • 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)