ptolemy.backtrack.eclipse.plugin.editor

Class SemanticHighlightingReconciler.HighlightedPosition

java.lang.Object

org.eclipse.jface.text.Position

ptolemy.backtrack.eclipse.plugin.editor.SemanticHighlightingReconciler.HighlightedPosition

Enclosing class:

SemanticHighlightingReconciler

protected static class SemanticHighlightingReconciler.HighlightedPosition
extends org.eclipse.jface.text.Position

The position of a semantic highlighting.

Since:

Ptolemy II 5.1

Version:

$Id: SemanticHighlightingReconciler.java 65763 2013-03-07 01:54:37Z cxh $

Author:

Thomas Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Field Summary

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

isDeleted, length, offset

Constructor Summary

Constructors

Constructor and Description
HighlightedPosition(int offset, int length, SemanticHighlightingReconciler.HighlightingStyle highlighting, java.lang.Object lock) Initialize the styled positions with the given offset, length and foreground color.

Method Summary

Modifier and Type	Method and Description
org.eclipse.swt.custom.StyleRange	createStyleRange() Return a corresponding style range.
void	delete() Mark this position as deleted.
SemanticHighlightingReconciler.HighlightingStyle	getHighlighting() Return the highlighting style.
boolean	isContained(int offset, int length) Test whether this position is contained in the given range.
boolean	isEqual(int offset, int length, SemanticHighlightingReconciler.HighlightingStyle highlighting) Test whether this highlighting's starting offset, length, and style is equal to the given parameters.
void	setLength(int length) Set the length of this position.
void	setOffset(int offset) Set the offset of this position.
void	undelete() Mark this position as not deleted.
void	update(int offset, int length) Update this position with the new offset and new length.

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

equals, getLength, getOffset, hashCode, includes, isDeleted, overlapsWith, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

HighlightedPosition

public HighlightedPosition(int offset,
                           int length,
                           SemanticHighlightingReconciler.HighlightingStyle highlighting,
                           java.lang.Object lock)

Initialize the styled positions with the given offset, length and foreground color.

Parameters:

offset - The position offset.

length - The position length.

highlighting - The position's highlighting style.

lock - The lock object.

Method Detail

createStyleRange

public org.eclipse.swt.custom.StyleRange createStyleRange()

Return a corresponding style range.

Returns:

The style range.

delete

public void delete()

Mark this position as deleted.

Overrides:

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

See Also:

undelete()

getHighlighting

public SemanticHighlightingReconciler.HighlightingStyle getHighlighting()

Return the highlighting style.

Returns:

The highlighting style.

isContained

public boolean isContained(int offset,
                           int length)

Test whether this position is contained in the given range.

Parameters:

offset - The range offset.

length - The range length.

Returns:

true if this position is not delete and contained in the given range.

isEqual

public boolean isEqual(int offset,
                       int length,
                       SemanticHighlightingReconciler.HighlightingStyle highlighting)

Test whether this highlighting's starting offset, length, and style is equal to the given parameters.

Parameters:

offset - The offset.

length - The length.

highlighting - The highlighting style.

Returns:

true if the given offset, length and highlighting are equal to the internal ones.

setLength

public void setLength(int length)

Set the length of this position.

Overrides:

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

Parameters:

length - The new length.

setOffset

public void setOffset(int offset)

Set the offset of this position.

Overrides:

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

Parameters:

offset - The new offset.

undelete

public void undelete()

Mark this position as not deleted.

Overrides:

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

See Also:

delete()

update

public void update(int offset,
                   int length)

Update this position with the new offset and new length.

Parameters:

offset - The new offset.

length - The new length.