output_int
Class List_int$

java.lang.Object
  extended by output_int.List_int$
Direct Known Subclasses:
Empty_int$, NotEmpty_int$

public abstract class List_int$
extends java.lang.Object


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

Constructor Detail

List_int$

public List_int$()
Method Detail

isEmpty

public abstract boolean isEmpty()

length

public abstract int length()

append

public abstract List_int$ append(List_int$ l)

toString

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

cons

public NotEmpty_int$ cons(int e)

putlast

public abstract NotEmpty_int$ putlast(int e)

reverse

public abstract List_int$ reverse()

equals

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