coins.ffront
クラス EquivManager.EquivGroup.EquivElem

java.lang.Object
  |
  +--coins.ffront.EquivManager.EquivGroup.EquivElem
含まれているクラス:
EquivManager.EquivGroup

class EquivManager.EquivGroup.EquivElem
extends java.lang.Object

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


フィールドの概要
 int height_
           
 java.lang.String ident_
           
 Type type_
           
 
コンストラクタの概要
(パッケージプライベート) EquivManager.EquivGroup.EquivElem(java.lang.String id, Type t, int h)
           
 
メソッドの概要
 java.lang.String toString()
           
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

フィールドの詳細

ident_

public java.lang.String ident_

type_

public Type type_

height_

public int height_
コンストラクタの詳細

EquivManager.EquivGroup.EquivElem

EquivManager.EquivGroup.EquivElem(java.lang.String id,
                                  Type t,
                                  int h)
メソッドの詳細

toString

public java.lang.String toString()
オーバーライド:
クラス java.lang.Object 内の toString