// ** This file was generated with DemFGen (vers:05/23/2010) package edu.neu.ccs.demeterf.demfgen.classes; import edu.neu.ccs.demeterf.lib.*; import edu.neu.ccs.demeterf.demfgen.*; import edu.neu.ccs.demeterf.demfgen.dgp.DGPFunc; import edu.neu.ccs.demeterf.demfgen.traversals.Travs; import edu.neu.ccs.demeterf.demfgen.pcdgp.PCDGPFunc; import edu.neu.ccs.demeterf.dispatch.*; import edu.neu.ccs.demeterf.*; import edu.neu.ccs.demeterf.demfgen.ClassHier.InhrtPair; import edu.neu.ccs.demeterf.demfgen.DemFGenMain; import java.io.*; import java.io.FileInputStream; import edu.neu.ccs.demeterf.util.Util; import edu.neu.ccs.demeterf.util.CLI; /** Representation of BehDef */ public class BehDef{ protected final ident name; protected final verbatim body; /** Construct a(n) BehDef Instance */ public BehDef(ident name, verbatim body){ this.name = name; this.body = body; } /** Is the given object Equal to this BehDef? */ public boolean equals(Object o){ if(!(o instanceof BehDef))return false; if(o == this)return true; BehDef oo = (BehDef)o; return (((Object)name).equals(oo.name))&&(((Object)body).equals(oo.body)); } /** Parse an instance of BehDef from the given String */ public static BehDef parse(String inpt) throws edu.neu.ccs.demeterf.demfgen.classes.ParseException{ return new edu.neu.ccs.demeterf.demfgen.classes.TheParser(new java.io.StringReader(inpt)).parse_BehDef(); } /** Parse an instance of BehDef from the given Stream */ public static BehDef parse(java.io.InputStream inpt) throws edu.neu.ccs.demeterf.demfgen.classes.ParseException{ return new edu.neu.ccs.demeterf.demfgen.classes.TheParser(inpt).parse_BehDef(); } /** Parse an instance of BehDef from the given Reader */ public static BehDef parse(java.io.Reader inpt) throws edu.neu.ccs.demeterf.demfgen.classes.ParseException{ return new edu.neu.ccs.demeterf.demfgen.classes.TheParser(inpt).parse_BehDef(); } /** Field Class for BehDef.name */ public static class name extends edu.neu.ccs.demeterf.Fields.any{} /** Field Class for BehDef.body */ public static class body extends edu.neu.ccs.demeterf.Fields.any{} /** DGP method from Class Print */ public String print(){ return edu.neu.ccs.demeterf.demfgen.classes.Print.PrintM(this); } /** DGP method from Class ToStr */ public String toStr(){ return edu.neu.ccs.demeterf.demfgen.classes.ToStr.ToStrM(this); } /** DGP method from Class ToXML */ public String toXML(){ return edu.neu.ccs.demeterf.demfgen.classes.ToXML.ToXMLM(this); } /** Updater for field BehDef.name */ public BehDef updateName(ident _name){ return new BehDef(_name, body); } /** Updater for field BehDef.body */ public BehDef updateBody(verbatim _body){ return new BehDef(name, _body); } /** Getter for field BehDef.name */ public ident getName(){ return name; } /** Getter for field BehDef.body */ public verbatim getBody(){ return body; } }