Class FormulaDocument
- java.lang.Object
-
- org.pentaho.openformula.ui.model2.FormulaDocument
-
-
Field Summary
-
Fields inherited from interface javax.swing.text.Document
StreamDescriptionProperty, TitleProperty
-
-
Constructor Summary
Constructors Constructor Description FormulaDocument()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddDocumentListener(DocumentListener listener)Registers the given observer to begin receiving notifications when changes are made to the document.voidaddUndoableEditListener(UndoableEditListener listener)Registers the given observer to begin receiving notifications when undoable edits are made to the document.PositioncreatePosition(int offs)This method allows an application to mark a place in a sequence of character content.protected voidfireChangeEvent(DocumentEvent event)protected voidfireInsertEvent(DocumentEvent event)protected voidfireRemoveEvent(DocumentEvent event)ElementgetDefaultRootElement()Returns the root element that views should be based upon, unless some other mechanism for assigning views to element structures is provided.FormulaElementgetElementAtPosition(int index)Retrieve the element at specified position.PositiongetEndPosition()Returns a position that represents the end of the document.FunctionInformationgetFunctionForPosition(int offset)intgetLength()Returns number of characters of content currently in the document.ObjectgetProperty(Object key)Gets the properties associated with the document.FormulaRootElementgetRootElement()Element[]getRootElements()Returns all of the root elements that are defined.PositiongetStartPosition()Returns a position that represents the start of the document.StringgetText()StringgetText(int offset, int length)Fetches the text contained within the given portion of the document.voidgetText(int offset, int length, Segment txt)Fetches the text contained within the given portion of the document.voidinsertString(int offset, String str, AttributeSet a)Inserts a string of content.voidputProperty(Object key, Object value)Associates a property with the document.voidremove(int offs, int len)Removes a portion of the content of the document.voidremoveDocumentListener(DocumentListener listener)Unregisters the given observer from the notification list so it will no longer receive change updates.voidremoveUndoableEditListener(UndoableEditListener listener)Unregisters the given observer from the notification list so it will no longer receive updates.voidrender(Runnable r)Allows the model to be safely rendered in the presence of concurrency, if the model supports being updated asynchronously.voidrevalidateStructure()voidsetText(String text)
-
-
-
Method Detail
-
getLength
public int getLength()
Returns number of characters of content currently in the document.
-
addDocumentListener
public void addDocumentListener(DocumentListener listener)
Registers the given observer to begin receiving notifications when changes are made to the document.- Specified by:
addDocumentListenerin interfaceDocument- Parameters:
listener- the observer to register- See Also:
Document.removeDocumentListener(javax.swing.event.DocumentListener)
-
removeDocumentListener
public void removeDocumentListener(DocumentListener listener)
Unregisters the given observer from the notification list so it will no longer receive change updates.- Specified by:
removeDocumentListenerin interfaceDocument- Parameters:
listener- the observer to register- See Also:
Document.addDocumentListener(javax.swing.event.DocumentListener)
-
fireInsertEvent
protected void fireInsertEvent(DocumentEvent event)
-
fireRemoveEvent
protected void fireRemoveEvent(DocumentEvent event)
-
fireChangeEvent
protected void fireChangeEvent(DocumentEvent event)
-
addUndoableEditListener
public void addUndoableEditListener(UndoableEditListener listener)
Registers the given observer to begin receiving notifications when undoable edits are made to the document.- Specified by:
addUndoableEditListenerin interfaceDocument- Parameters:
listener- the observer to register- See Also:
UndoableEditEvent
-
removeUndoableEditListener
public void removeUndoableEditListener(UndoableEditListener listener)
Unregisters the given observer from the notification list so it will no longer receive updates.- Specified by:
removeUndoableEditListenerin interfaceDocument- Parameters:
listener- the observer to register- See Also:
UndoableEditEvent
-
getProperty
public Object getProperty(Object key)
Gets the properties associated with the document.- Specified by:
getPropertyin interfaceDocument- Parameters:
key- a non-nullproperty key- Returns:
- the properties
- See Also:
putProperty(Object, Object)
-
putProperty
public void putProperty(Object key, Object value)
Associates a property with the document. Two standard property keys provided are:StreamDescriptionPropertyandTitleProperty. Other properties, such as author, may also be defined.- Specified by:
putPropertyin interfaceDocument- Parameters:
key- the non-nullproperty keyvalue- the property value- See Also:
getProperty(Object)
-
getStartPosition
public Position getStartPosition()
Returns a position that represents the start of the document. The position returned can be counted on to track change and stay located at the beginning of the document.- Specified by:
getStartPositionin interfaceDocument- Returns:
- the position
-
getEndPosition
public Position getEndPosition()
Returns a position that represents the end of the document. The position returned can be counted on to track change and stay located at the end of the document.- Specified by:
getEndPositionin interfaceDocument- Returns:
- the position
-
createPosition
public Position createPosition(int offs) throws BadLocationException
This method allows an application to mark a place in a sequence of character content. This mark can then be used to tracks change as insertions and removals are made in the content. The policy is that insertions always occur prior to the current position (the most common case) unless the insertion location is zero, in which case the insertion is forced to a position that follows the original position.- Specified by:
createPositionin interfaceDocument- Parameters:
offs- the offset from the start of the document >= 0- Returns:
- the position
- Throws:
BadLocationException- if the given position does not represent a valid location in the associated document
-
getRootElements
public Element[] getRootElements()
Returns all of the root elements that are defined.Typically there will be only one document structure, but the interface supports building an arbitrary number of structural projections over the text data. The document can have multiple root elements to support multiple document structures. Some examples might be:
- Text direction.
- Lexical token streams.
- Parse trees.
- Conversions to formats other than the native format.
- Modification specifications.
- Annotations.
- Specified by:
getRootElementsin interfaceDocument- Returns:
- the root element
-
getDefaultRootElement
public Element getDefaultRootElement()
Returns the root element that views should be based upon, unless some other mechanism for assigning views to element structures is provided.- Specified by:
getDefaultRootElementin interfaceDocument- Returns:
- the root element
-
getRootElement
public FormulaRootElement getRootElement()
-
render
public void render(Runnable r)
Allows the model to be safely rendered in the presence of concurrency, if the model supports being updated asynchronously. The given runnable will be executed in a way that allows it to safely read the model with no changes while the runnable is being executed. The runnable itself may not make any mutations.
-
remove
public void remove(int offs, int len) throws BadLocationExceptionRemoves a portion of the content of the document. This will cause a DocumentEvent of type DocumentEvent.EventType.REMOVE to be sent to the registered DocumentListeners, unless an exception is thrown. The notification will be sent to the listeners by calling the removeUpdate method on the DocumentListeners. To ensure reasonable behavior in the face of concurrency, the event is dispatched after the mutation has occurred. This means that by the time a notification of removal is dispatched, the document has already been updated and any marks created bycreatePositionhave already changed. For a removal, the end of the removal range is collapsed down to the start of the range, and any marks in the removal range are collapsed down to the start of the range.
If the Document structure changed as result of the removal, the details of what Elements were inserted and removed in response to the change will also be contained in the generated DocumentEvent. It is up to the implementation of a Document to decide how the structure should change in response to a remove. If the Document supports undo/redo, an UndoableEditEvent will also be generated.
- Specified by:
removein interfaceDocument- Parameters:
offs- the offset from the beginning >= 0len- the number of characters to remove >= 0- Throws:
BadLocationException- some portion of the removal range was not a valid part of the document. The location in the exception is the first bad position encountered.- See Also:
DocumentEvent,DocumentListener,UndoableEditEvent,UndoableEditListener
-
insertString
public void insertString(int offset, String str, AttributeSet a) throws BadLocationExceptionInserts a string of content. This will cause a DocumentEvent of type DocumentEvent.EventType.INSERT to be sent to the registered DocumentListers, unless an exception is thrown. The DocumentEvent will be delivered by calling the insertUpdate method on the DocumentListener. The offset and length of the generated DocumentEvent will indicate what change was actually made to the Document.
If the Document structure changed as result of the insertion, the details of what Elements were inserted and removed in response to the change will also be contained in the generated DocumentEvent. It is up to the implementation of a Document to decide how the structure should change in response to an insertion. If the Document supports undo/redo, an UndoableEditEvent will also be generated.
- Specified by:
insertStringin interfaceDocument- Parameters:
offset- the offset into the document to insert the content >= 0. All positions that track change at or after the given location will move.str- the string to inserta- the attributes to associate with the inserted content. This may be null if there are no attributes.- Throws:
BadLocationException- the given insert position is not a valid position within the document- See Also:
DocumentEvent,DocumentListener,UndoableEditEvent,UndoableEditListener
-
getText
public String getText(int offset, int length) throws BadLocationException
Fetches the text contained within the given portion of the document.- Specified by:
getTextin interfaceDocument- Parameters:
offset- the offset into the document representing the desired start of the text >= 0length- the length of the desired string >= 0- Returns:
- the text, in a String of length >= 0
- Throws:
BadLocationException- some portion of the given range was not a valid part of the document. The location in the exception is the first bad position encountered.
-
getText
public String getText()
-
getText
public void getText(int offset, int length, Segment txt) throws BadLocationExceptionFetches the text contained within the given portion of the document. If the partialReturn property on the txt parameter is false, the data returned in the Segment will be the entire length requested and may or may not be a copy depending upon how the data was stored. If the partialReturn property is true, only the amount of text that can be returned without creating a copy is returned. Using partial returns will give better performance for situations where large parts of the document are being scanned. The following is an example of using the partial return to access the entire document:int nleft = doc.getDocumentLength(); Segment text = new Segment(); int offs = 0; text.setPartialReturn(true); while (nleft > 0) { doc.getText(offs, nleft, text); // do someting with text nleft -= text.count; offs += text.count; }- Specified by:
getTextin interfaceDocument- Parameters:
offset- the offset into the document representing the desired start of the text >= 0length- the length of the desired string >= 0txt- the Segment object to return the text in- Throws:
BadLocationException- Some portion of the given range was not a valid part of the document. The location in the exception is the first bad position encountered.
-
getFunctionForPosition
public FunctionInformation getFunctionForPosition(int offset)
-
setText
public void setText(String text)
-
getElementAtPosition
public FormulaElement getElementAtPosition(int index)
Retrieve the element at specified position. Note, the index is not the cursor index but rather the tokenized element position. So '=COUNT(1;2;3)' would contain 9 elements starting with element '=' at 0 index upto ')' at index 8.- Parameters:
index-- Returns:
- FormulaElement specified at index. If index is invalid then return null.
-
revalidateStructure
public void revalidateStructure()
-
-