output_plus
Class NotEmpty_List_String$$
java.lang.Object
output_plus.List_List_String$$
output_plus.NotEmpty_List_String$$
public class NotEmpty_List_String$$
- extends List_List_String$$
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
head
public List_String$ head
tail
public List_List_String$$ tail
NotEmpty_List_String$$
public NotEmpty_List_String$$(List_String$ head,
List_List_String$$ tail)
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 NotEmpty_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 NotEmpty_List_String$$ reverse()
- Specified by:
reverse
in class List_List_String$$