int function ( ) { if ( freeASID . isEmpty ( ) ) { int loc0 = maxFreeID ; if ( loc0 < max ) { maxFreeID = loc0 + 1 ; return loc0 ; } else return 0 ; } else { Integer loc0 = ( Integer ) freeASID . firstElement ( ) ; freeASID . remove ( loc0 ) ; return loc0 . intValue ( ) ; } }
generate an unique actorsession id . concode_field_sep int maxFreeID concode_elem_sep Vector freeASID concode_elem_sep int max concode_field_sep void indexID concode_elem_sep void releaseASID concode_elem_sep void purgeVector