edu.neu.ccs.demeterf.typecheck.test
Class D

java.lang.Object
  edu.neu.ccs.demeterf.typecheck.test.E
      edu.neu.ccs.demeterf.typecheck.test.L
          edu.neu.ccs.demeterf.typecheck.test.D

public class D
extends L

Nested Class Summary

static class	D.e
static class	D.id
static class	D.rest

Field Summary

E	e
ident	id
L	rest

Constructor Summary

D(ident id, E e, L rest)

Method Summary

boolean

equals(java.lang.Object o)

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

id

public ident id

e

public E e

rest

public L rest

Constructor Detail

D

public D(ident id,
         E e,
         L rest)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object