public class TXRAddSpaces : TXRObjectList, TXRDocIface {
  public int addspaces_field;

  public override void copy (TXRObject copy) {
    stdout.printf ("TXRAddSpaces:copy() called\n");
    if (copy is TXRAddSpaces) {
      base.copy (copy);
      ((TXRAddSpaces)copy).addspaces_field = this.addspaces_field;
    }
  }

  public string gen () {
    return "TXRAddSpaces generated string.";
  }
}