ensur call doe refer non argo uml class wai param self testcas valid test gener test self todo us reflect test ensur doe non argo uml class check superclass make sure doe extend refer non argo uml class prohibit self superclass enumer declar enumer constructor enumer method enumer method argument enumer field indic test valid valid 