⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 replmode.java

📁 A framework written in Java for implementing high-level and dynamic languages, compiling them into J
💻 JAVA
字号:
package gnu.jemacs.buffer;import gnu.mapping.*;import gnu.expr.Language;import java.io.*;import gnu.text.*;public class ReplMode extends ProcessMode{  BufferWriter processWriter;  InPort in;  OutPort out;  OutPort err;  Future thread;  public ReplMode (Buffer buffer, Language language, Environment environment)    throws java.io.IOException  {    lineMode = true;    this.buffer = buffer;    processMark = new Marker(buffer.pointMarker);    processWriter = new BufferWriter(processMark, true);    out = new OutPort(processWriter, true, true);    err = new OutPort(processWriter, true, true);    PipedReader preader = new PipedReader();    toInferior = new PipedWriter(preader);    in = new TtyInPort(preader, Path.valueOf("/dev/stdin"), out);    thread = new Future (new kawa.repl(language),			 environment, in, out, err);    thread.setPriority(Thread.currentThread().getPriority() + 1);    thread.start();  }  public static void make (Buffer buffer, Object language)    throws java.io.IOException  {    Language lang = language instanceof Language ? (Language) language      : Language.getInstance(language.toString());    buffer.modes = new ReplMode (buffer, lang, Environment.getGlobal());  }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -