| java.lang.Object
 de.uka.ilkd.key.gui.assistant.ProofAssistantController
| ProofAssistantController | | public class ProofAssistantController (Code) | | The proof assistant controller is connected to several system
points. The events send from these points are passed through to the
AI which decides about the actions to be executed.
|
| ProofAssistantController | | public ProofAssistantController(KeYMediator mediator, GeneralSettings settings, ProofAssistantAI ai, ProofAssistant ui)(Code) | | creates the proof assistant controller associated with the
given AI.
Parameters:
mediator - the KeYMediator
Parameters:
settings - the GenberalSettings indicating if theassistant should be enabled or disabled
Parameters:
ai - the ProofAssistantAI
Parameters:
ui - the ProofAssistant user interface |
| addChangeListener | | public void addChangeListener(ChangeListener l)(Code) | | adds a change listener to this assistant
Parameters:
l - the ChangeListener |
| disable | | public void disable()(Code) | | disables the assistant
|
| displayText | | public void displayText(String text)(Code) | | the given text is displayed by the assistant
|
| enable | | public void enable()(Code) | | enables the assistant
|
| getState | | public boolean getState()(Code) | | returns the state of the assistant (true means enabled, false
disabled)
|
| removeChangeListener | | public void removeChangeListener(ChangeListener l)(Code) | | removes the giben change listener from this assistant
Parameters:
l - the ChangeListener |
|
|