Class ProjogConsole

java.lang.Object

org.projog.tools.ProjogConsole

public class ProjogConsole
extends Object

Command line interface to Prolog.

Provides a mechanism for users to interact with Projog via a read-evaluate-print loop (REPL).

Field Summary

Fields

Modifier and Type	Field	Description
private static final String	CONTINUE_EVALUATING
private final Scanner	in
private final PrintStream	out
private final Projog	projog
private boolean	quit
private static final PredicateKey	QUIT_COMMAND	Command user can enter to exit the console application.
private static final String	STOP_EVALUATING

Constructor Summary

Constructors

Constructor	Description
ProjogConsole(InputStream in, PrintStream out)

Method Summary

Modifier and Type	Method	Description
private void	consultScript(String startupScriptName)
private void	consultScripts(List<String> scriptFilenames)
private boolean	evaluateOnce(QueryResult r, Set<String> variableIds)	Returns true if QueryResult can be re-tried
private static boolean	isNotEmpty(String input)
static void	main(String[] args)
private void	parseAndExecute(String inputSyntax)
private void	printOutcome(boolean success, long timing)
private void	printPrompt()
private void	printVariableAssignments(QueryResult r, Set<String> variableIds)
private void	processThrowable(Throwable e)
(package private) void	run(List<String> startupScriptFilenames)
private boolean	shouldContinue()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

QUIT_COMMAND

private static final PredicateKey QUIT_COMMAND

Command user can enter to exit the console application.

CONTINUE_EVALUATING

private static final String CONTINUE_EVALUATING

See Also:

• Constant Field Values

STOP_EVALUATING

private static final String STOP_EVALUATING

See Also:

• Constant Field Values

in

private final Scanner in

out

private final PrintStream out

projog

private final Projog projog

quit

private boolean quit

Constructor Details

ProjogConsole

ProjogConsole(InputStream in,
 PrintStream out)

Method Details

run

void run(List<String> startupScriptFilenames)
  throws IOException

Throws:

IOException

printPrompt

private void printPrompt()

isNotEmpty

private static boolean isNotEmpty(String input)

consultScripts

private void consultScripts(List<String> scriptFilenames)

consultScript

private void consultScript(String startupScriptName)

parseAndExecute

private void parseAndExecute(String inputSyntax)

shouldContinue

private boolean shouldContinue()

processThrowable

private void processThrowable(Throwable e)

evaluateOnce

private boolean evaluateOnce(QueryResult r,
 Set<String> variableIds)

Returns true if QueryResult can be re-tried

printVariableAssignments

private void printVariableAssignments(QueryResult r,
 Set<String> variableIds)

printOutcome

private void printOutcome(boolean success,
 long timing)

main

public static void main(String[] args)
                 throws IOException

Throws:

IOException