# 
# File: test-C3.cbs
# Author: Manfred Jeusfeld, Thomas Kuehne
# Created: 2023-03-01 (2023-03-18/Manfred)
# -----------------------------------------------------
# Call: cbshell -v test-C3.cbs

#



# connect 
startServer -t no -u nonpersistent -e -1


# cd oHome
echo "Preparing oHome module ..."
tellModel "00-oHome.sml.txt"
showAnswer
why

mkdir MultiDim
cd MultiDim
echo "Preparing MultiDim module ..."
tellModel "01-multidim-constructs.sml.txt"
showAnswer
why


cd MultiDim
echo "Adding constraints to MultiDim module ..."
tellModel "01a-Constraints.sml.txt"
showAnswer
why



cd MultiDim
mkdir TestC3a
cd TestC3a

# should fail:
tellModel c3-neg1.sml.txt
showAnswer
why

# should fail:
tellModel c3-neg2.sml.txt
showAnswer
why
# violates c3a!

# should fail:
tellModel c3-neg3.sml.txt
showAnswer
why
# violates c3a!




cd MultiDim
mkdir TestC3cn1
cd TestC3cn1

# should fail:
tellModel c3c-neg1.sml.txt
showAnswer
why
showAnswer



cd MultiDim
mkdir TestC3c
cd TestC3c

# should not indicate violators via the query:
tellModel c3-pos1.sml.txt
showAnswer
ask C3_DisjointDimensions OBJNAMES FRAME Now
showAnswer