de.uka.ilkd.key.macros.scripts

Class ScriptLineParser

java.lang.Object

de.uka.ilkd.key.macros.scripts.ScriptLineParser

class ScriptLineParser
extends Object

Author:

mattias ulbrich

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) static class	ScriptLineParser.State The state of the regular expression parser.

Field Summary

Fields

Modifier and Type	Field and Description
private static String	ADMISSIBLE_CHARS
private int	col current column number
static String	COMMAND_KEY Under this key, the command of
private String	file the filename from which the script is taken.
private int	line current line number
static String	LITERAL_KEY
private int	readChars number of characters read so far
private Reader	reader This is the source of characters
private int	stringInitChar While within a string literal, this stores the character with which the string has started.

Constructor Summary

Constructors

Constructor and Description
ScriptLineParser(Reader reader)
ScriptLineParser(String filename)

Method Summary

Modifier and Type	Method and Description
private void	exc(int c)
int	getColumn()
int	getLine()
int	getReadChars() Get the number of characters read so far.
private boolean	isIDChar(int c)
static void	main(String[] args)
Map<String,String>	parseCommand()
void	setLocation(Location location)

Methods inherited from class java.lang.Object

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

Field Detail

COMMAND_KEY

public static final String COMMAND_KEY

Under this key, the command of

See Also:

Constant Field Values

LITERAL_KEY

public static final String LITERAL_KEY

See Also:

Constant Field Values

ADMISSIBLE_CHARS

private static final String ADMISSIBLE_CHARS

See Also:

Constant Field Values

reader

private final Reader reader

This is the source of characters

col

private int col

current column number

line

private int line

current line number

file

private String file

the filename from which the script is taken.

readChars

private int readChars

number of characters read so far

stringInitChar

private int stringInitChar

While within a string literal, this stores the character with which the string has started.

Constructor Detail

ScriptLineParser

public ScriptLineParser(Reader reader)

ScriptLineParser

public ScriptLineParser(String filename)
                 throws IOException

Throws:

IOException

Method Detail

parseCommand

public Map<String,String> parseCommand()
                                throws IOException,
                                       ScriptException

Throws:

IOException

ScriptException

isIDChar

private boolean isIDChar(int c)

exc

private void exc(int c)
          throws ScriptException

Throws:

ScriptException

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception

getReadChars

public int getReadChars()

Get the number of characters read so far.

Returns:

a non-negative integer

getLine

public int getLine()

getColumn

public int getColumn()

setLocation

public void setLocation(Location location)