SLMatcher

java.lang.Object
- jade.semantics.lang.sl.grammar.VisitorBase
- - jade.semantics.lang.sl.tools.SLMatcher

All Implemented Interfaces:

Visitor
```
public class SLMatcher
extends VisitorBase
```
This class implement a SL pattern matcher.

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

(package private) static class SLMatcher.VariableMappings

Nested Classes
Modifier and Type	Class and Description
`(package private) static class`	`SLMatcher.VariableMappings`

Field Summary

Fields
Modifier and Type	Field and Description
`(package private) Node`	`_expression1`
`(package private) Node`	`_expression2`
`(package private) ListOfNodes`	`_firstAndResidue`
`(package private) ListOfNodes`	`_firstOrResidue`
`(package private) boolean`	`_match`
`(package private) MatchResult`	`_metaReferences1`
`(package private) MatchResult`	`_metaReferences2`
`(package private) ListOfNodes`	`_secondAndResidue`
`(package private) ListOfNodes`	`_secondOrResidue`
`(package private) SLMatcher.VariableMappings`	`_variables`

Constructor Summary

Constructors
Constructor and Description

SLMatcher()

Constructors
Constructor and Description
`SLMatcher()`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`private boolean`	`analyze(ListOfNodes ref, ListOfNodes other, int type, boolean refIsExpression1)` Returns true if the two lists given in parameter matches, false if not.
`private Formula`	`buildAndNode(ListOfNodes l)` Tries to return a AndNode built with the Formulae of the given list.
`private Formula`	`buildOrNode(ListOfNodes l)` Tries to return a OrNode built with the Formulae of the given list.
`private Formula`	`createEndAndNode(ListOfNodes l)` Creates an And Formula with the nodes of the list.
`private Formula`	`createEndOrNode(ListOfNodes l)` Creates an Or Formula with the nodes of the list.
`private void`	`doPatternMatchingOnChildren(Node expression1, Node expression2)`
`private void`	`doPatternMatchingOnMetaReference(Node metaRef, Node exp, boolean refIsExpression1)` Try to find another reference with the same type and the same name.
`private void`	`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`	`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`	`getList(OrNode n, ListOfNodes l)` Extracts all the elements of a OrNode and puts them into the list of nodes given in parameter.
`MatchResult`	`match(Node expression1, Node expression2)` Try to match to SL expressions
`private boolean`	`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`	`matchExpressions(Node expression1, Node expression2)`
`private int`	`partition(ListOfNodes l, int begin, int end)` Returns the index of the pivot in the given list.
`private void`	`quickSort(ListOfNodes l)` Sorts the list given in parameter.
`private void`	`quickSort(ListOfNodes l, int beg, int end)` Sort the nodes of the given list using the compare method of each kind of nodes.
`private Formula`	`sort(Formula node)` If the given formula is a OrNode or a AndNode, this method returns sorts the formula and returns the sorted formula.
`void`	`visitActionContentExpressionNode(ActionContentExpressionNode node)`
`void`	`visitActionExpressionNode(ActionExpressionNode node)`
`void`	`visitAllNode(AllNode node)`
`void`	`visitAlternativeActionExpressionNode(AlternativeActionExpressionNode node)`
`void`	`visitAndNode(AndNode node)`
`void`	`visitAnyNode(AnyNode node)`
`void`	`visitBelieveNode(BelieveNode node)`
`void`	`visitByteConstantNode(ByteConstantNode node)`
`void`	`visitContentNode(ContentNode node)`
`void`	`visitCountAsNode(CountAsNode node)`
`void`	`visitDateTimeConstantNode(DateTimeConstantNode node)`
`void`	`visitDoneNode(DoneNode node)`
`void`	`visitEqualsNode(EqualsNode node)`
`void`	`visitEquivNode(EquivNode node)`
`void`	`visitExistsNode(ExistsNode node)`
`void`	`visitFactNode(FactNode node)`
`void`	`visitFalseNode(FalseNode node)`
`void`	`visitFeasibleNode(FeasibleNode node)`
`void`	`visitForallNode(ForallNode node)`
`void`	`visitFormulaContentExpressionNode(FormulaContentExpressionNode node)`
`void`	`visitFunctionalTermNode(FunctionalTermNode node)`
`void`	`visitFunctionalTermParamNode(FunctionalTermParamNode node)`
`void`	`visitIdentifyingContentExpressionNode(IdentifyingContentExpressionNode node)`
`void`	`visitImpliesNode(ImpliesNode node)`
`void`	`visitInstitutionalFactNode(InstitutionalFactNode node)`
`void`	`visitIntegerConstantNode(IntegerConstantNode node)`
`void`	`visitIntentionNode(IntentionNode node)`
`void`	`visitIotaNode(IotaNode node)`
`void`	`visitListOfContentExpression(ListOfContentExpression node)`
`void`	`visitListOfParameter(ListOfParameter node)`
`void`	`visitListOfTerm(ListOfTerm node)`
`void`	`visitMetaContentExpressionReferenceNode(MetaContentExpressionReferenceNode node)`
`void`	`visitMetaFormulaReferenceNode(MetaFormulaReferenceNode node)`
`void`	`visitMetaSymbolReferenceNode(MetaSymbolReferenceNode node)`
`void`	`visitMetaTermReferenceNode(MetaTermReferenceNode node)`
`void`	`visitMetaVariableReferenceNode(MetaVariableReferenceNode node)`
`void`	`visitNotNode(NotNode node)`
`void`	`visitObligationNode(ObligationNode node)`
`void`	`visitOrNode(OrNode node)`
`void`	`visitParameterNode(ParameterNode node)`
`void`	`visitPersistentGoalNode(PersistentGoalNode node)`
`void`	`visitPredicateNode(PredicateNode node)`
`void`	`visitPropositionSymbolNode(PropositionSymbolNode node)`
`void`	`visitRealConstantNode(RealConstantNode node)`
`void`	`visitRelativeTimeConstantNode(RelativeTimeConstantNode node)`
`void`	`visitResultNode(ResultNode node)`
`void`	`visitSequenceActionExpressionNode(SequenceActionExpressionNode node)`
`void`	`visitSomeNode(SomeNode node)`
`void`	`visitStringConstantNode(StringConstantNode node)`
`void`	`visitSymbolNode(SymbolNode node)`
`void`	`visitTermSequenceNode(TermSequenceNode node)`
`void`	`visitTermSetNode(TermSetNode node)`
`void`	`visitTrueNode(TrueNode node)`
`void`	`visitUncertaintyNode(UncertaintyNode node)`
`void`	`visitVariableNode(VariableNode node)`
`void`	`visitWordConstantNode(WordConstantNode node)`

