public class ExpandTabsReader
extends java.io.FilterReader
public static java.io.Reader wrap(java.io.Reader in, Project p)
in
- the reader to wrapp
- the projectin
if the project doesn't have custom tab settings;
otherwise, an ExpandTabsReader
that wraps in
and expands
tabs as defined by the project's settingspublic int read() throws java.io.IOException
read
in class java.io.FilterReader
java.io.IOException
public int read(char[] cbuf, int off, int len) throws java.io.IOException
read
in class java.io.FilterReader
java.io.IOException
public long skip(long n) throws java.io.IOException
skip
in class java.io.FilterReader
java.io.IOException
public boolean markSupported()
markSupported
in class java.io.FilterReader