get the line number corresponding to a given sequence number concode_field_sep int[] sequenceNumbers concode_elem_sep int[] lineNumbers concode_elem_sep int allocated concode_field_sep void setLineNumber
int function ( int arg0 ) { for ( int loc0 = 1 ; loc0 < allocated ; loc0 ++ ) { if ( sequenceNumbers [ loc0 ] > arg0 ) { return lineNumbers [ loc0 - 1 ] ; } } return lineNumbers [ allocated - 1 ] ; }