Class JAIFScanner

java.lang.Object

edu.umd.cs.findbugs.jaif.JAIFScanner

public class JAIFScanner
extends Object

Lexical scanner for external annotation files.

See Also:

• Annotation File Utilities/

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	JAIFScanner.TokenPattern

Field Summary

Fields

Modifier and Type	Field	Description
private static final String	DIGIT
private static final String	DIGITS
private static final String	DIGITS_OPT
private static final String	DOT
private static final String	ESCAPE_SEQ
private static final String	EXP_PART
private static final String	EXP_PART_OPT
private static final String	FLOAT_TYPE_SUFFIX
private static final String	FLOAT_TYPE_SUFFIX_OPT
private static final String	HEX_DIGITS
private static final String	HEX_SIGNIFIER
private static final String	ID_REST
private static final String	ID_START
private static final String	INPUT_CHAR
private static final String	INT_TYPE_SUFFIX_OPT
private String	lineBuf
private int	lineNum
private JAIFToken	next
private static final String	OCT_ESCAPE
private static final String	OCTAL_DIGITS
private final BufferedReader	reader
private static final String	SIGN_OPT
private static final String	STRING_CHARS_OPT
private static final JAIFScanner.TokenPattern[]	TOKEN_PATTERNS

Constructor Summary

Constructors

Constructor	Description
JAIFScanner(Reader reader)

Method Summary

Modifier and Type	Method	Description
boolean	atEOF()
private void	fetchToken()
private void	fillLineBuf()
int	getLineNumber()
private boolean	isHorizWhitespace(char c)
JAIFToken	nextToken()
JAIFToken	peekToken()

Methods inherited from class Object

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

Field Details

ID_START

private static final String ID_START

See Also:

• Constant Field Values

ID_REST

private static final String ID_REST

See Also:

• Constant Field Values

DIGIT

private static final String DIGIT

See Also:

• Constant Field Values

DIGITS

private static final String DIGITS

See Also:

• Constant Field Values

DIGITS_OPT

private static final String DIGITS_OPT

See Also:

• Constant Field Values

SIGN_OPT

private static final String SIGN_OPT

See Also:

• Constant Field Values

DOT

private static final String DOT

See Also:

• Constant Field Values

EXP_PART

private static final String EXP_PART

See Also:

• Constant Field Values

EXP_PART_OPT

private static final String EXP_PART_OPT

See Also:

• Constant Field Values

FLOAT_TYPE_SUFFIX

private static final String FLOAT_TYPE_SUFFIX

See Also:

• Constant Field Values

FLOAT_TYPE_SUFFIX_OPT

private static final String FLOAT_TYPE_SUFFIX_OPT

See Also:

• Constant Field Values

OCTAL_DIGITS

private static final String OCTAL_DIGITS

See Also:

• Constant Field Values

HEX_SIGNIFIER

private static final String HEX_SIGNIFIER

See Also:

• Constant Field Values

HEX_DIGITS

private static final String HEX_DIGITS

See Also:

• Constant Field Values

INT_TYPE_SUFFIX_OPT

private static final String INT_TYPE_SUFFIX_OPT

See Also:

• Constant Field Values

INPUT_CHAR

private static final String INPUT_CHAR

See Also:

• Constant Field Values

OCT_ESCAPE

private static final String OCT_ESCAPE

See Also:

• Constant Field Values

ESCAPE_SEQ

private static final String ESCAPE_SEQ

See Also:

• Constant Field Values

STRING_CHARS_OPT

private static final String STRING_CHARS_OPT

See Also:

• Constant Field Values

TOKEN_PATTERNS

private static final JAIFScanner.TokenPattern[] TOKEN_PATTERNS

reader

private final BufferedReader reader

next

private JAIFToken next

lineBuf

private String lineBuf

lineNum

private int lineNum

Constructor Details

JAIFScanner

public JAIFScanner(Reader reader)

Parameters:

reader -

Method Details

getLineNumber

public int getLineNumber()

nextToken

public JAIFToken nextToken()
                    throws IOException,
JAIFSyntaxException

Throws:

IOException

JAIFSyntaxException

peekToken

public JAIFToken peekToken()
                    throws IOException,
JAIFSyntaxException

Throws:

IOException

JAIFSyntaxException

atEOF

public boolean atEOF()
              throws IOException

Throws:

IOException

fillLineBuf

private void fillLineBuf()
                  throws IOException

Throws:

IOException

isHorizWhitespace

private boolean isHorizWhitespace(char c)

fetchToken

private void fetchToken()
                 throws IOException,
JAIFSyntaxException

Throws:

IOException

JAIFSyntaxException