All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class Poly.EmptyList

java.lang.Object
   |
   +----Poly.List
           |
           +----Poly.EmptyList

public class EmptyList

extends List

EmptyList()

EmptyList() constructs an empty list

first()

first() returns the first element of a non-empty List.

getNonEmpty()

getNonEmpty() gets a NonEmptyList from a List

isEmpty()

isEmpty() tells whether the List is empty.

nonEmpty()

nonEmpty() tells whether the List is non-empty

rest()

rest() returns the rest of a non-empty List.

toString()

toString converts the list to a string using S expression formatting

  public EmptyList()

EmptyList() constructs an empty list

  public boolean isEmpty()

isEmpty() tells whether the List is empty.

Overrides:

isEmpty in class List

  public boolean nonEmpty()

nonEmpty() tells whether the List is non-empty

Overrides:

nonEmpty in class List

  public Object first() throws EmptyListException

first() returns the first element of a non-empty List.

Throws: EmptyListException

Can't take first of an empty List.

Overrides:

first in class List

  public List rest() throws EmptyListException

rest() returns the rest of a non-empty List.

Throws: EmptyListException

Can't take rest of an empty List.

Overrides:

rest in class List

  public NonEmptyList getNonEmpty() throws EmptyListException

getNonEmpty() gets a NonEmptyList from a List

Overrides:

getNonEmpty in class List

  public String toString()

toString converts the list to a string using S expression formatting

Overrides:

toString in class List

All Packages  Class Hierarchy  This Package  Previous  Next  Index