public class ActionQueryParser extends Parser<SActionQuerySet>
Modifier and Type | Field and Description |
---|---|
private ActionSignature |
signature |
Constructor and Description |
---|
ActionQueryParser(ActionSignature signature) |
Modifier and Type | Method and Description |
---|---|
private void |
consumeToken(java.util.Stack<java.lang.Object> stack,
int c)
This method reads one token from the given reader and appropriately
constructs a propositional formula from the stream.
|
private FolAction |
parseAction(java.util.List<java.lang.Object> l)
Parses a list of actionnames or a list of actions.
|
private SActionQuery |
parseActionFormula(java.util.Stack<java.lang.Object> stack)
Parses a simple formula as a list of string tokens or formulas into an action query.
|
private FOLAtom |
parseActionName(java.lang.String s) |
private PropositionalFormula |
parseAtomic(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
SActionQuerySet |
parseBeliefBase(java.io.Reader reader)
Parses the given reader into a belief base of the given type.
|
private PropositionalFormula |
parseConjunction(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
private PropositionalFormula |
parseDisjunction(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
SActionQuery |
parseFormula(java.io.Reader reader)
Parses the given reader into a formula of the given type.
|
private PropositionalFormula |
parseNegation(java.util.List<java.lang.Object> l)
Parses a simple formula as a list of String tokens or formulas into a propositional formula.
|
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
private ActionSignature signature
public ActionQueryParser(ActionSignature signature)
public SActionQuerySet parseBeliefBase(java.io.Reader reader)
Parser
parseBeliefBase
in class Parser<SActionQuerySet>
reader
- a readerpublic SActionQuery parseFormula(java.io.Reader reader) throws java.io.IOException, ParserException
Parser
parseFormula
in class Parser<SActionQuerySet>
reader
- a readerjava.io.IOException
ParserException
private void consumeToken(java.util.Stack<java.lang.Object> stack, int c) throws ParserException
stack
- a stack used for monitoring the read items.c
- a token from a stream.ParserException
- in case of parser errors.private FolAction parseAction(java.util.List<java.lang.Object> l) throws ParserException, java.io.IOException
s
- StringParserException
java.io.IOException
private FOLAtom parseActionName(java.lang.String s) throws ParserException, java.io.IOException
ParserException
java.io.IOException
private SActionQuery parseActionFormula(java.util.Stack<java.lang.Object> stack) throws ParserException
l
- a list of objects, either String tokens, objects of type PropositionalFormula or a list of requirementsParserException
private PropositionalFormula parseDisjunction(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type PropositionalFormula.ParserException
- if the list could not be parsed.private PropositionalFormula parseConjunction(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type PropositionalFormula.ParserException
- if the list could not be parsed.private PropositionalFormula parseNegation(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type PropositionalFormula.ParserException
- if the list could not be parsed.private PropositionalFormula parseAtomic(java.util.List<java.lang.Object> l) throws ParserException
l
- a list objects, either String tokens or objects of type PropositionalFormula.ParserException