list edg object port model facad state vertex port arrai list model facad outgo 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 