public class ConsoleManager extends Object implements QueryListener, Console, PropertyChangeListener
Constructor and Description |
---|
ConsoleManager(alice.tuprologx.ide.IDE ide) |
Modifier and Type | Method and Description |
---|---|
void |
acceptSolution() |
void |
addInformationToDisplayListener(InformationToDisplayListener listener) |
void |
enableStopButton(boolean flag) |
void |
enableTheoryCommands(boolean flag) |
ConsoleDialog |
getDialog() |
String |
getGoal() |
void |
getNextSolution() |
int |
getSolveType() |
boolean |
hasOpenAlternatives() |
void |
newQueryResultAvailable(QueryEvent event) |
void |
notifyInformationToDisplayEvent(InformationToDisplayEvent e) |
void |
propertyChange(PropertyChangeEvent event) |
void |
removeInformationToDisplayListener(InformationToDisplayListener listener) |
void |
setDialog(ConsoleDialog dialog) |
void |
setEngine(Prolog engine) |
void |
setInputField(alice.tuprologx.ide.InputField inputField) |
void |
setSolveType(int solveType) |
void |
setStatusMessage(String message) |
void |
solve() |
void |
solveAll() |
void |
stopEngine() |
public void setDialog(ConsoleDialog dialog)
public void setSolveType(int solveType)
public int getSolveType()
public void setEngine(Prolog engine)
public void setInputField(alice.tuprologx.ide.InputField inputField)
public ConsoleDialog getDialog()
public void solve()
public void solveAll()
public void newQueryResultAvailable(QueryEvent event)
newQueryResultAvailable
in interface QueryListener
public boolean hasOpenAlternatives()
hasOpenAlternatives
in interface Console
public void enableTheoryCommands(boolean flag)
enableTheoryCommands
in interface Console
public void getNextSolution()
getNextSolution
in interface Console
public void acceptSolution()
acceptSolution
in interface Console
public void stopEngine()
stopEngine
in interface Console
public void addInformationToDisplayListener(InformationToDisplayListener listener)
public void removeInformationToDisplayListener(InformationToDisplayListener listener)
public void notifyInformationToDisplayEvent(InformationToDisplayEvent e)
public void enableStopButton(boolean flag)
public void setStatusMessage(String message)
public void propertyChange(PropertyChangeEvent event)
propertyChange
in interface PropertyChangeListener