output_plus
Class Empty_String$

java.lang.Object
  output_plus.List_String$
      output_plus.Empty_String$

public class Empty_String$
extends List_String$

Constructor Summary

Empty_String$()

Method Summary

List_String$	append(List_String$ l)
boolean	isEmpty()
int	length()
NotEmpty_String$	putlast(java.lang.String e)
Empty_String$	reverse()
java.lang.String	toString()

Methods inherited from class output_plus.List_String$

cons

Methods inherited from class java.lang.Object

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

Constructor Detail

Empty_String$

public Empty_String$()

Method Detail

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in class List_String$

length

public int length()

Specified by:

length in class List_String$

append

public List_String$ append(List_String$ l)

Specified by:

append in class List_String$

toString

public java.lang.String toString()

Specified by:

toString in class List_String$

putlast

public NotEmpty_String$ putlast(java.lang.String e)

Specified by:

putlast in class List_String$

reverse

public Empty_String$ reverse()

Specified by:

reverse in class List_String$