// ** This file was generated with DemFGen (vers:4/15/2011)

package hsr;

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





/** Representation of Simple */
public class Simple extends HSRSolution{
    protected int highest_safe_rung;

    /** Construct a(n) Simple Instance */
    public Simple(int highest_safe_rung){
        this.highest_safe_rung = highest_safe_rung;
    }
    /** Is the given object Equal to this Simple? */
    public boolean equals(Object o){
        if(!(o instanceof Simple))return false;
        if(o == this)return true;
        Simple oo = (Simple)o;
        return (((Object)highest_safe_rung).equals(oo.highest_safe_rung));
    }
    /** Parse an instance of Simple from the given String */
    public static Simple parse(String inpt) throws hsr.ParseException{
        return new hsr.TheParser(new java.io.StringReader(inpt)).parse_Simple();
    }
    /** Parse an instance of Simple from the given Stream */
    public static Simple parse(java.io.InputStream inpt) throws hsr.ParseException{
        return new hsr.TheParser(inpt).parse_Simple();
    }
    /** Parse an instance of Simple from the given Reader */
    public static Simple parse(java.io.Reader inpt) throws hsr.ParseException{
        return new hsr.TheParser(inpt).parse_Simple();
    }

    /** Field Class for Simple.highest_safe_rung */
    public static class highest_safe_rung extends edu.neu.ccs.demeterf.Fields.any{}

    /** DGP method from Class Display */
    public String display(){ return hsr.Display.DisplayM(this); }
    /** DGP method from Class Print */
    public String print(){ return hsr.Print.PrintM(this); }
    /** DGP method from Class ToStr */
    public String toStr(){ return hsr.ToStr.ToStrM(this); }
    /** DGP method from Class PrintToString */
    public String toString(){ return hsr.PrintToString.PrintToStringM(this); }
    /** DGP method from Class HashCode */
    public int hashCode(){ return hsr.HashCode.HashCodeM(this); }
    /** Setter for field Simple.highest_safe_rung */
    public void setHighest_safe_rung(int _highest_safe_rung){ highest_safe_rung = _highest_safe_rung; }
    /** Getter for field Simple.highest_safe_rung */
    public int getHighest_safe_rung(){ return highest_safe_rung; }

}


