public class MainFrameModel extends Object
Constructor and Description |
---|
MainFrameModel() |
Modifier and Type | Method and Description |
---|---|
void |
addLineToPosition(int value)
Add a new value into lines to position map.
|
void |
clearLinesToPosition()
Clear lines to position map.
|
File |
getCurrentFile()
Get current file.
|
FileText |
getFileText(File file)
Get FileText from a file.
|
File |
getLastDirectory()
Get the directory of the last loaded file.
|
List<Integer> |
getLinesToPosition()
Get lines to position map.
|
DetailAST |
parseFile(File file)
Parse a file and return the parse tree.
|
public DetailAST parseFile(File file) throws IOException, antlr.ANTLRException
file
- the file to parse.IOException
- if the file could not be read.antlr.ANTLRException
- if the file is not a Java source.public FileText getFileText(File file) throws IOException
file
- the file to get the FileText from.IOException
- if the file could not be read.public File getLastDirectory()
public File getCurrentFile()
public List<Integer> getLinesToPosition()
public void addLineToPosition(int value)
value
- Value to be added into position map.public void clearLinesToPosition()
Copyright © 2001–2022. All rights reserved.