|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use List_String$ | |
---|---|
output_plus |
Uses of List_String$ in output_plus |
---|
Subclasses of List_String$ in output_plus | |
---|---|
class |
Empty_String$
|
class |
NotEmpty_String$
|
Methods in output_plus that return List_String$ | |
---|---|
abstract List_String$ |
List_String$.append(List_String$ l)
|
List_String$ |
Empty_String$.append(List_String$ l)
|
List_String$ |
NotEmpty_List_String$$.getHead()
|
List_String$ |
NotEmpty_String$.getTail()
|
abstract List_String$ |
List_String$.reverse()
|
Methods in output_plus with parameters of type List_String$ | |
---|---|
NotEmpty_String$ |
NotEmpty_String$.append(List_String$ l)
|
abstract List_String$ |
List_String$.append(List_String$ l)
|
List_String$ |
Empty_String$.append(List_String$ l)
|
NotEmpty_List_String$$ |
List_List_String$$.cons(List_String$ e)
|
NotEmpty_List_String$$ |
NotEmpty_List_String$$.putlast(List_String$ e)
|
abstract NotEmpty_List_String$$ |
List_List_String$$.putlast(List_String$ e)
|
NotEmpty_List_String$$ |
Empty_List_String$$.putlast(List_String$ e)
|
void |
NotEmpty_List_String$$.setHead(List_String$ other)
|
void |
NotEmpty_String$.setTail(List_String$ other)
|
Constructors in output_plus with parameters of type List_String$ | |
---|---|
NotEmpty_List_String$$(List_String$ head,
List_List_String$$ tail)
|
|
NotEmpty_String$(java.lang.String head,
List_String$ tail)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |