CSPM.Evaluator.Exceptions

printCallStack

patternMatchFailureMessage

patternMatchesFailureMessage

headEmptyListMessage

prioritiseEmptyListMessage

tailEmptyListMessage

divideByZeroMessage

keyNotInDomainOfMapMessage

funBindPatternMatchFailureMessage

replicatedLinkParallelOverEmptySeqMessage

replicatedInternalChoiceOverEmptySetMessage

replicatedInternalChoiceOverEmptySetMessage'

typeCheckerFailureMessage

cannotConvertIntegersToListMessage

cannotConvertProcessesToListMessage

cannotCheckSetMembershipError

cardOfInfiniteSetMessage

cannotDifferenceSetsMessage

dotIsNotValidMessage

setNotRectangularErrorMessage