public class Builtins extends Object
| Modifier and Type | Class and Description |
|---|---|
static class |
Builtins.Command |
| Constructor and Description |
|---|
Builtins(Path workDir,
ConfigurationPath configPath,
Function<String,Widget> widgetCreator) |
Builtins(Set<Builtins.Command> commands,
Path workDir,
ConfigurationPath configpath,
Function<String,Widget> widgetCreator) |
Builtins(Set<Builtins.Command> commands,
Supplier<Path> workDir,
ConfigurationPath configpath,
Function<String,Widget> widgetCreator) |
Builtins(Supplier<Path> workDir,
ConfigurationPath configPath,
Function<String,Widget> widgetCreator) |
| Modifier and Type | Method and Description |
|---|---|
void |
alias(String alias,
String command) |
Widgets.CmdDesc |
commandDescription(String command) |
Completers.SystemCompleter |
compileCompleters() |
void |
execute(String command,
List<String> args,
InputStream in,
PrintStream out,
PrintStream err) |
void |
execute(String command,
String[] args,
InputStream in,
PrintStream out,
PrintStream err) |
boolean |
hasCommand(String name) |
void |
rename(Builtins.Command command,
String newName) |
void |
setLineReader(LineReader reader) |
public Builtins(Path workDir, ConfigurationPath configPath, Function<String,Widget> widgetCreator)
public Builtins(Set<Builtins.Command> commands, Path workDir, ConfigurationPath configpath, Function<String,Widget> widgetCreator)
public Builtins(Supplier<Path> workDir, ConfigurationPath configPath, Function<String,Widget> widgetCreator)
public Builtins(Set<Builtins.Command> commands, Supplier<Path> workDir, ConfigurationPath configpath, Function<String,Widget> widgetCreator)
public void setLineReader(LineReader reader)
public void rename(Builtins.Command command, String newName)
public boolean hasCommand(String name)
public Completers.SystemCompleter compileCompleters()
public void execute(String command, List<String> args, InputStream in, PrintStream out, PrintStream err) throws Exception
Exceptionpublic void execute(String command, String[] args, InputStream in, PrintStream out, PrintStream err) throws Exception
Exceptionpublic Widgets.CmdDesc commandDescription(String command)
Copyright © 2020. All rights reserved.