output_int
Class Empty_int$

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

public class Empty_int$
extends List_int$

Constructor Summary

Empty_int$()

Method Summary

List_int$	append(List_int$ l)
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

equals, 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$