net.sf.tweety.logics.fol.parser

Class FolParserB

java.lang.Object

net.sf.tweety.logics.fol.parser.FolParserB

All Implemented Interfaces:

FolParserBConstants

public class FolParserB
extends Object
implements FolParserBConstants

Field Summary

Fields

Modifier and Type	Field and Description
Token	jj_nt Next token.
Token	token Current token.
FolParserBTokenManager	token_source Generated Token Manager.

Fields inherited from interface net.sf.tweety.logics.fol.parser.FolParserBConstants

AND, COMMA, CONSTANT, CONTRADICTION, CURLBRA, CURRBRA, DDOT, DEFAULT, DIGIT, EOF, EQUAL, EXISTS, FORALL, LBRA, LCHAR, NOT, NUMBER, OR, RBRA, SQLBRA, SQRBRA, SYMBOL, TAUTOLOGY, tokenImage, TYPE, UCHAR, VARIABLE

Constructor Summary

Constructors

Constructor and Description
FolParserB(FolParserBTokenManager tm) Constructor with generated Token Manager.
FolParserB(InputStream stream) Constructor with InputStream.
FolParserB(InputStream stream, String encoding) Constructor with InputStream and supplied encoding
FolParserB(Reader stream) Constructor.

Method Summary

Modifier and Type	Method and Description
FOLAtom	atom(FolSignature signature)
Set<net.sf.tweety.logics.commons.syntax.Constant>	constants(net.sf.tweety.logics.commons.syntax.Sort type)
void	declar(FolSignature signature)
void	disable_tracing() Disable tracing.
void	enable_tracing() Enable tracing.
net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure	endFunctorDeclar(FolSignature signature, String sortName)
net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure	endPredicateDeclar(FolSignature signature, String name)
FolFormula	formula(FolSignature signature)
net.sf.tweety.commons.util.Pair<Integer,FolFormula>	formulaex(FolSignature signature)
ParseException	generateParseException() Generate ParseException.
Token	getNextToken() Get the next Token.
Token	getToken(int index) Get the specific Token.
String	identifier()
FolBeliefSet	KB()
void	ReInit(FolParserBTokenManager tm) Reinitialise.
void	ReInit(InputStream stream) Reinitialise.
void	ReInit(InputStream stream, String encoding) Reinitialise.
void	ReInit(Reader stream) Reinitialise.
void	setForce(boolean forceDefinitions)
List<net.sf.tweety.logics.commons.syntax.Sort>	sortdecl()
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	term(FolSignature signature, net.sf.tweety.logics.commons.syntax.Sort type)

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public FolParserBTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Detail

FolParserB

public FolParserB(InputStream stream)

Constructor with InputStream.

FolParserB

public FolParserB(InputStream stream,
                  String encoding)

Constructor with InputStream and supplied encoding

FolParserB

public FolParserB(Reader stream)

Constructor.

FolParserB

public FolParserB(FolParserBTokenManager tm)

Constructor with generated Token Manager.

Method Detail

setForce

public void setForce(boolean forceDefinitions)

KB

public final FolBeliefSet KB()
                      throws ParseException

Throws:

ParseException

formula

public final FolFormula formula(FolSignature signature)
                         throws ParseException

Throws:

ParseException

formulaex

public final net.sf.tweety.commons.util.Pair<Integer,FolFormula> formulaex(FolSignature signature)
                                                                    throws ParseException

Throws:

ParseException

atom

public final FOLAtom atom(FolSignature signature)
                   throws ParseException

Throws:

ParseException

term

public final net.sf.tweety.logics.commons.syntax.interfaces.Term<?> term(FolSignature signature,
                                                                         net.sf.tweety.logics.commons.syntax.Sort type)
                                                                  throws ParseException

Throws:

ParseException

identifier

public final String identifier()
                        throws ParseException

Throws:

ParseException

sortdecl

public final List<net.sf.tweety.logics.commons.syntax.Sort> sortdecl()
                                                              throws ParseException

Throws:

ParseException

constants

public final Set<net.sf.tweety.logics.commons.syntax.Constant> constants(net.sf.tweety.logics.commons.syntax.Sort type)
                                                                  throws ParseException

Throws:

ParseException

declar

public final void declar(FolSignature signature)
                  throws ParseException

Throws:

ParseException

endPredicateDeclar

public final net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure endPredicateDeclar(FolSignature signature,
                                                                                              String name)
                                                                                       throws ParseException

Throws:

ParseException

endFunctorDeclar

public final net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure endFunctorDeclar(FolSignature signature,
                                                                                            String sortName)
                                                                                     throws ParseException

Throws:

ParseException

ReInit

public void ReInit(InputStream stream)

Reinitialise.

ReInit

public void ReInit(InputStream stream,
                   String encoding)

Reinitialise.

ReInit

public void ReInit(Reader stream)

Reinitialise.

ReInit

public void ReInit(FolParserBTokenManager tm)

Reinitialise.

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.