Class MainFrameModel


  • public class MainFrameModel
    extends java.lang.Object
    Model for checkstyle frame.
    • Field Detail

      • linesToPosition

        private final java.util.List<java.lang.Integer> linesToPosition
        Lines to position map.
      • currentFile

        private java.io.File currentFile
        The file which is being parsed.
      • text

        private java.lang.String text
        Text for a frame's text area.
      • title

        private java.lang.String title
        Title for the main frame.
      • reloadActionEnabled

        private boolean reloadActionEnabled
        Whether the reload action is enabled.
    • Constructor Detail

      • MainFrameModel

        public MainFrameModel()
        Instantiate the model.
    • Method Detail

      • setParseMode

        public void setParseMode​(MainFrameModel.ParseMode mode)
        Set current parse mode.
        Parameters:
        mode - ParseMode enum.
      • getParseTreeTableModel

        public ParseTreeTableModel getParseTreeTableModel()
        Get parse tree table model.
        Returns:
        parse tree table model.
      • getText

        public java.lang.String getText()
        Get text to display in a text area.
        Returns:
        text to display in a text area.
      • getTitle

        public java.lang.String getTitle()
        Returns title for the main frame.
        Returns:
        title for the main frame.
      • isReloadActionEnabled

        public boolean isReloadActionEnabled()
        Returns true if the reload action is enabled, false otherwise.
        Returns:
        true if the reload action is enabled.
      • shouldAcceptFile

        public static boolean shouldAcceptFile​(java.io.File file)
        Whether a file chooser should accept the file as a source file.
        Parameters:
        file - the file to check.
        Returns:
        true if the file should be accepted.
      • getLastDirectory

        public java.io.File getLastDirectory()
        Get the directory of the last loaded file.
        Returns:
        directory of the last loaded file.
      • getCurrentFile

        public java.io.File getCurrentFile()
        Get current file.
        Returns:
        current file.
      • getLinesToPosition

        public java.util.List<java.lang.Integer> getLinesToPosition()
        Get lines to position map.
        Returns:
        lines to position map.
      • openFile

        public void openFile​(java.io.File file)
                      throws CheckstyleException
        Open file and load the file.
        Parameters:
        file - the file to open.
        Throws:
        CheckstyleException - if the file can not be parsed.
      • parseFile

        public DetailAST parseFile​(java.io.File file)
                            throws java.io.IOException,
                                   antlr.ANTLRException
        Parse a file and return the parse tree.
        Parameters:
        file - the file to parse.
        Returns:
        the root node of the parse tree.
        Throws:
        java.io.IOException - if the file could not be read.
        antlr.ANTLRException - if the file is not a Java source.
      • parseFileWithComments

        public DetailAST parseFileWithComments​(java.io.File file)
                                        throws java.io.IOException,
                                               antlr.ANTLRException
        Parse a file and return the parse tree with comment nodes.
        Parameters:
        file - the file to parse.
        Returns:
        the root node of the parse tree.
        Throws:
        java.io.IOException - if the file could not be read.
        antlr.ANTLRException - if the file is not a Java source.
      • getFileText

        public FileText getFileText​(java.io.File file)
                             throws java.io.IOException
        Get FileText from a file.
        Parameters:
        file - the file to get the FileText from.
        Returns:
        the FileText.
        Throws:
        java.io.IOException - if the file could not be read.