theoremprover.GenericScanner Class Reference

List of all members.

Public Member Functions
String	bufferValue ()
char	endOfInput ()
	GenericScanner ()
	GenericScanner (String str)
char	getNextChar ()
void	initialize ()
void	initSource (String str)
boolean	isDelimiter (char c)
boolean	isEndOfInput ()
void	overReadSpaces ()
int	position ()
GenericToken	scanCharacter ()
GenericToken	scanIdOrKeyword ()
GenericToken	scanNumber ()
GenericToken	scanSource (String str)
GenericToken	scanString ()
GenericToken	scanToken ()
String	source ()
Static Public Member Functions
static GenericScanner	parseFile (String file)
Protected Attributes
StringBuffer	charBuffer
char	nextChar
int	position
String	source

---

Detailed Description

Definition at line 46 of file GenericScanner.java.

---

Constructor & Destructor Documentation

theoremprover.GenericScanner.GenericScanner

(

)

[inline]

Definition at line 58 of file GenericScanner.java.

theoremprover.GenericScanner.GenericScanner

(

String

str

)

[inline]

Definition at line 64 of file GenericScanner.java.

---

Member Function Documentation

String theoremprover.GenericScanner.bufferValue

(

)

[inline]

Definition at line 132 of file GenericScanner.java.

char theoremprover.GenericScanner.endOfInput

(

)

[inline]

Definition at line 117 of file GenericScanner.java.

char theoremprover.GenericScanner.getNextChar

(

)

[inline]

Definition at line 146 of file GenericScanner.java.

void theoremprover.GenericScanner.initialize

(

)

[inline]

Definition at line 94 of file GenericScanner.java.

void theoremprover.GenericScanner.initSource

(

String

str

)

[inline]

Definition at line 139 of file GenericScanner.java.

boolean theoremprover.GenericScanner.isDelimiter

(

char

c

)

[inline]

Definition at line 127 of file GenericScanner.java.

boolean theoremprover.GenericScanner.isEndOfInput

(

)

[inline]

Definition at line 122 of file GenericScanner.java.

void theoremprover.GenericScanner.overReadSpaces

(

)

[inline]

Definition at line 164 of file GenericScanner.java.

static GenericScanner theoremprover.GenericScanner.parseFile

(

String

file

)

[inline, static]

Definition at line 72 of file GenericScanner.java.

int theoremprover.GenericScanner.position

(

)

[inline]

Definition at line 109 of file GenericScanner.java.

GenericToken theoremprover.GenericScanner.scanCharacter

(

)

[inline]

Definition at line 317 of file GenericScanner.java.

GenericToken theoremprover.GenericScanner.scanIdOrKeyword

(

)

[inline]

Definition at line 281 of file GenericScanner.java.

GenericToken theoremprover.GenericScanner.scanNumber

(

)

[inline]

Definition at line 259 of file GenericScanner.java.

GenericToken theoremprover.GenericScanner.scanSource

(

String

str

)

[inline]

Definition at line 158 of file GenericScanner.java.

GenericToken theoremprover.GenericScanner.scanString

(

)

[inline]

Definition at line 294 of file GenericScanner.java.

GenericToken theoremprover.GenericScanner.scanToken

(

)

[inline]

Definition at line 173 of file GenericScanner.java.

String theoremprover.GenericScanner.source

(

)

[inline]

Definition at line 104 of file GenericScanner.java.

---

Member Data Documentation

StringBuffer theoremprover.GenericScanner.charBuffer [protected]

Definition at line 54 of file GenericScanner.java.

char theoremprover.GenericScanner.nextChar [protected]

Definition at line 52 of file GenericScanner.java.

int theoremprover.GenericScanner.position [protected]

Definition at line 53 of file GenericScanner.java.

String theoremprover.GenericScanner.source [protected]

Definition at line 51 of file GenericScanner.java.

---

The documentation for this class was generated from the following file:

• GenericScanner.java