| |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
The SLParser is used to parse a string that has the
format of an Content as defined by XC00008 Fipa2000 (Experimental).
For parsing to occur, the string should be converted
to a StringReader and then passed to the constructor
of the SLParser. Alternatively the static method parse()
may be used to do this for the user.
Inner Class Summary | |
(package private) static class | SLParser.JJCalls |
Field Summary | |
(package private) ASCII_CharStream | jj_input_stream |
Token | jj_nt |
boolean | lookingAhead |
Token | token |
SLParserTokenManager | token_source |
Constructor Summary | |
SLParser() Empty constructor for manipulating Parser instance | |
SLParser(java.io.InputStream stream) | |
SLParser(java.io.Reader stream) | |
SLParser(SLParserTokenManager tm) |
Method Summary | |
final Content | ActionExpression() |
final Content | ActionExpressionFactored() The production obtained by left-factorising SLActionExpression |
final Content | ActionFactored() |
final String | ActionOp() |
final Content | Agent() |
final String | ArithmeticOp() |
final Content | AtomicFormula() |
final Content | AtomicFormulaFactored() The production obtained by left-factorising SLAtomicFormula for the beginning parenthesis. |
final String | BinaryLogicalOp() |
final String | BinaryTermOp() |
boolean | canParse(String content) Determines if the Parser implementation can parse the given content |
final Content | Constant() |
final Content | Content() |
final Content | ContentExpression() |
String | deparse(Content sl_content) This method converts a Content object into a document which is of a format determined by the Parser implementation. |
final void | disable_tracing() |
final void | enable_tracing() |
final Content | FunctionalTerm() |
final Content | FunctionalTermFactored() |
final String | FunctionSymbol() |
final ParseException | generateParseException() |
final Token | getNextToken() |
String | getParserType() Returns the type of content language that the Parser implementation handles. |
final Token | getToken(int index) |
final Content | IdentifyingExpression() |
static void | main(String[] args) Test Harness method where a file of strings is parsed. |
final String | ModalOp() |
final String | NumericalConstant() |
final Content | Parameter() |
final Content | ParameterValue() |
Content | parse(String sl_content) This method converts a content String into a set of Content objects |
static Content | parseActionExpression(String sl_action_expression) parseActionExpression method is the preferred method for parsing an SL actionExpression message string. |
static Content | parseAtomicFormula(String sl_atomic_formula) parseAtomicFormula method is the preferred method for parsing an SL atomicFormula message string. |
static Content | parseContent(String sl_content) parse method is the preferred method for parsing an SL content message string. |
static Content | parseTerm(String sl_term) parseTerm method is the preferred method for parsing an SL term message string. |
final String | PredicateSymbol() |
final Content | Proposition() |
final String | PropositionSymbol() |
final String | Quantifier() |
final String | ReferentialOperator() |
void | ReInit(java.io.InputStream stream) |
void | ReInit(java.io.Reader stream) |
void | ReInit(SLParserTokenManager tm) |
final Content | Sequence() |
final Content | Set() |
final Content | symbolTermFactored() |
final Content | Term() |
final String | UnaryLogicalOp() |
final String | Variable() |
final Content | Wff() |
final Content | WffFactored() |
Field Detail |
ASCII_CharStream jj_input_stream
public Token jj_nt
public boolean lookingAhead
public Token token
public SLParserTokenManager token_source
Constructor Detail |
public SLParser()
public SLParser(java.io.InputStream stream)
public SLParser(java.io.Reader stream)
public SLParser(SLParserTokenManager tm)
Method Detail |
public final Content ActionExpression()
throws ParseException
public final Content ActionExpressionFactored()
throws ParseException
public final Content ActionFactored()
throws ParseException
public final String ActionOp()
throws ParseException
public final Content Agent()
throws ParseException
public final String ArithmeticOp()
throws ParseException
public final Content AtomicFormula()
throws ParseException
public final Content AtomicFormulaFactored()
throws ParseException
public final String BinaryLogicalOp()
throws ParseException
public final String BinaryTermOp()
throws ParseException
public boolean canParse(String content)
public final Content Constant()
throws ParseException
public final Content Content()
throws ParseException
public final Content ContentExpression()
throws ParseException
public String deparse(Content sl_content)
public final void disable_tracing()
public final void enable_tracing()
public final Content FunctionalTerm()
throws ParseException
public final Content FunctionalTermFactored()
throws ParseException
public final String FunctionSymbol()
throws ParseException
public final ParseException generateParseException()
public final Token getNextToken()
public String getParserType()
public final Token getToken(int index)
public final Content IdentifyingExpression()
throws ParseException
public static void main(String[] args)
throws java.lang.Exception
public final String ModalOp()
throws ParseException
public final String NumericalConstant()
throws ParseException
public final Content Parameter()
throws ParseException
public final Content ParameterValue()
throws ParseException
public Content parse(String sl_content)
throws fipaos.parser.ParserException
public static Content parseActionExpression(String sl_action_expression)
throws ParseException
public static Content parseAtomicFormula(String sl_atomic_formula)
throws ParseException
public static Content parseContent(String sl_content)
throws fipaos.parser.ParserException
public static Content parseTerm(String sl_term)
throws ParseException
public final String PredicateSymbol()
throws ParseException
public final Content Proposition()
throws ParseException
public final String PropositionSymbol()
throws ParseException
public final String Quantifier()
throws ParseException
public final String ReferentialOperator()
throws ParseException
public void ReInit(java.io.InputStream stream)
public void ReInit(java.io.Reader stream)
public void ReInit(SLParserTokenManager tm)
public final Content Sequence()
throws ParseException
public final Content Set()
throws ParseException
public final Content symbolTermFactored()
throws ParseException
public final Content Term()
throws ParseException
public final String UnaryLogicalOp()
throws ParseException
public final String Variable()
throws ParseException
public final Content Wff()
throws ParseException
public final Content WffFactored()
throws ParseException
Association Links |
to Class fipaos.parser.sl.ASCII_CharStream
to Class fipaos.parser.sl.Token
to Class fipaos.parser.sl.Token
to Class fipaos.parser.sl.SLParser.JJCalls
to Class java.util.Vector
| |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |