Examples with DefaultConsoleIterator com.sri.ai.util.console.DefaultConsoleIterator used on opensource projects

Example 1 with DefaultConsoleIterator

use of com.sri.ai.util.console.DefaultConsoleIterator in project aic-expresso by aic-sri-international.

the class SymbolicShell method getConsole.

private static ConsoleIterator getConsole(String[] args) {
    ConsoleIterator result = null;
    OptionParser parser = new OptionParser();
    OptionSpec<String> consoleType = parser.accepts("console", "Console type <gui> or <default>").withRequiredArg().ofType(String.class);
    OptionSet options = parser.parse(args);
    if (options.has(consoleType)) {
        if ("gui".equalsIgnoreCase(options.valueOf(consoleType))) {
            result = new GUIConsoleIterator();
        }
    }
    if (result == null) {
        result = new DefaultConsoleIterator();
    }
    return result;
}

Example 2 with DefaultConsoleIterator

use of com.sri.ai.util.console.DefaultConsoleIterator in project aic-expresso by aic-sri-international.

the class SymbolicShell method getConsole.

private static ConsoleIterator getConsole(String[] args) {
    ConsoleIterator result = null;
    OptionParser parser = new OptionParser();
    OptionSpec<String> consoleType = parser.accepts("console", "Console type <gui or default>").withRequiredArg().ofType(String.class);
    OptionSet options = parser.parse(args);
    if (options.has(consoleType)) {
        if ("gui".equalsIgnoreCase(options.valueOf(consoleType))) {
            result = new GUIConsoleIterator();
        }
    }
    if (result == null) {
        result = new DefaultConsoleIterator();
    }
    return result;
}