KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > rice > cs > drjava > model > TestDocGetter


1 /*BEGIN_COPYRIGHT_BLOCK
2  *
3  * This file is part of DrJava. Download the current version of this project from http://www.drjava.org/
4  * or http://sourceforge.net/projects/drjava/
5  *
6  * DrJava Open Source License
7  *
8  * Copyright (C) 2001-2005 JavaPLT group at Rice University (javaplt@rice.edu). All rights reserved.
9  *
10  * Developed by: Java Programming Languages Team, Rice University, http://www.cs.rice.edu/~javaplt/
11  *
12  * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
13  * documentation files (the "Software"), to deal with the Software without restriction, including without limitation
14  * the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and
15  * to permit persons to whom the Software is furnished to do so, subject to the following conditions:
16  *
17  * - Redistributions of source code must retain the above copyright notice, this list of conditions and the
18  * following disclaimers.
19  * - Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the
20  * following disclaimers in the documentation and/or other materials provided with the distribution.
21  * - Neither the names of DrJava, the JavaPLT, Rice University, nor the names of its contributors may be used to
22  * endorse or promote products derived from this Software without specific prior written permission.
23  * - Products derived from this software may not be called "DrJava" nor use the term "DrJava" as part of their
24  * names without prior written permission from the JavaPLT group. For permission, write to javaplt@rice.edu.
25  *
26  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO
27  * THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
28  * CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
29  * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
30  * WITH THE SOFTWARE.
31  *
32 END_COPYRIGHT_BLOCK*/

33
34 package edu.rice.cs.drjava.model;
35
36 import java.util.HashMap JavaDoc;
37 import java.io.File JavaDoc;
38 import java.io.IOException JavaDoc;
39 import javax.swing.text.BadLocationException JavaDoc;
40
41 import edu.rice.cs.util.UnexpectedException;
42 import edu.rice.cs.drjava.model.definitions.DefinitionsDocument;
43
44 /** Test implementation of the document fetching methods in the GlobalModel interface. */
45 public class TestDocGetter extends DummyGlobalModel {
46   
47   /** Storage for documents and File keys. */
48   HashMap JavaDoc<File JavaDoc, OpenDefinitionsDocument> docs;
49
50   /** Convenience constructor for no-documents case. */
51   public TestDocGetter() { this(new File JavaDoc[0], new String JavaDoc[0]); }
52
53   /** Primary constructor, builds OpenDefDocs from Strings.
54    * @param files the keys to use when getting OpenDefDocs
55    * @param texts the text to put in the OpenDefDocs
56    */

57   public TestDocGetter(File JavaDoc[] files, String JavaDoc[] texts) {
58     if (files.length != texts.length) {
59       throw new IllegalArgumentException JavaDoc("Argument arrays must match in size.");
60     }
61
62     docs = new HashMap JavaDoc<File JavaDoc, OpenDefinitionsDocument>(texts.length * 2);
63
64     GlobalEventNotifier en = new GlobalEventNotifier();
65     for (int i = 0; i < texts.length; i++) {
66       DefinitionsDocument doc = new DefinitionsDocument(en);
67       OpenDefinitionsDocument odoc = new TestOpenDoc(doc);
68       odoc.setFile(files[i]);
69       try { doc.insertString(0, texts[i], null); }
70       catch (BadLocationException JavaDoc e) { throw new UnexpectedException(e); }
71       docs.put(files[i], odoc);
72     }
73   }
74
75   public OpenDefinitionsDocument getDocumentForFile(File JavaDoc file)
76     throws IOException JavaDoc {
77     // Try to find the key in docs.
78
if (docs.containsKey(file)) return docs.get(file);
79     else throw new IllegalStateException JavaDoc("TestDocGetter can't open new files!");
80   }
81
82   /** Test implementation of OpenDefinitionsDocument interface. */
83   private static class TestOpenDoc extends DummyOpenDefDoc {
84     DefinitionsDocument _doc;
85     File JavaDoc _file;
86     TestOpenDoc(DefinitionsDocument d) {
87       _doc = d;
88       _defDoc = d;
89       _file = null;
90     }
91
92     /** This is the only method that we care about. */
93     protected DefinitionsDocument getDocument() { return _doc; }
94
95     /** Okay, I lied. We need this one, too. */
96     public File JavaDoc getFile() throws FileMovedException { return _file; }
97     
98     public void setFile(File JavaDoc f) { _file = f; }
99   }
100 }
101
Popular Tags