Methods inherited from class jade.semantics.lang.sl.grammar.VisitorBase
visitListOfFormula, visitListOfVariable

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - _expression1
```
Node _expression1
```
  - _expression2
```
Node _expression2
```
  - _match
```
boolean _match
```
  - _metaReferences1
```
MatchResult _metaReferences1
```
  - _metaReferences2
```
MatchResult _metaReferences2
```
  - _variables
```
SLMatcher.VariableMappings _variables
```
  - _firstAndResidue
```
ListOfNodes _firstAndResidue
```
  - _secondAndResidue
```
ListOfNodes _secondAndResidue
```
  - _firstOrResidue
```
ListOfNodes _firstOrResidue
```
  - _secondOrResidue
```
ListOfNodes _secondOrResidue
```
- Constructor Detail
  - SLMatcher
```
public SLMatcher()
```
- Method Detail
  - match
```
public MatchResult match(Node expression1,
                         Node expression2)
```
    Try to match to SL expressions
    
    Parameters:
    
    expression1 - a SL expression
    
    expression2 - another SL expression
    
    Returns:
    
    null if the 2 expressions doesn't match, or a MatchResult otherwise
  - match
```
private boolean 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.
    
    Parameters:
    
    expression1 -
    
    expression2 -
    
    metaReferences1 -
    
    firstList -
    
    secondList -
    
    firstOrResidue -
    
    secondOrResidue -
    
    Returns:
  - analyze
```
private boolean analyze(ListOfNodes ref,
                        ListOfNodes other,
                        int type,
                        boolean refIsExpression1)
