edu.rice.cs.drjava.model.repl
Class InteractionsEditorKit

java.lang.Object
  javax.swing.text.EditorKit
      javax.swing.text.DefaultEditorKit
          javax.swing.text.StyledEditorKit
              edu.rice.cs.drjava.model.repl.InteractionsEditorKit

All Implemented Interfaces:

Serializable, Cloneable

public class InteractionsEditorKit
extends StyledEditorKit

This is an editor kit for editing Java source files. It functions as the controller in the MVC arrangement. It implements a factory for new documents, and it also has a factory for Views (the things that render the document).

Version:

$Id: InteractionsEditorKit.java 4691 2008-12-02 23:33:27Z dlsmith $

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.text.StyledEditorKit

StyledEditorKit.AlignmentAction, StyledEditorKit.BoldAction, StyledEditorKit.FontFamilyAction, StyledEditorKit.FontSizeAction, StyledEditorKit.ForegroundAction, StyledEditorKit.ItalicAction, StyledEditorKit.StyledTextAction, StyledEditorKit.UnderlineAction

Nested classes/interfaces inherited from class javax.swing.text.DefaultEditorKit

DefaultEditorKit.BeepAction, DefaultEditorKit.CopyAction, DefaultEditorKit.CutAction, DefaultEditorKit.DefaultKeyTypedAction, DefaultEditorKit.InsertBreakAction, DefaultEditorKit.InsertContentAction, DefaultEditorKit.InsertTabAction, DefaultEditorKit.PasteAction

Field Summary

Fields inherited from class javax.swing.text.DefaultEditorKit

backwardAction, beepAction, beginAction, beginLineAction, beginParagraphAction, beginWordAction, copyAction, cutAction, defaultKeyTypedAction, deleteNextCharAction, deleteNextWordAction, deletePrevCharAction, deletePrevWordAction, downAction, endAction, endLineAction, EndOfLineStringProperty, endParagraphAction, endWordAction, forwardAction, insertBreakAction, insertContentAction, insertTabAction, nextWordAction, pageDownAction, pageUpAction, pasteAction, previousWordAction, readOnlyAction, selectAllAction, selectionBackwardAction, selectionBeginAction, selectionBeginLineAction, selectionBeginParagraphAction, selectionBeginWordAction, selectionDownAction, selectionEndAction, selectionEndLineAction, selectionEndParagraphAction, selectionEndWordAction, selectionForwardAction, selectionNextWordAction, selectionPreviousWordAction, selectionUpAction, selectLineAction, selectParagraphAction, selectWordAction, upAction, writableAction

Constructor Summary

InteractionsEditorKit()
Creates a new editor kit

Method Summary

InteractionsDJDocument	createDefaultDocument()
String	getContentType() Get the MIME content type of the document.
ViewFactory	getViewFactory() We want to use our ColoringView to render text, so here we return a factory that creates ColoringViews.

Methods inherited from class javax.swing.text.StyledEditorKit

clone, createInputAttributes, deinstall, getActions, getCharacterAttributeRun, getInputAttributes, install

Methods inherited from class javax.swing.text.DefaultEditorKit

createCaret, read, read, write, write

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InteractionsEditorKit

public InteractionsEditorKit()

Creates a new editor kit

Method Detail

getContentType

public String getContentType()

Get the MIME content type of the document.

Overrides:

getContentType in class DefaultEditorKit

Returns:

"text/java"

getViewFactory

public final ViewFactory getViewFactory()

We want to use our ColoringView to render text, so here we return a factory that creates ColoringViews.

Overrides:

getViewFactory in class StyledEditorKit

createDefaultDocument

public InteractionsDJDocument createDefaultDocument()

Overrides:

createDefaultDocument in class StyledEditorKit