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 java.lang.Object
implements FolParserBConstants

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) static class	FolParserB.JJCalls
private static class	FolParserB.LookaheadSuccess

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	forceDefinitions
private FolParserB.JJCalls[]	jj_2_rtns
private int	jj_endpos
private java.util.List<int[]>	jj_expentries
private int[]	jj_expentry
private int	jj_gc
private int	jj_gen
(package private) SimpleCharStream	jj_input_stream
private int	jj_kind
private int	jj_la
private int[]	jj_la1
private static int[]	jj_la1_0
private Token	jj_lastpos
private int[]	jj_lasttokens
private FolParserB.LookaheadSuccess	jj_ls
Token	jj_nt Next token.
private int	jj_ntk
private boolean	jj_rescan
private Token	jj_scanpos
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(java.io.InputStream stream) Constructor with InputStream.
FolParserB(java.io.InputStream stream, java.lang.String encoding) Constructor with InputStream and supplied encoding
FolParserB(java.io.Reader stream) Constructor.

Method Summary

Modifier and Type	Method and Description
FOLAtom	atom(FolSignature signature)
java.util.Set<Constant>	constants(Sort type)
void	declar(FolSignature signature)
void	disable_tracing() Disable tracing.
void	enable_tracing() Enable tracing.
TypedStructure	endFunctorDeclar(FolSignature signature, java.lang.String sortName)
TypedStructure	endPredicateDeclar(FolSignature signature, java.lang.String name)
FolFormula	formula(FolSignature signature)
Pair<java.lang.Integer,FolFormula>	formulaex(FolSignature signature)
ParseException	generateParseException() Generate ParseException.
private Sort	getArgumentType(TypedStructure fbs, int count)
private Functor	getFunctor(java.lang.String name, FolSignature signature)
Token	getNextToken() Get the next Token.
private Constant	getOrCreateConstant(java.lang.String name, Sort type, FolSignature sig)
private Functor	getOrCreateFunctor(java.lang.String name, java.util.List<Term<?>> args, Sort targetSort, FolSignature signature)
private Predicate	getPredicate(java.lang.String name, FolSignature sig)
private java.util.List<Sort>	getSorts(FolSignature sig, java.util.List<java.lang.String> names)
Token	getToken(int index) Get the specific Token.
private FolFormula	helper(FolFormula form, Pair<java.lang.Integer,FolFormula> exform)
java.lang.String	identifier()
private boolean	jj_2_1(int xla)
private boolean	jj_2_2(int xla)
private boolean	jj_3_1()
private boolean	jj_3_2()
private boolean	jj_3R_10()
private boolean	jj_3R_9()
private void	jj_add_error_token(int kind, int pos)
private Token	jj_consume_token(int kind)
private static void	jj_la1_init_0()
private int	jj_ntk()
private void	jj_rescan_token()
private void	jj_save(int index, int xla)
private boolean	jj_scan_token(int kind)
FolBeliefSet	KB()
void	ReInit(FolParserBTokenManager tm) Reinitialise.
void	ReInit(java.io.InputStream stream) Reinitialise.
void	ReInit(java.io.InputStream stream, java.lang.String encoding) Reinitialise.
void	ReInit(java.io.Reader stream) Reinitialise.
void	setForce(boolean forceDefinitions)
java.util.List<Sort>	sortdecl()
Term<?>	term(FolSignature signature, Sort type)

Methods inherited from class java.lang.Object

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

Field Detail

forceDefinitions

private boolean forceDefinitions

token_source

public FolParserBTokenManager token_source

Generated Token Manager.

jj_input_stream

SimpleCharStream jj_input_stream

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

jj_ntk

private int jj_ntk

jj_scanpos

private Token jj_scanpos

jj_lastpos

private Token jj_lastpos

jj_la

private int jj_la

jj_gen

private int jj_gen

jj_la1

private final int[] jj_la1

jj_la1_0

private static int[] jj_la1_0

jj_2_rtns

private final FolParserB.JJCalls[] jj_2_rtns

jj_rescan

private boolean jj_rescan

jj_gc

private int jj_gc

jj_ls

private final FolParserB.LookaheadSuccess jj_ls

jj_expentries

private java.util.List<int[]> jj_expentries

jj_expentry

