Skip navigation links
EDB/Java
jp.ac.tokushima_u.edb

Class EdbEID

    • Field Detail

      • NULL

        public static final EdbEID NULL
    • Constructor Detail

      • EdbEID

        public EdbEID()
        EIDオブジェクトを生成する(eid=0).
      • EdbEID

        public EdbEID(int e)
        EIDを指定して,EIDオブジェクトを生成する.
        Parameters:
        e - EID.
    • Method Detail

      • get

        public final int get()
        EIDを得る.
        Returns:
        EID.
      • eid

        public final EdbEID eid()
        EIDを得る.
        Specified by:
        eid in interface EdbEIDHolder
        Returns:
        EID.
      • hashCode

        public final int hashCode()
        Overrides:
        hashCode in class Object
      • equals

        public final boolean equals(int e)
        EIDの同値性のチェック.
        Parameters:
        e - EID
        Returns:
        equalty.
      • equals

        public final boolean equals(EdbEID e)
        EIDの同値性のチェック.
        Parameters:
        e - EID
        Returns:
        equalty.
      • equals

        public final boolean equals(Object o)
        EIDの同値性のチェック.
        Overrides:
        equals in class Object
        Parameters:
        o - Object
        Returns:
        equalty.
      • isValid

        public final boolean isValid()
        EIDがvalidな値かどうかを判別する.
        Returns:
        validity.
      • toString

        public final String toString()
        EIDを文字列に変換する.
        Overrides:
        toString in class Object
        Returns:
        文字列に変換されたEID.
EDB/Java

EDB Working Group at Tue Jun 10 17:08:59 JST 2025