All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class Poly.Incremental

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

public class Incremental

extends List

Incremental(Growable)

ensureGrown()

first()

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

getList()

getNonEmpty()

getNonEmpty() gets a NonEmptyList from a List

grown()

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 Incremental(Growable growable)

  public Object first() throws EmptyListException

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

Overrides:

first in class List

  public List rest() throws EmptyListException

rest() returns the rest of a non-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 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 String toString()

toString converts the list to a string using S expression formatting

Overrides:

toString in class List

  public void ensureGrown()

  public boolean grown()

  public List getList()

All Packages  Class Hierarchy  This Package  Previous  Next  Index