Okay, that sounds fine to me. I like it there because otherwise you have to duplicate the validation elsewhere like in

javac.py

iirc. Leaky abstraction