| edu.rice.cs.drjava.model.definitions |
|
Provides the data model for storing Java source code.
The primary class here is {@link
edu.rice.cs.drjava.model.definitions.DefinitionsDocument}. This is
an extension of {@link javax.swing.text.PlainDocument} that contains
a "reduced model", which allows the ability to match parentheses, do
indentation, and highlight various kinds of text (syntactically)
very efficiently.
@see edu.rice.cs.drjava.model.definitions.reducedmodel
|
| Java Source File Name | Type | Comment |
| ClassNameNotFoundException.java | Class | Exception indicating that a class name could not be found in
the DefinitionsDocument from which it was thrown. |
| ColoringGlyphPainter.java | Class | |
| ColoringView.java | Class | This view class renders text on the screen using the reduced model info.
By extending WrappedPlainView, we only have to override the parts we want to.
Here we only override drawUnselectedText. |
| CommentTest.java | Class | Test the comment lines / uncomment lines functionality. |
| CompoundUndoManager.java | Class | Extended UndoManager with increased functionality. |
| DefinitionsDocument.java | Class | The document model for the definitions pane.
This implementation of Document contains a "reduced model". |
| DefinitionsDocumentTest.java | Class | Tests the functionality of the definitions document. |
| DefinitionsEditorKit.java | Class | This is an editor kit for editing Java source files. |
| DocumentClosedListener.java | Interface | This listener can be added to DefinitionsDocuments, and will be fired when the document is closing. |
| DocumentUIListener.java | Interface | The purpose for this interface's existence is to make the document listener added by our MainFrame distinguishable
by the model (specifically the DDReconstructor) from the other registered DocumentListeners when saving the
necessary info from the DefinitionsDocument before the document cache boots it out. |
| IndentHelperTest.java | Class | |
| IndentTest.java | Class | Test the tab/enter/squiggly indenting functionality. |
| InvalidPackageException.java | Class | An exception thrown by DefinitionsDocument.getPackageName() when the
document contains an invalid package statement. |
| NoSuchDocumentException.java | Class | This exception is to be thrown when an OpenDefinitionsDocument
was asked for its DefinitionsDocument and when the OpenDefinitionsDocument
itself is not registered in the Document Cache. |