pure interface of class ObjGenerator

public class ObjGenerator
  extends Obj
{
    public static ObjGenerator dubble;
    public static ObjGenerator integer;
    public static ObjGenerator string;
    public ObjGenerator(String s);
    public void print(Printer p);
}