This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
hekate:cases:howto [2009/11/08 21:29] gjn summary |
hekate:cases:howto [2009/11/18 12:24] kkluza changed the name of the XSLT translator file |
||
|---|---|---|---|
| Line 148: | Line 148: | ||
| Commit the new file. | Commit the new file. | ||
| - | Please put the description of attributes in the wiki page! | + | Please put the description of attributes in the wiki page!\\ |
| - | In the future an XSLT translator from HML might be provided. | + | You can do it manually or use the BETA version of the XSLT translator from HML (in CVS): {{:hekate:cases:attHML2wikiTable|attHML2wikiTable}}. |
| + | |||
| + | HOW TO generate the wiki table with description of attributes with XSLT translator | ||
| + | |||
| + | - prepare attribute descriptions and their types in HQEd (Types, Attributes). | ||
| + | - export attributes to HML hekate_case_NAME-att.hml file (File->Attribute export->HML file). | ||
| + | - translate the HML file to text with translator attHML2wikiTable (require XSLT processor e.g. xsltproc) and copy the output text of Wiki Table to Wiki page :hekate_case_NAME:attribute_specification: | ||
| + | <code> | ||
| + | xsltproc attHML2wikiTable hekate_case_NAME-att.hml | ||
| + | </code> | ||
| + | |||
| + | Any mistakes in translation you can report to KKL. | ||
| ==== Prototyping ==== | ==== Prototyping ==== | ||
| Line 178: | Line 189: | ||
| Generate HMR. | Generate HMR. | ||
| - | Test communication with HeaRT! | + | Test communication with HeaRT! To see how to run Heart go here: [[https://ai.ia.agh.edu.pl/wiki/hekate:heart_howto#running_heart_from_a_console | Heart Howto]] |
| ==== Formal Analysis ==== | ==== Formal Analysis ==== | ||
| Line 212: | Line 223: | ||
| Use the HeaRT | Use the HeaRT | ||
| [[hekate:heart_overview#heart_integration|overview]] and the | [[hekate:heart_overview#heart_integration|overview]] and the | ||
| - | [[hekate:heart_howto#libraries|HowTo]]. | + | [[hekate:heart_howto#callbacks_how_to|HowTo]]. |
| Commint callback source files to the CVS. | Commint callback source files to the CVS. | ||
