Interpreter.PrologInterpreter
Class ClauseVector

java.lang.Object
  |
  +--java.util.AbstractCollection
        |
        +--java.util.AbstractList
              |
              +--java.util.Vector
                    |
                    +--Interpreter.PrologInterpreter.ClauseVector

public class ClauseVector

extends java.util.Vector

La classe ClauseVector è identica alla classe java.util.Vector. L'unica cosa diversa è la stampa (toString).

See Also:

Serialized Form

Fields inherited from class java.util.Vector

capacityIncrement, elementCount, elementData

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

ClauseVector()
Costruisce una nuova ClauseVector.

ClauseVector(java.util.Collection c)
Costruisce una nuova ClauseVector inserendo gli elementi della collezione c.

Method Summary

java.lang.String

toString() Stampa gli elementi del vettore ognuno su una linea distinta.

Methods inherited from class java.util.Vector

add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, trimToSize

Methods inherited from class java.util.AbstractList

iterator, listIterator, listIterator

Methods inherited from class java.lang.Object

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

Constructor Detail

ClauseVector

public ClauseVector()

Costruisce una nuova ClauseVector.

ClauseVector

public ClauseVector(java.util.Collection c)

Costruisce una nuova ClauseVector inserendo gli elementi della collezione c.

Method Detail

toString

public java.lang.String toString()

Stampa gli elementi del vettore ognuno su una linea distinta. Non vengono stampati gli elementi null. Se il vettore contiene almeno un elemento diverso da null, il primo carattere stampato è un '\n', cioè la stampa parte da una nuova linea.

Overrides:

toString in class java.util.Vector