public class TXRGraphics : TXRDoc, TXRDocIface {
  public int graphics_field;

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

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