void function ( ) { final int loc0 = lines2position . get ( ast . getLineNo ( ) ) + ast . getColumnNo ( ) ; final int loc1 = findLastPosition ( ast ) ; editor . setSelectedTextColor ( Color . blue ) ; editor . requestFocusInWindow ( ) ; editor . setSelectionStart ( loc0 ) ; editor . setSelectionEnd ( loc1 ) ; editor . transferFocusBackward ( ) ; }
set a selection position from ast line and column . concode_field_sep List<Integer> lines2position concode_elem_sep JTextArea editor concode_elem_sep DetailAST ast concode_field_sep int findLastPosition