jade.semantics.lang.sl.grammar

Class ListOfFormula

java.lang.Object

jade.semantics.lang.sl.grammar.Node

jade.semantics.lang.sl.grammar.ListOfNodes

jade.semantics.lang.sl.grammar.ListOfFormula

All Implemented Interfaces:

Comparable

public class ListOfFormula
extends ListOfNodes

Nested Class Summary

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

Node.Operations

Field Summary

Fields

Modifier and Type	Field and Description
static Integer	ID

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

_nodesList

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

_nodes, _observers, _operations, _thisoperations

Constructor Summary

Constructors

Constructor and Description
ListOfFormula()
ListOfFormula(Formula[] nodes)

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	append(Formula e)
Formula	element(int i)
Formula	first()
int	getClassID() This method return the dynamic class ID of the node.
Node	getClone(HashMap clones) This method return a clone of the list.
Node.Operations	getOperations() This method returns the object implementing the operations associated to this node.
Formula	last()
void	prepend(Formula e)

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

add, add, addAll, addAll, addAll, asACollection, asAList, children, childrenAccept, childrenOfKind, contains, copyValueOf, dofind, dump, find, get, getFirst, getLast, isEmpty, iterator, remove, remove, removeAll, replace, replaceAll, replaceAll, size, sort, toString

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

addObserver, addOperations, childrenOfKind, childrenOfKind, compare, compareTo, copyValueOf, equals, find, find, find, find, getAttribute, getAttribute, getClone, hasAttribute, hasAttribute, initNode, installOperations, notifyChanges, removeObserver, setAttribute, setAttribute

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

ListOfFormula

public ListOfFormula(Formula[] nodes)

ListOfFormula

public ListOfFormula()

Method Detail

getClassID

public int getClassID()

Description copied from class: ListOfNodes

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 ListOfNodes

element

public Formula element(int i)

append

public void append(Formula e)

prepend

public void prepend(Formula e)

last

public Formula last()

first

public Formula first()

accept

public void accept(Visitor visitor)

Description copied from class: ListOfNodes

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

Overrides:

accept in class ListOfNodes

Parameters:

visitor - the visitor to apply on the list.

getClone

public Node getClone(HashMap clones)

Description copied from class: ListOfNodes

This method return a clone of the list.

Overrides:

getClone in class ListOfNodes

Returns:

a new recreated graph.

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 Node

Returns:

the object implementing the operations of this node.