org.eclipse.xtext.ui.editor.folding

Class DefaultFoldedPosition

java.lang.Object

org.eclipse.jface.text.Position

org.eclipse.xtext.ui.editor.folding.FoldedPosition

org.eclipse.xtext.ui.editor.folding.DefaultFoldedPosition

All Implemented Interfaces:

org.eclipse.jface.text.source.projection.IProjectionPosition

public class DefaultFoldedPosition
extends FoldedPosition

Default implementation of folded position. It uses a relative offset to determine the significant content and its length.

Author:

Sebastian Zarnekow - Initial contribution and API

Field Summary

Fields inherited from class org.eclipse.jface.text.Position

isDeleted, length, offset

Constructor Summary

Constructors

Constructor and Description
DefaultFoldedPosition(int offset, int length, int contentStart, int contentLength)
DefaultFoldedPosition(int offset, int length, int contentStart, int contentLength, boolean initiallyFolded) Deprecated. use / override DefaultFoldedPosition(int, int, int, int) instead

Method Summary

Methods

Modifier and Type	Method and Description
int	computeCaptionOffset(org.eclipse.jface.text.IDocument document)
org.eclipse.jface.text.IRegion[]	computeProjectionRegions(org.eclipse.jface.text.IDocument document)
boolean	equals(Object obj)
int	hashCode()
boolean	isInitiallyFolded()
void	setInitiallyFolded(boolean initiallyFolded)

Methods inherited from class org.eclipse.jface.text.Position

delete, getLength, getOffset, includes, isDeleted, overlapsWith, setLength, setOffset, toString, undelete

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DefaultFoldedPosition

public DefaultFoldedPosition(int offset,
                     int length,
                     int contentStart,
                     int contentLength)

DefaultFoldedPosition

@Deprecated
public DefaultFoldedPosition(int offset,
                                int length,
                                int contentStart,
                                int contentLength,
                                boolean initiallyFolded)

Deprecated. use / override DefaultFoldedPosition(int, int, int, int) instead

Since:

2.8

Method Detail

computeProjectionRegions

public org.eclipse.jface.text.IRegion[] computeProjectionRegions(org.eclipse.jface.text.IDocument document)
                                                          throws org.eclipse.jface.text.BadLocationException

Throws:

org.eclipse.jface.text.BadLocationException

computeCaptionOffset

public int computeCaptionOffset(org.eclipse.jface.text.IDocument document)
                         throws org.eclipse.jface.text.BadLocationException

Throws:

org.eclipse.jface.text.BadLocationException

hashCode

public int hashCode()

Overrides:

hashCode in class org.eclipse.jface.text.Position

equals

public boolean equals(Object obj)

Overrides:

equals in class org.eclipse.jface.text.Position

isInitiallyFolded

public boolean isInitiallyFolded()

Since:

2.8

setInitiallyFolded

public void setInitiallyFolded(boolean initiallyFolded)

Since:

2.9