void function ( Node arg0 , boolean arg1 , int arg2 ) { if ( arg1 ) { setProperty ( arg0 , arg2 ) ; } for ( final Node loc0 : arg0 . getPredecessors ( ) ) { if ( ! loc0 . hasProperty ( arg2 ) ) { setPropertyDownwards ( loc0 , true , arg2 ) ; } } }
sets the property to all predecessors of the given node . concode_field_sep int size concode_elem_sep ARXListener listener concode_elem_sep NodeAction tagTrigger concode_elem_sep Node[][] levels concode_field_sep void setInformationLoss concode_elem_sep int getSize concode_elem_sep void setLowerBound concode_elem_sep Node getBottom concode_elem_sep Node getTop concode_elem_sep void setProperty concode_elem_sep void setPropertyUpwards concode_elem_sep void setChecked concode_elem_sep void setListener concode_elem_sep void triggerTagged concode_elem_sep Node[][] getLevels concode_elem_sep void setTagTrigger