Package org.ctan.markup.markdown.syntax

Class HighlightReader

java.lang.Object

java.io.Reader

java.io.FilterReader

java.io.PushbackReader

org.ctan.markup.markdown.syntax.HighlightReader

All Implemented Interfaces:

Closeable, AutoCloseable, Readable

public class HighlightReader
extends PushbackReader

This class establishes a reader which treats ``` as EOF.

Field Summary

Fields inherited from class java.io.FilterReader

in

Fields inherited from class java.io.Reader

lock

Constructor Summary

Constructors

Constructor	Description
HighlightReader(Reader reader)	This is the constructor for HighlightReader.

Method Summary

Modifier and Type	Method	Description
void	close()
boolean	expect(int... s)	This method checks that the lookahead of several characters are identical to the expected character.
int	read()
int	read(char[] cbuf, int off, int len)
void	unread(int c)

Methods inherited from class java.io.PushbackReader

mark, markSupported, ready, reset, skip, unread, unread

Methods inherited from class java.io.Reader

nullReader, read, read, transferTo

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

HighlightReader

public HighlightReader(Reader reader)

This is the constructor for HighlightReader.

Parameters:

reader - the reader

Method Details

close

public void close()
           throws IOException

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Closeable

Overrides:

close in class PushbackReader

Throws:

IOException

See Also:

• PushbackReader.close()

expect

public boolean expect(int... s)
               throws IOException

This method checks that the lookahead of several characters are identical to the expected character. Then these are digested. Otherwise the characters are pushed back into the input.

Parameters:

s - the expected characters

Returns:

true iff n characters have been found

Throws:

IOException - in case of an I/O error

read

public int read()
         throws IOException

Overrides:

read in class PushbackReader

Throws:

IOException

See Also:

• Reader.read()

read

public int read(char[] cbuf,
 int off,
 int len)
         throws IOException

Overrides:

read in class PushbackReader

Throws:

IOException

See Also:

• Reader.read(char[], int, int)

unread

public void unread(int c)
            throws IOException

Overrides:

unread in class PushbackReader

Throws:

IOException

See Also:

• PushbackReader.unread(int)