output_plus
Class List_String$

java.lang.Object
  extended by output_plus.List_String$
Direct Known Subclasses:
Empty_String$, NotEmpty_String$

public abstract class List_String$
extends java.lang.Object


Constructor Summary
List_String$()
           
 
Method Summary
abstract  List_String$ append(List_String$ l)
           
 NotEmpty_String$ cons(java.lang.String e)
           
abstract  boolean isEmpty()
           
abstract  int length()
           
abstract  NotEmpty_String$ putlast(java.lang.String e)
           
abstract  List_String$ reverse()
           
abstract  java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

List_String$

public List_String$()
Method Detail

isEmpty

public abstract boolean isEmpty()

length

public abstract int length()

append

public abstract List_String$ append(List_String$ l)

toString

public abstract java.lang.String toString()
Overrides:
toString in class java.lang.Object

cons

public NotEmpty_String$ cons(java.lang.String e)

putlast

public abstract NotEmpty_String$ putlast(java.lang.String e)

reverse

public abstract List_String$ reverse()