```
    Returns true if the two lists given in parameter matches, false if not.
    
    Parameters:
    
    ref - the reference list
    
    other - the other list
    
    type - 0 for an AndNode, 1 for an OrNode
  - createEndAndNode
```
private Formula createEndAndNode(ListOfNodes l)
```
    Creates an And Formula with the nodes of the list. If the list contains only one node, this one is returned. The list given in parameter is cleared.
    
    Parameters:
    
    l - a list of nodes
    
    Returns:
    
    a formula that is an AndNode formula if the list size if at least 2, or the node in the list if the size equals 1, or null if the list is empty.
  - createEndOrNode
```
private Formula createEndOrNode(ListOfNodes l)
```
    Creates an Or Formula with the nodes of the list. If the list contains only one node, this one is returned. The list given in parameter is cleared.
    
    Parameters:
    
    l - a list of nodes
    
    Returns:
    
    a formula that is an OrNode formula if the list size if at least 2, or the node in the list if the size equals 1, or null if the list is empty.
  - quickSort
```
private void quickSort(ListOfNodes l)
```
    Sorts the list given in parameter. The comparison between nodes is used to sort the list.
    
    Parameters:
    
    l - the list of nodes to be sorted
  - partition
```
private int partition(ListOfNodes l,
                      int begin,
                      int end)
```
    Returns the index of the pivot in the given list.
    
    Parameters:
    
    l - a list to be sorted
    
    begin - the beginning index
    
    end - the ending index
    
    Returns:
    
    the index of the pivot in the given list.
  - exchange
```
private void exchange(ListOfNodes l,
                      int i,
                      int j)
```
    Permutes the node at index i and the node at index j in the list l.
    
    Parameters:
    
    l - a list of nodes
    
    i - an index in the list
    
    j - an index in the list
  - quickSort
```
private void quickSort(ListOfNodes l,
                       int beg,
                       int end)
```
    Sort the nodes of the given list using the compare method of each kind of nodes.
    
    Parameters:
    
    l - the list to be sorted
    
    beg - the beginning index in the list to sort
    
    end - the ending index in the list to sort
  - getList
```
private void getList(AndNode n,
                     ListOfNodes l)
```
    Extracts all the elements of a AndNode and puts them into the list of nodes given in parameter.
    
    Parameters:
    
    n - an AndNode
    
    l - the resulting list of nodes
  - getList
```
private void getList(OrNode n,
                     ListOfNodes l)
```
    Extracts all the elements of a OrNode and puts them into the list of nodes given in parameter.
    
    Parameters:
    
    n - an OrNode
    
    l - the resulting list of nodes
  - sort
```
private Formula sort(Formula node)
```
    If the given formula is a OrNode or a AndNode, this method returns sorts the formula and returns the sorted formula. If not, returns the same formula.
    
    Parameters:
    
    node - a formula to be sorted
    
    Returns:
    
    a sorted formula.
  - buildAndNode
```
private Formula buildAndNode(ListOfNodes l)
```
    Tries to return a AndNode built with the Formulae of the given list. If the size of the list equals 1, it returns the only formula of the list. If the size of the list equals 0 or if the list is null, returns null. Else, it returns an AndFormula.
    
    Parameters:
    
    l - a list of formulae
    
    Returns:
    
    a AndNode built with the Formulae of the given list, or a Formula, or null.
  - buildOrNode
```
private Formula buildOrNode(ListOfNodes l)
```
    Tries to return a OrNode built with the Formulae of the given list. If the size of the list equals 1, it returns the only formula of the list. If the size of the list equals 0 or if the list is null, returns null. Else, it returns an OrFormula.
    
    Parameters:
    
    l - a list of formulae
    
    Returns:
    
    a OrNode built with the Formulae of the given list, or a Formula, or null.
  - doPatternMatchingOnChildren
```
private void doPatternMatchingOnChildren(Node expression1,
                                         Node expression2)
```
    Parameters:
    
    expression1 -
    
    expression2 -
  - matchExpressions
```
boolean matchExpressions(Node expression1,
                         Node expression2)
