output_plus
Class NotEmpty_List_String$$

java.lang.Object
  extended by output_plus.List_List_String$$
      extended by output_plus.NotEmpty_List_String$$

public class NotEmpty_List_String$$
extends List_List_String$$


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

Constructor Detail

NotEmpty_List_String$$

public NotEmpty_List_String$$(List_String$ head,
                              List_List_String$$ tail)

NotEmpty_List_String$$

public NotEmpty_List_String$$(NotEmpty_List_String$$ other)
Method Detail

isEmpty

public boolean isEmpty()
Specified by:
isEmpty in class List_List_String$$

length

public int length()
Specified by:
length in class List_List_String$$

append

public NotEmpty_List_String$$ append(List_List_String$$ l)
Specified by:
append in class List_List_String$$

toString

public java.lang.String toString()
Specified by:
toString in class List_List_String$$

putlast

public NotEmpty_List_String$$ putlast(List_String$ e)
Specified by:
putlast in class List_List_String$$

reverse

public NotEmpty_List_String$$ reverse()
Specified by:
reverse in class List_List_String$$

getHead

public List_String$ getHead()

setHead

public void setHead(List_String$ other)

getTail

public List_List_String$$ getTail()

setTail

public void setTail(List_List_String$$ other)

equals

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