Class JlineCommandRegistry

    • Constructor Detail

      • JlineCommandRegistry

        public JlineCommandRegistry()
    • Method Detail

      • commandInfo

        public java.util.List<java.lang.String> commandInfo​(java.lang.String command)
        Description copied from interface: CommandRegistry
        Returns a short info about command known by this registry.
        Parameters:
        command - the command name
        Returns:
        a short info about command
      • commandDescription

        public CmdDesc commandDescription​(java.util.List<java.lang.String> args)
        Description copied from interface: CommandRegistry
        Returns a command description for use in the JLine Widgets framework. Default method must be overridden to return sub command descriptions.
        Parameters:
        args - command (args[0]) and its arguments
        Returns:
        command description for JLine TailTipWidgets to be displayed in the terminal status bar.
      • commandOptions

        public java.util.List<Completers.OptDesc> commandOptions​(java.lang.String command)
      • defaultCompleter

        public java.util.List<Completer> defaultCompleter​(java.lang.String command)
      • highlightComment

        private static AttributedString highlightComment​(java.lang.String comment)
      • helpLines

        private static java.lang.String[] helpLines​(java.lang.String helpMessage,
                                                    boolean body)
      • compileCommandDescription

        public static CmdDesc compileCommandDescription​(java.lang.String helpMessage)
      • compileCommandOptions

        public static java.util.List<Completers.OptDesc> compileCommandOptions​(java.lang.String helpMessage)
      • compileCommandInfo

        public static java.util.List<java.lang.String> compileCommandInfo​(java.lang.String helpMessage)