output_plus
Class List_List_String$$

java.lang.Object
  extended by output_plus.List_List_String$$
Direct Known Subclasses:
Empty_List_String$$, NotEmpty_List_String$$

public abstract class List_List_String$$
extends java.lang.Object


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

Constructor Detail

List_List_String$$

public List_List_String$$()
Method Detail

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()

equals

public boolean equals(java.lang.Object other)
Overrides:
equals in class java.lang.Object