2012-10-24 15:43:42 +04:00
|
|
|
public interface TXRDocIface {
|
2012-10-15 15:21:42 +04:00
|
|
|
public abstract string gen ();
|
|
|
|
}
|
|
|
|
|
2012-10-14 19:04:42 +04:00
|
|
|
public class TXRDoc : TXRObject {
|
|
|
|
public int doc_field;
|
|
|
|
|
|
|
|
public override void copy (TXRObject copy) {
|
|
|
|
stdout.printf ("TXRDoc:copy() called\n");
|
|
|
|
if (copy is TXRObject) {
|
|
|
|
base.copy (copy);
|
|
|
|
((TXRDoc)copy).doc_field = this.doc_field;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|