// ** This file was generated with DemFGen (vers:12/15/2010)

package gen;

import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;





/** Representation of Work */
public abstract class Work{
    protected final Option<Duration> d;
    protected final Option<SlackTime> slackTime;
    protected final TeamName assigned;
    protected final WorkName workName;

    /** Construct a(n) Work Instance */
    public Work(Option<Duration> d, Option<SlackTime> slackTime, TeamName assigned, WorkName workName){
        this.d = d;
        this.slackTime = slackTime;
        this.assigned = assigned;
        this.workName = workName;
    }
    /** Parse an instance of Work from the given String */
    public static Work parse(String inpt) throws gen.ParseException{
        return new gen.TheParser(new java.io.StringReader(inpt)).parse_Work();
    }
    /** Parse an instance of Work from the given Stream */
    public static Work parse(java.io.InputStream inpt) throws gen.ParseException{
        return new gen.TheParser(inpt).parse_Work();
    }
    /** Parse an instance of Work from the given Reader */
    public static Work parse(java.io.Reader inpt) throws gen.ParseException{
        return new gen.TheParser(inpt).parse_Work();
    }

    /** Field Class for Work.d */
    public static class d extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for Work.slackTime */
    public static class slackTime extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for Work.assigned */
    public static class assigned extends edu.neu.ccs.demeterf.Fields.any{}
    /** Field Class for Work.workName */
    public static class workName extends edu.neu.ccs.demeterf.Fields.any{}

    /** DGP method from Class Display */
    public String display(){ return gen.Display.DisplayM(this); }
    /** DGP method from Class Print */
    public String print(){ return gen.Print.PrintM(this); }
    /** DGP method from Class ToStr */
    public String toStr(){ return gen.ToStr.ToStrM(this); }
    /** Abstract updater for field Work.d */
    public abstract Work updateD(Option<Duration> _d);
    /** Abstract updater for field Work.slackTime */
    public abstract Work updateSlackTime(Option<SlackTime> _slackTime);
    /** Abstract updater for field Work.assigned */
    public abstract Work updateAssigned(TeamName _assigned);
    /** Abstract updater for field Work.workName */
    public abstract Work updateWorkName(WorkName _workName);
    /** Getter for field Work.d */
    public abstract Option<Duration> getD();
    /** Getter for field Work.slackTime */
    public abstract Option<SlackTime> getSlackTime();
    /** Getter for field Work.assigned */
    public abstract TeamName getAssigned();
    /** Getter for field Work.workName */
    public abstract WorkName getWorkName();

}