|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectoutput_plus.List_List_String$$
output_plus.Empty_List_String$$
public class Empty_List_String$$
Constructor Summary | |
---|---|
Empty_List_String$$()
|
Method Summary | |
---|---|
List_List_String$$ |
append(List_List_String$$ l)
|
boolean |
isEmpty()
|
int |
length()
|
NotEmpty_List_String$$ |
putlast(List_String$ e)
|
Empty_List_String$$ |
reverse()
|
java.lang.String |
toString()
|
Methods inherited from class output_plus.List_List_String$$ |
---|
cons |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Empty_List_String$$()
Method Detail |
---|
public boolean isEmpty()
isEmpty
in class List_List_String$$
public int length()
length
in class List_List_String$$
public List_List_String$$ append(List_List_String$$ l)
append
in class List_List_String$$
public java.lang.String toString()
toString
in class List_List_String$$
public NotEmpty_List_String$$ putlast(List_String$ e)
putlast
in class List_List_String$$
public Empty_List_String$$ reverse()
reverse
in class List_List_String$$
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |