Package edu.umd.cs.findbugs.jaif

Class JAIFScanner

java.lang.Object

edu.umd.cs.findbugs.jaif.JAIFScanner

public class JAIFScanner
extends java.lang.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 java.lang.String	DIGIT
private static java.lang.String	DIGITS
private static java.lang.String	DIGITS_OPT
private static java.lang.String	DOT
private static java.lang.String	ESCAPE_SEQ
private static java.lang.String	EXP_PART
private static java.lang.String	EXP_PART_OPT
private static java.lang.String	FLOAT_TYPE_SUFFIX
private static java.lang.String	FLOAT_TYPE_SUFFIX_OPT
private static java.lang.String	HEX_DIGITS
private static java.lang.String	HEX_SIGNIFIER
private static java.lang.String	ID_REST
private static java.lang.String	ID_START
private static java.lang.String	INPUT_CHAR
private static java.lang.String	INT_TYPE_SUFFIX_OPT
private java.lang.String	lineBuf
private int	lineNum
private JAIFToken	next
private static java.lang.String	OCT_ESCAPE
private static java.lang.String	OCTAL_DIGITS
private java.io.BufferedReader	reader
private static java.lang.String	SIGN_OPT
private static java.lang.String	STRING_CHARS_OPT
private static JAIFScanner.TokenPattern[]	TOKEN_PATTERNS

Constructor Summary

Constructors

Constructor	Description
JAIFScanner(java.io.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 java.lang.Object

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

Field Detail

ID_START

private static final java.lang.String ID_START

See Also:

Constant Field Values

ID_REST

private static final java.lang.String ID_REST

See Also:

Constant Field Values

DIGIT

private static final java.lang.String DIGIT

See Also:

Constant Field Values

DIGITS

private static final java.lang.String DIGITS

See Also:

Constant Field Values

DIGITS_OPT

private static final java.lang.String DIGITS_OPT

See Also:

Constant Field Values

SIGN_OPT

private static final java.lang.String SIGN_OPT

See Also:

Constant Field Values

DOT

private static final java.lang.String DOT

See Also:

Constant Field Values

EXP_PART

private static final java.lang.String EXP_PART

See Also:

Constant Field Values

EXP_PART_OPT

private static final java.lang.String EXP_PART_OPT

See Also:

Constant Field Values

FLOAT_TYPE_SUFFIX

private static final java.lang.String FLOAT_TYPE_SUFFIX

See Also:

Constant Field Values

FLOAT_TYPE_SUFFIX_OPT

private static final java.lang.String FLOAT_TYPE_SUFFIX_OPT

See Also:

Constant Field Values

OCTAL_DIGITS

private static final java.lang.String OCTAL_DIGITS

See Also:

Constant Field Values

HEX_SIGNIFIER

private static final java.lang.String HEX_SIGNIFIER

See Also:

Constant Field Values

HEX_DIGITS

private static final java.lang.String HEX_DIGITS

See Also:

Constant Field Values

INT_TYPE_SUFFIX_OPT

private static final java.lang.String INT_TYPE_SUFFIX_OPT

See Also:

Constant Field Values

INPUT_CHAR

private static final java.lang.String INPUT_CHAR

See Also:

Constant Field Values

OCT_ESCAPE

private static final java.lang.String OCT_ESCAPE

See Also:

Constant Field Values

ESCAPE_SEQ

private static final java.lang.String ESCAPE_SEQ

See Also:

Constant Field Values

STRING_CHARS_OPT

private static final java.lang.String STRING_CHARS_OPT

See Also:

Constant Field Values

TOKEN_PATTERNS

private static final JAIFScanner.TokenPattern[] TOKEN_PATTERNS

reader

private final java.io.BufferedReader reader

next

private JAIFToken next

lineBuf

private java.lang.String lineBuf

lineNum

private int lineNum

Constructor Detail

JAIFScanner

public JAIFScanner(java.io.Reader reader)

Parameters:

reader -

Method Detail

getLineNumber

public int getLineNumber()

nextToken

public JAIFToken nextToken()
                    throws java.io.IOException,
                           JAIFSyntaxException

Throws:

java.io.IOException

JAIFSyntaxException

peekToken

public JAIFToken peekToken()
                    throws java.io.IOException,
                           JAIFSyntaxException

Throws:

java.io.IOException

JAIFSyntaxException

atEOF

public boolean atEOF()
              throws java.io.IOException

Throws:

java.io.IOException

fillLineBuf

private void fillLineBuf()
                  throws java.io.IOException

Throws:

java.io.IOException

isHorizWhitespace

private boolean isHorizWhitespace(char c)

fetchToken

private void fetchToken()
                 throws java.io.IOException,
                        JAIFSyntaxException

Throws:

java.io.IOException

JAIFSyntaxException