Package jade.semantics.lang.sl.grammar

Provides the hierarchy of classes implementing the abstract grammar of the FIPA-SL language.

See: Description

Interface Summary

Interface	Description
ActionExpression.Operations
AndNode.Operations
Constant.Operations
Content.Operations
ContentExpression.Operations
Formula.Operations
FunctionalTermParamNode.Operations
Node.Operations	This interface defines node operations that can be redefined using the addOperations method.
NodeFinder	This class can be used to look for particular node within a list of nodes, using the corresponding find method of the ListOfNodes class.
NodeObserver	This interface can be implemented to observe a particular node.
OrNode.Operations
Term.Operations
TermSequence.Operations
TermSet.Operations
Visitor	This interface defines all the operations that have to be performed by a particular visitor, when visiting a particular abstract syntax tree.

Class Summary

Class	Description
ActionContentExpressionNode
ActionExpression
ActionExpressionNode
ActionFormula
AllNode
AlternativeActionExpressionNode
AndNode
AnyNode
AtomicFormula
BelieveNode
BinaryLogicalFormula
ByteConstantNode
Constant
Content
ContentExpression
ContentNode
CountAsNode
DateTimeConstantNode
DoneNode
EqualsNode
EquivNode
ExistsNode
Fact
FactNode
FalseNode
FeasibleNode
ForallNode
Formula
FormulaContentExpressionNode
FunctionalTerm
FunctionalTermNode
FunctionalTermParamNode
IdentifyingContentExpressionNode
IdentifyingExpression
ImpliesNode
InstitutionalFactNode
InstitutionalLogicFormula
IntegerConstant
IntegerConstantNode
IntentionNode
IotaNode
ListOfContentExpression
ListOfFormula
ListOfNodes	This abstract class is the base class of all list of nodes.
ListOfParameter
ListOfTerm
ListOfVariable
MetaContentExpressionReferenceNode
MetaFormulaReferenceNode
MetaSymbolReferenceNode
MetaTermReferenceNode
MetaVariableReferenceNode
ModalLogicFormula
Node	This abstract class is the base class of all nodes belonging to a directed graph representing a particular abstract syntax tree.
NotNode
ObligationNode
OrNode
Parameter
ParameterNode
PersistentGoalNode
PredicateNode
PropositionSymbolNode
QuantifiedFormula
RealConstantNode
RelativeTimeConstantNode
ResultNode
SequenceActionExpressionNode
SomeNode
StringConstant
StringConstantNode
Symbol
SymbolNode
Term
TermSequence
TermSequenceNode
TermSet
TermSetNode
TrueNode
UnaryLogicalFormula
UncertaintyNode
Variable
VariableNode
VisitorBase	This class implements the Visitor interface.
WordConstantNode

Package jade.semantics.lang.sl.grammar Description

Provides the hierarchy of classes implementing the abstract grammar of the FIPA-SL language. All these classes are automatically generated from the description file sl.idl. Consequently, developers should not modify these classes.