object evalu map object vt model interpret mi ocl invalid ocl except xxx bug parser requir context defin log lp log granular type statement lp log local start method log debug ocl ocl endif ocl contain or todo convert sensibl log println voila lexer lexer lexer pushback reader reader context inv ocl ocl parser parser ocl parser lexer start tree tree parser pars except invalid ocl except ocl evalu express ee evalu express vt mi tree appli ee ee valu 