standup.unify
Class UnifiableList

java.lang.Object
  standup.unify.UnifiableList

All Implemented Interfaces:

Unifiable

Direct Known Subclasses:

UnifiableListVar

public class UnifiableList
extends Object
implements Unifiable

Represents a unifiable list.

Author:

Ruli Manurung

Field Summary

protected List<? extends Unifiable>

elements

Constructor Summary

UnifiableList(List<? extends Unifiable> els)

UnifiableList(UnifiableList els)

Method Summary

UnifiableList	duplicate() Returns a deep copy of this UnifiableList.
boolean	equals(Object obj)
(package private) Unifiable	first()
Unifiable	get(int idx)
Iterator<? extends Unifiable>	getIterator()
int	hashCode()
(package private) UnifiableList	rest()
int	size()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

elements

protected List<? extends Unifiable> elements

Constructor Detail

UnifiableList

public UnifiableList(List<? extends Unifiable> els)

UnifiableList

UnifiableList(UnifiableList els)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

size

public int size()

getIterator

public Iterator<? extends Unifiable> getIterator()

get

public Unifiable get(int idx)

first

Unifiable first()

rest

UnifiableList rest()

duplicate

public UnifiableList duplicate()

Returns a deep copy of this UnifiableList.

Specified by:

duplicate in interface Unifiable

See Also:

Unifiable.duplicate()