projects/dwt2: org.eclipse.jface.text/src/org/eclipse/jface/text/TextPresentation.d annotate

author	Frank Benoit <benoit@tionex.de>
date	Sat, 14 Mar 2009 18:23:29 +0100
parents
children	52184e4b815c

rev	line source
12 bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	1 /*******************************************************************************
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	2 * Copyright (c) 2000, 2007 IBM Corporation and others.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	3 * All rights reserved. This program and the accompanying materials
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	4 * are made available under the terms of the Eclipse Public License v1.0
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	5 * which accompanies this distribution, and is available at
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	6 * http://www.eclipse.org/legal/epl-v10.html
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	7 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	8 * Contributors:
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	9 * IBM Corporation - initial API and implementation
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	10 * Port to the D programming language:
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	11 * Frank Benoit <benoit@tionex.de>
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	12 *******************************************************************************/
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	13 module org.eclipse.jface.text.TextPresentation;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	14
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	15 import org.eclipse.jface.text.IDocumentPartitioningListener; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	16 import org.eclipse.jface.text.DefaultTextHover; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	17 import org.eclipse.jface.text.AbstractInformationControl; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	18 import org.eclipse.jface.text.TextUtilities; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	19 import org.eclipse.jface.text.IInformationControlCreatorExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	20 import org.eclipse.jface.text.AbstractInformationControlManager; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	21 import org.eclipse.jface.text.ITextViewerExtension2; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	22 import org.eclipse.jface.text.IDocumentPartitioner; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	23 import org.eclipse.jface.text.DefaultIndentLineAutoEditStrategy; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	24 import org.eclipse.jface.text.ITextSelection; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	25 import org.eclipse.jface.text.Document; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	26 import org.eclipse.jface.text.FindReplaceDocumentAdapterContentProposalProvider; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	27 import org.eclipse.jface.text.ITextListener; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	28 import org.eclipse.jface.text.BadPartitioningException; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	29 import org.eclipse.jface.text.ITextViewerExtension5; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	30 import org.eclipse.jface.text.IDocumentPartitionerExtension3; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	31 import org.eclipse.jface.text.IUndoManager; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	32 import org.eclipse.jface.text.ITextHoverExtension2; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	33 import org.eclipse.jface.text.IRepairableDocument; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	34 import org.eclipse.jface.text.IRewriteTarget; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	35 import org.eclipse.jface.text.DefaultPositionUpdater; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	36 import org.eclipse.jface.text.RewriteSessionEditProcessor; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	37 import org.eclipse.jface.text.TextViewerHoverManager; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	38 import org.eclipse.jface.text.DocumentRewriteSession; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	39 import org.eclipse.jface.text.TextViewer; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	40 import org.eclipse.jface.text.ITextViewerExtension8; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	41 import org.eclipse.jface.text.RegExMessages; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	42 import org.eclipse.jface.text.IDelayedInputChangeProvider; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	43 import org.eclipse.jface.text.ITextOperationTargetExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	44 import org.eclipse.jface.text.IWidgetTokenOwner; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	45 import org.eclipse.jface.text.IViewportListener; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	46 import org.eclipse.jface.text.GapTextStore; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	47 import org.eclipse.jface.text.MarkSelection; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	48 import org.eclipse.jface.text.IDocumentPartitioningListenerExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	49 import org.eclipse.jface.text.IDocumentAdapterExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	50 import org.eclipse.jface.text.IInformationControlExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	51 import org.eclipse.jface.text.IDocumentPartitioningListenerExtension2; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	52 import org.eclipse.jface.text.DefaultDocumentAdapter; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	53 import org.eclipse.jface.text.ITextViewerExtension3; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	54 import org.eclipse.jface.text.IInformationControlCreator; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	55 import org.eclipse.jface.text.TypedRegion; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	56 import org.eclipse.jface.text.ISynchronizable; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	57 import org.eclipse.jface.text.IMarkRegionTarget; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	58 import org.eclipse.jface.text.TextViewerUndoManager; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	59 import org.eclipse.jface.text.IRegion; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	60 import org.eclipse.jface.text.IInformationControlExtension2; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	61 import org.eclipse.jface.text.IDocumentExtension4; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	62 import org.eclipse.jface.text.IDocumentExtension2; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	63 import org.eclipse.jface.text.IDocumentPartitionerExtension2; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	64 import org.eclipse.jface.text.DefaultInformationControl; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	65 import org.eclipse.jface.text.IWidgetTokenOwnerExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	66 import org.eclipse.jface.text.DocumentClone; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	67 import org.eclipse.jface.text.DefaultUndoManager; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	68 import org.eclipse.jface.text.IFindReplaceTarget; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	69 import org.eclipse.jface.text.IAutoEditStrategy; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	70 import org.eclipse.jface.text.ILineTrackerExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	71 import org.eclipse.jface.text.IUndoManagerExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	72 import org.eclipse.jface.text.TextSelection; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	73 import org.eclipse.jface.text.DefaultAutoIndentStrategy; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	74 import org.eclipse.jface.text.IAutoIndentStrategy; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	75 import org.eclipse.jface.text.IPainter; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	76 import org.eclipse.jface.text.IInformationControl; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	77 import org.eclipse.jface.text.IInformationControlExtension3; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	78 import org.eclipse.jface.text.ITextViewerExtension6; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	79 import org.eclipse.jface.text.IInformationControlExtension4; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	80 import org.eclipse.jface.text.DefaultLineTracker; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	81 import org.eclipse.jface.text.IDocumentInformationMappingExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	82 import org.eclipse.jface.text.IRepairableDocumentExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	83 import org.eclipse.jface.text.ITextHover; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	84 import org.eclipse.jface.text.FindReplaceDocumentAdapter; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	85 import org.eclipse.jface.text.ILineTracker; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	86 import org.eclipse.jface.text.Line; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	87 import org.eclipse.jface.text.ITextViewerExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	88 import org.eclipse.jface.text.IDocumentAdapter; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	89 import org.eclipse.jface.text.TextEvent; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	90 import org.eclipse.jface.text.BadLocationException; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	91 import org.eclipse.jface.text.AbstractDocument; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	92 import org.eclipse.jface.text.AbstractLineTracker; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	93 import org.eclipse.jface.text.TreeLineTracker; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	94 import org.eclipse.jface.text.ITextPresentationListener; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	95 import org.eclipse.jface.text.Region; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	96 import org.eclipse.jface.text.ITextViewer; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	97 import org.eclipse.jface.text.IDocumentInformationMapping; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	98 import org.eclipse.jface.text.MarginPainter; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	99 import org.eclipse.jface.text.IPaintPositionManager; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	100 import org.eclipse.jface.text.IFindReplaceTargetExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	101 import org.eclipse.jface.text.ISlaveDocumentManagerExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	102 import org.eclipse.jface.text.ISelectionValidator; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	103 import org.eclipse.jface.text.IDocumentExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	104 import org.eclipse.jface.text.PropagatingFontFieldEditor; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	105 import org.eclipse.jface.text.ConfigurableLineTracker; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	106 import org.eclipse.jface.text.SlaveDocumentEvent; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	107 import org.eclipse.jface.text.IDocumentListener; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	108 import org.eclipse.jface.text.PaintManager; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	109 import org.eclipse.jface.text.IFindReplaceTargetExtension3; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	110 import org.eclipse.jface.text.ITextDoubleClickStrategy; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	111 import org.eclipse.jface.text.IDocumentExtension3; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	112 import org.eclipse.jface.text.Position; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	113 import org.eclipse.jface.text.TextMessages; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	114 import org.eclipse.jface.text.CopyOnWriteTextStore; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	115 import org.eclipse.jface.text.WhitespaceCharacterPainter; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	116 import org.eclipse.jface.text.IPositionUpdater; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	117 import org.eclipse.jface.text.DefaultTextDoubleClickStrategy; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	118 import org.eclipse.jface.text.ListLineTracker; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	119 import org.eclipse.jface.text.ITextInputListener; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	120 import org.eclipse.jface.text.BadPositionCategoryException; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	121 import org.eclipse.jface.text.IWidgetTokenKeeperExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	122 import org.eclipse.jface.text.IInputChangedListener; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	123 import org.eclipse.jface.text.ITextOperationTarget; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	124 import org.eclipse.jface.text.IDocumentInformationMappingExtension2; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	125 import org.eclipse.jface.text.ITextViewerExtension7; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	126 import org.eclipse.jface.text.IInformationControlExtension5; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	127 import org.eclipse.jface.text.IDocumentRewriteSessionListener; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	128 import org.eclipse.jface.text.JFaceTextUtil; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	129 import org.eclipse.jface.text.AbstractReusableInformationControlCreator; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	130 import org.eclipse.jface.text.TabsToSpacesConverter; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	131 import org.eclipse.jface.text.CursorLinePainter; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	132 import org.eclipse.jface.text.ITextHoverExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	133 import org.eclipse.jface.text.IEventConsumer; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	134 import org.eclipse.jface.text.IDocument; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	135 import org.eclipse.jface.text.IWidgetTokenKeeper; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	136 import org.eclipse.jface.text.DocumentCommand; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	137 import org.eclipse.jface.text.TypedPosition; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	138 import org.eclipse.jface.text.IEditingSupportRegistry; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	139 import org.eclipse.jface.text.IDocumentPartitionerExtension; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	140 import org.eclipse.jface.text.AbstractHoverInformationControlManager; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	141 import org.eclipse.jface.text.IEditingSupport; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	142 import org.eclipse.jface.text.IMarkSelection; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	143 import org.eclipse.jface.text.ISlaveDocumentManager; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	144 import org.eclipse.jface.text.DocumentEvent; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	145 import org.eclipse.jface.text.DocumentPartitioningChangedEvent; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	146 import org.eclipse.jface.text.ITextStore; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	147 import org.eclipse.jface.text.JFaceTextMessages; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	148 import org.eclipse.jface.text.DocumentRewriteSessionEvent; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	149 import org.eclipse.jface.text.SequentialRewriteTextStore; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	150 import org.eclipse.jface.text.DocumentRewriteSessionType; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	151 import org.eclipse.jface.text.TextAttribute; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	152 import org.eclipse.jface.text.ITextViewerExtension4; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	153 import org.eclipse.jface.text.ITypedRegion; // packageimport
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	154
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	155 import java.lang.all;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	156 import java.util.ArrayList;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	157 import java.util.Iterator;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	158 import java.util.Set;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	159 import tango.core.Exception;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	160
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	161 import org.eclipse.swt.SWT;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	162 import org.eclipse.swt.custom.StyleRange;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	163 import org.eclipse.swt.custom.StyledText;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	164 import org.eclipse.core.runtime.Assert;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	165
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	166
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	167 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	168 * Describes the presentation styles for a section of an indexed text such as a
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	169 * document or string. A text presentation defines a default style for the whole
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	170 * section and in addition style differences for individual subsections. Text
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	171 * presentations can be narrowed down to a particular result window. All methods
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	172 * are result window aware, i.e. ranges outside the result window are always
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	173 * ignored.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	174 * <p>
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	175 * All iterators provided by a text presentation assume that they enumerate non
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	176 * overlapping, consecutive ranges inside the default range. Thus, all these
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	177 * iterators do not include the default range. The default style range must be
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	178 * explicitly asked for using <code>getDefaultStyleRange</code>.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	179 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	180 public class TextPresentation {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	181
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	182 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	183 * Applies the given presentation to the given text widget. Helper method.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	184 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	185 * @param presentation the style information
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	186 * @param text the widget to which to apply the style information
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	187 * @since 2.0
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	188 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	189 public static void applyTextPresentation(TextPresentation presentation, StyledText text) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	190
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	191 StyleRange[] ranges= new StyleRange[presentation.getDenumerableRanges()];
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	192
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	193 int i= 0;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	194 Iterator e= presentation.getAllStyleRangeIterator();
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	195 while (e.hasNext())
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	196 ranges[i++]= cast(StyleRange) e.next();
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	197
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	198 text.setStyleRanges(ranges);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	199 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	200
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	201
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	202
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	203
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	204 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	205 * Enumerates all the <code>StyleRange</code>s included in the presentation.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	206 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	207 class FilterIterator : Iterator {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	208
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	209 /** The index of the next style range to be enumerated */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	210 protected int fIndex;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	211 /** The upper bound of the indices of style ranges to be enumerated */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	212 protected int fLength;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	213 /** Indicates whether ranges similar to the default range should be enumerated */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	214 protected bool fSkipDefaults;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	215 /** The result window */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	216 protected IRegion fWindow;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	217
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	218 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	219 * <code>skipDefaults</code> tells the enumeration to skip all those style ranges
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	220 * which define the same style as the presentation's default style range.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	221 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	222 * @param skipDefaults <code>false</code> if ranges similar to the default range should be enumerated
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	223 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	224 protected this(bool skipDefaults) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	225
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	226 fSkipDefaults= skipDefaults;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	227
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	228 fWindow= fResultWindow;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	229 fIndex= getFirstIndexInWindow(fWindow);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	230 fLength= getFirstIndexAfterWindow(fWindow);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	231
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	232 if (fSkipDefaults)
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	233 computeIndex();
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	234 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	235
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	236 /*
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	237 * @see Iterator#next()
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	238 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	239 public Object next() {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	240 try {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	241 StyleRange r= cast(StyleRange) fRanges.get(fIndex++);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	242 return createWindowRelativeRange(fWindow, r);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	243 } catch (ArrayIndexOutOfBoundsException x) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	244 throw new NoSuchElementException(null);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	245 } finally {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	246 if (fSkipDefaults)
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	247 computeIndex();
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	248 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	249 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	250
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	251 /*
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	252 * @see Iterator#hasNext()
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	253 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	254 public bool hasNext() {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	255 return fIndex < fLength;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	256 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	257
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	258 /*
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	259 * @see Iterator#remove()
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	260 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	261 public void remove() {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	262 throw new UnsupportedOperationException();
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	263 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	264
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	265 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	266 * Returns whether the given object should be skipped.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	267 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	268 * @param o the object to be checked
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	269 * @return <code>true</code> if the object should be skipped by the iterator
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	270 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	271 protected bool skip(Object o) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	272 StyleRange r= cast(StyleRange) o;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	273 return r.similarTo(fDefaultRange);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	274 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	275
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	276 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	277 * Computes the index of the styled range that is the next to be enumerated.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	278 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	279 protected void computeIndex() {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	280 while (fIndex < fLength && skip(fRanges.get(fIndex)))
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	281 ++ fIndex;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	282 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	283 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	284
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	285 /** The style information for the range covered by the whole presentation */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	286 private StyleRange fDefaultRange;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	287 /** The member ranges of the presentation */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	288 private ArrayList fRanges;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	289 /** A clipping region against which the presentation can be clipped when asked for results */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	290 private IRegion fResultWindow;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	291 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	292 * The optional extent for this presentation.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	293 * @since 3.0
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	294 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	295 private IRegion fExtent;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	296
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	297
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	298 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	299 * Creates a new empty text presentation.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	300 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	301 public this() {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	302 fRanges= new ArrayList(50);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	303 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	304
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	305 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	306 * Creates a new empty text presentation. <code>sizeHint</code> tells the
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	307 * expected size of this presentation.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	308 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	309 * @param sizeHint the expected size of this presentation
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	310 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	311 public this(int sizeHint) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	312 Assert.isTrue(sizeHint > 0);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	313 fRanges= new ArrayList(sizeHint);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	314 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	315
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	316 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	317 * Creates a new empty text presentation with the given extent.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	318 * <code>sizeHint</code> tells the expected size of this presentation.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	319 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	320 * @param extent the extent of the created <code>TextPresentation</code>
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	321 * @param sizeHint the expected size of this presentation
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	322 * @since 3.0
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	323 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	324 public this(IRegion extent, int sizeHint) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	325 this(sizeHint);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	326 Assert.isNotNull(cast(Object)extent);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	327 fExtent= extent;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	328 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	329
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	330 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	331 * Sets the result window for this presentation. When dealing with
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	332 * this presentation all ranges which are outside the result window
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	333 * are ignored. For example, the size of the presentation is 0
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	334 * when there is no range inside the window even if there are ranges
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	335 * outside the window. All methods are aware of the result window.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	336 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	337 * @param resultWindow the result window
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	338 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	339 public void setResultWindow(IRegion resultWindow) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	340 fResultWindow= resultWindow;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	341 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	342
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	343 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	344 * Set the default style range of this presentation.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	345 * The default style range defines the overall area covered
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	346 * by this presentation and its style information.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	347 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	348 * @param range the range describing the default region
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	349 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	350 public void setDefaultStyleRange(StyleRange range) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	351 fDefaultRange= range;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	352 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	353
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	354 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	355 * Returns this presentation's default style range. The returned <code>StyleRange</code>
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	356 * is relative to the start of the result window.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	357 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	358 * @return this presentation's default style range
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	359 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	360 public StyleRange getDefaultStyleRange() {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	361 StyleRange range= createWindowRelativeRange(fResultWindow, fDefaultRange);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	362 if (range is null)
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	363 return null;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	364 return cast(StyleRange)range.clone();
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	365
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	366 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	367
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	368 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	369 * Add the given range to the presentation. The range must be a
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	370 * subrange of the presentation's default range.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	371 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	372 * @param range the range to be added
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	373 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	374 public void addStyleRange(StyleRange range) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	375 checkConsistency(range);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	376 fRanges.add(range);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	377 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	378
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	379 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	380 * Replaces the given range in this presentation. The range must be a
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	381 * subrange of the presentation's default range.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	382 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	383 * @param range the range to be added
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	384 * @since 3.0
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	385 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	386 public void replaceStyleRange(StyleRange range) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	387 applyStyleRange(range, false);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	388 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	389
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	390 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	391 * Merges the given range into this presentation. The range must be a
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	392 * subrange of the presentation's default range.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	393 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	394 * @param range the range to be added
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	395 * @since 3.0
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	396 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	397 public void mergeStyleRange(StyleRange range) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	398 applyStyleRange(range, true);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	399 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	400
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	401 /**
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	402 * Applies the given range to this presentation. The range must be a
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	403 * subrange of the presentation's default range.
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	404 *
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	405 * @param range the range to be added
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	406 * @param merge <code>true</code> if the style should be merged instead of replaced
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	407 * @since 3.0
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	408 */
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	409 private void applyStyleRange(StyleRange range, bool merge) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	410 if (range.length is 0)
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	411 return;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	412
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	413 checkConsistency(range);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	414
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	415 int start= range.start;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	416 int length= range.length;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	417 int end= start + length;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	418
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	419 if (fRanges.size() is 0) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	420 StyleRange defaultRange= getDefaultStyleRange();
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	421 if (defaultRange is null)
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	422 defaultRange= range;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	423
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	424 defaultRange.start= start;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	425 defaultRange.length= length;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	426 applyStyle(range, defaultRange, merge);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	427 fRanges.add(defaultRange);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	428 } else {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	429 IRegion rangeRegion= new Region(start, length);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	430 int first= getFirstIndexInWindow(rangeRegion);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	431
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	432 if (first is fRanges.size()) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	433 StyleRange defaultRange= getDefaultStyleRange();
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	434 if (defaultRange is null)
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	435 defaultRange= range;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	436 defaultRange.start= start;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	437 defaultRange.length= length;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	438 applyStyle(range, defaultRange, merge);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	439 fRanges.add(defaultRange);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	440 return;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	441 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	442
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	443 int last= getFirstIndexAfterWindow(rangeRegion);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	444 for (int i= first; i < last && length > 0; i++) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	445
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	446 StyleRange current= cast(StyleRange)fRanges.get(i);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	447 int currentStart= current.start;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	448 int currentEnd= currentStart + current.length;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	449
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	450 if (end <= currentStart) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	451 fRanges.add(i, range);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	452 return;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	453 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	454
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	455 if (start >= currentEnd)
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	456 continue;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	457
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	458 StyleRange currentCopy= null;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	459 if (end < currentEnd)
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	460 currentCopy= cast(StyleRange)current.clone();
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	461
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	462 if (start < currentStart) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	463 // Apply style to new default range and add it
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	464 StyleRange defaultRange= getDefaultStyleRange();
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	465 if (defaultRange is null)
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	466 defaultRange= new StyleRange();
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	467
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	468 defaultRange.start= start;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	469 defaultRange.length= currentStart - start;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	470 applyStyle(range, defaultRange, merge);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	471 fRanges.add(i, defaultRange);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	472 i++; last++;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	473
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	474
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	475 // Apply style to first part of current range
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	476 current.length= Math.min(end, currentEnd) - currentStart;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	477 applyStyle(range, current, merge);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	478 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	479
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	480 if (start >= currentStart) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	481 // Shorten the current range
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	482 current.length= start - currentStart;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	483
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	484 // Apply the style to the rest of the current range and add it
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	485 if (current.length > 0) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	486 current= cast(StyleRange)current.clone();
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	487 i++; last++;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	488 fRanges.add(i, current);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	489 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	490 applyStyle(range, current, merge);
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	491 current.start= start;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	492 current.length= Math.min(end, currentEnd) - start;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	493 }
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	494
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	495 if (end < currentEnd) {
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	496 // Add rest of current range
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	497 currentCopy.start= end;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	498 currentCopy.length= currentEnd - end;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	499 i++; last++;
bc29606a740c Added dwt-addons in original directory structure of eclipse.org Frank Benoit <benoit@tionex.de> parents: diff changeset	500 fRanges.add(i, currentCopy);

12

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

1 /*******************************************************************************

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

4 * are made available under the terms of the Eclipse Public License v1.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

5 * which accompanies this distribution, and is available at

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

6 * http://www.eclipse.org/legal/epl-v10.html

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

7 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

8 * Contributors:

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

9 * IBM Corporation - initial API and implementation

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

10 * Port to the D programming language:

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

11 * Frank Benoit <benoit@tionex.de>

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

12 *******************************************************************************/

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

13 module org.eclipse.jface.text.TextPresentation;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

14

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

15 import org.eclipse.jface.text.IDocumentPartitioningListener; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

16 import org.eclipse.jface.text.DefaultTextHover; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

17 import org.eclipse.jface.text.AbstractInformationControl; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

18 import org.eclipse.jface.text.TextUtilities; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

19 import org.eclipse.jface.text.IInformationControlCreatorExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

20 import org.eclipse.jface.text.AbstractInformationControlManager; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

21 import org.eclipse.jface.text.ITextViewerExtension2; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

22 import org.eclipse.jface.text.IDocumentPartitioner; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

23 import org.eclipse.jface.text.DefaultIndentLineAutoEditStrategy; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

24 import org.eclipse.jface.text.ITextSelection; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

25 import org.eclipse.jface.text.Document; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

26 import org.eclipse.jface.text.FindReplaceDocumentAdapterContentProposalProvider; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

27 import org.eclipse.jface.text.ITextListener; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

28 import org.eclipse.jface.text.BadPartitioningException; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

29 import org.eclipse.jface.text.ITextViewerExtension5; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

30 import org.eclipse.jface.text.IDocumentPartitionerExtension3; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

31 import org.eclipse.jface.text.IUndoManager; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

32 import org.eclipse.jface.text.ITextHoverExtension2; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

33 import org.eclipse.jface.text.IRepairableDocument; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

34 import org.eclipse.jface.text.IRewriteTarget; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

35 import org.eclipse.jface.text.DefaultPositionUpdater; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

36 import org.eclipse.jface.text.RewriteSessionEditProcessor; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

37 import org.eclipse.jface.text.TextViewerHoverManager; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

38 import org.eclipse.jface.text.DocumentRewriteSession; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

39 import org.eclipse.jface.text.TextViewer; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

40 import org.eclipse.jface.text.ITextViewerExtension8; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

41 import org.eclipse.jface.text.RegExMessages; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

42 import org.eclipse.jface.text.IDelayedInputChangeProvider; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

43 import org.eclipse.jface.text.ITextOperationTargetExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

44 import org.eclipse.jface.text.IWidgetTokenOwner; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

45 import org.eclipse.jface.text.IViewportListener; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

46 import org.eclipse.jface.text.GapTextStore; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

47 import org.eclipse.jface.text.MarkSelection; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

48 import org.eclipse.jface.text.IDocumentPartitioningListenerExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

49 import org.eclipse.jface.text.IDocumentAdapterExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

50 import org.eclipse.jface.text.IInformationControlExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

51 import org.eclipse.jface.text.IDocumentPartitioningListenerExtension2; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

52 import org.eclipse.jface.text.DefaultDocumentAdapter; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

53 import org.eclipse.jface.text.ITextViewerExtension3; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

54 import org.eclipse.jface.text.IInformationControlCreator; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

55 import org.eclipse.jface.text.TypedRegion; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

56 import org.eclipse.jface.text.ISynchronizable; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

57 import org.eclipse.jface.text.IMarkRegionTarget; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

58 import org.eclipse.jface.text.TextViewerUndoManager; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

59 import org.eclipse.jface.text.IRegion; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

60 import org.eclipse.jface.text.IInformationControlExtension2; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

61 import org.eclipse.jface.text.IDocumentExtension4; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

62 import org.eclipse.jface.text.IDocumentExtension2; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

63 import org.eclipse.jface.text.IDocumentPartitionerExtension2; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

64 import org.eclipse.jface.text.DefaultInformationControl; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

65 import org.eclipse.jface.text.IWidgetTokenOwnerExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

66 import org.eclipse.jface.text.DocumentClone; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

67 import org.eclipse.jface.text.DefaultUndoManager; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

68 import org.eclipse.jface.text.IFindReplaceTarget; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

69 import org.eclipse.jface.text.IAutoEditStrategy; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

70 import org.eclipse.jface.text.ILineTrackerExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

71 import org.eclipse.jface.text.IUndoManagerExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

72 import org.eclipse.jface.text.TextSelection; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

73 import org.eclipse.jface.text.DefaultAutoIndentStrategy; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

74 import org.eclipse.jface.text.IAutoIndentStrategy; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

75 import org.eclipse.jface.text.IPainter; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

76 import org.eclipse.jface.text.IInformationControl; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

77 import org.eclipse.jface.text.IInformationControlExtension3; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

78 import org.eclipse.jface.text.ITextViewerExtension6; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

79 import org.eclipse.jface.text.IInformationControlExtension4; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

80 import org.eclipse.jface.text.DefaultLineTracker; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

81 import org.eclipse.jface.text.IDocumentInformationMappingExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

82 import org.eclipse.jface.text.IRepairableDocumentExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

83 import org.eclipse.jface.text.ITextHover; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

84 import org.eclipse.jface.text.FindReplaceDocumentAdapter; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

85 import org.eclipse.jface.text.ILineTracker; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

86 import org.eclipse.jface.text.Line; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

87 import org.eclipse.jface.text.ITextViewerExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

88 import org.eclipse.jface.text.IDocumentAdapter; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

89 import org.eclipse.jface.text.TextEvent; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

90 import org.eclipse.jface.text.BadLocationException; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

91 import org.eclipse.jface.text.AbstractDocument; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

92 import org.eclipse.jface.text.AbstractLineTracker; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

93 import org.eclipse.jface.text.TreeLineTracker; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

94 import org.eclipse.jface.text.ITextPresentationListener; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

95 import org.eclipse.jface.text.Region; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

96 import org.eclipse.jface.text.ITextViewer; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

97 import org.eclipse.jface.text.IDocumentInformationMapping; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

98 import org.eclipse.jface.text.MarginPainter; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

99 import org.eclipse.jface.text.IPaintPositionManager; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

100 import org.eclipse.jface.text.IFindReplaceTargetExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

101 import org.eclipse.jface.text.ISlaveDocumentManagerExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

102 import org.eclipse.jface.text.ISelectionValidator; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

103 import org.eclipse.jface.text.IDocumentExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

104 import org.eclipse.jface.text.PropagatingFontFieldEditor; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

105 import org.eclipse.jface.text.ConfigurableLineTracker; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

106 import org.eclipse.jface.text.SlaveDocumentEvent; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

107 import org.eclipse.jface.text.IDocumentListener; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

108 import org.eclipse.jface.text.PaintManager; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

109 import org.eclipse.jface.text.IFindReplaceTargetExtension3; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

110 import org.eclipse.jface.text.ITextDoubleClickStrategy; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

111 import org.eclipse.jface.text.IDocumentExtension3; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

112 import org.eclipse.jface.text.Position; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

113 import org.eclipse.jface.text.TextMessages; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

114 import org.eclipse.jface.text.CopyOnWriteTextStore; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

115 import org.eclipse.jface.text.WhitespaceCharacterPainter; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

116 import org.eclipse.jface.text.IPositionUpdater; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

117 import org.eclipse.jface.text.DefaultTextDoubleClickStrategy; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

118 import org.eclipse.jface.text.ListLineTracker; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

119 import org.eclipse.jface.text.ITextInputListener; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

120 import org.eclipse.jface.text.BadPositionCategoryException; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

121 import org.eclipse.jface.text.IWidgetTokenKeeperExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

122 import org.eclipse.jface.text.IInputChangedListener; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

123 import org.eclipse.jface.text.ITextOperationTarget; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

124 import org.eclipse.jface.text.IDocumentInformationMappingExtension2; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

125 import org.eclipse.jface.text.ITextViewerExtension7; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

126 import org.eclipse.jface.text.IInformationControlExtension5; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

127 import org.eclipse.jface.text.IDocumentRewriteSessionListener; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

128 import org.eclipse.jface.text.JFaceTextUtil; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

129 import org.eclipse.jface.text.AbstractReusableInformationControlCreator; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

130 import org.eclipse.jface.text.TabsToSpacesConverter; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

131 import org.eclipse.jface.text.CursorLinePainter; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

132 import org.eclipse.jface.text.ITextHoverExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

133 import org.eclipse.jface.text.IEventConsumer; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

134 import org.eclipse.jface.text.IDocument; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

135 import org.eclipse.jface.text.IWidgetTokenKeeper; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

136 import org.eclipse.jface.text.DocumentCommand; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

137 import org.eclipse.jface.text.TypedPosition; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

138 import org.eclipse.jface.text.IEditingSupportRegistry; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

139 import org.eclipse.jface.text.IDocumentPartitionerExtension; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

140 import org.eclipse.jface.text.AbstractHoverInformationControlManager; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

141 import org.eclipse.jface.text.IEditingSupport; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

142 import org.eclipse.jface.text.IMarkSelection; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

143 import org.eclipse.jface.text.ISlaveDocumentManager; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

144 import org.eclipse.jface.text.DocumentEvent; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

145 import org.eclipse.jface.text.DocumentPartitioningChangedEvent; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

146 import org.eclipse.jface.text.ITextStore; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

147 import org.eclipse.jface.text.JFaceTextMessages; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

148 import org.eclipse.jface.text.DocumentRewriteSessionEvent; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

149 import org.eclipse.jface.text.SequentialRewriteTextStore; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

150 import org.eclipse.jface.text.DocumentRewriteSessionType; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

151 import org.eclipse.jface.text.TextAttribute; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

152 import org.eclipse.jface.text.ITextViewerExtension4; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

153 import org.eclipse.jface.text.ITypedRegion; // packageimport

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

154

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

155 import java.lang.all;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

156 import java.util.ArrayList;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

157 import java.util.Iterator;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

158 import java.util.Set;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

159 import tango.core.Exception;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

160

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

161 import org.eclipse.swt.SWT;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

162 import org.eclipse.swt.custom.StyleRange;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

163 import org.eclipse.swt.custom.StyledText;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

164 import org.eclipse.core.runtime.Assert;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

165

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

166

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

167 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

168 * Describes the presentation styles for a section of an indexed text such as a

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

169 * document or string. A text presentation defines a default style for the whole

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

170 * section and in addition style differences for individual subsections. Text

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

171 * presentations can be narrowed down to a particular result window. All methods

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

172 * are result window aware, i.e. ranges outside the result window are always

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

173 * ignored.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

174 * <p>

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

175 * All iterators provided by a text presentation assume that they enumerate non

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

176 * overlapping, consecutive ranges inside the default range. Thus, all these

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

177 * iterators do not include the default range. The default style range must be

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

178 * explicitly asked for using <code>getDefaultStyleRange</code>.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

179 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

180 public class TextPresentation {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

181

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

182 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

183 * Applies the given presentation to the given text widget. Helper method.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

184 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

185 * @param presentation the style information

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

186 * @param text the widget to which to apply the style information

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

187 * @since 2.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

188 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

189 public static void applyTextPresentation(TextPresentation presentation, StyledText text) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

190

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

191 StyleRange[] ranges= new StyleRange[presentation.getDenumerableRanges()];

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

192

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

193 int i= 0;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

194 Iterator e= presentation.getAllStyleRangeIterator();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

195 while (e.hasNext())

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

196 ranges[i++]= cast(StyleRange) e.next();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

197

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

198 text.setStyleRanges(ranges);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

199 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

200

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

201

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

202

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

203

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

204 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

205 * Enumerates all the <code>StyleRange</code>s included in the presentation.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

206 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

207 class FilterIterator : Iterator {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

208

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

209 /** The index of the next style range to be enumerated */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

210 protected int fIndex;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

211 /** The upper bound of the indices of style ranges to be enumerated */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

212 protected int fLength;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

213 /** Indicates whether ranges similar to the default range should be enumerated */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

214 protected bool fSkipDefaults;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

215 /** The result window */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

216 protected IRegion fWindow;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

217

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

218 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

219 * <code>skipDefaults</code> tells the enumeration to skip all those style ranges

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

220 * which define the same style as the presentation's default style range.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

221 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

222 * @param skipDefaults <code>false</code> if ranges similar to the default range should be enumerated

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

223 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

224 protected this(bool skipDefaults) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

225

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

226 fSkipDefaults= skipDefaults;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

227

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

228 fWindow= fResultWindow;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

229 fIndex= getFirstIndexInWindow(fWindow);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

230 fLength= getFirstIndexAfterWindow(fWindow);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

231

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

232 if (fSkipDefaults)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

233 computeIndex();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

234 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

235

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

236 /*

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

237 * @see Iterator#next()

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

238 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

239 public Object next() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

240 try {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

241 StyleRange r= cast(StyleRange) fRanges.get(fIndex++);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

242 return createWindowRelativeRange(fWindow, r);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

243 } catch (ArrayIndexOutOfBoundsException x) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

244 throw new NoSuchElementException(null);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

245 } finally {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

246 if (fSkipDefaults)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

247 computeIndex();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

248 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

249 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

250

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

251 /*

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

252 * @see Iterator#hasNext()

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

253 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

254 public bool hasNext() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

255 return fIndex < fLength;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

256 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

257

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

258 /*

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

259 * @see Iterator#remove()

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

260 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

261 public void remove() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

262 throw new UnsupportedOperationException();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

263 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

264

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

265 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

266 * Returns whether the given object should be skipped.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

267 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

268 * @param o the object to be checked

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

269 * @return <code>true</code> if the object should be skipped by the iterator

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

270 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

271 protected bool skip(Object o) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

272 StyleRange r= cast(StyleRange) o;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

273 return r.similarTo(fDefaultRange);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

274 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

275

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

276 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

277 * Computes the index of the styled range that is the next to be enumerated.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

278 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

279 protected void computeIndex() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

280 while (fIndex < fLength && skip(fRanges.get(fIndex)))

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

281 ++ fIndex;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

282 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

283 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

284

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

285 /** The style information for the range covered by the whole presentation */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

286 private StyleRange fDefaultRange;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

287 /** The member ranges of the presentation */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

288 private ArrayList fRanges;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

289 /** A clipping region against which the presentation can be clipped when asked for results */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

290 private IRegion fResultWindow;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

291 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

292 * The optional extent for this presentation.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

293 * @since 3.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

294 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

295 private IRegion fExtent;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

296

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

297

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

298 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

299 * Creates a new empty text presentation.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

300 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

301 public this() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

302 fRanges= new ArrayList(50);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

303 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

304

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

305 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

306 * Creates a new empty text presentation. <code>sizeHint</code> tells the

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

307 * expected size of this presentation.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

308 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

309 * @param sizeHint the expected size of this presentation

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

310 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

311 public this(int sizeHint) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

312 Assert.isTrue(sizeHint > 0);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

313 fRanges= new ArrayList(sizeHint);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

314 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

315

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

316 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

317 * Creates a new empty text presentation with the given extent.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

318 * <code>sizeHint</code> tells the expected size of this presentation.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

319 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

320 * @param extent the extent of the created <code>TextPresentation</code>

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

321 * @param sizeHint the expected size of this presentation

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

322 * @since 3.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

323 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

324 public this(IRegion extent, int sizeHint) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

325 this(sizeHint);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

326 Assert.isNotNull(cast(Object)extent);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

327 fExtent= extent;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

328 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

329

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

330 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

331 * Sets the result window for this presentation. When dealing with

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

332 * this presentation all ranges which are outside the result window

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

333 * are ignored. For example, the size of the presentation is 0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

334 * when there is no range inside the window even if there are ranges

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

335 * outside the window. All methods are aware of the result window.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

336 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

337 * @param resultWindow the result window

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

338 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

339 public void setResultWindow(IRegion resultWindow) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

340 fResultWindow= resultWindow;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

341 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

342

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

343 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

344 * Set the default style range of this presentation.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

345 * The default style range defines the overall area covered

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

346 * by this presentation and its style information.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

347 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

348 * @param range the range describing the default region

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

349 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

350 public void setDefaultStyleRange(StyleRange range) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

351 fDefaultRange= range;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

352 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

353

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

354 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

355 * Returns this presentation's default style range. The returned <code>StyleRange</code>

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

356 * is relative to the start of the result window.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

357 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

358 * @return this presentation's default style range

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

359 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

360 public StyleRange getDefaultStyleRange() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

361 StyleRange range= createWindowRelativeRange(fResultWindow, fDefaultRange);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

362 if (range is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

363 return null;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

364 return cast(StyleRange)range.clone();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

365

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

366 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

367

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

368 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

369 * Add the given range to the presentation. The range must be a

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

370 * subrange of the presentation's default range.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

371 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

372 * @param range the range to be added

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

373 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

374 public void addStyleRange(StyleRange range) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

375 checkConsistency(range);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

376 fRanges.add(range);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

377 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

378

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

379 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

380 * Replaces the given range in this presentation. The range must be a

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

381 * subrange of the presentation's default range.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

382 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

383 * @param range the range to be added

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

384 * @since 3.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

385 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

386 public void replaceStyleRange(StyleRange range) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

387 applyStyleRange(range, false);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

388 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

389

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

390 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

391 * Merges the given range into this presentation. The range must be a

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

392 * subrange of the presentation's default range.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

393 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

394 * @param range the range to be added

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

395 * @since 3.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

396 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

397 public void mergeStyleRange(StyleRange range) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

398 applyStyleRange(range, true);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

399 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

400

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

401 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

402 * Applies the given range to this presentation. The range must be a

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

403 * subrange of the presentation's default range.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

404 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

405 * @param range the range to be added

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

406 * @param merge <code>true</code> if the style should be merged instead of replaced

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

407 * @since 3.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

408 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

409 private void applyStyleRange(StyleRange range, bool merge) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

410 if (range.length is 0)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

411 return;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

412

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

413 checkConsistency(range);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

414

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

415 int start= range.start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

416 int length= range.length;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

417 int end= start + length;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

418

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

419 if (fRanges.size() is 0) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

420 StyleRange defaultRange= getDefaultStyleRange();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

421 if (defaultRange is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

422 defaultRange= range;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

423

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

424 defaultRange.start= start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

425 defaultRange.length= length;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

426 applyStyle(range, defaultRange, merge);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

427 fRanges.add(defaultRange);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

428 } else {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

429 IRegion rangeRegion= new Region(start, length);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

430 int first= getFirstIndexInWindow(rangeRegion);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

431

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

432 if (first is fRanges.size()) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

433 StyleRange defaultRange= getDefaultStyleRange();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

434 if (defaultRange is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

435 defaultRange= range;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

436 defaultRange.start= start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

437 defaultRange.length= length;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

438 applyStyle(range, defaultRange, merge);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

439 fRanges.add(defaultRange);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

440 return;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

441 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

442

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

443 int last= getFirstIndexAfterWindow(rangeRegion);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

444 for (int i= first; i < last && length > 0; i++) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

445

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

446 StyleRange current= cast(StyleRange)fRanges.get(i);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

447 int currentStart= current.start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

448 int currentEnd= currentStart + current.length;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

449

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

450 if (end <= currentStart) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

451 fRanges.add(i, range);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

452 return;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

453 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

454

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

455 if (start >= currentEnd)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

456 continue;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

457

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

458 StyleRange currentCopy= null;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

459 if (end < currentEnd)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

460 currentCopy= cast(StyleRange)current.clone();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

461

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

462 if (start < currentStart) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

463 // Apply style to new default range and add it

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

464 StyleRange defaultRange= getDefaultStyleRange();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

465 if (defaultRange is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

466 defaultRange= new StyleRange();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

467

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

468 defaultRange.start= start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

469 defaultRange.length= currentStart - start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

470 applyStyle(range, defaultRange, merge);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

471 fRanges.add(i, defaultRange);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

472 i++; last++;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

473

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

474

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

475 // Apply style to first part of current range

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

476 current.length= Math.min(end, currentEnd) - currentStart;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

477 applyStyle(range, current, merge);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

478 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

479

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

480 if (start >= currentStart) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

481 // Shorten the current range

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

482 current.length= start - currentStart;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

483

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

484 // Apply the style to the rest of the current range and add it

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

485 if (current.length > 0) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

486 current= cast(StyleRange)current.clone();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

487 i++; last++;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

488 fRanges.add(i, current);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

489 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

490 applyStyle(range, current, merge);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

491 current.start= start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

492 current.length= Math.min(end, currentEnd) - start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

493 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

494

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

495 if (end < currentEnd) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

496 // Add rest of current range

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

497 currentCopy.start= end;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

498 currentCopy.length= currentEnd - end;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

499 i++; last++;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

500 fRanges.add(i, currentCopy);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

501 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

502

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

503 // Update range

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

504 range.start= currentEnd;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

505 range.length= Math.max(end - currentEnd, 0);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

506 start= range.start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

507 length= range.length;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

508 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

509 if (length > 0) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

510 // Apply style to new default range and add it

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

511 StyleRange defaultRange= getDefaultStyleRange();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

512 if (defaultRange is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

513 defaultRange= range;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

514 defaultRange.start= start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

515 defaultRange.length= end - start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

516 applyStyle(range, defaultRange, merge);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

517 fRanges.add(last, defaultRange);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

518 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

519 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

520 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

521

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

522 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

523 * Replaces the given ranges in this presentation. Each range must be a

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

524 * subrange of the presentation's default range. The ranges must be ordered

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

525 * by increasing offset and must not overlap (but may be adjacent).

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

526 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

527 * @param ranges the ranges to be added

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

528 * @since 3.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

529 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

530 public void replaceStyleRanges(StyleRange[] ranges) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

531 applyStyleRanges(ranges, false);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

532 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

533

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

534 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

535 * Merges the given ranges into this presentation. Each range must be a

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

536 * subrange of the presentation's default range. The ranges must be ordered

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

537 * by increasing offset and must not overlap (but may be adjacent).

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

538 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

539 * @param ranges the ranges to be added

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

540 * @since 3.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

541 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

542 public void mergeStyleRanges(StyleRange[] ranges) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

543 applyStyleRanges(ranges, true);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

544 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

545

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

546 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

547 * Applies the given ranges to this presentation. Each range must be a

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

548 * subrange of the presentation's default range. The ranges must be ordered

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

549 * by increasing offset and must not overlap (but may be adjacent).

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

550 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

551 * @param ranges the ranges to be added

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

552 * @param merge <code>true</code> if the style should be merged instead of replaced

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

553 * @since 3.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

554 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

555 private void applyStyleRanges(StyleRange[] ranges, bool merge) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

556 int j= 0;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

557 ArrayList oldRanges= fRanges;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

558 ArrayList newRanges= new ArrayList(2*ranges.length + oldRanges.size());

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

559 for (int i= 0, n= ranges.length; i < n; i++) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

560 StyleRange range= ranges[i];

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

561 fRanges= oldRanges; // for getFirstIndexAfterWindow(...)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

562 for (int m= getFirstIndexAfterWindow(new Region(range.start, range.length)); j < m; j++)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

563 newRanges.add(oldRanges.get(j));

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

564 fRanges= newRanges; // for mergeStyleRange(...)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

565 applyStyleRange(range, merge);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

566 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

567 for (int m= oldRanges.size(); j < m; j++)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

568 newRanges.add(oldRanges.get(j));

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

569 fRanges= newRanges;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

570 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

571

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

572 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

573 * Applies the template_'s style to the target.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

574 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

575 * @param template_ the style range to be used as template_

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

576 * @param target the style range to which to apply the template_

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

577 * @param merge <code>true</code> if the style should be merged instead of replaced

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

578 * @since 3.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

579 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

580 private void applyStyle(StyleRange template_, StyleRange target, bool merge) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

581 if (merge) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

582 if (template_.font !is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

583 target.font= template_.font;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

584 target.fontStyle|= template_.fontStyle;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

585

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

586 if (template_.metrics !is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

587 target.metrics= template_.metrics;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

588

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

589 if (template_.foreground !is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

590 target.foreground= template_.foreground;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

591 if (template_.background !is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

592 target.background= template_.background;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

593

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

594 target.strikeout|= template_.strikeout;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

595 if (template_.strikeoutColor !is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

596 target.strikeoutColor= template_.strikeoutColor;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

597

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

598 target.underline|= template_.underline;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

599 if (template_.underlineStyle !is SWT.NONE)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

600 target.underlineStyle= template_.underlineStyle;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

601 if (template_.underlineColor !is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

602 target.underlineColor= template_.underlineColor;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

603

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

604 if (template_.borderStyle !is SWT.NONE)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

605 target.borderStyle= template_.borderStyle;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

606 if (template_.borderColor !is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

607 target.borderColor= template_.borderColor;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

608

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

609 } else {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

610 target.font= template_.font;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

611 target.fontStyle= template_.fontStyle;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

612 target.metrics= template_.metrics;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

613 target.foreground= template_.foreground;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

614 target.background= template_.background;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

615 target.strikeout= template_.strikeout;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

616 target.strikeoutColor= template_.strikeoutColor;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

617 target.underline= template_.underline;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

618 target.underlineStyle= template_.underlineStyle;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

619 target.underlineColor= template_.underlineColor;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

620 target.borderStyle= template_.borderStyle;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

621 target.borderColor= template_.borderColor;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

622 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

623 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

624

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

625 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

626 * Checks whether the given range is a subrange of the presentation's

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

627 * default style range.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

628 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

629 * @param range the range to be checked

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

630 * @exception IllegalArgumentException if range is not a subrange of the presentation's default range

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

631 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

632 private void checkConsistency(StyleRange range) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

633

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

634 if (range is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

635 throw new IllegalArgumentException(null);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

636

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

637 if (fDefaultRange !is null) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

638

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

639 if (range.start < fDefaultRange.start)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

640 range.start= fDefaultRange.start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

641

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

642 int defaultEnd= fDefaultRange.start + fDefaultRange.length;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

643 int end= range.start + range.length;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

644 if (end > defaultEnd)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

645 range.length -= (end - defaultEnd);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

646 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

647 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

648

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

649 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

650 * Returns the index of the first range which overlaps with the

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

651 * specified window.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

652 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

653 * @param window the window to be used for searching

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

654 * @return the index of the first range overlapping with the window

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

655 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

656 private int getFirstIndexInWindow(IRegion window) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

657 if (window !is null) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

658 int start= window.getOffset();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

659 int i= -1, j= fRanges.size();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

660 while (j - i > 1) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

661 int k= (i + j) >> 1;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

662 StyleRange r= cast(StyleRange) fRanges.get(k);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

663 if (r.start + r.length > start)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

664 j= k;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

665 else

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

666 i= k;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

667 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

668 return j;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

669 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

670 return 0;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

671 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

672

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

673 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

674 * Returns the index of the first range which comes after the specified window and does

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

675 * not overlap with this window.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

676 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

677 * @param window the window to be used for searching

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

678 * @return the index of the first range behind the window and not overlapping with the window

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

679 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

680 private int getFirstIndexAfterWindow(IRegion window) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

681 if (window !is null) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

682 int end= window.getOffset() + window.getLength();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

683 int i= -1, j= fRanges.size();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

684 while (j - i > 1) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

685 int k= (i + j) >> 1;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

686 StyleRange r= cast(StyleRange) fRanges.get(k);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

687 if (r.start < end)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

688 i= k;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

689 else

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

690 j= k;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

691 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

692 return j;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

693 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

694 return fRanges.size();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

695 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

696

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

697 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

698 * Returns a style range which is relative to the specified window and

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

699 * appropriately clipped if necessary. The original style range is not

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

700 * modified.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

701 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

702 * @param window the reference window

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

703 * @param range the absolute range

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

704 * @return the window relative range based on the absolute range

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

705 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

706 private StyleRange createWindowRelativeRange(IRegion window, StyleRange range) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

707 if (window is null || range is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

708 return range;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

709

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

710 int start= range.start - window.getOffset();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

711 if (start < 0)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

712 start= 0;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

713

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

714 int rangeEnd= range.start + range.length;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

715 int windowEnd= window.getOffset() + window.getLength();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

716 int end= (rangeEnd > windowEnd ? windowEnd : rangeEnd);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

717 end -= window.getOffset();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

718

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

719 StyleRange newRange= cast(StyleRange) range.clone();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

720 newRange.start= start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

721 newRange.length= end - start;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

722 return newRange;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

723 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

724

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

725 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

726 * Returns the region which is relative to the specified window and

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

727 * appropriately clipped if necessary.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

728 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

729 * @param coverage the absolute coverage

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

730 * @return the window relative region based on the absolute coverage

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

731 * @since 3.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

732 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

733 private IRegion createWindowRelativeRegion(IRegion coverage) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

734 if (fResultWindow is null || coverage is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

735 return coverage;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

736

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

737 int start= coverage.getOffset() - fResultWindow.getOffset();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

738 if (start < 0)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

739 start= 0;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

740

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

741 int rangeEnd= coverage.getOffset() + coverage.getLength();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

742 int windowEnd= fResultWindow.getOffset() + fResultWindow.getLength();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

743 int end= (rangeEnd > windowEnd ? windowEnd : rangeEnd);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

744 end -= fResultWindow.getOffset();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

745

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

746 return new Region(start, end - start);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

747 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

748

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

749 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

750 * Returns an iterator which enumerates all style ranged which define a style

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

751 * different from the presentation's default style range. The default style range

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

752 * is not enumerated.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

753 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

754 * @return a style range iterator

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

755 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

756 public Iterator getNonDefaultStyleRangeIterator() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

757 return new FilterIterator(fDefaultRange !is null);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

758 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

759

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

760 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

761 * Returns an iterator which enumerates all style ranges of this presentation

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

762 * except the default style range. The returned <code>StyleRange</code>s

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

763 * are relative to the start of the presentation's result window.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

764 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

765 * @return a style range iterator

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

766 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

767 public Iterator getAllStyleRangeIterator() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

768 return new FilterIterator(false);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

769 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

770

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

771 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

772 * Returns whether this collection contains any style range including

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

773 * the default style range.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

774 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

775 * @return <code>true</code> if there is no style range in this presentation

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

776 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

777 public bool isEmpty() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

778 return (fDefaultRange is null && getDenumerableRanges() is 0);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

779 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

780

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

781 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

782 * Returns the number of style ranges in the presentation not counting the default

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

783 * style range.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

784 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

785 * @return the number of style ranges in the presentation excluding the default style range

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

786 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

787 public int getDenumerableRanges() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

788 int size= getFirstIndexAfterWindow(fResultWindow) - getFirstIndexInWindow(fResultWindow);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

789 return (size < 0 ? 0 : size);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

790 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

791

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

792 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

793 * Returns the style range with the smallest offset ignoring the default style range or null

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

794 * if the presentation is empty.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

795 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

796 * @return the style range with the smallest offset different from the default style range

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

797 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

798 public StyleRange getFirstStyleRange() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

799 try {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

800

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

801 StyleRange range= cast(StyleRange) fRanges.get(getFirstIndexInWindow(fResultWindow));

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

802 return createWindowRelativeRange(fResultWindow, range);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

803

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

804 } catch (NoSuchElementException x) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

805 } catch (IndexOutOfBoundsException x) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

806 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

807

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

808 return null;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

809 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

810

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

811 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

812 * Returns the style range with the highest offset ignoring the default style range.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

813 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

814 * @return the style range with the highest offset different from the default style range

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

815 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

816 public StyleRange getLastStyleRange() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

817 try {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

818

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

819 StyleRange range= cast(StyleRange) fRanges.get(getFirstIndexAfterWindow(fResultWindow) - 1);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

820 return createWindowRelativeRange(fResultWindow, range);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

821

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

822 } catch (NoSuchElementException x) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

823 return null;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

824 } catch (IndexOutOfBoundsException x) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

825 return null;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

826 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

827 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

828

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

829 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

830 * Returns the coverage of this presentation as clipped by the presentation's

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

831 * result window.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

832 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

833 * @return the coverage of this presentation

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

834 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

835 public IRegion getCoverage() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

836

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

837 if (fDefaultRange !is null) {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

838 StyleRange range= getDefaultStyleRange();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

839 return new Region(range.start, range.length);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

840 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

841

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

842 StyleRange first= getFirstStyleRange();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

843 StyleRange last= getLastStyleRange();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

844

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

845 if (first is null || last is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

846 return null;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

847

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

848 return new Region(first.start, last.start - first. start + last.length);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

849 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

850

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

851 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

852 * Returns the extent of this presentation clipped by the

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

853 * presentation's result window.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

854 *

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

855 * @return the clipped extent

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

856 * @since 3.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

857 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

858 public IRegion getExtent() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

859 if (fExtent !is null)

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

860 return createWindowRelativeRegion(fExtent);

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

861 return getCoverage();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

862 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

863

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

864 /**

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

865 * Clears this presentation by resetting all applied changes.

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

866 * @since 2.0

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

867 */

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

868 public void clear() {

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

869 fDefaultRange= null;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

870 fResultWindow= null;

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

871 fRanges.clear();

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

872 }

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

873

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

874

bc29606a740c Added dwt-addons in original directory structure of eclipse.org

Frank Benoit <benoit@tionex.de>

parents:

diff changeset

875 }

Mercurial > projects > dwt2

annotate org.eclipse.jface.text/src/org/eclipse/jface/text/TextPresentation.d @ 12:bc29606a740c