com.articulate.sigma.semRewrite

Class Lexer

java.lang.Object

com.articulate.sigma.semRewrite.Lexer

public class Lexer
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.util.ArrayList<java.lang.String>	andOr
static java.util.ArrayList<java.lang.String>	binaryRel
static java.lang.String	Clause
static java.lang.String	CloseBracket
static java.lang.String	ClosePar
static java.lang.String	Comma
static java.lang.String	Directive
static java.lang.String	EOFToken
java.lang.String	filename
static java.lang.String	FullStop
static java.lang.String	Ident
static java.lang.String	Implies
java.io.LineNumberReader	input
java.lang.String	line
java.lang.String	literal
static java.lang.String	Negation
static java.lang.String	Newline
static java.lang.String	NoToken
static java.lang.String	Number
static java.lang.String	OpenBracket
static java.lang.String	OpenPar
static java.lang.String	OptImplies
static java.lang.String	Or
static java.lang.String	Plus
int	pos
static java.util.ArrayList<java.lang.String>	quant
static java.lang.String	QuotedString
static java.lang.String	SemiComment
static java.lang.String	Stop
java.lang.String	SZS
java.util.ArrayDeque<java.lang.String>	tokenStack
java.lang.String	type
static java.lang.String	Var
static java.lang.String	WhiteSpace
static java.lang.String	Zero

Constructor Summary

Constructors

Constructor and Description
Lexer()
Lexer(java.io.File f) Read a text file into the "input" String variables.
Lexer(java.lang.String s)

Method Summary

Modifier and Type	Method and Description
java.lang.String	acceptLit(java.util.ArrayList<java.lang.String> litvals) Take a list of expected literal strings.
java.lang.String	acceptLit(java.lang.String litval) Take a list of expected literal strings.
java.lang.String	acceptTok(java.util.ArrayList<java.lang.String> tokens) Take a list of expected token types.
java.lang.String	acceptTok(java.lang.String token) Take an expected token type.
void	checkTok(java.util.ArrayList<java.lang.String> tokens) Take a list of expected token types.
void	checkTok(java.lang.String tok) Take a list of expected token types.
java.lang.String	file2string(java.io.File f) Read the contents of a text file into a String.
int	linepos()
java.lang.String	look()
java.lang.String	lookLit()
java.lang.String	lookType()
static void	main(java.lang.String[] args)
java.lang.String	next()
java.lang.String	nextUnfiltered()
boolean	testLit(java.util.ArrayList<java.lang.String> litvals)
boolean	testLit(java.lang.String litval)
boolean	testTok(java.util.ArrayList<java.lang.String> tokens) Take a list of expected token types.
boolean	testTok(java.lang.String tok) Convenience method

Methods inherited from class java.lang.Object

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

Field Detail

NoToken

public static final java.lang.String NoToken

See Also:

Constant Field Values

WhiteSpace

public static final java.lang.String WhiteSpace

See Also:

Constant Field Values

Newline

public static final java.lang.String Newline

See Also:

Constant Field Values

SemiComment

public static final java.lang.String SemiComment

See Also:

Constant Field Values

Directive

public static final java.lang.String Directive

See Also:

Constant Field Values

Ident

public static final java.lang.String Ident

See Also:

Constant Field Values

Number

public static final java.lang.String Number

See Also:

Constant Field Values

QuotedString

public static final java.lang.String QuotedString

See Also:

Constant Field Values

FullStop

public static final java.lang.String FullStop

See Also:

Constant Field Values

OpenPar

public static final java.lang.String OpenPar

See Also:

Constant Field Values

ClosePar

public static final java.lang.String ClosePar

See Also:

Constant Field Values

OpenBracket

public static final java.lang.String OpenBracket

See Also:

Constant Field Values

CloseBracket

public static final java.lang.String CloseBracket

See Also:

Constant Field Values

Or

public static final java.lang.String Or

See Also:

Constant Field Values

Plus

public static final java.lang.String Plus

See Also:

Constant Field Values

Comma

public static final java.lang.String Comma

See Also:

Constant Field Values

Implies

public static final java.lang.String Implies

See Also:

Constant Field Values

OptImplies

public static final java.lang.String OptImplies

See Also:

Constant Field Values

Clause

public static final java.lang.String Clause

See Also:

Constant Field Values

Var

public static final java.lang.String Var

See Also:

Constant Field Values

Negation

public static final java.lang.String Negation

See Also:

Constant Field Values

Stop

public static final java.lang.String Stop

See Also:

