jade.content.lang.sl

Class SLParser

java.lang.Object

jade.content.lang.sl.SLParser

All Implemented Interfaces:

SLParserConstants

class SLParser
extends Object
implements SLParserConstants

SLParser. This same parser embeds also lower profiles of SL, namely SL-0, SL-1 and SL-2.

Version:

0.9

Author:

Fabio Bellifemine, TILab S.p.A. (formerly CSELT S.p.A.), Nicolas Lhuillier (Motorola) (added support for PREFIXBYTELENGTHENCODEDSTRING)

Field Summary

Fields

Modifier and Type	Field and Description
(package private) Ontology	curOntology
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
Token	jj_nt
private int	jj_ntk
private static String	META_EXCEPTION_MESSAGE
private boolean	metaAllowed This variable is true, when meta symbols are allowed (metas are a semantics-specific extension to the SL Grammar)
(package private) int	slType (0 for FIPa-SL0, 1 for SL1, 2 for SL2, >2 for full SL)
Token	token
SLParserTokenManager	token_source

Fields inherited from interface jade.content.lang.sl.SLParserConstants

ACTION, ACTIONOP, ACTIONOPLL, ARITHMETICOP, BINARYLOGICALOP, DATETIME, DEFAULT, EOF, FLOATONE, FLOATTWO, HEXINTEGER, INTEGER, LBRACE, LBRACE2, METASYMBOL, METASYMBOL2, MODALOP, OPERATORSTATE, PARAMETERNAME, PARAMETERNAME_STRING, PREFIXBYTELENGTHENCODEDSTRING, QUANTIFIER, RBRACE, RBRACE2, REFERENTIALOP, STRING_LITERAL, STRING_LITERAL2, tokenImage, UNARYLOGICALOP, VARIABLE, WORD, WORD2

Constructor Summary

Constructors

Constructor and Description
SLParser(InputStream stream)
SLParser(InputStream stream, String encoding)
SLParser(Reader stream)
SLParser(SLParserTokenManager tm)

Method Summary

Modifier and Type	Method and Description
AbsAgentAction	ActionExpression_NoBrace()
AbsTerm	ActionExpression()
AbsPrimitive	Constant()
AbsContentElementList	Content() This production rule represents the more general expression that can serve as content for an ACL message.
AbsContentElement	ContentExpression_NoBrace()
AbsContentElement	ContentExpression()
void	disable_tracing()
void	enable_tracing()
AbsConcept	FunctionalTerm_NoBrace()
void	FunctionalTermParameters(AbsConcept val)
ParseException	generateParseException()
Token	getNextToken()
Token	getToken(int index)
AbsIRE	IdentifyingExpression_NoBrace()
private Token	jj_consume_token(int kind)
private static void	jj_la1_0()
private static void	jj_la1_1()
private int	jj_ntk()
void	LBrace() Left Brace in all of the possible states of the Token Manager
static void	main(String[] args)
String	MetaSymbol() This grammar rule is an extension to the FIPA SL Grammar.
AbsPrimitive	Number()
void	Parameter(AbsConcept val)
(package private) AbsContentElement	parse(Ontology o, String content) Deprecated. since JADE 3.4 it is preferrable to use reinit() and then call directly the method corresponding to the production rule (e.g. Content())
void	RBrace() Right Brace in all of the possible states of the Token Manager
void	ReInit(InputStream stream)
void	ReInit(InputStream stream, String encoding)
(package private) void	reinit(Ontology o, String content) Reinitialize the parser such as it is ready to parse a new expression.
void	ReInit(Reader stream)
void	ReInit(SLParserTokenManager tm)
(package private) void	setSLType(int slType) By default an object of this type implements a Full SLParser.
String	String() String = WORD | STRING_LITERAL
AbsTerm	Term()
private AbsTerm	toAbsAgentAction(AbsTerm t) When an ActionExpression is parsed, if it is an AbsConcept then it must be casted upto an AbsAgentAction.
private String	unescape(String s)
AbsVariable	Variable()
AbsPredicate	Wff_NoBrace()
AbsPredicate	Wff()

Methods inherited from class java.lang.Object

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

Field Detail

META_EXCEPTION_MESSAGE

private static final String META_EXCEPTION_MESSAGE

See Also:

Constant Field Values

metaAllowed

private boolean metaAllowed

This variable is true, when meta symbols are allowed (metas are a semantics-specific extension to the SL Grammar)

curOntology

Ontology curOntology

slType

int slType

(0 for FIPa-SL0, 1 for SL1, 2 for SL2, >2 for full SL)

token_source

public SLParserTokenManager token_source

jj_input_stream

SimpleCharStream jj_input_stream

token

public Token token

jj_nt

public Token jj_nt

jj_ntk

private int jj_ntk

jj_gen

