test notat provid refus instanti show right uml element test valid object check enumer liter notat uml enumer fail notat provid did wrong uml element illeg argument except fine 