|
|
hekate:varda [2008/03/07 10:38] gjn more varda help, for windows, etc |
hekate:varda [2019/06/27 15:49] |
====== Intro ====== | |
Varda (//Visual ARD Rapid Development Alloy//) is a prototype design tool for ARD+ in Prolog. | |
* For ARD+ syntax see [[hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted]] | |
* For Varda description see [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted]] | |
| |
====== Getting it ====== | |
TARBALL wanted FIXME | |
| |
| |
====== News ====== | |
* **2008.2.29** VARDA goes {{:hekate:gplv3.png|GPLv3}} | |
* **2008.1.28** tph+ard display and collapse. | |
* **2008.1.26-7** preliminary HML export added, use 'axg.' | |
| |
| |
| |
====== Quickstart ====== | |
You need | |
* GNU bash as a default Bourne shell (''/bin/sh'') -- this is not true in Ubuntu!!! they have dash, change it -- just uninstall it | |
* SWI Prolog | |
* GraphViz | |
* ImageMagick | |
| |
To use it: | |
cd varda | |
./varda | |
| |
You can load an example model from the cmdline: | |
./varda therm-model.pl | |
| |
In Varda, try ''hlp.'' | |
| |
While working in Varda you are in the pure SWI shell, just use Prolog :-) | |
| |
If you want to load a model when you are in VARDA simply use: | |
?- [therm-model]. | |
| |
If you use Windows, you can still use VARDA, but automatic visualisation would not work (it requires a Unix-like environment). | |
Just run SWI Prolog, and: | |
?- [varda]. | |
?- [therm-model]. | |
If you have Graphviz under Windows, you can generate pictures manually, e.g.: | |
?- sar_file('therm-ard.dot'). | |
?- shi_file('therm-tph.dot'). | |
?- gax. | |
?- sxt_file('therm-xtt.dot'). | |
And then run Graphviz DOT: | |
dot -T png therm-ard.dot > therm-ard.png | |
| |
====== Devel ====== | |
===== CVS Access ===== | |
The code in currently in the CVS at charon. | |
It has a restricted access. | |
One has to be in the //hades// group. | |
This includes the team working on tools and examples. | |
| |
To check out, use: | |
export CVSROOT=:ext:kinio@charon.ia.agh.edu.pl/mnt/cvs/cvs-hades | |
export CVS_RSH=ssh | |
cvs co varda | |
Put your user name instead of ''kinio''. | |
| |
===== XML support ===== | |
Property removal during transform. | |
<del>Modified ''varda_model'' look for ''FIXED4XML''. | |
''sar.'' works, but painfully, ''shi.'' ok, ''gax'' seems ''ok'' :-) | |
--- //[[gjn@agh.edu.pl|Grzegorz J. Nalepa]] 2008/01/26 15:27//</del> works fine --- //[[wojnicki@agh.edu.pl|Igor Wojnicki]] 2008/01/28 02:07// | |
| |