void function ( ) { size = 0 ; }
clear the read set by resetting its size concode_field_sep ReadFieldAccess[] entries concode_elem_sep int size concode_field_sep void add concode_elem_sep int getSize concode_elem_sep boolean contains concode_elem_sep int size concode_elem_sep void initArray concode_elem_sep void copy concode_elem_sep boolean validate