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

java.lang.Object
  org.eclipse.jface.text.Position
      org.eclipse.xtext.ui.editor.folding.FoldedPosition

All Implemented Interfaces:

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

Direct Known Subclasses:

DefaultFoldedPosition

public abstract class FoldedPosition
extends org.eclipse.jface.text.Position
implements org.eclipse.jface.text.source.projection.IProjectionPosition

Abstract base class for positions that implement the IProjectionPosition interface.

Author:

Sebastian Zarnekow - Initial contribution and API

Field Summary

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

isDeleted, length, offset

Constructor Summary

protected

FoldedPosition(int offset, int length)

Method Summary

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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.jface.text.source.projection.IProjectionPosition

computeCaptionOffset, computeProjectionRegions

Constructor Detail

FoldedPosition

protected FoldedPosition(int offset,
                         int length)