public class WhitelistWarningsGuard.WhitelistBuilder extends java.lang.Object implements ErrorHandler
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
generatorTarget |
private java.lang.String |
headerNote |
private java.lang.String |
productName |
private java.util.Set<JSError> |
warnings |
Constructor and Description |
---|
WhitelistBuilder() |
Modifier and Type | Method and Description |
---|---|
void |
appendWhitelist(java.io.PrintStream out)
Writes the warnings collected in a format that the WhitelistWarningsGuard
can read back later.
|
void |
report(CheckLevel level,
JSError error) |
WhitelistWarningsGuard.WhitelistBuilder |
setGeneratorTarget(java.lang.String name)
Fill in instructions on how to generate this whitelist.
|
WhitelistWarningsGuard.WhitelistBuilder |
setNote(java.lang.String note)
A note to include at the top of the whitelist file.
|
WhitelistWarningsGuard.WhitelistBuilder |
setProductName(java.lang.String name)
Fill in your product name to get a fun message!
|
void |
writeWhitelist(File out)
Writes the warnings collected in a format that the WhitelistWarningsGuard
can read back later.
|
private final java.util.Set<JSError> warnings
private java.lang.String productName
private java.lang.String generatorTarget
private java.lang.String headerNote
public WhitelistWarningsGuard.WhitelistBuilder setProductName(java.lang.String name)
public WhitelistWarningsGuard.WhitelistBuilder setGeneratorTarget(java.lang.String name)
public WhitelistWarningsGuard.WhitelistBuilder setNote(java.lang.String note)
public void report(CheckLevel level, JSError error)
report
in interface ErrorHandler
level
- the reporting levelerror
- the error to reportpublic void writeWhitelist(File out) throws java.io.IOException
java.io.IOException
public void appendWhitelist(java.io.PrintStream out)