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

📄 markerreader.java

📁 A framework written in Java for implementing high-level and dynamic languages, compiling them into J
💻 JAVA
字号:
package gnu.jemacs.swing;import gnu.jemacs.buffer.*;import gnu.mapping.*;import java.io.*;import gnu.lists.CharBuffer;public class MarkerReader extends InPort{  Marker marker;  CharBuffer content;  public MarkerReader(Buffer buffer)  {    this(buffer, buffer.pointMarker);  }  public MarkerReader(Marker marker)  {    this(marker.getBuffer(), marker);  }  MarkerReader(Buffer buffer, Marker marker)  {    super(gnu.text.NullReader.nullReader, buffer.getPath());    this.marker = marker;    content = ((gnu.jemacs.swing.SwingBuffer) buffer).content.buffer;    this.buffer = content.getArray();  }  public int read()  {    int offset = marker.getOffset();    buffer = content.getArray();    if (offset >= content.gapStart)      offset += content.gapEnd - content.gapStart;    int length = buffer.length;    pos = offset;    if (offset >= length)      {	limit = offset;	return -1;      }    else      {	int ch = buffer[pos];	pos++;	limit = pos;	return ch;      }  }  public int getLineNumber ()  {    throw new Error("MarkerReader. getLineNumber - not implemented");  }  public int getColumnNumber ()  {    throw new Error("MarkerReader,getColumnNumber - not implemented");  }  public void reset ()  throws IOException  {    throw new Error("MarkerReader.reset - not implemented");  }}

⌨️ 快捷键说明

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