# cbshell exportModel.cbs <modelname>
#
# CBShell script to export a single DDI example model to GraphViz format. It is assumed that
# the example model is stored in directory Examples/<modelname>.sml.txt
# Example call:  cbshell exportModel.cbs E1


# start a cbserver that materializes graphviz visualizations in the VIEWS subdirectory
cbserver -t no -e -1 -views VIEWS

tellModel DualDeep_Part1.sml.txt
tellModel DualDeep_Part3.sml.txt
tellModel DDI2GV.sml.txt

tell '$1 in Module end' 
cd $1

tellModel Examples/$1.sml.txt

stop