public void openAst(DetailAST parseTree) { parseTreeModel.setParseTree(parseTree); reloadAction.setEnabled(true); // clear for each new file clearLinesToPosition(); // starts line counting at 1 addLineToPosition(0); // insert the contents of the file to the text area // clean the text area before inserting the lines of the new file if (!textArea.getText().isEmpty()) { textArea.replaceRange("", 0, textArea.getText().length()); } // move back to the top of the file textArea.moveCaretPosition(0); }
public void openFile(File file, final Component parent) { if (file != null) { try { Main.getFrame().setTitle("Checkstyle : " + file.getName()); final FileText text = new FileText(file.getAbsoluteFile(), getEncoding()); final DetailAST parseTree = parseFile(text); parseTreeModel.setParseTree(parseTree); currentFile = file; lastDirectory = file.getParentFile(); reloadAction.setEnabled(true); final String[] sourceLines = text.toLinesArray(); // clear for each new file clearLinesToPosition(); // starts line counting at 1 addLineToPosition(0); // insert the contents of the file to the text area for (String element : sourceLines) { addLineToPosition(textArea.getText().length()); textArea.append(element + System.lineSeparator()); } // clean the text area before inserting the lines of the new file if (!textArea.getText().isEmpty()) { textArea.replaceRange("", 0, textArea.getText().length()); } // insert the contents of the file to the text area for (final String element : sourceLines) { textArea.append(element + System.lineSeparator()); } // move back to the top of the file textArea.moveCaretPosition(0); } catch (final IOException | ANTLRException ex) { showErrorDialog(parent, "Could not parse" + file + ": " + ex.getMessage()); } } }