output_int
Class NotEmpty_String$
java.lang.Object
output_int.List_String$
output_int.NotEmpty_String$
public class NotEmpty_String$
- extends List_String$
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
NotEmpty_String$
public NotEmpty_String$(java.lang.String head,
List_String$ tail)
NotEmpty_String$
public NotEmpty_String$(NotEmpty_String$ other)
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$