IEditorInput editorInput = getEditorInput();
return ((IFileEditorInput) editorInput).getFile();
}
void loadPatternList() {
PatternsetReader patternsetReader = new PatternsetReader(this.getInputFile());
String[] pattern = patternsetReader.getPattern();
this.patternList = new ArrayList();
for (int i = 0; i < pattern.length; i++) {
this.patternList.add(pattern[i]);
}
}