📄 grepinputstream.java
字号:
package com.javapatterns.decorator.greps;
import java.io.FilterInputStream;
import java.io.DataInputStream;
import java.io.IOException;
public class GrepInputStream extends FilterInputStream
{
String substring;
DataInputStream in;
public GrepInputStream(DataInputStream in, String substring)
{
super(in);
this.in = in;
this.substring = substring;
}
// This is the filter: read lines from the DataInputStream,
// but only return the lines that contain the substring.
// When the DataInputStream returns null, we return null.
public final String readLine() throws IOException
{
String line;
do
{
line = in.readLine();
}
while ((line != null) && line.indexOf(substring) == -1);
return line;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -