output_int
Class Empty_int$

java.lang.Object
  extended by output_int.List_int$
      extended by output_int.Empty_int$

public class Empty_int$
extends List_int$


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

Constructor Detail

Empty_int$

public Empty_int$()
Method Detail

isEmpty

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

length

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

append

public List_int$ append(List_int$ l)
Specified by:
append in class List_int$

toString

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

putlast

public NotEmpty_int$ putlast(int e)
Specified by:
putlast in class List_int$

reverse

public Empty_int$ reverse()
Specified by:
reverse in class List_int$

equals

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