jade.semantics.lang.sl.grammar

Class TermSet

java.lang.Object

jade.semantics.lang.sl.grammar.Node

jade.semantics.lang.sl.grammar.Term

jade.semantics.lang.sl.grammar.TermSet

All Implemented Interfaces:

Comparable

Direct Known Subclasses:

TermSetNode

public abstract class TermSet
extends Term

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	TermSet.Operations

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static int	_as_terms
static int	as_terms_ID
static Integer	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
TermSet(int capacity, ListOfTerm as_terms)

Method Summary

Modifier and Type	Method and Description
void	addTerm(Term term)
ListOfTerm	as_terms()
void	as_terms(ListOfTerm s)
void	copyValueOf(Node n, HashMap clones)
Object	getAttribute(int attrname)
int	getClassID() This method return the dynamic class ID of the node.
Node.Operations	getOperations() This method returns the object implementing the operations associated to this node.
Term	getTerm(int i)
boolean	hasAttribute(int attrname)
void	removeTerm(Term term)
void	setAttribute(int attrname, Object attrvalue)
int	size()

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

accept, addObserver, addOperations, children, childrenAccept, childrenOfKind, childrenOfKind, childrenOfKind, compare, compareTo, copyValueOf, dofind, dump, equals, find, find, find, find, getAttribute, getClone, 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

_as_terms

static int _as_terms

as_terms_ID

public static int as_terms_ID

Constructor Detail

TermSet

public TermSet(int capacity,
               ListOfTerm as_terms)

Method Detail

addTerm

public void addTerm(Term term)

removeTerm

public void removeTerm(Term term)

getTerm

public Term getTerm(int i)

size

public int size()

getClassID

public 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 Term

copyValueOf

public void copyValueOf(Node n,
                        HashMap clones)

Overrides:

copyValueOf in class Term

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 Term

Returns:

the object implementing the operations of this node.

as_terms

public ListOfTerm as_terms()

as_terms

public void as_terms(ListOfTerm s)

hasAttribute

public boolean hasAttribute(int attrname)

Overrides:

hasAttribute in class Term

getAttribute

public Object getAttribute(int attrname)

Overrides:

getAttribute in class Term

setAttribute

public void setAttribute(int attrname,
                         Object attrvalue)

Overrides:

setAttribute in class Term