type intern navig parameter type param check queri ocl type except classifi ocl type except attempt access featur type type basic navig parameter param type type object op oper java util collect oper model facad oper classifi iter iter oper iter iter op object op iter oper match op param op op op ocl type except oper classifi check queri queri check ad sz model facad queri op ocl type except non queri oper us ocl express collect param model core helper paramet op object rp param size rp rp param iter defin log lp log granular type statement param size log warn ocl compil handl paramet param size model facad op endif rp model facad type rp defin log lp log granular type statement lp log local nest statement lp log local log warn warn suppos type endif argo object type model facad type rp ocl represent type 