output_plus
Class Empty_List_String$$

java.lang.Object
  output_plus.List_List_String$$
      output_plus.Empty_List_String$$

public class Empty_List_String$$
extends List_List_String$$

Constructor Summary

Empty_List_String$$()

Method Summary

List_List_String$$	append(List_List_String$$ l)
boolean	isEmpty()
int	length()
NotEmpty_List_String$$	putlast(List_String$ e)
Empty_List_String$$	reverse()
java.lang.String	toString()

Methods inherited from class output_plus.List_List_String$$

cons

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Empty_List_String$$

public Empty_List_String$$()

Method Detail

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in class List_List_String$$

length

public int length()

Specified by:

length in class List_List_String$$

append

public List_List_String$$ append(List_List_String$$ l)

Specified by:

append in class List_List_String$$

toString

public java.lang.String toString()

Specified by:

toString in class List_List_String$$

putlast

public NotEmpty_List_String$$ putlast(List_String$ e)

Specified by:

putlast in class List_List_String$$

reverse

public Empty_List_String$$ reverse()

Specified by:

reverse in class List_List_String$$