org.eclipse.xtext.ui.editor.autoedit

Class PartitionDeletionEditStrategy

java.lang.Object

org.eclipse.xtext.ui.editor.autoedit.AbstractEditStrategy

org.eclipse.xtext.ui.editor.autoedit.PartitionDeletionEditStrategy

All Implemented Interfaces:

EventListener, org.eclipse.jface.text.IAutoEditStrategy, org.eclipse.swt.custom.VerifyKeyListener, org.eclipse.swt.internal.SWTEventListener

public class PartitionDeletionEditStrategy
extends AbstractEditStrategy

Author:

Sven Efftinge - Initial contribution and API deletes the closing terminals if the opening terminals of a certain partitions are to be removed.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PartitionDeletionEditStrategy.Factory

Field Summary

Fields inherited from class org.eclipse.xtext.ui.editor.autoedit.AbstractEditStrategy

debug, DEBUG

Constructor Summary

Constructors

Constructor and Description
PartitionDeletionEditStrategy(String left, String right)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	internalCustomizeDocumentCommand(org.eclipse.jface.text.IDocument document, org.eclipse.jface.text.DocumentCommand command)

Methods inherited from class org.eclipse.xtext.ui.editor.autoedit.AbstractEditStrategy

count, customizeDocumentCommand, getDocumentContent, handleBadLocationException, isIdentifierPart, verifyKey

Methods inherited from class java.lang.Object

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

Constructor Detail

PartitionDeletionEditStrategy

public PartitionDeletionEditStrategy(String left,
                             String right)

Method Detail

internalCustomizeDocumentCommand

protected void internalCustomizeDocumentCommand(org.eclipse.jface.text.IDocument document,
                                    org.eclipse.jface.text.DocumentCommand command)
                                         throws org.eclipse.jface.text.BadLocationException

Specified by:

internalCustomizeDocumentCommand in class AbstractEditStrategy

Throws:

org.eclipse.jface.text.BadLocationException