private int jj_gen

jj_la1

private final int[] jj_la1

jj_la1_0

private static int[] jj_la1_0

jj_la1_1

private static int[] jj_la1_1

jj_expentries

private Vector jj_expentries

jj_expentry

private int[] jj_expentry

jj_kind

private int jj_kind

Constructor Detail

SLParser

public SLParser(InputStream stream)

SLParser

public SLParser(InputStream stream,
                String encoding)

SLParser

public SLParser(Reader stream)

SLParser

public SLParser(SLParserTokenManager tm)

Method Detail

unescape

private String unescape(String s)

toAbsAgentAction

private AbsTerm toAbsAgentAction(AbsTerm t)

When an ActionExpression is parsed, if it is an AbsConcept then it must be casted upto an AbsAgentAction.

setSLType

void setSLType(int slType)

By default an object of this type implements a Full SLParser. This method allows to change this default.

Parameters:

slType - (0 for FIPa-SL0, 1 for SL1, 2 for SL2, >2 for full SL)

reinit

void reinit(Ontology o,
            String content)

Reinitialize the parser such as it is ready to parse a new expression.

Parameters:

content - the content to be parsed

o - the ontology, null if no ontology (this parameter is used to get the names of the slots when they are encoded as unnamed slots.

parse

AbsContentElement parse(Ontology o,
                        String content)
                 throws ParseException,
                        TokenMgrError

Deprecated. since JADE 3.4 it is preferrable to use reinit() and then call directly the method corresponding to the production rule (e.g. Content())

Parameters:

content - the content to be parsed

o - the ontology, null if no ontology (this parameter is used to get the names of the slots when they are encoded as unnamed slots.

Throws:

ParseException

TokenMgrError

main

public static void main(String[] args)

Content

public final AbsContentElementList Content()
                                    throws ParseException

This production rule represents the more general expression that can serve as content for an ACL message. Since different communicative acts have different content (action expressions for request, predicate for inform, etc.), any allowed SL content expression can be parsed from here.

Throws:

ParseException

LBrace

public final void LBrace()
                  throws ParseException

Left Brace in all of the possible states of the Token Manager

Throws:

ParseException

RBrace

public final void RBrace()
                  throws ParseException

Right Brace in all of the possible states of the Token Manager

Throws:

ParseException

ContentExpression

public final AbsContentElement ContentExpression()
                                          throws ParseException

Throws:

ParseException

ContentExpression_NoBrace

public final AbsContentElement ContentExpression_NoBrace()
                                                  throws ParseException

Throws:

ParseException

IdentifyingExpression_NoBrace

public final AbsIRE IdentifyingExpression_NoBrace()
                                           throws ParseException

Throws:

ParseException

Variable

public final AbsVariable Variable()
                           throws ParseException

Throws:

ParseException

Term

public final AbsTerm Term()
                   throws ParseException

Throws:

ParseException

Constant

public final AbsPrimitive Constant()
                            throws ParseException

Throws:

ParseException

FunctionalTerm_NoBrace

public final AbsConcept FunctionalTerm_NoBrace()
                                        throws ParseException

Throws:

ParseException

FunctionalTermParameters

public final void FunctionalTermParameters(AbsConcept val)
                                    throws ParseException

Throws:

ParseException

Parameter

public final void Parameter(AbsConcept val)
                     throws ParseException

Throws:

ParseException

ActionExpression_NoBrace

public final AbsAgentAction ActionExpression_NoBrace()
                                              throws ParseException

Throws:

ParseException

ActionExpression

public final AbsTerm ActionExpression()
                               throws ParseException

Throws:

ParseException

Wff

public final AbsPredicate Wff()
                       throws ParseException

Throws:

ParseException

Wff_NoBrace

public final AbsPredicate Wff_NoBrace()
                               throws ParseException

Throws:

ParseException

Number

public final AbsPrimitive Number()
                          throws ParseException

Throws:

ParseException

String

public final String String()
                    throws ParseException

String = WORD | STRING_LITERAL

Throws:

ParseException

MetaSymbol

public final String MetaSymbol()
                        throws ParseException

This grammar rule is an extension to the FIPA SL Grammar. It is specific to the semantics framework. It allows to represent a symbol which is not matched by any FIPA-SL token.

Throws:

ParseException

jj_la1_0

private static void jj_la1_0()

jj_la1_1

private static void jj_la1_1()

ReInit

public void ReInit(InputStream stream)

ReInit

public void ReInit(InputStream stream,
                   String encoding)

ReInit

public void ReInit(Reader stream)

ReInit

public void ReInit(SLParserTokenManager tm)

jj_consume_token

private final Token jj_consume_token(int kind)
                              throws ParseException

Throws:

ParseException

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

jj_ntk

private final int jj_ntk()

generateParseException

public ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()