coins.ffront
Class EquivManager.EquivGroup.EquivElem

java.lang.Object
  coins.ffront.EquivManager.EquivGroup.EquivElem

Enclosing class:

EquivManager.EquivGroup

class EquivManager.EquivGroup.EquivElem

extends java.lang.Object

equiv element class. this class has ident_, type_, height_ attrs.

Field Summary

int	height_
java.lang.String	ident_
Type	type_

Constructor Summary

(package private)

EquivManager.EquivGroup.EquivElem(java.lang.String id, Type t, int h)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

ident_

public java.lang.String ident_

type_

public Type type_

height_

public int height_

Constructor Detail

EquivManager.EquivGroup.EquivElem

EquivManager.EquivGroup.EquivElem(java.lang.String id,
                                  Type t,
                                  int h)

Method Detail

toString

public java.lang.String toString()