Package | Description |
---|---|
casa |
The casa package is the main package for CASA (Collaborative Agent System
Architecture), which is an infrastructure for agent based systems.
|
casa.jade | |
jade.semantics.actions | |
jade.semantics.kbase.filters.std | |
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.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 | Method and Description |
---|---|
Node |
TransientAgent.parseJADENode(String node) |
Modifier and Type | Method and Description |
---|---|
boolean |
TransientAgent.isTrusted(URLDescriptor url,
Node node) |
Modifier and Type | Field and Description |
---|---|
(package private) Node |
OntologyFilter.Predicate.first |
(package private) Node |
OntologyFilter.Predicate.function |
(package private) Node |
OntologyFilter.Predicate.second |
Modifier and Type | Method and Description |
---|---|
protected Node |
CasaQueryFilter.getNode(MatchResult applyResult,
String var) |
static Node |
Util.parseExpression(String expression) |
Constructor and Description |
---|
Predicate(OntologyFilter.PredType type,
Node function,
Node first,
Node second) |
Modifier and Type | Method and Description |
---|---|
Node |
CommunicativeAction.getContentElement(int i)
Returns the element of the content at the specified index.
|
Node |
CommunicativeAction.getSurfaceContentElement(int i)
Returns the element of the surface content at the specified index.
|
Modifier and Type | Method and Description |
---|---|
void |
CommunicativeAction.setContentElement(int i,
Node element)
Sets the element i of the content
|
void |
CommunicativeAction.setSurfaceContentElement(int i,
Node element)
Sets the element i of the surface content.
|
Modifier and Type | Method and Description |
---|---|
private Node |
CFPFilters.buildProposalVector(MatchResult match) |
Modifier and Type | Field and Description |
---|---|
protected Node[] |
Node._nodes |
Modifier and Type | Method and Description |
---|---|
Node[] |
Node.children()
This method returns the children of a the node.
|
Node[] |
ListOfNodes.children()
This method returns the nodes contained within the list.
|
Node |
ListOfNodes.get(int index)
This method returns the node at a particular position.
|
Node |
Node.getClone()
This method return a clone of the graph this node of which is the root.
|
Node |
WordConstantNode.getClone(HashMap clones) |
Node |
VariableNode.getClone(HashMap clones) |
Node |
UncertaintyNode.getClone(HashMap clones) |
Node |
TrueNode.getClone(HashMap clones) |
Node |
TermSetNode.getClone(HashMap clones) |
Node |
TermSequenceNode.getClone(HashMap clones) |
Node |
SymbolNode.getClone(HashMap clones) |
Node |
StringConstantNode.getClone(HashMap clones) |
Node |
SomeNode.getClone(HashMap clones) |
Node |
SequenceActionExpressionNode.getClone(HashMap clones) |
Node |
ResultNode.getClone(HashMap clones) |
Node |
RelativeTimeConstantNode.getClone(HashMap clones) |
Node |
RealConstantNode.getClone(HashMap clones) |
Node |
PropositionSymbolNode.getClone(HashMap clones) |
Node |
PredicateNode.getClone(HashMap clones) |
Node |
PersistentGoalNode.getClone(HashMap clones) |
Node |
ParameterNode.getClone(HashMap clones) |
Node |
OrNode.getClone(HashMap clones) |
Node |
ObligationNode.getClone(HashMap clones) |
Node |
NotNode.getClone(HashMap clones) |
abstract Node |
Node.getClone(HashMap clones) |
Node |
MetaVariableReferenceNode.getClone(HashMap clones) |
Node |
MetaTermReferenceNode.getClone(HashMap clones) |
Node |
MetaSymbolReferenceNode.getClone(HashMap clones) |
Node |
MetaFormulaReferenceNode.getClone(HashMap clones) |
Node |
MetaContentExpressionReferenceNode.getClone(HashMap clones) |
Node |
ListOfVariable.getClone(HashMap clones) |
Node |
ListOfTerm.getClone(HashMap clones) |
Node |
ListOfParameter.getClone(HashMap clones) |
Node |
ListOfNodes.getClone(HashMap clones)
This method return a clone of the list.
|
Node |
ListOfFormula.getClone(HashMap clones) |
Node |
ListOfContentExpression.getClone(HashMap clones) |
Node |
IotaNode.getClone(HashMap clones) |
Node |
IntentionNode.getClone(HashMap clones) |
Node |
IntegerConstantNode.getClone(HashMap clones) |
Node |
InstitutionalFactNode.getClone(HashMap clones) |
Node |
ImpliesNode.getClone(HashMap clones) |
Node |
IdentifyingContentExpressionNode.getClone(HashMap clones) |
Node |
FunctionalTermParamNode.getClone(HashMap clones) |
Node |
FunctionalTermNode.getClone(HashMap clones) |
Node |
FormulaContentExpressionNode.getClone(HashMap clones) |
Node |
ForallNode.getClone(HashMap clones) |
Node |
FeasibleNode.getClone(HashMap clones) |
Node |
FalseNode.getClone(HashMap clones) |
Node |
FactNode.getClone(HashMap clones) |
Node |
ExistsNode.getClone(HashMap clones) |
Node |
EquivNode.getClone(HashMap clones) |
Node |
EqualsNode.getClone(HashMap clones) |
Node |
DoneNode.getClone(HashMap clones) |
Node |
DateTimeConstantNode.getClone(HashMap clones) |
Node |
CountAsNode.getClone(HashMap clones) |
Node |
ContentNode.getClone(HashMap clones) |
Node |
ByteConstantNode.getClone(HashMap clones) |
Node |
BelieveNode.getClone(HashMap clones) |
Node |
AnyNode.getClone(HashMap clones) |
Node |
AndNode.getClone(HashMap clones) |
Node |
AlternativeActionExpressionNode.getClone(HashMap clones) |
Node |
AllNode.getClone(HashMap clones) |
Node |
ActionExpressionNode.getClone(HashMap clones) |
Node |
ActionContentExpressionNode.getClone(HashMap clones) |
Node |
Content.Operations.getContentElement(Content node,
int i) |
Node |
Content.getContentElement(int i) |
Node |
ContentExpression.getElement() |
Node |
ContentExpression.Operations.getElement(ContentExpression node) |
Node |
ListOfNodes.getFirst()
This method returns the first node of the list.
|
Node |
ListOfNodes.getLast()
This method returns the last node of the list.
|
Node |
ListOfNodes.remove(int index)
This method remove a node from the list.
|
Modifier and Type | Method and Description |
---|---|
void |
ListOfNodes.add(int index,
Node node)
This method add a node within the list at a particular position.
|
void |
ListOfNodes.add(Node node)
This method add a node within the list.
|
void |
ListOfNodes.addAll(Node[] nodes)
This method add several nodes within the list.
|
void |
Content.Operations.addContentElement(Content node,
Node element) |
void |
Content.addContentElement(Node element) |
int |
Node.compare(Node other)
This method compares the node with the one given as an argument.
|
int |
Node.Operations.compare(Node node1,
Node node2) |
boolean |
ListOfNodes.contains(Node node)
This method returns true if the node is already in the list.
|
void |
Node.copyValueOf(Node n)
This method replace the graph entirely with the other graph the root is n.
|
void |
WordConstantNode.copyValueOf(Node n,
HashMap clones) |
void |
VariableNode.copyValueOf(Node n,
HashMap clones) |
void |
Variable.copyValueOf(Node n,
HashMap clones) |
void |
UncertaintyNode.copyValueOf(Node n,
HashMap clones) |
void |
UnaryLogicalFormula.copyValueOf(Node n,
HashMap clones) |
void |
TrueNode.copyValueOf(Node n,
HashMap clones) |
void |
TermSetNode.copyValueOf(Node n,
HashMap clones) |
void |
TermSet.copyValueOf(Node n,
HashMap clones) |
void |
TermSequenceNode.copyValueOf(Node n,
HashMap clones) |
void |
TermSequence.copyValueOf(Node n,
HashMap clones) |
void |
Term.copyValueOf(Node n,
HashMap clones) |
void |
SymbolNode.copyValueOf(Node n,
HashMap clones) |
void |
Symbol.copyValueOf(Node n,
HashMap clones) |
void |
StringConstantNode.copyValueOf(Node n,
HashMap clones) |
void |
StringConstant.copyValueOf(Node n,
HashMap clones) |
void |
SomeNode.copyValueOf(Node n,
HashMap clones) |
void |
SequenceActionExpressionNode.copyValueOf(Node n,
HashMap clones) |
void |
ResultNode.copyValueOf(Node n,
HashMap clones) |
void |
RelativeTimeConstantNode.copyValueOf(Node n,
HashMap clones) |
void |
RealConstantNode.copyValueOf(Node n,
HashMap clones) |
void |
QuantifiedFormula.copyValueOf(Node n,
HashMap clones) |
void |
PropositionSymbolNode.copyValueOf(Node n,
HashMap clones) |
void |
PredicateNode.copyValueOf(Node n,
HashMap clones) |
void |
PersistentGoalNode.copyValueOf(Node n,
HashMap clones) |
void |
ParameterNode.copyValueOf(Node n,
HashMap clones) |
void |
Parameter.copyValueOf(Node n,
HashMap clones) |
void |
OrNode.copyValueOf(Node n,
HashMap clones) |
void |
ObligationNode.copyValueOf(Node n,
HashMap clones) |
void |
NotNode.copyValueOf(Node n,
HashMap clones) |
void |
Node.copyValueOf(Node n,
HashMap clones) |
void |
ModalLogicFormula.copyValueOf(Node n,
HashMap clones) |
void |
MetaVariableReferenceNode.copyValueOf(Node n,
HashMap clones) |
void |
MetaTermReferenceNode.copyValueOf(Node n,
HashMap clones) |
void |
MetaSymbolReferenceNode.copyValueOf(Node n,
HashMap clones) |
void |
MetaFormulaReferenceNode.copyValueOf(Node n,
HashMap clones) |
void |
MetaContentExpressionReferenceNode.copyValueOf(Node n,
HashMap clones) |
void |
ListOfNodes.copyValueOf(Node n,
HashMap clones)
This method replace the list entirely with the other list.
|
void |
IotaNode.copyValueOf(Node n,
HashMap clones) |
void |
IntentionNode.copyValueOf(Node n,
HashMap clones) |
void |
IntegerConstantNode.copyValueOf(Node n,
HashMap clones) |
void |
IntegerConstant.copyValueOf(Node n,
HashMap clones) |
void |
InstitutionalLogicFormula.copyValueOf(Node n,
HashMap clones) |
void |
InstitutionalFactNode.copyValueOf(Node n,
HashMap clones) |
void |
ImpliesNode.copyValueOf(Node n,
HashMap clones) |
void |
IdentifyingExpression.copyValueOf(Node n,
HashMap clones) |
void |
IdentifyingContentExpressionNode.copyValueOf(Node n,
HashMap clones) |
void |
FunctionalTermParamNode.copyValueOf(Node n,
HashMap clones) |
void |
FunctionalTermNode.copyValueOf(Node n,
HashMap clones) |
void |
FunctionalTerm.copyValueOf(Node n,
HashMap clones) |
void |
FormulaContentExpressionNode.copyValueOf(Node n,
HashMap clones) |
void |
Formula.copyValueOf(Node n,
HashMap clones) |
void |
ForallNode.copyValueOf(Node n,
HashMap clones) |
void |
FeasibleNode.copyValueOf(Node n,
HashMap clones) |
void |
FalseNode.copyValueOf(Node n,
HashMap clones) |
void |
FactNode.copyValueOf(Node n,
HashMap clones) |
void |
Fact.copyValueOf(Node n,
HashMap clones) |
void |
ExistsNode.copyValueOf(Node n,
HashMap clones) |
void |
EquivNode.copyValueOf(Node n,
HashMap clones) |
void |
EqualsNode.copyValueOf(Node n,
HashMap clones) |
void |
DoneNode.copyValueOf(Node n,
HashMap clones) |
void |
DateTimeConstantNode.copyValueOf(Node n,
HashMap clones) |
void |
CountAsNode.copyValueOf(Node n,
HashMap clones) |
void |
ContentNode.copyValueOf(Node n,
HashMap clones) |
void |
ContentExpression.copyValueOf(Node n,
HashMap clones) |
void |
Content.copyValueOf(Node n,
HashMap clones) |
void |
Constant.copyValueOf(Node n,
HashMap clones) |
void |
ByteConstantNode.copyValueOf(Node n,
HashMap clones) |
void |
BinaryLogicalFormula.copyValueOf(Node n,
HashMap clones) |
void |
BelieveNode.copyValueOf(Node n,
HashMap clones) |
void |
AtomicFormula.copyValueOf(Node n,
HashMap clones) |
void |
AnyNode.copyValueOf(Node n,
HashMap clones) |
void |
AndNode.copyValueOf(Node n,
HashMap clones) |
void |
AlternativeActionExpressionNode.copyValueOf(Node n,
HashMap clones) |
void |
AllNode.copyValueOf(Node n,
HashMap clones) |
void |
ActionFormula.copyValueOf(Node n,
HashMap clones) |
void |
ActionExpressionNode.copyValueOf(Node n,
HashMap clones) |
void |
ActionExpression.copyValueOf(Node n,
HashMap clones) |
void |
ActionContentExpressionNode.copyValueOf(Node n,
HashMap clones) |
boolean |
Node.Operations.equals(Node node1,
Node node2) |
void |
Node.Operations.initNode(Node node) |
Formula |
Formula.Operations.instantiate(Formula node,
String varname,
Node expression) |
Term |
Term.instantiate(String varname,
Node expression) |
Formula |
Formula.instantiate(String varname,
Node expression) |
Term |
Term.Operations.instantiate(Term node,
String varname,
Node expression) |
boolean |
NodeFinder.isOk(Node node)
The method called on each node of the list.
|
MatchResult |
Content.Operations.match(Content node,
Node expression) |
MatchResult |
Formula.Operations.match(Formula node,
Node expression) |
MatchResult |
Term.match(Node expression) |
MatchResult |
Formula.match(Node expression) |
MatchResult |
Content.match(Node expression) |
MatchResult |
Term.Operations.match(Term node,
Node expression) |
void |
NodeObserver.nodeChanged(Node node)
The method called when the node has changed.
|
void |
ListOfNodes.remove(Node node)
This method remove a node from the list.
|
void |
Node.replace(int index,
Node node)
This method allow to replace a child of the node.
|
void |
ListOfNodes.replace(int index,
Node node)
This method replace the node at the index position by a nea one.
|
void |
ListOfNodes.replaceAll(Node[] nodes)
This method replace all the nodes contained by the list by new nodes.
|
void |
Content.Operations.setContentElement(Content node,
int i,
Node element) |
void |
Content.setContentElement(int i,
Node element) |
String |
Node.Operations.toString(Node node) |
Constructor and Description |
---|
ListOfNodes(Node[] nodes)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Node |
ContentNodeOperations.getContentElement(Content node,
int i) |
Node |
ContentExpressionNodeOperations.getElement(ContentExpression node) |
Modifier and Type | Method and Description |
---|---|
void |
ContentNodeOperations.addContentElement(Content node,
Node element) |
int |
WordConstantNodeOperations.compare(Node node1,
Node node2) |
int |
SymbolNodeOperations.compare(Node node1,
Node node2) |
int |
StringConstantNodeOperations.compare(Node node1,
Node node2) |
int |
RealConstantNodeOperations.compare(Node node1,
Node node2) |
int |
ParameterNodeOperations.compare(Node node1,
Node node2) |
int |
IntegerConstantOperations.compare(Node node1,
Node node2) |
int |
IntegerConstantNodeOperations.compare(Node node1,
Node node2) |
int |
DefaultNodeOperations.compare(Node node1,
Node node2) |
int |
DateTimeConstantNodeOperations.compare(Node node1,
Node node2) |
int |
ByteConstantNodeOperations.compare(Node node1,
Node node2) |
protected void |
DefaultNodeOperations.doSimplifyNode(Node node) |
boolean |
MetaReferenceNodeOperations.equals(Node node1,
Node node2) |
boolean |
DefaultNodeOperations.equals(Node node1,
Node node2) |
void |
TermSetNodeOperations.initNode(Node node) |
void |
TermSequenceNodeOperations.initNode(Node node) |
void |
TermNodeOperations.initNode(Node node) |
void |
FormulaNodeOperations.initNode(Node node) |
void |
DefaultNodeOperations.initNode(Node node) |
Formula |
FormulaNodeOperations.instantiate(Formula node,
String varname,
Node expression) |
Term |
TermNodeOperations.instantiate(Term node,
String varname,
Node expression) |
Term |
ContentNodeOperations.instantiate(Term node,
String varname,
Node expression) |
MatchResult |
ContentNodeOperations.match(Content node,
Node expression) |
MatchResult |
FormulaNodeOperations.match(Formula node,
Node expression) |
MatchResult |
TermNodeOperations.match(Term node,
Node expression) |
protected ListOfNodes |
DefaultNodeOperations.nodesToSimplify(Node node,
ListOfNodes nodes) |
void |
ContentNodeOperations.setContentElement(Content node,
int i,
Node element) |
String |
DefaultNodeOperations.toString(Node node) |
Modifier and Type | Method and Description |
---|---|
Node |
SLParser.FunctionalTermOrPredicate(int which,
ArrayList variables,
int quantifierIndex) |
Node |
SLParser.MetaVariable(int which) |
Modifier and Type | Method and Description |
---|---|
(package private) void |
SLUnparser._outputMetaReference(Node value,
String name) |
(package private) void |
SLUnparser._outputNoTaggedExp(Node node) |
(package private) void |
SLUnparser._outputTaggedExp(Node node,
String tag) |
void |
SLUnparser.unparse(Node node) |
void |
SLUnparser.unparseTrueSL(Node node) |
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) Node |
SLMatcher._expression1 |
(package private) Node |
SLMatcher._expression2 |
Modifier and Type | Method and Description |
---|---|
private static Node |
SL.get(ArrayList mrefs,
Node mref) |
Node |
MatchResult.getClone() |
private Node |
MatchResult.getMetaReference(String name) |
static Node |
SL.getMetaReferenceValue(Node metaReference) |
static Node |
SL.instantiate(Node expression)
Return a tree representing the instantiated pattern, meaning all meta
variables have been replaced by their value.
|
static Node |
SL.instantiate(Node node,
MatchResult mr)
Instantiates a formula by replacing all metavariables
contained in m by their values.
|
static Node |
SL.instantiate(Node expression,
Object[] varNamesAndValues) |
static Node |
SL.instantiate(Node expression,
String varname,
Node value) |
static Node |
SL.instantiate(Node expression,
String varname1,
Node value1,
String varname2,
Node value2) |
static Node |
SL.instantiate(Node expression,
String varname1,
Node value1,
String varname2,
Node value2,
String varname3,
Node value3) |
static Node |
SL.instantiate(Node expression,
String varname1,
Node value1,
String varname2,
Node value2,
String varname3,
Node value3,
String varname4,
Node value4) |
static Node |
SL.linkSameMetaReferences(Node expr)
This method transforms an SL expression so that all contained metareferences
with same name and same type are refered to by the same java reference.
|
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. |
static Node |
SL.toPattern(Node expression,
Variable x)
This method return a new expression corresponding to the given one in
which all variables equals to
x are replaced by a
meta variable named ??X . |
static Node |
SL.toPattern(Node expression,
Variable x,
String metaname)
This method return a new expression corresponding to the given one in
which all variables equals to
x are replaced by a
meta variable named ??\ . |
Modifier and Type | Method and Description |
---|---|
static void |
SL.clearMetaReferences(Node expression) |
void |
MatchResult.copyValueOf(Node n) |
boolean |
SLEqualizer.doEquals(Node expression1,
Node expression2) |
private void |
SLMatcher.doPatternMatchingOnChildren(Node expression1,
Node expression2) |
private void |
SLMatcher.doPatternMatchingOnMetaReference(Node metaRef,
Node exp,
boolean refIsExpression1)
Try to find another reference with the same type and the same name.
|
boolean |
SLEqualizer.equals(Node expression1,
Node expression2) |
private static Node |
SL.get(ArrayList mrefs,
Node mref) |
static String |
SL.getMetaReferenceName(Node metaReference) |
static Node |
SL.getMetaReferenceValue(Node metaReference) |
static Node |
SL.instantiate(Node expression)
Return a tree representing the instantiated pattern, meaning all meta
variables have been replaced by their value.
|
static Node |
SL.instantiate(Node node,
MatchResult mr)
Instantiates a formula by replacing all metavariables
contained in m by their values.
|
static Node |
SL.instantiate(Node expression,
Object[] varNamesAndValues) |
static Node |
SL.instantiate(Node expression,
String varname,
Node value) |
static Node |
SL.instantiate(Node expression,
String varname1,
Node value1,
String varname2,
Node value2) |
static Node |
SL.instantiate(Node expression,
String varname1,
Node value1,
String varname2,
Node value2,
String varname3,
Node value3) |
static Node |
SL.instantiate(Node expression,
String varname1,
Node value1,
String varname2,
Node value2,
String varname3,
Node value3,
String varname4,
Node value4) |
static boolean |
SL.isMetaReference(Node node)
Return true if the given node is a metareference node
|
static Node |
SL.linkSameMetaReferences(Node expr)
This method transforms an SL expression so that all contained metareferences
with same name and same type are refered to by the same java reference.
|
static void |
SL.linkSameMetaReferences(Node expr,
ArrayList mrefs) |
private static void |
SL.linkSameMetaReferences(Node parent,
Node current,
int index,
ArrayList mrefs) |
MatchResult |
SLMatcher.match(Node expression1,
Node expression2)
Try to match to SL expressions
|
static MatchResult |
SL.match(Node expression1,
Node expression2)
TODO
|
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.
|
(package private) boolean |
SLMatcher.matchExpressions(Node expression1,
Node expression2) |
static void |
SL.removeOptionalParameter(Node node) |
static void |
SL.set(Node expression,
String name,
Node value)
Assigned the value of the named meta variable.
|
boolean |
MatchResult.set(String varName,
Node value)
This method returns true if a MetaVariable has the given varName in the
given MatchResult and if it succeeds in giving it the given value.
|
static void |
SL.setMetaReferenceName(Node metaReference,
String name) |
static void |
SL.setMetaReferenceValue(Node metaReference,
Node value) |
static void |
SL.substituteMetaReferences(Node node) |
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. |
static Node |
SL.toPattern(Node expression,
Variable x)
This method return a new expression corresponding to the given one in
which all variables equals to
x are replaced by a
meta variable named ??X . |
static Node |
SL.toPattern(Node expression,
Variable x,
String metaname)
This method return a new expression corresponding to the given one in
which all variables equals to
x are replaced by a
meta variable named ??\ . |
private static void |
SL.variable2MetaVariable(Node node,
Variable x,
String metavarname) |
Constructor and Description |
---|
LoopingInstantiationException(Node meta,
Node value) |