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


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

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

tell '$1 in Module end' 
cd $1

tellModel Examples/$1.sml.txt

# Now start the analysis
#ask ReportClasses OBJNAMES ClassReport Now
#showAnswer

ask GeneralSharedValues OBJNAMES SharedValuesReport Now
showAnswer

ask ObjectWithLevels OBJNAMES LevelReport Now
showAnswer

#ask ObjectWithUnequalLinksLevels OBJNAMES LinkLevelReport Now
#showAnswer

ask Link_0 OBJNAMES LinkFormat0 Now
showAnswer

ask Link_S OBJNAMES LinkFormatS Now
showAnswer

ask Link_V OBJNAMES LinkFormatV Now
showAnswer

stop