public interface OutputUILordVersion1
| Modifier and Type | Method and Description |
|---|---|
void |
addFileExtension(String extension,
String lineNumberDelimiter)
Call this to add file extensions to look for in the output.
|
void |
addOutputObserver(OutputObserverVersion1 outputObserverVersion1) |
void |
addPrefixedFileLink(String name,
String prefix,
String extension,
String lineNumberDelimiter)
Creates a file link definition to find file paths in the output that have a known prefix and extension.
|
List<String> |
getFileExtensions() |
Font |
getOutputTextFont() |
void |
reExecuteLastCommand() |
void |
removeOutputObserver(OutputObserverVersion1 outputObserverVersion1) |
void |
setOutputTextFont(Font font) |
void setOutputTextFont(Font font)
Font getOutputTextFont()
void addFileExtension(String extension, String lineNumberDelimiter)
extension - the file extensionlineNumberDelimiter - optional delimiter text for line number. Whatever is after this will be assumed to be a line number. We'll only parse the numbers after this so there can be other
stuff after the line number. Pass in null to ignore.void addPrefixedFileLink(String name, String prefix, String extension, String lineNumberDelimiter)
name - the name of this file link definition. Used by tests mostly.prefix - the text that is before the file path. It should be enough to make it fairly uniqueextension - the expected file extension. If we don't find this extension, we do not consider the text a file's path. If there are multiple extensions, you'll have to add multiples of
these.lineNumberDelimiter - optional delimiter text for line number. Whatever is after this will be assumed to be a line number. We'll only parse the numbers after this so there can be other
stuff after the line number. Pass in null to ignore.List<String> getFileExtensions()
void addOutputObserver(OutputObserverVersion1 outputObserverVersion1)
void removeOutputObserver(OutputObserverVersion1 outputObserverVersion1)
void reExecuteLastCommand()
Copyright © 2013. All rights reserved