```
    Parameters:
    
    expression1 -
    
    expression2 -
    
    Returns:
  - doPatternMatchingOnMetaReference
```
private void doPatternMatchingOnMetaReference(Node metaRef,
                                              Node exp,
                                              boolean refIsExpression1)
```
    Try to find another reference with the same type and the same name. If found then If the two meta references match then assign the new one with the value of the other one. Else _match is set to false. Else _match is set to true, the new meta reference value is exp, and the new meta reference is stored.
    
    Parameters:
    
    metaRef -
    
    exp -
    
    refIsExpression1 - TODO
  - visitMetaFormulaReferenceNode
```
public void visitMetaFormulaReferenceNode(MetaFormulaReferenceNode node)
```
    Specified by:
    
    visitMetaFormulaReferenceNode in interface Visitor
    
    Overrides:
    
    visitMetaFormulaReferenceNode in class VisitorBase
  - visitMetaSymbolReferenceNode
```
public void visitMetaSymbolReferenceNode(MetaSymbolReferenceNode node)
```
    Specified by:
    
    visitMetaSymbolReferenceNode in interface Visitor
    
    Overrides:
    
    visitMetaSymbolReferenceNode in class VisitorBase
  - visitMetaVariableReferenceNode
```
public void visitMetaVariableReferenceNode(MetaVariableReferenceNode node)
```
    Specified by:
    
    visitMetaVariableReferenceNode in interface Visitor
    
    Overrides:
    
    visitMetaVariableReferenceNode in class VisitorBase
  - visitMetaTermReferenceNode
```
public void visitMetaTermReferenceNode(MetaTermReferenceNode node)
```
    Specified by:
    
    visitMetaTermReferenceNode in interface Visitor
    
    Overrides:
    
    visitMetaTermReferenceNode in class VisitorBase
  - visitMetaContentExpressionReferenceNode
```
public void visitMetaContentExpressionReferenceNode(MetaContentExpressionReferenceNode node)
```
    Specified by:
    
    visitMetaContentExpressionReferenceNode in interface Visitor
    
    Overrides:
    
    visitMetaContentExpressionReferenceNode in class VisitorBase
  - visitVariableNode
```
public void visitVariableNode(VariableNode node)
```
    Specified by:
    
    visitVariableNode in interface Visitor
    
    Overrides:
    
    visitVariableNode in class VisitorBase
  - visitIntegerConstantNode
```
public void visitIntegerConstantNode(IntegerConstantNode node)
```
    Specified by:
    
    visitIntegerConstantNode in interface Visitor
    
    Overrides:
    
    visitIntegerConstantNode in class VisitorBase
  - visitRelativeTimeConstantNode
```
public void visitRelativeTimeConstantNode(RelativeTimeConstantNode node)
```
    Specified by:
    
    visitRelativeTimeConstantNode in interface Visitor
    
    Overrides:
    
    visitRelativeTimeConstantNode in class VisitorBase
    
    See Also:
    
    VisitorBase.visitRelativeTimeConstantNode(jade.semantics.lang.sl.grammar.RelativeTimeConstantNode)
  - visitRealConstantNode
```
public void visitRealConstantNode(RealConstantNode node)
```
    Specified by:
    
    visitRealConstantNode in interface Visitor
    
    Overrides:
    
    visitRealConstantNode in class VisitorBase
  - visitStringConstantNode
```
public void visitStringConstantNode(StringConstantNode node)
```
    Specified by:
    
    visitStringConstantNode in interface Visitor
    
    Overrides:
    
    visitStringConstantNode in class VisitorBase
  - visitWordConstantNode
```
public void visitWordConstantNode(WordConstantNode node)
```
    Specified by:
    
    visitWordConstantNode in interface Visitor
    
    Overrides:
    
    visitWordConstantNode in class VisitorBase
  - visitByteConstantNode
```
public void visitByteConstantNode(ByteConstantNode node)
```
    Specified by:
    
    visitByteConstantNode in interface Visitor
    
    Overrides:
    
    visitByteConstantNode in class VisitorBase
  - visitDateTimeConstantNode
```
public void visitDateTimeConstantNode(DateTimeConstantNode node)
```
    Specified by:
    
    visitDateTimeConstantNode in interface Visitor
    
    Overrides:
    
    visitDateTimeConstantNode in class VisitorBase
  - visitSymbolNode
```
public void visitSymbolNode(SymbolNode node)
```
    Specified by:
    
    visitSymbolNode in interface Visitor
    
    Overrides:
    
    visitSymbolNode in class VisitorBase
  - visitParameterNode
```
public void visitParameterNode(ParameterNode node)
```
    Specified by:
    
    visitParameterNode in interface Visitor
    
    Overrides:
    
    visitParameterNode in class VisitorBase
  - visitTrueNode
```
public void visitTrueNode(TrueNode node)
```
    Specified by:
    
    visitTrueNode in interface Visitor
    
    Overrides:
    
    visitTrueNode in class VisitorBase
  - visitFalseNode
```
public void visitFalseNode(FalseNode node)
```
    Specified by:
    
    visitFalseNode in interface Visitor
    
    Overrides:
    
    visitFalseNode in class VisitorBase
  - visitListOfContentExpression
```
public void visitListOfContentExpression(ListOfContentExpression node)
```
    Specified by:
    
    visitListOfContentExpression in interface Visitor
    
    Overrides:
    
    visitListOfContentExpression in class VisitorBase
  - visitListOfTerm
```
public void visitListOfTerm(ListOfTerm node)
```
    Specified by:
    
    visitListOfTerm in interface Visitor
    
    Overrides:
    
    visitListOfTerm in class VisitorBase
  - visitListOfParameter
```
public void visitListOfParameter(ListOfParameter node)
```
    Specified by:
    
    visitListOfParameter in interface Visitor
    
    Overrides:
    
    visitListOfParameter in class VisitorBase
  - visitContentNode
```
public void visitContentNode(ContentNode node)
```
    Specified by:
    
    visitContentNode in interface Visitor
    
    Overrides:
    
    visitContentNode in class VisitorBase
  - visitActionContentExpressionNode
```
public void visitActionContentExpressionNode(ActionContentExpressionNode node)
```
    Specified by:
    
    visitActionContentExpressionNode in interface Visitor
    
    Overrides:
    
    visitActionContentExpressionNode in class VisitorBase
  - visitFormulaContentExpressionNode
```
public void visitFormulaContentExpressionNode(FormulaContentExpressionNode node)
```
    Specified by:
    
    visitFormulaContentExpressionNode in interface Visitor
    
    Overrides:
    
    visitFormulaContentExpressionNode in class VisitorBase
  - visitIdentifyingContentExpressionNode
```
public void visitIdentifyingContentExpressionNode(IdentifyingContentExpressionNode node)
```
    Specified by:
    
    visitIdentifyingContentExpressionNode in interface Visitor
    
    Overrides:
    
    visitIdentifyingContentExpressionNode in class VisitorBase
  - visitActionExpressionNode
```
public void visitActionExpressionNode(ActionExpressionNode node)
```
    Specified by:
    
    visitActionExpressionNode in interface Visitor
    
    Overrides:
    
    visitActionExpressionNode in class VisitorBase
  - visitAlternativeActionExpressionNode
```
public void visitAlternativeActionExpressionNode(AlternativeActionExpressionNode node)
```
    Specified by:
    
    visitAlternativeActionExpressionNode in interface Visitor
    
    Overrides:
    
    visitAlternativeActionExpressionNode in class VisitorBase
  - visitSequenceActionExpressionNode
```
public void visitSequenceActionExpressionNode(SequenceActionExpressionNode node)
```
    Specified by:
    
    visitSequenceActionExpressionNode in interface Visitor
    
    Overrides:
    
    visitSequenceActionExpressionNode in class VisitorBase
  - visitPropositionSymbolNode
```
public void visitPropositionSymbolNode(PropositionSymbolNode node)
```
    Specified by:
    
    visitPropositionSymbolNode in interface Visitor
    
    Overrides:
    
    visitPropositionSymbolNode in class VisitorBase
  - visitResultNode
```
public void visitResultNode(ResultNode node)
```
    Specified by:
    
    visitResultNode in interface Visitor
    
    Overrides:
    
    visitResultNode in class VisitorBase
  - visitPredicateNode
```
public void visitPredicateNode(PredicateNode node)
```
    Specified by:
    
    visitPredicateNode in interface Visitor
    
    Overrides:
    
    visitPredicateNode in class VisitorBase
  - visitEqualsNode
```
public void visitEqualsNode(EqualsNode node)
```
    Specified by:
    
    visitEqualsNode in interface Visitor
    
    Overrides:
    
    visitEqualsNode in class VisitorBase
  - visitDoneNode
```
public void visitDoneNode(DoneNode node)
```
    Specified by:
    
    visitDoneNode in interface Visitor
    
    Overrides:
    
    visitDoneNode in class VisitorBase
  - visitFeasibleNode
```
public void visitFeasibleNode(FeasibleNode node)
```
    Specified by:
    
    visitFeasibleNode in interface Visitor
    
    Overrides:
    
    visitFeasibleNode in class VisitorBase
  - visitNotNode
```
public void visitNotNode(NotNode node)
```
    Specified by:
    
    visitNotNode in interface Visitor
    
    Overrides:
    
    visitNotNode in class VisitorBase
  - visitAndNode
```
public void visitAndNode(AndNode node)
```
    Specified by:
    
    visitAndNode in interface Visitor
    
    Overrides:
    
    visitAndNode in class VisitorBase
  - visitOrNode
```
public void visitOrNode(OrNode node)
```
    Specified by:
    
    visitOrNode in interface Visitor
    
    Overrides:
    
    visitOrNode in class VisitorBase
  - visitImpliesNode
```
public void visitImpliesNode(ImpliesNode node)
```
    Specified by:
    
    visitImpliesNode in interface Visitor
    
    Overrides:
    
    visitImpliesNode in class VisitorBase
  - visitEquivNode
```
public void visitEquivNode(EquivNode node)
```
    Specified by:
    
    visitEquivNode in interface Visitor
    
    Overrides:
    
    visitEquivNode in class VisitorBase
  - visitForallNode
```
public void visitForallNode(ForallNode node)
```
    Specified by:
    
    visitForallNode in interface Visitor
    
    Overrides:
    
    visitForallNode in class VisitorBase
  - visitExistsNode
```
public void visitExistsNode(ExistsNode node)
```
    Specified by:
    
    visitExistsNode in interface Visitor
    
    Overrides:
    
    visitExistsNode in class VisitorBase
  - visitObligationNode
```
public void visitObligationNode(ObligationNode node)
```
    Specified by:
    
    visitObligationNode in interface Visitor
    
    Overrides:
    
    visitObligationNode in class VisitorBase
  - visitCountAsNode
```
public void visitCountAsNode(CountAsNode node)
```
    Specified by:
    
    visitCountAsNode in interface Visitor
    
    Overrides:
    
    visitCountAsNode in class VisitorBase
  - visitInstitutionalFactNode
```
public void visitInstitutionalFactNode(InstitutionalFactNode node)
```
    Specified by:
    
    visitInstitutionalFactNode in interface Visitor
    
    Overrides:
    
    visitInstitutionalFactNode in class VisitorBase
  - visitBelieveNode
```
public void visitBelieveNode(BelieveNode node)
```
    Specified by:
    
    visitBelieveNode in interface Visitor
    
    Overrides:
    
    visitBelieveNode in class VisitorBase
  - visitUncertaintyNode
```
public void visitUncertaintyNode(UncertaintyNode node)
```
    Specified by:
    
    visitUncertaintyNode in interface Visitor
    
    Overrides:
    
    visitUncertaintyNode in class VisitorBase
  - visitIntentionNode
```
public void visitIntentionNode(IntentionNode node)
```
    Specified by:
    
    visitIntentionNode in interface Visitor
    
    Overrides:
    
    visitIntentionNode in class VisitorBase
  - visitPersistentGoalNode
```
public void visitPersistentGoalNode(PersistentGoalNode node)
```
    Specified by:
    
    visitPersistentGoalNode in interface Visitor
    
    Overrides:
    
    visitPersistentGoalNode in class VisitorBase
  - visitFactNode
```
public void visitFactNode(FactNode node)
```
    Specified by:
    
    visitFactNode in interface Visitor
    
    Overrides:
    
    visitFactNode in class VisitorBase
  - visitTermSetNode
```
public void visitTermSetNode(TermSetNode node)
```
    Specified by:
    
    visitTermSetNode in interface Visitor
    
    Overrides:
    
    visitTermSetNode in class VisitorBase
  - visitTermSequenceNode
```
public void visitTermSequenceNode(TermSequenceNode node)
```
    Specified by:
    
    visitTermSequenceNode in interface Visitor
    
    Overrides:
    
    visitTermSequenceNode in class VisitorBase
  - visitFunctionalTermNode
```
public void visitFunctionalTermNode(FunctionalTermNode node)
```
    Specified by:
    
    visitFunctionalTermNode in interface Visitor
    
    Overrides:
    
    visitFunctionalTermNode in class VisitorBase
  - visitFunctionalTermParamNode
```
public void visitFunctionalTermParamNode(FunctionalTermParamNode node)
```
    Specified by:
    
    visitFunctionalTermParamNode in interface Visitor
    
    Overrides:
    
    visitFunctionalTermParamNode in class VisitorBase
  - visitAnyNode
```
public void visitAnyNode(AnyNode node)
```
    Specified by:
    
    visitAnyNode in interface Visitor
    
    Overrides:
    
    visitAnyNode in class VisitorBase
  - visitSomeNode
```
public void visitSomeNode(SomeNode node)
```
    Specified by:
    
    visitSomeNode in interface Visitor
    
    Overrides:
    
    visitSomeNode in class VisitorBase
  - visitIotaNode
```
public void visitIotaNode(IotaNode node)
```
    Specified by:
    
    visitIotaNode in interface Visitor
    
    Overrides:
    
    visitIotaNode in class VisitorBase
  - visitAllNode
```
public void visitAllNode(AllNode node)
```
    Specified by:
    
    visitAllNode in interface Visitor
    
    Overrides:
    
    visitAllNode in class VisitorBase

Class SLMatcher

Nested Class Summary

Field Summary

Constructor Summary

Method Summary

Methods inherited from class jade.semantics.lang.sl.grammar.VisitorBase

Methods inherited from class java.lang.Object

Field Detail

_expression1

_expression2

_match

_metaReferences1

_metaReferences2

_variables

_firstAndResidue

_secondAndResidue

_firstOrResidue

_secondOrResidue

Constructor Detail

SLMatcher

Method Detail

match

match

analyze

createEndAndNode

createEndOrNode

quickSort

partition

exchange

quickSort

getList

getList

sort

buildAndNode

buildOrNode

doPatternMatchingOnChildren

matchExpressions

doPatternMatchingOnMetaReference

visitMetaFormulaReferenceNode

visitMetaSymbolReferenceNode

visitMetaVariableReferenceNode

visitMetaTermReferenceNode

visitMetaContentExpressionReferenceNode

visitVariableNode

visitIntegerConstantNode

visitRelativeTimeConstantNode

visitRealConstantNode

visitStringConstantNode

visitWordConstantNode

visitByteConstantNode

visitDateTimeConstantNode

visitSymbolNode

visitParameterNode

visitTrueNode

visitFalseNode

visitListOfContentExpression

visitListOfTerm

visitListOfParameter

visitContentNode

visitActionContentExpressionNode

visitFormulaContentExpressionNode

visitIdentifyingContentExpressionNode

visitActionExpressionNode

visitAlternativeActionExpressionNode

visitSequenceActionExpressionNode

visitPropositionSymbolNode

visitResultNode

visitPredicateNode

visitEqualsNode

visitDoneNode

visitFeasibleNode

visitNotNode

visitAndNode

visitOrNode

visitImpliesNode

visitEquivNode

visitForallNode

visitExistsNode

visitObligationNode

visitCountAsNode