Package | Description |
---|---|
jade.semantics.kbase.filters.std.assertion |
Provides all generic assertion filters needed by the
FilterKBase
implementation. |
jade.semantics.kbase.filters.std.query |
Provides all generic query filters needed by the
FilterKBase
implementation. |
jade.semantics.lang.sl.grammar |
Provides the hierarchy of classes implementing the abstract grammar of the
FIPA-SL language.
|
jade.semantics.lang.sl.grammar.operations |
Provides the implementation of the operations defined on the nodes of the
abstract grammar of the FIPA-SL language.
|
jade.semantics.lang.sl.tools |
Provides useful classes to handle FIPA-SL expressions.
|
Modifier and Type | Field and Description |
---|---|
private ListOfNodes |
AllIREFilter.listOfNodes |
Modifier and Type | Field and Description |
---|---|
private ListOfNodes |
IREFilter.listOfNodes |
Modifier and Type | Method and Description |
---|---|
private QueryResult |
IREFilter.notPatternProcess(Formula formula,
ListOfNodes listOfNodes,
Term termPattern,
Formula formulaPattern,
IdentifyingExpression ire,
Term term)
Returns a QueryResult corresponding to the answer to the query.
|
private QueryResult |
IREFilter.patternProcess(Formula formula,
ListOfNodes listOfNodes,
Term termPattern,
Formula formulaPattern,
IdentifyingExpression ire,
Term term)
Returns a QueryResult corresponding to the answer to the query.
|
Modifier and Type | Class and Description |
---|---|
class |
ListOfContentExpression |
class |
ListOfFormula |
class |
ListOfParameter |
class |
ListOfTerm |
class |
ListOfVariable |
Modifier and Type | Method and Description |
---|---|
void |
ListOfNodes.addAll(int index,
ListOfNodes nodes)
This method add several nodes within the list, starting at the index position.
|
void |
ListOfNodes.addAll(ListOfNodes nodes)
This method add several nodes within the list.
|
boolean |
Node.childrenOfKind(Class[] nodeClasses,
ListOfNodes result)
This method fills the result list with all nodes of the graph
instance of one of the nodeClasses.
|
boolean |
ListOfNodes.childrenOfKind(Class[] nodeClasses,
ListOfNodes result)
This method fills the result list with all nodes of the graph
instance of the nodeClass.
|
boolean |
Node.childrenOfKind(Class nodeClass,
ListOfNodes result)
This method fills the result list with all nodes of the graph
instance of the nodeClass.
|
boolean |
Node.childrenOfKind(String nodeClass,
ListOfNodes result)
This method fills the result list with all nodes of the graph
instance of the nodeClass.
|
protected void |
Node.dofind(Class[] nodeClasses,
int attribut,
Object value,
ListOfNodes result,
boolean all) |
protected void |
ListOfNodes.dofind(Class[] nodeClasses,
int attribut,
Object value,
ListOfNodes result,
boolean all) |
boolean |
Node.find(Class[] nodeClasses,
int attribut,
Object value,
ListOfNodes result,
boolean all) |
boolean |
Node.find(Class[] nodeClasses,
String attribut,
Object value,
ListOfNodes result,
boolean all)
This method fills the result list with all nodes of the graph
instance of one of the nodeClasses, holding an attribute named attribut the value
of which is value parameter.
|
boolean |
Node.find(Class nodeClass,
int attribut,
Object value,
ListOfNodes result,
boolean all) |
boolean |
Node.find(Class nodeClass,
String attribut,
Object value,
ListOfNodes result,
boolean all)
This method fills the result list with all nodes of the graph
instance of the nodeClass, holding an attribute the value
of which is the value parameter.
|
void |
ListOfNodes.replaceAll(ListOfNodes nodes)
This method replace all the nodes contained by the list by new nodes.
|
Constructor and Description |
---|
ListOfNodes(ListOfNodes nodes)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected ListOfNodes |
DefaultNodeOperations.nodesToSimplify(Node node,
ListOfNodes nodes) |
Modifier and Type | Method and Description |
---|---|
protected ListOfNodes |
DefaultNodeOperations.nodesToSimplify(Node node,
ListOfNodes nodes) |
Modifier and Type | Class and Description |
---|---|
class |
MatchResult
This class holds the result of a matching operation.
|
Modifier and Type | Field and Description |
---|---|
(package private) ListOfNodes |
SLMatcher._firstAndResidue |
(package private) ListOfNodes |
SLMatcher._firstOrResidue |
(package private) ListOfNodes |
SLMatcher._secondAndResidue |
(package private) ListOfNodes |
SLMatcher._secondOrResidue |
Modifier and Type | Method and Description |
---|---|
private boolean |
SLMatcher.analyze(ListOfNodes ref,
ListOfNodes other,
int type,
boolean refIsExpression1)
Returns true if the two lists given in parameter matches, false if
not.
|
private Formula |
SLMatcher.buildAndNode(ListOfNodes l)
Tries to return a AndNode built with the Formulae of the given list.
|
private Formula |
SLMatcher.buildOrNode(ListOfNodes l)
Tries to return a OrNode built with the Formulae of the given list.
|
private Formula |
SLMatcher.createEndAndNode(ListOfNodes l)
Creates an And Formula with the nodes of the list.
|
private Formula |
SLMatcher.createEndOrNode(ListOfNodes l)
Creates an Or Formula with the nodes of the list.
|
private void |
SLMatcher.exchange(ListOfNodes l,
int i,
int j)
Permutes the node at index i and the node at index j in the list l.
|
private void |
SLMatcher.getList(AndNode n,
ListOfNodes l)
Extracts all the elements of a AndNode and puts them into the list
of nodes given in parameter.
|
private void |
SLMatcher.getList(OrNode n,
ListOfNodes l)
Extracts all the elements of a OrNode and puts them into the list
of nodes given in parameter.
|
private boolean |
SLMatcher.match(Node expression1,
Node expression2,
MatchResult metaReferences1,
MatchResult metaReferences2,
SLMatcher.VariableMappings variables,
ListOfNodes firstList,
ListOfNodes secondList,
ListOfNodes firstOrResidue,
ListOfNodes secondOrResidue)
This method is used inside the recursive matching
process.
|
private int |
SLMatcher.partition(ListOfNodes l,
int begin,
int end)
Returns the index of the pivot in the given list.
|
private void |
SLMatcher.quickSort(ListOfNodes l)
Sorts the list given in parameter.
|
private void |
SLMatcher.quickSort(ListOfNodes l,
int beg,
int end)
Sort the nodes of the given list using the compare method of each kind
of nodes.
|
static Node |
SL.toPattern(Node expression,
ListOfNodes l,
String prefix)
This method returns a new expression corresponding to the given one in
which all variables of the given list are replaced by a
meta variable named
?? + given prefix + \ .The metaname is the same as the variable name. |