output_plus
Class List_List_String$$
java.lang.Object
output_plus.List_List_String$$
- Direct Known Subclasses:
- Empty_List_String$$, NotEmpty_List_String$$
public abstract class List_List_String$$
- extends java.lang.Object
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
List_List_String$$
public List_List_String$$()
isEmpty
public abstract boolean isEmpty()
length
public abstract int length()
append
public abstract List_List_String$$ append(List_List_String$$ l)
toString
public abstract java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
cons
public NotEmpty_List_String$$ cons(List_String$ e)
putlast
public abstract NotEmpty_List_String$$ putlast(List_String$ e)
reverse
public abstract List_List_String$$ reverse()