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

Class WorksManager



  • public abstract class WorksManager
    extends TaskWorkers
    Manager for Works Package.
    Version:
    $Id: WorksManager.java,v 1.16 2024/10/28 06:37:12 alex Exp $
    • Constructor Detail

      • WorksManager

        public WorksManager(int th)
      • WorksManager

        public WorksManager()
      • WorksManager

        public WorksManager(EDB edb)
      • WorksManager

        public WorksManager(EDB edb,
                            int th)
    • Method Detail

      • setEDB

        protected void setEDB(EDB edb)
        Set EDB context.
        Parameters:
        edb - EDB Context
      • getEDB

        public final EDB getEDB()
        Get EDB context.
        Returns:
        EDB Context.
      • setYears

        protected final void setYears(int years)
        Set number of years to resolve.
        Parameters:
        years - number of years.
      • getYears

        public final int getYears()
        Get number of years to resolve.
        Returns:
        number of years;
      • setFiscal

        protected final void setFiscal(boolean f)
        Set fiscal.
        Parameters:
        f - fiscal if true.
      • isFiscal

        public final boolean isFiscal()
        Get fiscal.
        Returns:
        fiscal.
      • year_mode_string

        public final String year_mode_string()
      • setTerm

        protected final void setTerm(int fy,
                                     int ty,
                                     boolean f)
      • getDateFrom

        public final EdbDate getDateFrom()
        Get start date.
        Returns:
        start date.
      • getDateTo

        public final EdbDate getDateTo()
        Get end date.
        Returns:
        end date.
      • getPeriod

        public final EdbDate2 getPeriod()
        Get period to resolve. Equivalent to new EdbDate2(getDateFrom(), getDateTo());
        Returns:
        period.
      • year2name

        public final String year2name(int year)
        Get year (A.D.) to ○○○○年 (or 年度).
        Parameters:
        year - year.
        Returns:
        text of year.
      • year2name_ja

        public final String year2name_ja(int year)
        Get year (A.D.) to Japanese ERA: 平成○○年 (or 年度).
        Parameters:
        year - year.
        Returns:
        text of year.
      • y2name

        public final String y2name(int y)
        Get year (A.D.) to ○○○○年 (or 年度).
        Parameters:
        y - y-th year.
        Returns:
        text of year.
      • y2name_ja

        public final String y2name_ja(int y)
        Get year (A.D.) to Japanese ERA: 平成○○年 (or 年度).
        Parameters:
        y - y-th year.
        Returns:
        text of year.
      • year2begin

        public final EdbDate year2begin(int year)
        Get begin date of year.
        Parameters:
        year - year.
        Returns:
        start date of year.
      • year2end

        public final EdbDate year2end(int year)
        Get end date of year.
        Parameters:
        year - year.
        Returns:
        end date of year.
      • y2year

        public final int y2year(int y)
        Convert y-th year to year (A.D.).
        Parameters:
        y - y-th (0,1.2...).
        Returns:
        year.
      • y2begin

        public final EdbDate y2begin(int y)
        Get begin date of y-th year.
        Parameters:
        y - y-th (0,1.2...).
        Returns:
        begin date of y-th year.
      • y2end

        public final EdbDate y2end(int y)
        Get end date of y-th year.
        Parameters:
        y - y-th (0,1.2...).
        Returns:
        end date of y-th year.
      • y2period

        public final EdbDate2 y2period(int y)
        Get period of y-th year.
        Parameters:
        y - y-th (0,1.2...).
        Returns:
        period of y-th year.
      • y2referenceDate

        public final EdbDate y2referenceDate(int y)
        Get reference date of y-th year.
        Parameters:
        y - y-th (0,1.2...).
        Returns:
        reference date
      • getYthFromDate

        public final int getYthFromDate(EdbDate date)
        Get y-th from date.
        Parameters:
        date - date.
        Returns:
        y-th year
      • setGrapher

        protected void setGrapher(WorksGraph.Config g)
        Set grapher
        Parameters:
        g - Grapher.
      • isOmitted

        public abstract boolean isOmitted(EdbEIDHolder eh)
      • periodToMonths

        public final double periodToMonths(EdbDate2 p)
        期間から月数を計算する. 年月日の日は無視する.(始まりの月は1日,終りの月は月末とみなす.)
        Parameters:
        p - 期間.
        Returns:
        月数.
      • setTopDir

        protected void setTopDir(File dir)
      • getTopDir

        public File getTopDir()
      • createLatinDescription

        public EdbDoc.Container createLatinDescription(boolean vertical)
      • registSuccessor

        void registSuccessor(EdbEID eid,
                             EdbEID suc)
      • buddyIsSucceededBy

        public boolean buddyIsSucceededBy(EdbEID eid,
                                          Set<EdbEID> eids)
EDB/Java

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