001: /*BEGIN_COPYRIGHT_BLOCK
002: *
003: * Copyright (c) 2001-2007, JavaPLT group at Rice University (javaplt@rice.edu)
004: * All rights reserved.
005: *
006: * Redistribution and use in source and binary forms, with or without
007: * modification, are permitted provided that the following conditions are met:
008: * * Redistributions of source code must retain the above copyright
009: * notice, this list of conditions and the following disclaimer.
010: * * Redistributions in binary form must reproduce the above copyright
011: * notice, this list of conditions and the following disclaimer in the
012: * documentation and/or other materials provided with the distribution.
013: * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
014: * names of its contributors may be used to endorse or promote products
015: * derived from this software without specific prior written permission.
016: *
017: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
018: * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
019: * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
020: * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
021: * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
022: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
023: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
024: * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
025: * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
026: * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
027: * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
028: *
029: * This software is Open Source Initiative approved Open Source Software.
030: * Open Source Initative Approved is a trademark of the Open Source Initiative.
031: *
032: * This file is part of DrJava. Download the current version of this project
033: * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
034: *
035: * END_COPYRIGHT_BLOCK*/
036:
037: package edu.rice.cs.drjava.model.repl;
038:
039: import edu.rice.cs.drjava.model.repl.newjvm.*;
040: import edu.rice.cs.drjava.ui.InteractionsController;
041: import edu.rice.cs.util.text.ConsoleDocumentInterface;
042:
043: import java.io.File;
044:
045: /** An InteractionsModel which can serve as the glue between a local InteractionsDocument and a remote JavaInterpreter
046: * in another JVM.
047: * @version $Id: RMIInteractionsModel.java 4255 2007-08-28 19:17:37Z mgricken $
048: */
049: public abstract class RMIInteractionsModel extends InteractionsModel {
050:
051: /** RMI interface to the remote Java interpreter.*/
052: protected final MainJVM _jvm;
053:
054: /** Constructs an InteractionsModel which can communicate with another JVM.
055: * @param jvm RMI interface to the slave JVM
056: * @param adapter InteractionsDJDocument to use in the InteractionsDocument
057: * @param historySize Number of lines to store in the history
058: * @param writeDelay Number of milliseconds to wait after each println
059: */
060: public RMIInteractionsModel(MainJVM jvm,
061: ConsoleDocumentInterface adapter, File wd, int historySize,
062: int writeDelay) {
063: super (adapter, wd, historySize, writeDelay);
064: _jvm = jvm;
065: }
066:
067: /** Interprets the given command.
068: * @param toEval command to be evaluated
069: */
070: protected void _interpret(String toEval) {
071: _jvm.interpret(toEval);
072: }
073:
074: /** Gets the string representation of the value of a variable in the current interpreter.
075: * @param var the name of the variable
076: */
077: public String getVariableToString(String var) {
078: return _jvm.getVariableToString(var);
079: }
080:
081: /**
082: * Gets the class name of a variable in the current interpreter.
083: * @param var the name of the variable
084: */
085: public String getVariableClassName(String var) {
086: return _jvm.getVariableClassName(var);
087: }
088:
089: /**
090: * Adds the given path to the interpreter's classpath.
091: * @param path Path to add
092: */
093: // public void addToClassPath(String path) {
094: // _interpreterControl.addClassPath(path);
095: // }
096: //
097: public void addProjectClassPath(File f) {
098: _jvm.addProjectClassPath(f);
099: }
100:
101: public void addBuildDirectoryClassPath(File f) {
102: _jvm.addBuildDirectoryClassPath(f);
103: }
104:
105: public void addProjectFilesClassPath(File f) {
106: // System.err.println("Adding " + path + " to projectFilesClassPath in the slave JVM");
107: _jvm.addProjectFilesClassPath(f);
108: }
109:
110: public void addExternalFilesClassPath(File f) {
111: _jvm.addExternalFilesClassPath(f);
112: }
113:
114: public void addExtraClassPath(File f) {
115: _jvm.addExtraClassPath(f);
116: }
117:
118: /** Resets the Java interpreter. */
119: protected void _resetInterpreter(File wd) {
120: _jvm.killInterpreter(wd);
121: }
122:
123: /** Adds a named DynamicJavaAdapter to the list of interpreters.
124: * @param name the unique name for the interpreter
125: * @throws IllegalArgumentException if the name is not unique
126: */
127: public void addJavaInterpreter(String name) {
128: _jvm.addJavaInterpreter(name);
129: }
130:
131: /** Adds a named JavaDebugInterpreter to the list of interpreters.
132: * @param name the unique name for the debug interpreter
133: * @param className the fully qualified class name of the class the debug interpreter is in
134: * @throws IllegalArgumentException if the name is not unique
135: */
136: public void addDebugInterpreter(String name, String className) {
137: _jvm.addDebugInterpreter(name, className);
138: }
139:
140: /** Removes the interpreter with the given name, if it exists.
141: * @param name Name of the interpreter to remove
142: */
143: public void removeInterpreter(String name) {
144: _jvm.removeInterpreter(name);
145: }
146:
147: /** Sets the active interpreter.
148: * @param name the (unique) name of the interpreter.
149: * @param prompt the prompt the interpreter should have.
150: */
151: public void setActiveInterpreter(String name, String prompt) {
152: String currName = _jvm.getCurrentInterpreterName();
153: boolean inProgress = _jvm.setActiveInterpreter(name);
154: _updateDocument(prompt, inProgress, !currName.equals(name));
155: _notifyInterpreterChanged(inProgress);
156: }
157:
158: /** Sets the default interpreter to be the current one. */
159: public void setToDefaultInterpreter() {
160: // Only print prompt if we're not already the default
161: String currName = _jvm.getCurrentInterpreterName();
162: boolean printPrompt = !MainJVM.DEFAULT_INTERPRETER_NAME
163: .equals(currName);
164:
165: boolean inProgress = _jvm.setToDefaultInterpreter();
166:
167: _updateDocument(InteractionsDocument.DEFAULT_PROMPT,
168: inProgress, printPrompt);
169: _notifyInterpreterChanged(inProgress);
170: }
171:
172: /** Updates the prompt and status of the document after an interpreter change. Assumes write lock is already held.
173: * @param prompt New prompt to display
174: * @param inProgress whether the interpreter is currently in progress
175: * @param updatePrompt whether or not the interpreter has changed
176: */
177: private void _updateDocument(String prompt, boolean inProgress,
178: boolean updatePrompt) {
179: if (updatePrompt) {
180: _document.acquireWriteLock();
181: try {
182: _document.setPrompt(prompt);
183: _document.insertNewLine(_document.getLength());
184: _document.insertPrompt();
185: } finally {
186: _document.releaseWriteLock();
187: }
188: }
189: _document.setInProgress(inProgress);
190: }
191:
192: /** Notifies listeners that the interpreter has changed. (Subclasses must maintain listeners.)
193: * @param inProgress Whether the new interpreter is currently in progress with an interaction, i.e., whether
194: * an interactionEnded event will be fired)
195: */
196: protected abstract void _notifyInterpreterChanged(boolean inProgress);
197:
198: /** Sets whether or not the interpreter should allow access to private members. */
199: public void setPrivateAccessible(boolean allow) {
200: _jvm.setPrivateAccessible(allow);
201: }
202:
203: /** Gets the interpreter classpath from the interpreter jvm.
204: * @return a vector of classpath elements
205: */
206: public Iterable<File> getClassPath() {
207: return _jvm.getClassPath();
208: }
209:
210: /** Enables restarting of slave JVM. */
211: public void enableRestart() {
212: _jvm.enableRestart();
213: }
214: }
|