Constant Field Values

Zero

public static final java.lang.String Zero

See Also:

Constant Field Values

EOFToken

public static final java.lang.String EOFToken

See Also:

Constant Field Values

filename

public java.lang.String filename

type

public java.lang.String type

literal

public java.lang.String literal

line

public java.lang.String line

SZS

public java.lang.String SZS

pos

public int pos

input

public java.io.LineNumberReader input

tokenStack

public java.util.ArrayDeque<java.lang.String> tokenStack

andOr

public static java.util.ArrayList<java.lang.String> andOr

binaryRel

public static java.util.ArrayList<java.lang.String> binaryRel

quant

public static java.util.ArrayList<java.lang.String> quant

Constructor Detail

Lexer

public Lexer()

Lexer

public Lexer(java.lang.String s)

Lexer

public Lexer(java.io.File f)

Read a text file into the "input" String variables. Throws an error on file not found.

Method Detail

file2string

public java.lang.String file2string(java.io.File f)

Read the contents of a text file into a String. Throws IOException

linepos

public int linepos()

Returns:

the line number of the token by counting all the newlines in the position up to the current token.

lookType

public java.lang.String lookType()
                          throws java.text.ParseException

Returns:

the next token type without consuming it.

Throws:

java.text.ParseException

look

public java.lang.String look()
                      throws java.text.ParseException

Returns:

the next token without consuming it.

Throws:

java.text.ParseException

lookLit

public java.lang.String lookLit()
                         throws java.text.ParseException

Returns:

the literal value of the next token, i.e. the string generating the token.

Throws:

java.text.ParseException

testTok

public boolean testTok(java.util.ArrayList<java.lang.String> tokens)
                throws java.text.ParseException

Take a list of expected token types.

Returns:

True if the next token is expected, False otherwise.

Throws:

java.text.ParseException

testTok

public boolean testTok(java.lang.String tok)
                throws java.text.ParseException

Convenience method

Throws:

java.text.ParseException

checkTok

public void checkTok(java.lang.String tok)
              throws java.text.ParseException

Take a list of expected token types. If the next token is not among the expected ones, exit with an error. Otherwise do nothing.

Throws:

java.text.ParseException

checkTok

public void checkTok(java.util.ArrayList<java.lang.String> tokens)
              throws java.text.ParseException

Take a list of expected token types. If the next token is not among the expected ones, exit with an error. Otherwise do nothing.

Throws:

java.text.ParseException

acceptTok

public java.lang.String acceptTok(java.lang.String token)
                           throws java.text.ParseException

Take an expected token type. If the next token is the same as the expected one, consume and return it. Otherwise, exit with an error.

Returns:

the token matching the type of the input

Throws:

java.text.ParseException

acceptTok

public java.lang.String acceptTok(java.util.ArrayList<java.lang.String> tokens)
                           throws java.text.ParseException

Take a list of expected token types. If the next token is among the expected ones, consume and return it. Otherwise, exit with an error.

Returns:

the token matching one of the types in the inputs

Throws:

java.text.ParseException

testLit

public boolean testLit(java.lang.String litval)
                throws java.text.ParseException

Parameters:

litval - an expected literal string.

Returns:

True if the next token's string value the same as the input, False otherwise.

Throws:

java.text.ParseException

testLit

public boolean testLit(java.util.ArrayList<java.lang.String> litvals)
                throws java.text.ParseException

Parameters:

litval - a list of expected literal strings

Returns:

True if the next token's string value is among the input string and false otherwise.

Throws:

java.text.ParseException

acceptLit

public java.lang.String acceptLit(java.util.ArrayList<java.lang.String> litvals)
                           throws java.text.ParseException

Take a list of expected literal strings. If the next token's literal is among the expected ones, consume and return the literal. Otherwise, exit with an error.

Throws:

java.text.ParseException

acceptLit

public java.lang.String acceptLit(java.lang.String litval)
                           throws java.text.ParseException

Take a list of expected literal strings. If the next token's literal is among the expected ones, consume and return the literal. Otherwise, exit with an error.

Throws:

java.text.ParseException

next

public java.lang.String next()
                      throws java.text.ParseException

Returns:

next semantically relevant token (not whitespace, comments etc)

Throws:

java.text.ParseException

nextUnfiltered

public java.lang.String nextUnfiltered()
                                throws java.text.ParseException

Returns:

next token, including tokens, such as whitespace and comments, that are ignored by most languages.

Throws:

java.text.ParseException

main

public static void main(java.lang.String[] args)