jade.semantics.lang.sl.grammar

Class SomeNode

java.lang.Object

jade.semantics.lang.sl.grammar.Node

jade.semantics.lang.sl.grammar.Term

jade.semantics.lang.sl.grammar.IdentifyingExpression

jade.semantics.lang.sl.grammar.SomeNode

All Implemented Interfaces:

Comparable

public class SomeNode
extends IdentifyingExpression

Nested Class Summary

Nested classes/interfaces inherited from class jade.semantics.lang.sl.grammar.Term

Term.Operations

Field Summary

Fields

Modifier and Type	Field and Description
static Integer	ID

Fields inherited from class jade.semantics.lang.sl.grammar.IdentifyingExpression

_as_formula, _as_term, as_formula_ID, as_term_ID

Fields inherited from class jade.semantics.lang.sl.grammar.Term

_sm_simplified_term, sm_simplified_term_ID

Fields inherited from class jade.semantics.lang.sl.grammar.Node

_nodes, _observers, _operations, _thisoperations

Constructor Summary

Constructors

Constructor and Description
SomeNode()
SomeNode(Term as_term, Formula as_formula)

Method Summary

Modifier and Type	Method and Description
void	accept(Visitor visitor) This method is part of the implementation of the visitor design pattern.
void	copyValueOf(Node n, HashMap clones)
int	getClassID() This method return the dynamic class ID of the node.
Node	getClone(HashMap clones)
Node.Operations	getOperations() This method returns the object implementing the operations associated to this node.

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

as_formula, as_formula, as_term, as_term, getAttribute, hasAttribute, setAttribute

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

getSimplifiedTerm, instantiate, match, simplify, sm_simplified_term, sm_simplified_term

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

addObserver, addOperations, children, childrenAccept, childrenOfKind, childrenOfKind, childrenOfKind, compare, compareTo, copyValueOf, dofind, dump, equals, find, find, find, find, getAttribute, getClone, hasAttribute, initNode, installOperations, notifyChanges, removeObserver, replace, setAttribute, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

ID

public static Integer ID

Constructor Detail

SomeNode

public SomeNode(Term as_term,
                Formula as_formula)

SomeNode

public SomeNode()

Method Detail

getClassID

public final int getClassID()

Description copied from class: Node

This method return the dynamic class ID of the node. It is the same for all nodes of the same type. This method which is automatically redefined according the declaration rank of the corresponding operator in the grammar.

Overrides:

getClassID in class IdentifyingExpression

accept

public void accept(Visitor visitor)

Description copied from class: Node

This method is part of the implementation of the visitor design pattern.

Specified by:

accept in class Node

Parameters:

visitor - the visitor to apply on this node.

getClone

public Node getClone(HashMap clones)

Specified by:

getClone in class Node

copyValueOf

public void copyValueOf(Node n,
                        HashMap clones)

Overrides:

copyValueOf in class IdentifyingExpression

getOperations

public Node.Operations getOperations()

Description copied from class: Node

This method returns the object implementing the operations associated to this node.

Overrides:

getOperations in class IdentifyingExpression

Returns:

the object implementing the operations of this node.