import tester.ISame;

/**
 * This class represents an nonempty list of items of the type 
 * <code>T</code>.
 *
 * @param <T> the data type of the items in this list
 */
class ConsLo<T extends ISame<T>> implements ILo<T>{
	/** the first item in this list */
  T first;
  /** the rest of this list */
  ILo<T> rest;
  
  /**
   * The full constructor
   * @param first the first item in this list
   * @param rest the rest of this list
   */
  ConsLo(T first, ILo<T> rest){
    this.first = first;
    this.rest = rest;
  }
  
/* TEMPLATE:
   FIELDS:
    ... this.first ...              -- T
    ... this.rest ...               -- ILo<T>

    METHODS FOR FIELDS:
    ... this.first.same(T) ...       -- boolean
  
    ... this.rest.size() ...         -- int
    ... this.rest.contains(T) ...    -- boolean

*/
  
  /** 
   * Compute the total size of this list.
   * @return the size of this list
   */
  public int size(){
    return 1 + this.rest.size();
  }
  
  /**
   * Does this list of accounts contain the given account?
   * @param a the given account
   * @return true if the accounts are the same
   */
  public boolean contains(T t){
  	return ((ISame<T>)this.first).same(t) ||
  	       this.rest.contains(t);
  }
}