2012-10-15 15:21:42 +04:00
|
|
|
public class TXRAddSpaces : TXRObjectList, TXRDocIface {
|
2012-10-15 11:27:02 +04:00
|
|
|
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;
|
|
|
|
}
|
|
|
|
}
|
2012-10-15 15:21:42 +04:00
|
|
|
|
|
|
|
public string gen () {
|
|
|
|
return "TXRAddSpaces generated string.";
|
|
|
|
}
|
2012-10-15 11:27:02 +04:00
|
|
|
}
|