tarau.jinni
Class Lexer
java.lang.Object
|
+--java.io.StreamTokenizer
|
+--tarau.jinni.Lexer
- Direct Known Subclasses:
- Parser
- class Lexer
- extends java.io.StreamTokenizer
Lexicographic analyser reading from a stream
| Fields inherited from class java.io.StreamTokenizer |
buf,
CT_ALPHA,
CT_COMMENT,
CT_DIGIT,
CT_QUOTE,
CT_WHITESPACE,
ctype,
eolIsSignificantP,
forceLower,
input,
LINENO,
NEED_CHAR,
nval,
peekc,
pushedBack,
reader,
SKIP_LF,
slashSlashCommentsP,
slashStarCommentsP,
sval,
TT_EOF,
TT_EOL,
TT_NOTHING,
TT_NUMBER,
TT_WORD,
ttype |
|
Constructor Summary |
Lexer()
|
Lexer(java.io.Reader I)
|
Lexer(java.lang.String s)
String based constructor. |
Lexer(java.lang.String path,
java.lang.String s)
Path+File name based constructor
Used in prolog2java |
| Methods inherited from class java.io.StreamTokenizer |
commentChar,
eolIsSignificant,
lineno,
lowerCaseMode,
nextToken,
ordinaryChar,
ordinaryChars,
parseNumbers,
pushBack,
quoteChar,
read,
resetSyntax,
slashSlashComments,
slashStarComments,
toString,
whitespaceChars,
wordChars |
| Methods inherited from class java.lang.Object |
,
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
registerNatives,
wait,
wait,
wait |
input
protected java.io.Reader input
anonymous
private static final java.lang.String anonymous
inClause
private boolean inClause
dict
HashDict dict
Lexer
public Lexer(java.io.Reader I)
throws java.io.IOException
Lexer
public Lexer(java.lang.String path,
java.lang.String s)
throws java.io.IOException
- Path+File name based constructor
Used in prolog2java
Lexer
public Lexer(java.lang.String s)
throws java.lang.Exception
- String based constructor.
Used in queries ended by \n + prolog2java.
Lexer
public Lexer()
throws java.io.IOException
char2string
private static final java.lang.String char2string(int c)
atEOF
boolean atEOF()
atEOC
boolean atEOC()
make_const
protected static final Term make_const(java.lang.String s)
make_fun
private static final Term make_fun(java.lang.String s)
make_int
private static final Term make_int(double n)
make_real
private static final Term make_real(double n)
make_number
private static final Term make_number(double nval)
make_var
private final Term make_var(java.lang.String s)
whitespaceChar
private final void whitespaceChar(char c)
wordChar
private final void wordChar(char c)
getWord
private Term getWord(boolean quoted)
throws java.io.IOException
next
protected Term next()
throws java.io.IOException