public class StringNormalizingReader extends NormalizingReader
Modifier and Type | Field and Description |
---|---|
protected int |
column
The current column in the stream.
|
protected int |
length
The length of the string.
|
protected int |
line
The current line in the stream.
|
protected int |
next
The index of the next character.
|
protected String |
string
The characters.
|
Constructor and Description |
---|
StringNormalizingReader(String s)
Creates a new StringNormalizingReader.
|
Modifier and Type | Method and Description |
---|---|
void |
close()
Close the stream.
|
int |
getColumn()
Returns the current column in the stream.
|
int |
getLine()
Returns the current line in the stream.
|
int |
read()
Read a single character.
|
read
protected String string
protected int length
protected int next
protected int line
protected int column
public StringNormalizingReader(String s)
s
- The string to read.public int read() throws IOException
read
in class Reader
IOException
public int getLine()
getLine
in class NormalizingReader
public int getColumn()
getColumn
in class NormalizingReader
public void close() throws IOException
close
in interface Closeable
close
in interface AutoCloseable
close
in class Reader
IOException
Copyright (c) 2010-2017 Gaudenz Alder, JGraph Ltd. All rights reserved.