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

Class EdbTree

    • Method Detail

      • getEDB

        public EDB getEDB()
        EDB コンテキストを取得します.
        Returns:
        EDB コンテキストを返します.
      • getRootNode

        public EdbTreeNode getRootNode()
        ルートノードを取得します.
        Returns:
        ルートノードを返します.
      • paint

        public void paint(Graphics g)
        ツリーを描画します.
        Overrides:
        paint in class JComponent
        Parameters:
        g - ペイントに使用するグラフィックスコンテキスト
      • removeTN

        public void removeTN(EdbTreeNode node)
        後で削除するノードを登録します.

        イベントドリブンで処理をおこなっているときにノードを削除すると,ノードがなくなることによって処理が完結しないことがあります. ここに登録されたノードは,描画のあとに削除が行われます.

        Parameters:
        node - 削除するノード.
      • expandNode

        public void expandNode(int v)
        指定された値を持つノードを探し,見つかった場合にルートノードからそのノードまでを展開します.
        Parameters:
        v - 値
EDB/Java

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