java.lang.Object
- com.tonic.analysis.verifier.VerifierConfig

```
public final class VerifierConfig
extends Object
```
Immutable settings for the Verifier: which passes run, the error mode, and the error cap.

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description
`static class`	`VerifierConfig.Builder`	Builder for a `VerifierConfig`; all passes default to enabled with COLLECT_ALL and 100 errors.
`static class`	`VerifierConfig.ErrorMode`	How the verifier reacts to errors: stop at the first or collect up to the cap.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static VerifierConfig.Builder`	`builder()`	Creates a builder for a configuration.
`static VerifierConfig`	`defaults()`	Creates the default configuration: all passes on, COLLECT_ALL, up to 100 errors.
`VerifierConfig.ErrorMode`	`getErrorMode()`
`int`	`getMaxErrors()`
`boolean`	`isCollectAll()`
`boolean`	`isFailFast()`
`boolean`	`isStrictTypeChecking()`
`boolean`	`isTreatWarningsAsErrors()`
`boolean`	`isVerifyControlFlow()`
`boolean`	`isVerifyStackMapTable()`
`boolean`	`isVerifyStructure()`
`String`	`toString()`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Method Detail
  - getErrorMode
```
public VerifierConfig.ErrorMode getErrorMode()
```
    Returns:
    
    the error mode
  - isVerifyStackMapTable
```
public boolean isVerifyStackMapTable()
```
    Returns:
    
    whether verify stack map table
  - isStrictTypeChecking
```
public boolean isStrictTypeChecking()
```
    Returns:
    
    whether strict type checking
  - isVerifyControlFlow
```
public boolean isVerifyControlFlow()
```
    Returns:
    
    whether verify control flow
  - isVerifyStructure
```
public boolean isVerifyStructure()
```
    Returns:
    
    whether verify structure
  - getMaxErrors
```
public int getMaxErrors()
```
    Returns:
    
    the max errors
  - isTreatWarningsAsErrors
```
public boolean isTreatWarningsAsErrors()
```
    Returns:
    
    whether treat warnings as errors
  - defaults
```
public static VerifierConfig defaults()
```
    Creates the default configuration: all passes on, COLLECT_ALL, up to 100 errors.
    
    Returns:
    
    the default configuration
  - builder
```
public static VerifierConfig.Builder builder()
```
    Creates a builder for a configuration.
    
    Returns:
    
    a new builder
  - isFailFast
```
public boolean isFailFast()
```
    Returns:
    
    true if the error mode is FAIL_FAST
  - isCollectAll
```
public boolean isCollectAll()
```
    Returns:
    
    true if the error mode is COLLECT_ALL
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object

Class VerifierConfig

Nested Class Summary

Method Summary

Methods inherited from class java.lang.Object

Method Detail

getErrorMode

isVerifyStackMapTable

isStrictTypeChecking

isVerifyControlFlow

isVerifyStructure

getMaxErrors

isTreatWarningsAsErrors

defaults

builder

isFailFast

isCollectAll

toString