output_int
Class NotEmpty_String$

java.lang.Object
  extended by output_int.List_String$
      extended by output_int.NotEmpty_String$

public class NotEmpty_String$
extends List_String$


Constructor Summary
NotEmpty_String$(NotEmpty_String$ other)
           
NotEmpty_String$(java.lang.String head, List_String$ tail)
           
 
Method Summary
 NotEmpty_String$ append(List_String$ l)
           
 boolean isEmpty()
           
 int length()
           
 NotEmpty_String$ putlast(java.lang.String e)
           
 NotEmpty_String$ reverse()
           
 java.lang.String toString()
           
 
Methods inherited from class output_int.List_String$
cons
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

NotEmpty_String$

public NotEmpty_String$(java.lang.String head,
                        List_String$ tail)

NotEmpty_String$

public NotEmpty_String$(NotEmpty_String$ other)
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 NotEmpty_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 NotEmpty_String$ reverse()
Specified by:
reverse in class List_String$