jTrolog.parser

Class Parser

java.lang.Object

jTrolog.parser.Parser

All Implemented Interfaces:

Serializable

public class Parser
extends Object
implements Serializable

This class defines a parser of prolog terms and sentences. BNF for jTrolog part 2: Parser term ::= expr(1200) expr(n) ::= exprC(n-1) { op(xfx,n) expr(n-1) | op(xfy,n) expr(n) | op(xf,n) | op(yfx,n) expr(n-1) | op(yf,n) }* // exprC is called parseLeftSide in the code exprC(n) ::= '-' integer | '-' float | op( fx,n ) exprA(n-1) | op( fy,n ) exprA(n) | exprA(n) exprA(0) ::= integer | float | atom | variable | atom'(' expr(1200) { ',' expr(1200) }* ')' | '[' [ expr(1200) { ',' expr(1200) }* [ '|' expr(1200) ] ] ']' | '(' { expr(1200) }* ')' '{' { expr(1200) }* '}' op(type,n) ::= atom | { symbol }+

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static String	callSignature
static String	catchSignature
static String	commaSignature
static String	cutSignature
static String	doubleClauseSignature
static String	failSignature
static String	floatSignature
static String	ifSignature
static String	listSignature
static String	semiColonSignature
static String	singleClauseSignature
static String	throwSignature
static String	trueSignature

Constructor Summary

Constructors

Constructor and Description
Parser(InputStream theoryText) creating a parser with default operator interpretation
Parser(InputStream theoryText, Prolog p) creating a Parser specifing how to handle operators and what text to parse
Parser(String theoryText) creating a parser with default operator interpretation
Parser(String theoryText, Prolog engine) creating a Parser specifing how to handle operators and what text to parse

Method Summary

Modifier and Type	Method and Description
static Struct	createListContainingAnyVars(int lengthInt)
static Struct	createStructList(LinkedList complete)
int	getCurrentLine()
static Struct	intsToStructList(int[] numbers)
static boolean	isAtom(String s)
static boolean	isSemiAndNotIf(Struct struct)
Iterator	iterator()
Term	nextTerm(boolean endNeeded) Parses next term from the stream built on string.
static Number	parseNumber(String s)
static String	removeApices(String st)
static Struct	stringToStructList(String charList)
static String	wrapAtom(String atom)

Methods inherited from class java.lang.Object

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

Field Detail

floatSignature

public static final String floatSignature

listSignature

public static final String listSignature

commaSignature

public static final String commaSignature

cutSignature

public static final String cutSignature

singleClauseSignature

public static final String singleClauseSignature

doubleClauseSignature

public static final String doubleClauseSignature

semiColonSignature

public static final String semiColonSignature

ifSignature

public static final String ifSignature

callSignature

public static final String callSignature

throwSignature

public static final String throwSignature

catchSignature

public static final String catchSignature

trueSignature

public static final String trueSignature

failSignature

public static final String failSignature

Constructor Detail

Parser

public Parser(InputStream theoryText,
              Prolog p)

creating a Parser specifing how to handle operators and what text to parse

Parser

public Parser(String theoryText,
              Prolog engine)

creating a Parser specifing how to handle operators and what text to parse

Parser

public Parser(String theoryText)

creating a parser with default operator interpretation

Parser

public Parser(InputStream theoryText)

creating a parser with default operator interpretation

Method Detail

iterator

public Iterator iterator()
                  throws InvalidTermException

Throws:

InvalidTermException

nextTerm

public Term nextTerm(boolean endNeeded)
              throws InvalidTermException

Parses next term from the stream built on string.

Parameters:

endNeeded - true if it is required to parse the end token (a period), false otherwise.

Throws:

InvalidTermException - if a syntax error is found.

getCurrentLine

public int getCurrentLine()

createListContainingAnyVars

public static Struct createListContainingAnyVars(int lengthInt)

createStructList

public static Struct createStructList(LinkedList complete)

stringToStructList

public static Struct stringToStructList(String charList)

intsToStructList

public static Struct intsToStructList(int[] numbers)

isSemiAndNotIf

public static boolean isSemiAndNotIf(Struct struct)

wrapAtom

public static String wrapAtom(String atom)

Parameters:

atom -

Returns:

atom wrapped in 'atom' if necessary

isAtom

public static boolean isAtom(String s)

Returns:

true if the String could be a prolog atom

parseNumber

public static Number parseNumber(String s)
                          throws InvalidTermException

Throws:

InvalidTermException

removeApices

public static String removeApices(String st)