replmode.java

来自「A framework written in Java for implemen」· Java 代码 · 共 41 行

JAVA
41
字号
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 + =
减小字号Ctrl + -
显示快捷键?