org.ocleditor.internal.ui.document
Interface IDocumentChanger

All Known Implementing Classes:

DocumentChanger

public interface IDocumentChanger

Can be used to change documents of an editor on an abstract level.

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.

Method Detail

addTypeContext

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

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

Parameters:

type - represents the type.

addMethodContext

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

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

Parameters:

method - represents the method.

remove

public void remove(IOclElement element)

Removes an OCL element from the document.

Parameters:

element - the OCL element.