public class VerifyConfig
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static VerifyConfig |
DEFAULT |
Constructor and Description |
---|
VerifyConfig()
Javadoc for this public method is generated via
the doc templates in the doc_src directory.
|
Modifier and Type | Method and Description |
---|---|
boolean |
getAggressive()
Javadoc for this public method is generated via
the doc templates in the doc_src directory.
|
boolean |
getPrintInfo()
Javadoc for this public method is generated via
the doc templates in the doc_src directory.
|
boolean |
getPropagateExceptions()
Javadoc for this public method is generated via
the doc templates in the doc_src directory.
|
int |
getShowProgressInterval()
Javadoc for this public method is generated via
the doc templates in the doc_src directory.
|
java.io.PrintStream |
getShowProgressStream()
Javadoc for this public method is generated via
the doc templates in the doc_src directory.
|
void |
setAggressive(boolean aggressive)
Javadoc for this public method is generated via
the doc templates in the doc_src directory.
|
void |
setPrintInfo(boolean printInfo)
Javadoc for this public method is generated via
the doc templates in the doc_src directory.
|
void |
setPropagateExceptions(boolean propagate)
Javadoc for this public method is generated via
the doc templates in the doc_src directory.
|
void |
setShowProgressInterval(int showProgressInterval)
Javadoc for this public method is generated via
the doc templates in the doc_src directory.
|
void |
setShowProgressStream(java.io.PrintStream showProgressStream)
Javadoc for this public method is generated via
the doc templates in the doc_src directory.
|
java.lang.String |
toString()
Returns the values for each configuration attribute.
|
public static final VerifyConfig DEFAULT
public VerifyConfig()
public void setPropagateExceptions(boolean propagate)
public boolean getPropagateExceptions()
public void setAggressive(boolean aggressive)
public boolean getAggressive()
public void setPrintInfo(boolean printInfo)
public boolean getPrintInfo()
public void setShowProgressStream(java.io.PrintStream showProgressStream)
public java.io.PrintStream getShowProgressStream()
public void setShowProgressInterval(int showProgressInterval)
public int getShowProgressInterval()
public java.lang.String toString()
toString
in class java.lang.Object