source: examples/creddy_prover_tests/alumni3_rt1/run_query @ 340bd01

# alumni3_rt1_typed  

pwd=`pwd`
eloc=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
if [ "$eloc" = "" ]; then
  echo "ERROR: abac_prover_yap is not in the search path!!!"
  exit 1
fi
keyloc=$pwd

stateU=`creddy --keyid --cert $keyloc/StateU_ID.pem`

bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
mark=`creddy --keyid --cert $keyloc/Mark_ID.pem`
joe=`creddy --keyid --cert $keyloc/Joe_ID.pem`
maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem`
jan=`creddy --keyid --cert $keyloc/Jan_ID.pem`

stateU_foundingAlumni="[keyid:$stateU].role:foundingAlumni"
bob_prin="[keyid:$bob]"
maryann_prin="[keyid:$maryann]"
joe_prin="[keyid:$joe]"
mark_prin="[keyid:$mark]"
jan_prin="[keyid:$jan]"

# [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (yes)
# [keyid:stateU].role:foundingAlumni <-?- [keyid:Mark] (no)
# [keyid:stateU].role:foundingAlumni <-?- [keyid:Joe] (no)
# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (no)
# [keyid:stateU].role:foundingAlumni <-?- [keyid:Jan] (yes)

## dump all credentials
$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump

# [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (yes)
echo " "
echo "===good============ stateU.foundingAlumni <- Bob"
$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$bob_prin"

# [keyid:stateU].role:foundingAlumni <-?- [keyid:Mark] (no)
echo " "
echo "===bad============ stateU.foundingAlumni <- Mark"
$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$mark_prin"

# [keyid:stateU].role:foundingAlumni <-?- [keyid:Joe] (no)
echo " "
echo "===bad============ stateU.foundingAlumni <- Joe"
$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$joe_prin"

# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (no)
# asking, isMember(pMaryann,role(pStateU,foundingAlumni),C).
echo " "
echo "===bad============ stateU.foundingAlumni <- Maryann"
$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$maryann_prin"

# [keyid:stateU].role:foundingAlumni <-?- [keyid:Jan] (yes)
echo " "
echo "===good============ stateU.foundingAlumni <- Jan"
$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$jan_prin"