Pretty-printing
How hard is it to have pretty-printing of the header components? All the operators, delimiters and libraries already loaded? Is is reasoble to ask the same for equations?
How hard is it to have pretty-printing of the header components? All the operators, delimiters and libraries already loaded? Is is reasoble to ask the same for equations?
jarro2783 09:47 on 2010/09/20 Permalink |
It’s all pretty straight forward. It’s just a matter of determining correct interfaces. Is this for tlcore or for the C++ interface?
cartesianprogramming 10:02 on 2010/09/20 Permalink |
The C++ interface.
jarro2783 22:44 on 2010/09/20 Permalink
Printing is pretty easy, I’ll come up with something.
jarro2783 22:54 on 2010/09/22 Permalink |
I’ve done pretty printing of equations in the translator. I haven’t been able to test it though. Have a look at Translator::beginEquation and Translator::endEquation. They return an object which acts like an iterator but also has a print and id function allowing you to print the equation and retrieve the uuid.