list edg object port model facad state vertex port arrai list model facad incom port defin log lp log granular type statement lp log local lp log local nest ifdef statediagram lp log local nest ifdef activitydiagram log debug todo edg state endif collect list 