org.eclipse.palamedes.kif.core.ast
Class KIFSeq<T extends ASTNode>

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractList<E>
          java.util.ArrayList<T>
              org.eclipse.palamedes.kif.core.ast.KIFSeq<T>

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<T>, java.util.Collection<T>, java.util.List<T>, java.util.RandomAccess

public class KIFSeq<T extends ASTNode>
extends java.util.ArrayList<T>

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

KIFSeq()

Method Summary

KIFSeq<T>	clone0(AST ast)
java.lang.String	getInfixNotation()
java.lang.String	getPrefixNotation()
void	replace(T oldChild, java.util.List<T> newChilds)
void	replace(T oldChild, T newChild)
java.lang.String	toString()

Methods inherited from class java.util.ArrayList

add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, lastIndexOf, remove, remove, removeRange, set, size, toArray, toArray, trimToSize

Methods inherited from class java.util.AbstractList

equals, hashCode, iterator, listIterator, listIterator, subList

Methods inherited from class java.util.AbstractCollection

containsAll, removeAll, retainAll

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

containsAll, equals, hashCode, iterator, listIterator, listIterator, removeAll, retainAll, subList

Constructor Detail

KIFSeq

public KIFSeq()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.util.AbstractCollection<T extends ASTNode>

clone0

public KIFSeq<T> clone0(AST ast)

replace

public void replace(T oldChild,
                    T newChild)

replace

public void replace(T oldChild,
                    java.util.List<T> newChilds)

getPrefixNotation

public java.lang.String getPrefixNotation()

Returns:

the prefix form of this term e.g., "f(a,g(1,2))"

getInfixNotation

public java.lang.String getInfixNotation()

Returns:

the infix KIF form of this term e.g., "(f a (g 1 2))"