public class SLParser extends Object implements SLParserConstants
Modifier and Type | Field and Description |
---|---|
(package private) boolean |
_extended |
(package private) static SLParser |
_instance |
(package private) HashMap |
_metaReferences |
(package private) static int |
CONTENT_EXPRESSION_REFERENCE |
(package private) static int |
FORMULA_REFERENCE |
(package private) static int |
FUNCTIONNAL_TERM |
(package private) static String |
INCONSISTENT_META_OCCURRENCE_MESSAGE |
(package private) static String |
INVALID_PREDICATE_MESSAGE |
(package private) static String |
INVALID_REFERENCE_CONTEXT_MESSAGE |
private Vector |
jj_expentries |
private int[] |
jj_expentry |
private int |
jj_gen |
(package private) SimpleCharStream |
jj_input_stream |
private int |
jj_kind |
private int[] |
jj_la1 |
private static int[] |
jj_la1_0 |
private static int[] |
jj_la1_1 |
private static int[] |
jj_la1_2 |
Token |
jj_nt |
private int |
jj_ntk |
(package private) static String |
META_EXCEPTION_MESSAGE |
(package private) static int |
PREDICATE |
(package private) static int |
SYMBOL_REFERENCE |
(package private) static int |
TERM_REFERENCE |
Token |
token |
SLParserTokenManager |
token_source |
(package private) static int |
VARIABLE_REFERENCE |
ACTIONKW, ALLKW, ANDKW, ANYKW, AOP, BELIEVEKW, BYTES, CLOSE_BRACKET, CONTENTKW, COUNTASKW, DATE_TIME, DAY, DEC_LITERAL, DEFAULT, DONEKW, EOF, EQUALSKW, EQUIVKW, EXISTSKW, EXPONENT, FACTKW, FALSEKW, FEASIBLEKW, FLOAT, FORALLKW, HEX_LITERAL, HOUR, IMPLIESKW, INSTFACTKW, INTEGER, INTENTIONKW, IOTAKW, MANTISSA, META_VARIABLE, METAOPTIONKW, METAPIPEKW, MILLISECOND, MINUTE, MONTH, NOT_QUOTED_WORD, NOTKW, OBLIGATIONKW, OPEN_BRACKET, ORKW, PARAMETER_NAME, PERSISTENTGOALKW, PIPEKW, QUOTED_WORD, RESULTKW, SECOND, SEMICOLONKW, SEQUENCEKW, SETKW, SIGN, SOMEKW, STRING_LITERAL, tokenImage, TRUEKW, TYPE_DESIGNATOR, UNCERTAINTYKW, VARIABLE, WORD, YEAR
Constructor and Description |
---|
SLParser() |
SLParser(InputStream stream) |
SLParser(Reader stream) |
SLParser(SLParserTokenManager tm) |
static final String META_EXCEPTION_MESSAGE
static final String INCONSISTENT_META_OCCURRENCE_MESSAGE
static final String INVALID_PREDICATE_MESSAGE
static final String INVALID_REFERENCE_CONTEXT_MESSAGE
static final int FUNCTIONNAL_TERM
static final int PREDICATE
static final int CONTENT_EXPRESSION_REFERENCE
static final int FORMULA_REFERENCE
static final int SYMBOL_REFERENCE
static final int TERM_REFERENCE
static final int VARIABLE_REFERENCE
static SLParser _instance
boolean _extended
HashMap _metaReferences
public SLParserTokenManager token_source
SimpleCharStream jj_input_stream
public Token token
public Token jj_nt
private int jj_ntk
private int jj_gen
private final int[] jj_la1
private static int[] jj_la1_0
private static int[] jj_la1_1
private static int[] jj_la1_2
private Vector jj_expentries
private int[] jj_expentry
private int jj_kind
public SLParser()
public SLParser(InputStream stream)
public SLParser(Reader stream)
public SLParser(SLParserTokenManager tm)
public static SLParser getParser()
public ListOfFormula parseFormulas(Reader stream, boolean extended) throws ParseException
ParseException
public ListOfFormula parseFormulas(Reader stream) throws ParseException
ParseException
public Content parseContent(Reader stream, boolean extended) throws ParseException
ParseException
public Content parseContent(Reader stream) throws ParseException
ParseException
public Content parseContent(String content, boolean extended) throws ParseException
ParseException
public Content parseContent(String content) throws ParseException
ParseException
public FunctionalTerm parseAgent(Reader stream, boolean extended) throws ParseException
ParseException
public FunctionalTerm parseAgent(Reader stream) throws ParseException
ParseException
public FunctionalTerm parseAgent(String term, boolean extended) throws ParseException
ParseException
public FunctionalTerm parseAgent(String term) throws ParseException
ParseException
public Term parseTerm(Reader stream, boolean extended) throws ParseException
ParseException
public Term parseTerm(Reader stream) throws ParseException
ParseException
public Term parseTerm(String term, boolean extended) throws ParseException
ParseException
public Term parseTerm(String term) throws ParseException
ParseException
public Formula parseFormula(Reader stream, boolean extended) throws ParseException
ParseException
public Formula parseFormula(Reader stream) throws ParseException
ParseException
public Formula parseFormula(String formula, boolean extended) throws ParseException
ParseException
public Formula parseFormula(String formula) throws ParseException
ParseException
private void initParser(boolean extended)
private Variable getVariableFromContext(String varName, int quantifierIndex, ArrayList vars)
private void restoreSize(ArrayList list, int size)
public final ListOfFormula ListOfFormula() throws ParseException
ParseException
public final Content Content(ArrayList variables) throws ParseException
ParseException
public final ContentExpression ContentExpression(ArrayList variables) throws ParseException
ParseException
public final ActionExpression ActionExpression(ArrayList variables) throws ParseException
ParseException
public final IdentifyingExpression IdentifyingExpression(ArrayList variables) throws ParseException
ParseException
public final Formula Formula(ArrayList variables) throws ParseException
ParseException
public final AtomicFormula AtomicFormula(ArrayList variables) throws ParseException
ParseException
public final ListOfTerm Terms(ArrayList variables, int quantifierIndex) throws ParseException
ParseException
public final Symbol Symbol() throws ParseException
ParseException
public final String String() throws ParseException
ParseException
public final Term Term(ArrayList variables, int quantifierIndex) throws ParseException
ParseException
public final Constant Constant() throws ParseException
ParseException
public final TermSet TermSet(ArrayList variables, int quantifierIndex) throws ParseException
ParseException
public final TermSequence TermSequence(ArrayList variables, int quantifierIndex) throws ParseException
ParseException
public final Node FunctionalTermOrPredicate(int which, ArrayList variables, int quantifierIndex) throws ParseException
ParseException
public final ListOfParameter Parameters(ArrayList variables, int quantifierIndex) throws ParseException
ParseException
public final Parameter Parameter(ArrayList variables, int quantifierIndex) throws ParseException
ParseException
public final Variable Variable(ArrayList variables, int quantifierIndex) throws ParseException
ParseException
public final Node MetaVariable(int which) throws ParseException
ParseException
private static void jj_la1_0()
private static void jj_la1_1()
private static void jj_la1_2()
public void ReInit(InputStream stream)
public void ReInit(Reader stream)
public void ReInit(SLParserTokenManager tm)
private final Token jj_consume_token(int kind) throws ParseException
ParseException
public final Token getNextToken()
public final Token getToken(int index)
private final int jj_ntk()
public ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()