next up previous contents index
Next: A.31 Is it possible Up: A Frequently Asked Questions Previous: A.29 Do you have

A.30 Do you have plans for code generation?


Yes. But these are still plans. But it is certainly possible to write your own program that generates specifications in whatever language from TCM files. The TCM file format is specified in appendix B.

Frank Dehne,Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam