comparison dwtx/jface/text/package.html @ 129:eb30df5ca28b

Added JFace Text sources
author Frank Benoit <benoit@tionex.de>
date Sat, 23 Aug 2008 19:10:48 +0200
parents
children
comparison
equal deleted inserted replaced
128:8df1d4193877 129:eb30df5ca28b
1 <!DOCTYPE html PUBLIC "-//w3c//dtd html 4.0 transitional//en">
2 <html><head>
3 <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
4 <meta content="IBM" name="Author">
5 <meta content="Mozilla/4.75 [en] (Windows NT 5.0; U) [Netscape]" name="GENERATOR"><title>text infrastructure</title></head>
6
7 <body>
8 <p>Provides a framework for creating and manipulating text documents.</p>
9 <h3>Package Specification</h3>
10 <p><tt>IDocument</tt> is the major text
11 model abstraction. It provides content management, position management using
12 position categories, document partition management, and change notification.
13 In order to be notified about document changes, an object must implements <tt>IDocumentListener
14 </tt>and must be registered with the document. <tt>Position</tt>
15 updating in responds to a document change is performed by implementers of <tt>IDocumentPositionUpdater</tt>.
16 Partition updating in responds to a document change is performed by implements
17 of <tt>IDocumentPartitioner</tt>. In order
18 to be notified about document partition changes, objects must implement <tt>IDocumentParititoningListener</tt>
19 and must be registered with the document.</p>
20 <p>The package contains default implementations for document position updaters
21 and for documents. <tt>AbstractDocument</tt>
22 uses <tt>ITextStorage</tt> for storing
23 and managing its content and <tt>ILineTracker</tt>
24 to maintain a line structure of its content. As defaults a gap text implementation
25 of <tt>ITextStore</tt> is provided, together
26 with a line tracker understanding the three standard line delimiters (&quot;\r&quot;,
27 &quot;\n&quot;, &quot;\r\n&quot;) and a line tracker which can be freely configured
28 to consider any given set of strings as valid line delimiters. </p>
29 <p></p>
30 </body></html>