// ** 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 ManagerName */ public class ManagerName{ protected final String v; /** Construct a(n) ManagerName Instance */ public ManagerName(String v){ this.v = v; } /** Is the given object Equal to this ManagerName? */ public boolean equals(Object o){ if(!(o instanceof ManagerName))return false; if(o == this)return true; ManagerName oo = (ManagerName)o; return (((Object)v).equals(oo.v)); } /** Parse an instance of ManagerName from the given String */ public static ManagerName parse(String inpt) throws gen.ParseException{ return new gen.TheParser(new java.io.StringReader(inpt)).parse_ManagerName(); } /** Parse an instance of ManagerName from the given Stream */ public static ManagerName parse(java.io.InputStream inpt) throws gen.ParseException{ return new gen.TheParser(inpt).parse_ManagerName(); } /** Parse an instance of ManagerName from the given Reader */ public static ManagerName parse(java.io.Reader inpt) throws gen.ParseException{ return new gen.TheParser(inpt).parse_ManagerName(); } /** Field Class for ManagerName.v */ public static class v 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); } /** Updater for field ManagerName.v */ public ManagerName updateV(String _v){ return new ManagerName(_v); } /** Getter for field ManagerName.v */ public String getV(){ return v; } }