Uses of Class
output_plus.List_String$

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)