📄 grepreader.java
字号:
package com.javapatterns.decorator.grepr;
import java.io.BufferedReader;
import java.io.FileReader;
import java.io.FilterReader;
import java.io.IOException;
public class GrepReader extends FilterReader
{
protected String substring;
protected BufferedReader in;
private int lineNumber;
public GrepReader(FileReader in, String substring)
{
super(in);
this.in = new BufferedReader(in);
this.substring = substring;
lineNumber = 0;
}
public final String readLine() throws IOException
{
String line = null;
do
{
line = in.readLine(); lineNumber++;
}
while ((line != null) && line.indexOf(substring) == -1);
return line;
}
public int lineNo() { return lineNumber; }
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -