| edu.rice.cs.drjava.model.AbstractDJDocument
 edu.rice.cs.drjava.model.repl.InteractionsDJDocument
| InteractionsDJDocument | | public class InteractionsDJDocument extends AbstractDJDocument implements ConsoleDocumentInterface(Code) | | Represents a Swing-based InteractionsDocument. Extends AbstractDJDocument which contains code shared by
the Swing interactions and definitions documents.
|
| Method Summary | |
| protected void | _styleChanged()
| | public void | addColoring(int start, int end, String style)
Adds the given coloring style to the styles list. | | protected void | addUndoRedo(AbstractDocument.DefaultDocumentEvent chng, Runnable undoCommand, Runnable doCommand)
| | public void | appendExceptionResult(String exceptionClass, String message, String stackTrace, String styleName)
Inserts the given exception data into the document with the given style. | | public void | clearColoring()
Called when the Interactions pane is reset. | | protected void | endCompoundEdit(int key)
| | protected void | endLastCompoundEdit()
| | List<Pair<Pair<Integer, Integer>, String>> | getStylesList()
| | public boolean | hasPrompt()
| | public boolean | inCommentBlock()
| | protected Indenter | makeNewIndenter(int indentLevel)
Returns a new indenter. | | public void | setBoldFonts(int point, Graphics g)
Attempts to set the font on the graphics context based upon the styles held in the styles list. | | public boolean | setColoring(int point, Graphics g)
Attempts to set the coloring on the graphics based upon the content of the styles list
returns false if the point is not in the list. | | public void | setHasPrompt(boolean val)
Sets the _hasPrompt property. | | protected int | startCompoundEdit()
|
| InteractionsDJDocument | | public InteractionsDJDocument()(Code) | | Standard constructor.
|
| _styleChanged | | protected void _styleChanged()(Code) | | |
| addColoring | | public void addColoring(int start, int end, String style)(Code) | | Adds the given coloring style to the styles list.
|
| appendExceptionResult | | public void appendExceptionResult(String exceptionClass, String message, String stackTrace, String styleName)(Code) | | Inserts the given exception data into the document with the given style.
Parameters:
exceptionClass - Name of the exception that was thrown
Parameters:
message - Message contained in the exception
Parameters:
stackTrace - String representation of the stack trace
Parameters:
styleName - name of the style for formatting the exception |
| clearColoring | | public void clearColoring()(Code) | | Called when the Interactions pane is reset.
|
| endCompoundEdit | | protected void endCompoundEdit(int key)(Code) | | |
| endLastCompoundEdit | | protected void endLastCompoundEdit()(Code) | | |
| hasPrompt | | public boolean hasPrompt()(Code) | | |
| inCommentBlock | | public boolean inCommentBlock()(Code) | | Returns true iff the end of the current interaction is an open comment block
true iff the end of the current interaction is an open comment block |
| makeNewIndenter | | protected Indenter makeNewIndenter(int indentLevel)(Code) | | Returns a new indenter. Eventually to be used to return an interactions indenter
|
| setBoldFonts | | public void setBoldFonts(int point, Graphics g)(Code) | | Attempts to set the font on the graphics context based upon the styles held in the styles list.
|
| setColoring | | public boolean setColoring(int point, Graphics g)(Code) | | Attempts to set the coloring on the graphics based upon the content of the styles list
returns false if the point is not in the list.
|
| setHasPrompt | | public void setHasPrompt(boolean val)(Code) | | Sets the _hasPrompt property.
Parameters:
val - new boolean value for _hasPrompt. |
| startCompoundEdit | | protected int startCompoundEdit()(Code) | | |
| Methods inherited from edu.rice.cs.drjava.model.AbstractDJDocument | protected Object _checkCache(String key)(Code)(Java Doc)
public boolean _indentLine(Indenter.IndentReason reason)(Code)(Java Doc)
protected static boolean _isReversteStartOfComment(String text, int pos)(Code)(Java Doc)
protected static boolean _isStartOfComment(String text, int pos)(Code)(Java Doc)
protected static HashSet<String> _makeKeywords()(Code)(Java Doc)
protected static HashSet<String> _makeNormEndings()(Code)(Java Doc)
protected static HashSet<String> _makePrimTypes()(Code)(Java Doc)
protected void _removeIndenter()(Code)(Java Doc)
protected void _storeInCache(String key, Object result)(Code)(Java Doc)
abstract protected void _styleChanged()(Code)(Java Doc)
abstract protected void addUndoRedo(AbstractDocument.DefaultDocumentEvent chng, Runnable undoCommand, Runnable doCommand)(Code)(Java Doc)
public int balanceBackward()(Code)(Java Doc)
public int balanceForward()(Code)(Java Doc)
public void clear()(Code)(Java Doc)
protected void clearCache()(Code)(Java Doc)
abstract protected void endCompoundEdit(int i)(Code)(Java Doc)
abstract protected void endLastCompoundEdit()(Code)(Java Doc)
public boolean findCharInStmtBeforePos(char findChar, int position)(Code)(Java Doc)
public int findCharOnLine(int pos, char findChar)(Code)(Java Doc)
public int findNextEnclosingBrace(int pos, char opening, char closing) throws BadLocationException(Code)(Java Doc)
public int findPrevCharPos(int pos, char[] whitespace) throws BadLocationException(Code)(Java Doc)
public int findPrevDelimiter(int pos, char[] delims) throws BadLocationException(Code)(Java Doc)
public int findPrevDelimiter(int pos, char[] delims, boolean skipParenPhrases) throws BadLocationException(Code)(Java Doc)
public int findPrevEnclosingBrace(int pos, char opening, char closing) throws BadLocationException(Code)(Java Doc)
public int findPrevNonWSCharPos(int pos) throws BadLocationException(Code)(Java Doc)
public byte[] getBytes()(Code)(Java Doc)
public int getCurrentLocation()(Code)(Java Doc)
public int getFirstNonWSCharPos(int pos) throws BadLocationException(Code)(Java Doc)
public int getFirstNonWSCharPos(int pos, boolean acceptComments) throws BadLocationException(Code)(Java Doc)
public int getFirstNonWSCharPos(int pos, char[] whitespace, boolean acceptComments) throws BadLocationException(Code)(Java Doc)
public Vector<HighlightStatus> getHighlightStatus(int start, int end)(Code)(Java Doc)
public int getIndent()(Code)(Java Doc)
public IndentInfo getIndentInformation()(Code)(Java Doc)
public String getIndentOfCurrStmt(int pos) throws BadLocationException(Code)(Java Doc)
public String getIndentOfCurrStmt(int pos, char[] delims) throws BadLocationException(Code)(Java Doc)
public String getIndentOfCurrStmt(int pos, char[] delims, char[] whitespace) throws BadLocationException(Code)(Java Doc)
public int getIntelligentBeginLinePos(int currPos) throws BadLocationException(Code)(Java Doc)
public int getLineEndPos(int pos)(Code)(Java Doc)
public int getLineFirstCharPos(int pos) throws BadLocationException(Code)(Java Doc)
public int getLineStartPos(int pos)(Code)(Java Doc)
public BraceReduction getReduced()(Code)(Java Doc)
public ReducedModelState getStateAtCurrent()(Code)(Java Doc)
public String getText()(Code)(Java Doc)
public int getWhiteSpace()(Code)(Java Doc)
public void indentLines(int selStart, int selEnd)(Code)(Java Doc)
public void indentLines(int selStart, int selEnd, Indenter.IndentReason reason, ProgressMonitor pm) throws OperationCanceledException(Code)(Java Doc)
public void insertString(int offset, String str, AttributeSet a) throws BadLocationException(Code)(Java Doc)
protected void insertUpdate(AbstractDocument.DefaultDocumentEvent chng, AttributeSet attr)(Code)(Java Doc)
abstract protected Indenter makeNewIndenter(int indentLevel)(Code)(Java Doc)
public void move(int dist)(Code)(Java Doc)
public boolean posInParenPhrase(int pos)(Code)(Java Doc)
public boolean posInParenPhrase()(Code)(Java Doc)
protected boolean posNotInBlock(int pos)(Code)(Java Doc)
public void remove(int offset, int len) throws BadLocationException(Code)(Java Doc)
protected void removeUpdate(AbstractDocument.DefaultDocumentEvent chng)(Code)(Java Doc)
public void resetReducedModelLocation()(Code)(Java Doc)
public void setCurrentLocation(int loc)(Code)(Java Doc)
public void setIndent(int indent)(Code)(Java Doc)
public void setTab(String tab, int pos)(Code)(Java Doc)
abstract protected int startCompoundEdit()(Code)(Java Doc)
public ReducedModelState stateAtRelLocation(int dist)(Code)(Java Doc)
|
|
|