private int[] jj_expentry

jj_kind

private int jj_kind

jj_lasttokens

private int[] jj_lasttokens

jj_endpos

private int jj_endpos

Constructor Detail

FolParserB

public FolParserB(java.io.InputStream stream)

Constructor with InputStream.

FolParserB

public FolParserB(java.io.InputStream stream,
                  java.lang.String encoding)

Constructor with InputStream and supplied encoding

FolParserB

public FolParserB(java.io.Reader stream)

Constructor.

FolParserB

public FolParserB(FolParserBTokenManager tm)

Constructor with generated Token Manager.

Method Detail

setForce

public void setForce(boolean forceDefinitions)

helper

private FolFormula helper(FolFormula form,
                          Pair<java.lang.Integer,FolFormula> exform)
                   throws ParseException

Throws:

ParseException

getSorts

private java.util.List<Sort> getSorts(FolSignature sig,
                                      java.util.List<java.lang.String> names)
                               throws ParseException

Throws:

ParseException

getFunctor

private Functor getFunctor(java.lang.String name,
                           FolSignature signature)

getOrCreateFunctor

private Functor getOrCreateFunctor(java.lang.String name,
                                   java.util.List<Term<?>> args,
                                   Sort targetSort,
                                   FolSignature signature)
                            throws ParseException

Throws:

ParseException

getPredicate

private Predicate getPredicate(java.lang.String name,
                               FolSignature sig)

getArgumentType

private Sort getArgumentType(TypedStructure fbs,
                             int count)
                      throws ParseException

Throws:

ParseException

getOrCreateConstant

private Constant getOrCreateConstant(java.lang.String name,
                                     Sort type,
                                     FolSignature sig)
                              throws ParseException

Throws:

ParseException

KB

public final FolBeliefSet KB()
                      throws ParseException

Throws:

ParseException

formula

public final FolFormula formula(FolSignature signature)
                         throws ParseException

Throws:

ParseException

formulaex

public final Pair<java.lang.Integer,FolFormula> formulaex(FolSignature signature)
                                                   throws ParseException

Throws:

ParseException

atom

public final FOLAtom atom(FolSignature signature)
                   throws ParseException

Throws:

ParseException

term

public final Term<?> term(FolSignature signature,
                          Sort type)
                   throws ParseException

Throws:

ParseException

identifier

public final java.lang.String identifier()
                                  throws ParseException

Throws:

ParseException

sortdecl

public final java.util.List<Sort> sortdecl()
                                    throws ParseException

Throws:

ParseException

constants

public final java.util.Set<Constant> constants(Sort type)
                                        throws ParseException

Throws:

ParseException

declar

public final void declar(FolSignature signature)
                  throws ParseException

Throws:

ParseException

endPredicateDeclar

public final TypedStructure endPredicateDeclar(FolSignature signature,
                                               java.lang.String name)
                                        throws ParseException

Throws:

ParseException

endFunctorDeclar

public final TypedStructure endFunctorDeclar(FolSignature signature,
                                             java.lang.String sortName)
                                      throws ParseException

Throws:

ParseException

jj_2_1

private boolean jj_2_1(int xla)

jj_2_2

private boolean jj_2_2(int xla)

jj_3R_9

private boolean jj_3R_9()

jj_3R_10

private boolean jj_3R_10()

jj_3_1

private boolean jj_3_1()

jj_3_2

private boolean jj_3_2()

jj_la1_init_0

private static void jj_la1_init_0()

ReInit

public void ReInit(java.io.InputStream stream)

Reinitialise.

ReInit

public void ReInit(java.io.InputStream stream,
                   java.lang.String encoding)

Reinitialise.

ReInit

public void ReInit(java.io.Reader stream)

Reinitialise.

ReInit

public void ReInit(FolParserBTokenManager tm)

Reinitialise.

jj_consume_token

private Token jj_consume_token(int kind)
                        throws ParseException

Throws:

ParseException

jj_scan_token

private boolean jj_scan_token(int kind)

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

jj_ntk

private int jj_ntk()

jj_add_error_token

private void jj_add_error_token(int kind,
                                int pos)

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.

jj_rescan_token

private void jj_rescan_token()

jj_save

private void jj_save(int index,
                     int xla)