org.ocleditor.internal.ui.document
Class DocumentChanger

java.lang.Object
  org.ocleditor.internal.ui.document.DocumentChanger

All Implemented Interfaces:

IDocumentChanger

public class DocumentChanger

extends java.lang.Object

implements IDocumentChanger

Author:

Stefan

Constructor Summary

DocumentChanger(org.eclipse.ui.texteditor.IDocumentProvider provider, org.eclipse.ui.texteditor.ITextEditor editor)
Creates the document changer using the given provider and the given editor.

Method Summary

void	addMethodContext(org.eclipse.jdt.core.IMethod method) Adds a method context at the end of the OCL document.
void	addTypeContext(org.eclipse.jdt.core.IType type) Adds a type context at the end of the OCL document.
void	remove(IOclElement element) Removes an OCL element from the document.
void	setInput(java.lang.Object input) Sets the input of the document changer.

Methods inherited from class java.lang.Object

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

Constructor Detail

DocumentChanger

public DocumentChanger(org.eclipse.ui.texteditor.IDocumentProvider provider,
                       org.eclipse.ui.texteditor.ITextEditor editor)

Creates the document changer using the given provider and the given editor.

Method Detail

setInput

public void setInput(java.lang.Object input)

Sets the input of the document changer.

addTypeContext

public void addTypeContext(org.eclipse.jdt.core.IType type)

Description copied from interface: IDocumentChanger

Adds a type context at the end of the OCL document.

Specified by:

addTypeContext in interface IDocumentChanger

Parameters:

type - represents the type.

addMethodContext

public void addMethodContext(org.eclipse.jdt.core.IMethod method)

Description copied from interface: IDocumentChanger

Adds a method context at the end of the OCL document.

Specified by:

addMethodContext in interface IDocumentChanger

Parameters:

method - represents the method.

remove

public void remove(IOclElement element)

Description copied from interface: IDocumentChanger

Removes an OCL element from the document.

Specified by:

remove in interface IDocumentChanger

Parameters:

element - the OCL element.