Clover coverage report - DrJava Test Coverage (drjava-20120304-r5456)
Coverage timestamp: Sun Mar 4 2012 03:13:23 CST
Overview   Package   File
    FRAMES   NO FRAMES  
file stats: LOC: 457   Methods: 153
NCLOC: 265   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
DummyOpenDefDoc.java - 3.9% 3.9% 3.9%
coverage coverage
 1    /*BEGIN_COPYRIGHT_BLOCK
 2    *
 3    * Copyright (c) 2001-2010, JavaPLT group at Rice University (drjava@rice.edu)
 4    * All rights reserved.
 5    *
 6    * Redistribution and use in source and binary forms, with or without
 7    * modification, are permitted provided that the following conditions are met:
 8    * * Redistributions of source code must retain the above copyright
 9    * notice, this list of conditions and the following disclaimer.
 10    * * Redistributions in binary form must reproduce the above copyright
 11    * notice, this list of conditions and the following disclaimer in the
 12    * documentation and/or other materials provided with the distribution.
 13    * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
 14    * names of its contributors may be used to endorse or promote products
 15    * derived from this software without specific prior written permission.
 16    *
 17    * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 18    * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 19    * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 20    * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
 21    * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
 22    * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 23    * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
 24    * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
 25    * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
 26    * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 27    * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 28    *
 29    * This software is Open Source Initiative approved Open Source Software.
 30    * Open Source Initative Approved is a trademark of the Open Source Initiative.
 31    *
 32    * This file is part of DrJava. Download the current version of this project
 33    * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
 34    *
 35    * END_COPYRIGHT_BLOCK*/
 36    package edu.rice.cs.drjava.model;
 37   
 38    import java.util.ArrayList;
 39    import java.util.List;
 40   
 41    import java.io.*;
 42   
 43    import java.awt.print.*;
 44    import java.awt.*;
 45   
 46    import javax.swing.*;
 47    import javax.swing.event.DocumentListener;
 48    import javax.swing.event.UndoableEditListener;
 49    import javax.swing.text.*;
 50   
 51    import edu.rice.cs.drjava.model.debug.Breakpoint;
 52    import edu.rice.cs.drjava.model.definitions.*;
 53    import edu.rice.cs.drjava.model.definitions.reducedmodel.*;
 54    import edu.rice.cs.drjava.model.FinalizationListener;
 55    import edu.rice.cs.drjava.model.definitions.ClassNameNotFoundException;
 56    import edu.rice.cs.drjava.model.definitions.indent.Indenter;
 57    //import edu.rice.cs.drjava.model.definitions.DefinitionsDocument.WrappedPosition;
 58   
 59    import edu.rice.cs.util.OperationCanceledException;
 60    import edu.rice.cs.util.docnavigation.*;
 61    import edu.rice.cs.util.text.SwingDocument;
 62   
 63    public class DummyOpenDefDoc implements OpenDefinitionsDocument {
 64   
 65    // public int id() {
 66    // throw new UnsupportedOperationException("Dummy method");
 67    // }
 68   
 69  0 public int compareTo(OpenDefinitionsDocument d) {
 70  0 throw new UnsupportedOperationException("Dummy method");
 71    }
 72   
 73  1 public boolean modifiedOnDisk() { throw new UnsupportedOperationException("Dummy method"); }
 74   
 75  0 public void addBrowserRegion(BrowserDocumentRegion r) {
 76  0 throw new UnsupportedOperationException("Dummy method");
 77    }
 78   
 79  0 public void removeBrowserRegion(BrowserDocumentRegion r) {
 80  0 throw new UnsupportedOperationException("Dummy method");
 81    }
 82  0 public boolean saveFile(FileSaveSelector com) throws IOException {
 83  0 throw new UnsupportedOperationException("Dummy method");
 84    }
 85   
 86    // public void uncommentLinesInDefinitions(int selStart, int selEnd) {
 87    // throw new UnsupportedOperationException("Dummy method");
 88    // }
 89   
 90  0 public boolean canAbandonFile() { throw new UnsupportedOperationException("Dummy method"); }
 91   
 92  0 public boolean quitFile() { throw new UnsupportedOperationException("Dummy method"); }
 93   
 94  0 public void setCurrentLocation(int location) { throw new UnsupportedOperationException("Dummy method"); }
 95   
 96  0 public DefinitionsDocument getDocument() { throw new UnsupportedOperationException("Dummy method"); }
 97   
 98  0 public boolean isModifiedSinceSave() { throw new UnsupportedOperationException("Dummy method"); }
 99   
 100    // public boolean indentInProgress() { throw new UnsupportedOperationException("Dummy method"); }
 101   
 102  0 public int balanceForward() { throw new UnsupportedOperationException("Dummy method"); }
 103   
 104  0 public int balanceBackward() { throw new UnsupportedOperationException("Dummy method"); }
 105   
 106  0 public File getFile() throws FileMovedException { throw new UnsupportedOperationException("Dummy method"); }
 107   
 108  38 public File getRawFile() { return null; }
 109   
 110  0 public File getParentDirectory() { throw new UnsupportedOperationException("Dummy method"); }
 111   
 112  0 public boolean fileExists() { throw new UnsupportedOperationException("Dummy method"); }
 113   
 114  0 public boolean verifyExists() { throw new UnsupportedOperationException("Dummy method"); }
 115   
 116  0 public void cleanUpPrintJob() { throw new UnsupportedOperationException("Dummy method"); }
 117   
 118  0 public String getFirstTopLevelClassName() throws ClassNameNotFoundException {
 119  0 throw new UnsupportedOperationException("Dummy method");
 120    }
 121   
 122  0 public void startCompile() throws IOException { throw new UnsupportedOperationException("Dummy method"); }
 123   
 124  0 public void runMain(String className) throws IOException { throw new UnsupportedOperationException("Dummy method"); }
 125   
 126  0 public void runApplet(String className) throws IOException { throw new UnsupportedOperationException("Dummy method"); }
 127   
 128  0 public void runSmart(String className) throws IOException { throw new UnsupportedOperationException("Dummy method"); }
 129   
 130  0 public boolean revertIfModifiedOnDisk() throws IOException {
 131  0 throw new UnsupportedOperationException("Dummy method");
 132    }
 133   
 134  0 public Pageable getPageable() throws IllegalStateException {
 135  0 throw new UnsupportedOperationException("Dummy method");
 136    }
 137   
 138  0 public int gotoLine(int line) {
 139  0 throw new UnsupportedOperationException("Dummy method");
 140    }
 141   
 142  0 public void print() throws PrinterException, BadLocationException, FileMovedException {
 143  0 throw new UnsupportedOperationException("Dummy method");
 144    }
 145  0 public void removeFromDebugger() { throw new UnsupportedOperationException("Dummy method"); }
 146   
 147  0 public RegionManager<Breakpoint> getBreakpointManager() { throw new UnsupportedOperationException("Dummy method"); }
 148   
 149  0 public RegionManager<MovingDocumentRegion> getBookmarkManager() { throw new UnsupportedOperationException("Dummy method"); }
 150   
 151    // public List<RegionManager<MovingDocumentRegion>> getFindResultsManagers() {
 152    // throw new UnsupportedOperationException("Dummy method");
 153    // }
 154   
 155    // public void addFindResultsManager(RegionManager<MovingDocumentRegion> rm) {
 156    // throw new UnsupportedOperationException("Dummy method");
 157    // }
 158    //
 159    // public void removeFindResultsManager(RegionManager<MovingDocumentRegion> rm) {
 160    // throw new UnsupportedOperationException("Dummy method");
 161    // }
 162   
 163  0 public void clearBrowserRegions() { throw new UnsupportedOperationException("Dummy method"); }
 164   
 165  0 public boolean isReady() { throw new UnsupportedOperationException("Dummy method"); }
 166   
 167  0 public boolean isUntitled() { throw new UnsupportedOperationException("Dummy method"); }
 168   
 169  0 public boolean isSourceFile() { throw new UnsupportedOperationException("Dummy method"); }
 170   
 171  0 public boolean isEmpty() { throw new UnsupportedOperationException("Dummy method"); }
 172   
 173  0 public File getSourceRoot() throws InvalidPackageException {
 174  0 throw new UnsupportedOperationException("Dummy method");
 175    }
 176   
 177  0 public String getFileName() { throw new UnsupportedOperationException("Dummy method"); }
 178  0 public String getCanonicalPath() { throw new UnsupportedOperationException("Dummy method"); }
 179  0 public String getCompletePath() { throw new UnsupportedOperationException("Dummy method"); }
 180  0 public String getName() { return getFileName(); }
 181   
 182  0 public void startJUnit() throws ClassNotFoundException, IOException {
 183  0 throw new UnsupportedOperationException("Dummy method");
 184    }
 185   
 186  0 public void generateJavadoc(FileSaveSelector saver) throws IOException {
 187  0 throw new UnsupportedOperationException("Dummy method");
 188    }
 189   
 190  0 public String getPackageName() { throw new UnsupportedOperationException("Dummy method"); }
 191  0 public void setPackage(String s) { throw new UnsupportedOperationException("Dummy method"); }
 192  0 public String getPackageNameFromDocument() { throw new UnsupportedOperationException("Dummy method"); }
 193   
 194  0 public String getEnclosingClassName(int pos, boolean qual) throws BadLocationException, ClassNameNotFoundException {
 195  0 throw new UnsupportedOperationException("Dummy method");
 196    }
 197   
 198  0 public boolean saveFileAs(FileSaveSelector com) throws IOException {
 199  0 throw new UnsupportedOperationException("Dummy method");
 200    }
 201   
 202  0 public void preparePrintJob() throws BadLocationException, FileMovedException {
 203  0 throw new UnsupportedOperationException("Dummy method");
 204    }
 205   
 206  0 public void revertFile() throws IOException { throw new UnsupportedOperationException("Dummy method"); }
 207  0 public boolean checkIfClassFileInSync() { throw new UnsupportedOperationException("Dummy method"); }
 208  0 public void documentSaved() { throw new UnsupportedOperationException("Dummy method"); }
 209  0 public void documentModified() { throw new UnsupportedOperationException("Dummy method"); }
 210  0 public void documentReset() { throw new UnsupportedOperationException("Dummy method"); }
 211  0 public int getCurrentLocation() { throw new UnsupportedOperationException("Dummy method"); }
 212  0 public INavigatorItem getIDoc() { throw new UnsupportedOperationException("Dummy method"); }
 213  0 public void resetModification() { throw new UnsupportedOperationException("Dummy method"); }
 214  0 public long getTimestamp() { throw new UnsupportedOperationException("Dummy method"); }
 215  0 public void updateModifiedSinceSave() { throw new UnsupportedOperationException("Dummy method"); }
 216  0 public void setFile(File file) { throw new UnsupportedOperationException("Dummy method"); }
 217  0 public void close() { }
 218  0 public boolean inProjectPath() { return false; }
 219  0 public boolean inNewProjectPath(File f) { throw new UnsupportedOperationException("Dummy method"); }
 220  0 public boolean inProject() { return false; }
 221  0 public boolean isAuxiliaryFile() { return false; }
 222  0 public int _getLineStartPos(int pos) { throw new UnsupportedOperationException("Dummy method"); }
 223  0 public int _getLineEndPos(int pos) { throw new UnsupportedOperationException("Dummy method"); }
 224   
 225    //--- Non Dummy Methods ---//
 226   
 227    protected SwingDocument _defDoc = new SwingDocument();
 228  0 public void addDocumentListener(DocumentListener listener) { _defDoc.addDocumentListener(listener); }
 229   
 230  0 public void addUndoableEditListener(UndoableEditListener listener) {
 231  0 _defDoc.addUndoableEditListener(listener);
 232    }
 233   
 234  50 public Position createPosition(int offs) throws BadLocationException {
 235  50 return _defDoc.createPosition(offs);
 236    }
 237   
 238  0 public Position createUnwrappedPosition(int offs) throws BadLocationException {
 239  0 return _defDoc.createUnwrappedPosition(offs);
 240    }
 241   
 242  0 public Element getDefaultRootElement() { return _defDoc.getDefaultRootElement(); }
 243   
 244    /* The following two methods are included in javax.swing.Document. */
 245  0 public Position getStartPosition() {
 246  0 throw new UnsupportedOperationException("DummyOpenDefDoc does not support getStartPosition()");
 247    }
 248  0 public Position getEndPosition() {
 249  0 throw new UnsupportedOperationException("ConcreteOpenDefDoc does not support getEndPosition()");
 250    }
 251   
 252  27 public int getLength() { return _defDoc.getLength(); }
 253  0 public Object getProperty(Object key) { return _defDoc.getProperty(key); }
 254  0 public Element[] getRootElements() { return _defDoc.getRootElements(); }
 255    // public Position getStartPosition() { return _defDoc.getStartPosition(); }
 256   
 257  32 public String getText(int offset, int length) throws BadLocationException {
 258  32 return _defDoc.getText(offset, length);
 259    }
 260   
 261  0 public void getText(int offset, int length, Segment txt) throws BadLocationException {
 262  0 _defDoc.getText(offset, length, txt);
 263    }
 264   
 265  0 public void insertString(int offset, String str, AttributeSet set) throws BadLocationException {
 266  0 _defDoc.insertString(offset, str, set);
 267    }
 268   
 269  0 public void append(String str, AttributeSet set) { _defDoc.append(str, set); }
 270  0 public void append(String str, Style style) { _defDoc.append(str, style); }
 271  4 public void append(String str) { _defDoc.append(str); }
 272  0 public void putProperty(Object key, Object value) { _defDoc.putProperty(key, value); }
 273  0 public void remove(int offs, int len) throws BadLocationException { _defDoc.remove(offs, len); }
 274  0 public void removeDocumentListener(DocumentListener listener) { _defDoc.removeDocumentListener(listener); }
 275   
 276  0 public void removeUndoableEditListener(UndoableEditListener listener) {
 277  0 _defDoc.removeUndoableEditListener(listener);
 278    }
 279   
 280  0 public void render(Runnable r) { _defDoc.render(r); }
 281   
 282    /** End implementation of Document interface. */
 283   
 284    /** Decorator pattern for the definitions document */
 285  0 public CompoundUndoManager getUndoManager() { throw new UnsupportedOperationException("Dummy method"); }
 286  0 public int commentLines(int selStart, int selEnd) { throw new UnsupportedOperationException("Dummy method"); }
 287  0 public int uncommentLines(int selStart, int selEnd) { throw new UnsupportedOperationException("Dummy method"); }
 288  0 public void indentLines(int selStart, int selEnd) { throw new UnsupportedOperationException("Dummy method"); }
 289  0 public int getCurrentLine() { throw new UnsupportedOperationException("Dummy method"); }
 290  0 public int getCurrentCol() { throw new UnsupportedOperationException("Dummy method"); }
 291  0 public boolean getClassFileInSync() { throw new UnsupportedOperationException("Dummy method"); }
 292  0 public void setClassFileInSync(boolean val) { throw new UnsupportedOperationException("Dummy method"); }
 293   
 294  0 public int getIntelligentBeginLinePos(int currPos) throws BadLocationException {
 295  0 throw new UnsupportedOperationException("Dummy method");
 296    }
 297   
 298  0 public int _getOffset(int lineNum) { throw new UnsupportedOperationException("Dummy method"); }
 299   
 300  0 public String getQualifiedClassName() throws ClassNameNotFoundException {
 301  0 throw new UnsupportedOperationException("Dummy method");
 302    }
 303   
 304  0 public String getQualifiedClassName(int pos) throws ClassNameNotFoundException {
 305  0 throw new UnsupportedOperationException("Dummy method");
 306    }
 307   
 308  0 public String getLexiName() { throw new UnsupportedOperationException("Dummy method"); }
 309  0 public ReducedModelState getStateAtCurrent() { throw new UnsupportedOperationException("Dummy method"); }
 310  0 public void resetUndoManager() { throw new UnsupportedOperationException("Dummy method"); }
 311  0 public File getCachedClassFile() { throw new UnsupportedOperationException("Dummy method"); }
 312  0 public void setCachedClassFile(File f) { throw new UnsupportedOperationException("Dummy method"); }
 313   
 314  0 public DocumentListener[] getDocumentListeners() { throw new UnsupportedOperationException("Dummy method"); }
 315  0 public UndoableEditListener[] getUndoableEditListeners() { throw new UnsupportedOperationException("Dummy method"); }
 316   
 317  0 public void addFinalizationListener(FinalizationListener<DefinitionsDocument> fl) {
 318  0 throw new UnsupportedOperationException("Dummy method");
 319    }
 320   
 321  0 public List<FinalizationListener<DefinitionsDocument>> getFinalizationListeners() {
 322  0 throw new UnsupportedOperationException("Dummy method");
 323    }
 324   
 325  0 public boolean undoManagerCanUndo() { throw new UnsupportedOperationException("Dummy method"); }
 326  0 public boolean undoManagerCanRedo() { throw new UnsupportedOperationException("Dummy method"); }
 327   
 328    //--- Styled Document Methods ---//
 329   
 330  0 public Font getFont(AttributeSet attr) { throw new UnsupportedOperationException("Dummy method"); }
 331  0 public Color getBackground(AttributeSet attr) { throw new UnsupportedOperationException("Dummy method"); }
 332  0 public Color getForeground(AttributeSet attr) { throw new UnsupportedOperationException("Dummy method"); }
 333  0 public Element getCharacterElement(int pos) { throw new UnsupportedOperationException("Dummy method"); }
 334  0 public Element getParagraphElement(int pos) { throw new UnsupportedOperationException("Dummy method"); }
 335  0 public Style getLogicalStyle(int p) { throw new UnsupportedOperationException("Dummy method"); }
 336  0 public void setLogicalStyle(int pos, Style s) { throw new UnsupportedOperationException("Dummy method"); }
 337   
 338  0 public void setCharacterAttributes(int offset, int length, AttributeSet s, boolean replace) {
 339  0 throw new UnsupportedOperationException("Dummy method");
 340    }
 341   
 342  0 public void setParagraphAttributes(int offset, int length, AttributeSet s, boolean replace) {
 343  0 throw new UnsupportedOperationException("Dummy method");
 344    }
 345   
 346  0 public Style getStyle(String nm) { throw new UnsupportedOperationException("Dummy method"); }
 347  0 public void removeStyle(String nm) { throw new UnsupportedOperationException("Dummy method"); }
 348  0 public Style addStyle(String nm, Style parent) { throw new UnsupportedOperationException("Dummy method"); }
 349   
 350    //---------- DJDocument Methods ----------//
 351   
 352    // public void setTab(int tab, int pos) { throw new UnsupportedOperationException("Dummy method"); }
 353    // public int getWhiteSpace() { throw new UnsupportedOperationException("Dummy method"); }
 354    // public boolean inParenPhrase(int pos) { throw new UnsupportedOperationException("Dummy method"); }
 355    // public boolean inParenPhrase() { throw new UnsupportedOperationException("Dummy method"); }
 356   
 357  0 public int findPrevEnclosingBrace(int pos, char opening, char closing) throws BadLocationException {
 358  0 throw new UnsupportedOperationException("Dummy method");
 359    }
 360   
 361  0 public int findNextEnclosingBrace(int pos, char opening, char closing) throws BadLocationException {
 362  0 throw new UnsupportedOperationException("Dummy method");
 363    }
 364   
 365    // public int findPrevNonWSCharPos(int pos) throws BadLocationException {
 366    // throw new UnsupportedOperationException("Dummy method");
 367    // }
 368   
 369  0 public int getFirstNonWSCharPos(int pos) throws BadLocationException {
 370  0 throw new UnsupportedOperationException("Dummy method");
 371    }
 372   
 373  0 public int getFirstNonWSCharPos(int pos, boolean acceptComments) throws BadLocationException {
 374  0 throw new UnsupportedOperationException("Dummy method");
 375    }
 376   
 377  0 public int getFirstNonWSCharPos (int pos, char[] whitespace, boolean acceptComments) throws BadLocationException {
 378  0 throw new UnsupportedOperationException("Dummy method");
 379    }
 380   
 381  0 public int _getLineFirstCharPos(int pos) throws BadLocationException {
 382  0 throw new UnsupportedOperationException("Dummy method");
 383    }
 384   
 385  0 public int findCharOnLine(int pos, char findChar) { throw new UnsupportedOperationException("Dummy method"); }
 386   
 387  0 public int _getIndentOfCurrStmt(int pos) throws BadLocationException {
 388  0 throw new UnsupportedOperationException("Dummy method");
 389    }
 390   
 391  0 public int _getIndentOfCurrStmt(int pos, char[] delims) throws BadLocationException {
 392  0 throw new UnsupportedOperationException("Dummy method");
 393    }
 394   
 395  0 public int _getIndentOfCurrStmt(int pos, char[] delims, char[] whitespace) throws BadLocationException {
 396  0 throw new UnsupportedOperationException("Dummy method");
 397    }
 398   
 399  0 public void indentLines(int selStart, int selEnd, Indenter.IndentReason reason, ProgressMonitor pm) throws OperationCanceledException {
 400  0 throw new UnsupportedOperationException("Dummy method");
 401    }
 402   
 403    // public int findPrevCharPos(int pos, char[] whitespace) throws BadLocationException {
 404    // throw new UnsupportedOperationException("Dummy method");
 405    // }
 406   
 407    // public boolean findCharInStmtBeforePos(char findChar, int position) {
 408    // throw new UnsupportedOperationException("Dummy method");
 409    // }
 410   
 411  0 public int findPrevDelimiter(int pos, char[] delims) throws BadLocationException {
 412  0 throw new UnsupportedOperationException("Dummy method");
 413    }
 414   
 415  0 public int findPrevDelimiter(int pos, char[] delims, boolean skipParenPhrases) throws BadLocationException {
 416  0 throw new UnsupportedOperationException("Dummy method");
 417    }
 418   
 419    // public void resetReducedModelLocation() { throw new UnsupportedOperationException("Dummy method"); }
 420    // public ReducedModelState stateAtRelLocation(int dist) { throw new UnsupportedOperationException("Dummy method"); }
 421    // public IndentInfo getIndentInformation() { throw new UnsupportedOperationException("Dummy method"); }
 422  0 public void move(int dist) { throw new UnsupportedOperationException("Dummy method"); }
 423   
 424  0 public ArrayList<HighlightStatus> getHighlightStatus(int start, int end) {
 425  0 throw new UnsupportedOperationException("Dummy method");
 426    }
 427   
 428  0 public void setIndent(int indent) { throw new UnsupportedOperationException("Dummy method"); }
 429  0 public int getIndent() { throw new UnsupportedOperationException("Dummy method"); }
 430  0 public int getInitialVerticalScroll() { throw new UnsupportedOperationException("Dummy method"); }
 431  0 public int getInitialHorizontalScroll() { throw new UnsupportedOperationException("Dummy method"); }
 432  0 public int getInitialSelectionStart() { throw new UnsupportedOperationException("Dummy method"); }
 433  0 public int getInitialSelectionEnd() { throw new UnsupportedOperationException("Dummy method"); }
 434  0 public String getText() { throw new UnsupportedOperationException("Dummy method"); }
 435  0 public void clear() { throw new UnsupportedOperationException("Dummy method"); }
 436   
 437  0 public ReducedModelControl getReduced() { throw new UnsupportedOperationException("Dummy method"); }
 438   
 439    /** @return the number of lines in this document. */
 440  0 public int getNumberOfLines() { return 0; }
 441   
 442    /** Determines if pos in document is inside a comment or a string. */
 443  0 public boolean isShadowed(int pos) { return false; }
 444   
 445  0 public int getLineOfOffset(int offset) { throw new UnsupportedOperationException("Dummy method"); }
 446  0 public int getOffsetOfLine(int line) { throw new UnsupportedOperationException("Dummy method"); }
 447    /** @return the caret position as set by the view. */
 448  0 public int getCaretPosition() { throw new UnsupportedOperationException("Dummy method"); }
 449   
 450  0 public boolean containsClassOrInterfaceOrEnum() throws BadLocationException {
 451  0 throw new UnsupportedOperationException("Dummy method");
 452    }
 453   
 454    /** Update the syntax highlighting for the file type. */
 455  0 public void updateSyntaxHighlighting() { throw new UnsupportedOperationException("Dummy method"); }
 456   
 457    }
 
CloverReport generated by Clover Code Coverage v1.3.14
Sun Mar 4 2012 03:13:24 CST.		   Open Source License registered to the DrJava Project. This license of Clover is provided to support the development of DrJava only.