org.meta_environment.rascal.eclipse.console.internal
Class InteractiveInterpreterConsole.ConsoleDocumentListener

java.lang.Object
  org.meta_environment.rascal.eclipse.console.internal.InteractiveInterpreterConsole.ConsoleDocumentListener

All Implemented Interfaces:

org.eclipse.jface.text.IDocumentListener

Enclosing class:

InteractiveInterpreterConsole

private static class InteractiveInterpreterConsole.ConsoleDocumentListener
extends java.lang.Object
implements org.eclipse.jface.text.IDocumentListener

Field Summary

private java.lang.StringBuffer	buffer
private InteractiveInterpreterConsole	console
private boolean	enabled

Constructor Summary

InteractiveInterpreterConsole.ConsoleDocumentListener(InteractiveInterpreterConsole console)

Method Summary

void	disable()
void	documentAboutToBeChanged(org.eclipse.jface.text.DocumentEvent event)
void	documentChanged(org.eclipse.jface.text.DocumentEvent event)
void	enable()
void	execute()
void	queue(java.lang.String command, int commandStartOffset)
void	registerListener()
void	reset()

Methods inherited from class java.lang.Object

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

Field Detail

console

private final InteractiveInterpreterConsole console

enabled

private volatile boolean enabled

buffer

private java.lang.StringBuffer buffer

Constructor Detail

InteractiveInterpreterConsole.ConsoleDocumentListener

public InteractiveInterpreterConsole.ConsoleDocumentListener(InteractiveInterpreterConsole console)

Method Detail

enable

public void enable()

disable

public void disable()

registerListener

public void registerListener()

documentAboutToBeChanged

public void documentAboutToBeChanged(org.eclipse.jface.text.DocumentEvent event)

Specified by:

documentAboutToBeChanged in interface org.eclipse.jface.text.IDocumentListener

documentChanged

public void documentChanged(org.eclipse.jface.text.DocumentEvent event)

Specified by:

documentChanged in interface org.eclipse.jface.text.IDocumentListener

queue

public void queue(java.lang.String command,
                  int commandStartOffset)

execute

public void execute()

reset

public void reset()