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