check obei rule check extend interfac recurs param check check method method declar method method length method method method method method invalid type method type valid method type paramet method paramet type paramet length method method invalid paramet type paramet valid paramet inherit interfac inherit length check inherit 