Package | Description |
---|---|
jade.semantics.lang.sl.grammar |
Provides the hierarchy of classes implementing the abstract grammar of the
FIPA-SL language.
|
jade.semantics.lang.sl.parser |
Provides the classes used by the JSA engine to parse and unparse FIPA-SL
expressions.
|
jade.semantics.lang.sl.tools |
Provides useful classes to handle FIPA-SL expressions.
|
Modifier and Type | Class and Description |
---|---|
class |
VisitorBase
This class implements the Visitor interface.
|
Modifier and Type | Method and Description |
---|---|
void |
WordConstantNode.accept(Visitor visitor) |
void |
VariableNode.accept(Visitor visitor) |
void |
UncertaintyNode.accept(Visitor visitor) |
void |
TrueNode.accept(Visitor visitor) |
void |
TermSetNode.accept(Visitor visitor) |
void |
TermSequenceNode.accept(Visitor visitor) |
void |
SymbolNode.accept(Visitor visitor) |
void |
StringConstantNode.accept(Visitor visitor) |
void |
SomeNode.accept(Visitor visitor) |
void |
SequenceActionExpressionNode.accept(Visitor visitor) |
void |
ResultNode.accept(Visitor visitor) |
void |
RelativeTimeConstantNode.accept(Visitor visitor) |
void |
RealConstantNode.accept(Visitor visitor) |
void |
PropositionSymbolNode.accept(Visitor visitor) |
void |
PredicateNode.accept(Visitor visitor) |
void |
PersistentGoalNode.accept(Visitor visitor) |
void |
ParameterNode.accept(Visitor visitor) |
void |
OrNode.accept(Visitor visitor) |
void |
ObligationNode.accept(Visitor visitor) |
void |
NotNode.accept(Visitor visitor) |
abstract void |
Node.accept(Visitor visitor)
This method is part of the implementation of the visitor design pattern.
|
void |
MetaVariableReferenceNode.accept(Visitor visitor) |
void |
MetaTermReferenceNode.accept(Visitor visitor) |
void |
MetaSymbolReferenceNode.accept(Visitor visitor) |
void |
MetaFormulaReferenceNode.accept(Visitor visitor) |
void |
MetaContentExpressionReferenceNode.accept(Visitor visitor) |
void |
ListOfVariable.accept(Visitor visitor) |
void |
ListOfTerm.accept(Visitor visitor) |
void |
ListOfParameter.accept(Visitor visitor) |
void |
ListOfNodes.accept(Visitor visitor)
This method is part of the implementation of the visitor design pattern.
|
void |
ListOfFormula.accept(Visitor visitor) |
void |
ListOfContentExpression.accept(Visitor visitor) |
void |
IotaNode.accept(Visitor visitor) |
void |
IntentionNode.accept(Visitor visitor) |
void |
IntegerConstantNode.accept(Visitor visitor) |
void |
InstitutionalFactNode.accept(Visitor visitor) |
void |
ImpliesNode.accept(Visitor visitor) |
void |
IdentifyingContentExpressionNode.accept(Visitor visitor) |
void |
FunctionalTermParamNode.accept(Visitor visitor) |
void |
FunctionalTermNode.accept(Visitor visitor) |
void |
FormulaContentExpressionNode.accept(Visitor visitor) |
void |
ForallNode.accept(Visitor visitor) |
void |
FeasibleNode.accept(Visitor visitor) |
void |
FalseNode.accept(Visitor visitor) |
void |
FactNode.accept(Visitor visitor) |
void |
ExistsNode.accept(Visitor visitor) |
void |
EquivNode.accept(Visitor visitor) |
void |
EqualsNode.accept(Visitor visitor) |
void |
DoneNode.accept(Visitor visitor) |
void |
DateTimeConstantNode.accept(Visitor visitor) |
void |
CountAsNode.accept(Visitor visitor) |
void |
ContentNode.accept(Visitor visitor) |
void |
ByteConstantNode.accept(Visitor visitor) |
void |
BelieveNode.accept(Visitor visitor) |
void |
AnyNode.accept(Visitor visitor) |
void |
AndNode.accept(Visitor visitor) |
void |
AlternativeActionExpressionNode.accept(Visitor visitor) |
void |
AllNode.accept(Visitor visitor) |
void |
ActionExpressionNode.accept(Visitor visitor) |
void |
ActionContentExpressionNode.accept(Visitor visitor) |
void |
Node.childrenAccept(Visitor v)
This method is part of the implementation of the visitor design pattern.
|
void |
ListOfNodes.childrenAccept(Visitor v)
This method is part of the implementation of the visitor design pattern.
|
Modifier and Type | Class and Description |
---|---|
class |
SLUnparser |
Modifier and Type | Class and Description |
---|---|
class |
SLMatcher
This class implement a SL pattern matcher.
|