// Class Interface for a List ADT with integer data
// File:    List.java
// Based on: C++ code list-class.h
// Author:  Henry M. Walker
// Date:    March 13, 2002

// List ADT header
public interface List {
    void insert (int item);
        // pre:  the list has been initialized
        // post:  the specified item is placed somewhere in the list  

    boolean isin (int item);
        // pre:  the list has been initialized
        // post:  function returns TRUE if item is in list and FALSE otherwise 

    void print ();
        // pre:  the list has been initialized
        // post:  a title is printed, followed by the items from front to back 

    void printReverse ();
        // pre:  the list has been initialized
        // post:  a title is printed, followed by the items from back to front 

    int length ();
        // pre:  the list has been initialized
        // post:  the items in the list are counted and returned

} // List