|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectedu.rice.cs.drjava.model.repl.DummyInteractionsListener
public class DummyInteractionsListener
A dummy InteractionsListener that does nothing.
| Constructor Summary | |
|---|---|
DummyInteractionsListener()
|
|
| Method Summary | |
|---|---|
void |
interactionEnded()
Called when an interaction has finished running. |
void |
interactionErrorOccurred(int offset,
int length)
Called when the interactions window generates a syntax error. |
void |
interactionIncomplete()
Called when enter was typed in the interactions pane but the interaction was incomplete. |
void |
interactionStarted()
Called after an interaction is started by the GlobalModel. |
void |
interpreterChanged(boolean inProgress)
Called when the active interpreter is changed. |
void |
interpreterExited(int status)
Called when the interactions JVM was closed by System.exit or by being aborted. |
void |
interpreterReady(java.io.File wd)
Called when the interactions window is reset. |
void |
interpreterResetFailed(java.lang.Throwable t)
Called if the interpreter reset failed. |
void |
interpreterResetting()
Called when the interactionsJVM has begun resetting. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public DummyInteractionsListener()
| Method Detail |
|---|
public void interactionStarted()
interactionStarted in interface InteractionsListenerpublic void interactionEnded()
interactionEnded in interface InteractionsListener
public void interactionErrorOccurred(int offset,
int length)
interactionErrorOccurred in interface InteractionsListeneroffset - the error's offset into the InteractionsDocumentlength - the length of the errorpublic void interpreterResetting()
interpreterResetting in interface InteractionsListenerpublic void interpreterReady(java.io.File wd)
interpreterReady in interface InteractionsListenerpublic void interpreterExited(int status)
interpreterExited in interface InteractionsListenerstatus - the exit codepublic void interpreterResetFailed(java.lang.Throwable t)
interpreterResetFailed in interface InteractionsListenert - Throwable explaining why the reset failed.public void interpreterChanged(boolean inProgress)
interpreterChanged in interface InteractionsListenerinProgress - Whether the new interpreter is currently processing an interaction (i.e. whether an
interactionEnded event will be fired)public void interactionIncomplete()
interactionIncomplete in interface InteractionsListener
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||