public class Empty extends FunList {

  public static Empty only = new Empty();
   
  private Empty() {
  }
  
  public Integer first() {
    throw new java.util.NoSuchElementException ("Empty has no element.");
  }

  public FunList rest() {
    throw new java.util.NoSuchElementException ("Empty has no tail.");
  }

  public Object execute(FLVisitor_I v) {
    return v.forEmpty(this);
  }
  
  public String toString() { return "()"; }
  protected String toStringHelp() { return ""; }
}